diff options
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/cse.c | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr55010.c | 13 |
4 files changed, 24 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e8be5419cb2..2ce2c3ef9e3 100644 --- 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 b5631f363da..af66c370e13 100644 --- 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 0648f1e69cb..8027bf4abcf 100644 --- 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 index 00000000000..a3dc41d8d01 --- /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); +} |