re PR rtl-optimization/55010 (Internal consistency failure : invalid rtl sharing...

	PR rtl-optimization/55010
	* cse.c (fold_rtx) <RTX_COMPARE>: Call copy_rtx on folded_arg{0,1}
	before passing it to simplify_relational_operation.

	* gcc.dg/pr55010.c: New test.

From-SVN: r192760

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e8be5419cb2e4e2599a102e744fca1bdee2c59e3..2ce2c3ef9e3843f6f3e1d8d005a176a721824fdb 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 2012-10-24  Jakub Jelinek  <jakub@redhat.com>
 
+       PR rtl-optimization/55010
+       * cse.c (fold_rtx) <RTX_COMPARE>: Call copy_rtx on folded_arg{0,1}
+       before passing it to simplify_relational_operation.
+
        PR debug/54828
        * gimple.h (is_gimple_sizepos): New inline function.
        * gimplify.c (gimplify_one_sizepos): Use it.  Remove useless

diff --git a/gcc/cse.c b/gcc/cse.c
index b5631f363dab78d21dc897c55e9667bb307c1b64..af66c370e132d1cb896e2a9f17f4982ec1e83969 100644 (file)
--- a/gcc/cse.c
+++ b/gcc/cse.c
@@ -3461,9 +3461,10 @@ fold_rtx (rtx x, rtx insn)
        }
 
       {
-       rtx op0 = const_arg0 ? const_arg0 : folded_arg0;
-       rtx op1 = const_arg1 ? const_arg1 : folded_arg1;
-        new_rtx = simplify_relational_operation (code, mode, mode_arg0, op0, op1);
+       rtx op0 = const_arg0 ? const_arg0 : copy_rtx (folded_arg0);
+       rtx op1 = const_arg1 ? const_arg1 : copy_rtx (folded_arg1);
+       new_rtx = simplify_relational_operation (code, mode, mode_arg0,
+                                                op0, op1);
       }
       break;
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0648f1e69cb545bb9927f72f74e4115097621f59..8027bf4abcf3adc2d9d7a269121715879a443e3a 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2012-10-24  Jakub Jelinek  <jakub@redhat.com>
 
+       PR rtl-optimization/55010
+       * gcc.dg/pr55010.c: New test.
+
        PR debug/54828
        * g++.dg/debug/pr54828.C: New test.
 

diff --git a/gcc/testsuite/gcc.dg/pr55010.c b/gcc/testsuite/gcc.dg/pr55010.c
new file mode 100644 (file)
index 0000000..a3dc41d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr55010.c
@@ -0,0 +1,13 @@
+/* PR rtl-optimization/55010 */
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+/* { dg-additional-options "-march=i686" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */
+
+long long int a;
+unsigned long long int b;
+
+void
+foo (void)
+{
+  a = (a < 0) / ((a -= b) ? b >= ((b = a) || 0) : 0);
+}