re PR target/57491 ([ia64] internal compiler error: in ia64_split_tmode -O2, quadmath)

        PR target/57491
        * config/ia64/ia64.c (ia64_split_tmode_move): Relax `dead'
        flag setting.

From-SVN: r204777

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 598268ebc0b63ece66e36e2b706ef87d4e6fd766..1a591cb8437ea5eda0c4aeb1bf1e27f26de58871 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2013-11-14  Kirill Yukhin  <kirill.yukhin@intel.com>
+
+       PR target/57491
+       * config/ia64/ia64.c (ia64_split_tmode_move): Relax `dead'
+       flag setting.
+
 2013-11-14  Jakub Jelinek  <jakub@redhat.com>
            Uros Bizjak  <ubizjak@gmail.com>
 

diff --git a/gcc/config/ia64/ia64.c b/gcc/config/ia64/ia64.c
index 2b331873e2444da72b5f34106710f08bb568f693..a28575c0bf6710cd6e9f2e3443bbe48d54206382 100644 (file)
--- a/gcc/config/ia64/ia64.c
+++ b/gcc/config/ia64/ia64.c
@@ -1529,12 +1529,19 @@ ia64_split_tmode_move (rtx operands[])
       && reg_overlap_mentioned_p (operands[0], operands[1]))
     {
       rtx base = XEXP (operands[1], 0);
+      rtx first_write = gen_rtx_REG (DImode, REGNO (operands[0]));
       while (GET_CODE (base) != REG)
        base = XEXP (base, 0);
 
       if (REGNO (base) == REGNO (operands[0]))
-       reversed = true;
-      dead = true;
+       {
+         reversed = true;
+         first_write = gen_rtx_REG (DImode, REGNO (operands[0]) + 1);
+       }
+
+      if (GET_CODE (operands[0]) == REG
+         && reg_overlap_mentioned_p (first_write, operands[1]))
+       dead = true;
     }
   /* Another reason to do the moves in reversed order is if the first
      element of the target register pair is also the second element of