* pa.md: Correct and enhance comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@63049 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index fd9b2d1..39529c2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2003-02-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
+
+       * pa.md: Correct and enhance comment.
+
 2003-02-18  Geoffrey Keating  <geoffk@apple.com>
 
        * gcc.c (validate_switches): Don't scan past closing '}'.

diff --git a/gcc/config/pa/pa.md b/gcc/config/pa/pa.md
index d8b2a4a..d4f6461 100644 (file)
--- a/gcc/config/pa/pa.md
+++ b/gcc/config/pa/pa.md
@@ -6021,7 +6021,11 @@
              (symbol_ref "attr_length_save_restore_dltp (insn)")))])
 
 ;; Split out the PIC register save and restore after reload.  This is
-;; done if the function doesn't return.
+;; done only if the function returns.  As the split is done after reload,
+;; there are some situations in which we unnecessarily save and restore
+;; %r4.  This happens when there is a single call and the PIC register
+;; is "dead" after the call.  This isn't easy to fix as the usage of
+;; the PIC register isn't completely determined until the reload pass.
 (define_split
   [(parallel [(call (mem:SI (match_operand 0 "call_operand_address" ""))
                    (match_operand 1 "" ""))
@@ -6102,7 +6106,11 @@
              (symbol_ref "attr_length_save_restore_dltp (insn)")))])
 
 ;; Split out the PIC register save and restore after reload.  This is
-;; done if the function doesn't return.
+;; done only if the function returns.  As the split is done after reload,
+;; there are some situations in which we unnecessarily save and restore
+;; %r4.  This happens when there is a single call and the PIC register
+;; is "dead" after the call.  This isn't easy to fix as the usage of
+;; the PIC register isn't completely determined until the reload pass.
 (define_split
   [(parallel [(call (mem:SI (match_operand 0 "call_operand_address" ""))
                    (match_operand 1 "" ""))
@@ -6200,7 +6208,11 @@
              (symbol_ref "attr_length_save_restore_dltp (insn)")))])
 
 ;; Split out the PIC register save and restore after reload.  This is
-;; done if the function doesn't return.
+;; done only if the function returns.  As the split is done after reload,
+;; there are some situations in which we unnecessarily save and restore
+;; %r4.  This happens when there is a single call and the PIC register
+;; is "dead" after the call.  This isn't easy to fix as the usage of
+;; the PIC register isn't completely determined until the reload pass.
 (define_split
   [(parallel [(call (mem:SI (reg:SI 22))
                    (match_operand 0 "" ""))
@@ -6278,7 +6290,11 @@
              (symbol_ref "attr_length_save_restore_dltp (insn)")))])
 
 ;; Split out the PIC register save and restore after reload.  This is
-;; done if the function doesn't return.
+;; done only if the function returns.  As the split is done after reload,
+;; there are some situations in which we unnecessarily save and restore
+;; %r4.  This happens when there is a single call and the PIC register
+;; is "dead" after the call.  This isn't easy to fix as the usage of
+;; the PIC register isn't completely determined until the reload pass.
 (define_split
   [(parallel [(call (mem:SI (match_operand 0 "register_operand" ""))
                    (match_operand 1 "" ""))
@@ -6460,7 +6476,11 @@
              (symbol_ref "attr_length_save_restore_dltp (insn)")))])
 
 ;; Split out the PIC register save and restore after reload.  This is
-;; done if the function doesn't return.
+;; done only if the function returns.  As the split is done after reload,
+;; there are some situations in which we unnecessarily save and restore
+;; %r4.  This happens when there is a single call and the PIC register
+;; is "dead" after the call.  This isn't easy to fix as the usage of
+;; the PIC register isn't completely determined until the reload pass.
 (define_split
   [(parallel [(set (match_operand 0 "" "")
              (call (mem:SI (match_operand 1 "call_operand_address" ""))
@@ -6547,7 +6567,11 @@
              (symbol_ref "attr_length_save_restore_dltp (insn)")))])
 
 ;; Split out the PIC register save and restore after reload.  This is
-;; done if the function doesn't return.
+;; done only if the function returns.  As the split is done after reload,
+;; there are some situations in which we unnecessarily save and restore
+;; %r4.  This happens when there is a single call and the PIC register
+;; is "dead" after the call.  This isn't easy to fix as the usage of
+;; the PIC register isn't completely determined until the reload pass.
 (define_split
   [(parallel [(set (match_operand 0 "" "")
              (call (mem:SI (match_operand 1 "call_operand_address" ""))
@@ -6652,7 +6676,11 @@
              (symbol_ref "attr_length_save_restore_dltp (insn)")))])
 
 ;; Split out the PIC register save and restore after reload.  This is
-;; done if the function doesn't return.
+;; done only if the function returns.  As the split is done after reload,
+;; there are some situations in which we unnecessarily save and restore
+;; %r4.  This happens when there is a single call and the PIC register
+;; is "dead" after the call.  This isn't easy to fix as the usage of
+;; the PIC register isn't completely determined until the reload pass.
 (define_split
   [(parallel [(set (match_operand 0 "" "")
                   (call (mem:SI (reg:SI 22))
@@ -6736,7 +6764,11 @@
              (symbol_ref "attr_length_save_restore_dltp (insn)")))])
 
 ;; Split out the PIC register save and restore after reload.  This is
-;; done if the function doesn't return.
+;; done only if the function returns.  As the split is done after reload,
+;; there are some situations in which we unnecessarily save and restore
+;; %r4.  This happens when there is a single call and the PIC register
+;; is "dead" after the call.  This isn't easy to fix as the usage of
+;; the PIC register isn't completely determined until the reload pass.
 (define_split
   [(parallel [(set (match_operand 0 "" "")
                   (call (mem:SI (match_operand:DI 1 "register_operand" ""))