re PR rtl-optimization/19398 (secondary reloads don't consider "m" alternatives)

        PR target/19398
        * config/i386/i386.md (fix_trunc?f?i_sse): Add peephole2
        patterns to use memory input operand in x87->mem->XMM
        reload sequences.  Skip transformation for TARGET_K8.

From-SVN: r117935

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 953dd25cd43823be3140e863b49340a5fe509e47..8d33188ed5cf9b4b449630ea20416614147b3877 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2006-10-21  Uros Bizjak  <uros@kss-loka.si>
+
+       PR target/19398
+       * config/i386/i386.md (fix_trunc?f?i_sse): Add peephole2
+       patterns to use memory input operand in x87->mem->XMM
+       reload sequences.  Skip transformation for TARGET_K8.
+
 2006-10-21  Uros Bizjak  <uros@kss-loka.si>
 
        * config/i386/i386.md (extendsfdf2, extendsfxf2, extenddfxf2): Do not

diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md
index 91596dd0c8883db70a147dbf9caf10c78972d7d3..997f051414932075c258a843d3ae45656f080594 100644 (file)
--- a/gcc/config/i386/i386.md
+++ b/gcc/config/i386/i386.md
@@ -4159,6 +4159,27 @@
    (set_attr "mode" "DF")
    (set_attr "athlon_decode" "double,vector")])
 
+;; Shorten x87->SSE reload sequences of fix_trunc?f?i_sse patterns.
+(define_peephole2
+  [(set (match_operand:DF 0 "register_operand" "")
+       (match_operand:DF 1 "memory_operand" ""))
+   (set (match_operand:SSEMODEI24 2 "register_operand" "")
+       (fix:SSEMODEI24 (match_dup 0)))]
+  "!TARGET_K8
+   && peep2_reg_dead_p (2, operands[0])"
+  [(set (match_dup 2) (fix:SSEMODEI24 (match_dup 1)))]
+  "")
+
+(define_peephole2
+  [(set (match_operand:SF 0 "register_operand" "")
+       (match_operand:SF 1 "memory_operand" ""))
+   (set (match_operand:SSEMODEI24 2 "register_operand" "")
+       (fix:SSEMODEI24 (match_dup 0)))]
+  "!TARGET_K8
+   && peep2_reg_dead_p (2, operands[0])"
+  [(set (match_dup 2) (fix:SSEMODEI24 (match_dup 1)))]
+  "")
+
 ;; Avoid vector decoded forms of the instruction.
 (define_peephole2
   [(match_scratch:DF 2 "Y")