aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2009-01-13 23:36:06 +0100
committerJakub Jelinek <jakub@gcc.gnu.org>2009-01-13 23:36:06 +0100
commitd3302fd3185bb03a499e9698d1995ade81ee0321 (patch)
tree4718c31eaf240b0488be6f53ac949577827b42bc /gcc
parent7ab23fd0b97eff95faf1f48828784f4025ceca59 (diff)
downloadgcc-d3302fd3185bb03a499e9698d1995ade81ee0321.zip
gcc-d3302fd3185bb03a499e9698d1995ade81ee0321.tar.gz
gcc-d3302fd3185bb03a499e9698d1995ade81ee0321.tar.bz2
re PR rtl-optimization/38774 (ice in df_refs_verify, at df-scan.c:4307)
PR rtl-optimization/38774 * combine.c (simplify_set): When undoing cc_use change, don't do PUT_CODE on the newly created comparison, but instead put back the old comparison. * gcc.dg/torture/pr38774.c: New test. From-SVN: r143355
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog7
-rw-r--r--gcc/combine.c3
-rw-r--r--gcc/testsuite/ChangeLog3
-rw-r--r--gcc/testsuite/gcc.dg/torture/pr38774.c16
4 files changed, 28 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 76899df..78c91fc 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2009-01-13 Jakub Jelinek <jakub@redhat.com>
+
+ PR rtl-optimization/38774
+ * combine.c (simplify_set): When undoing cc_use change, don't do
+ PUT_CODE on the newly created comparison, but instead put back the
+ old comparison.
+
2009-01-13 Joseph Myers <joseph@codesourcery.com>
* doc/invoke.texi (ARM Options): Update lists of -mcpu and -march
diff --git a/gcc/combine.c b/gcc/combine.c
index 82bf9f5..3aca075 100644
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -5706,6 +5706,7 @@ simplify_set (rtx x)
{
int other_changed_previously = other_changed;
unsigned HOST_WIDE_INT mask;
+ rtx old_cc_use = *cc_use;
SUBST (*cc_use, gen_rtx_fmt_ee (new_code, GET_MODE (*cc_use),
dest, const0_rtx));
@@ -5728,7 +5729,7 @@ simplify_set (rtx x)
if ((recog_for_combine (&pat, other_insn, &note) < 0
&& ! check_asm_operands (pat)))
{
- PUT_CODE (*cc_use, old_code);
+ *cc_use = old_cc_use;
other_changed = 0;
op0 = simplify_gen_binary (XOR, GET_MODE (op0),
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 18f15ca..ecec2ac 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
2009-01-13 Jakub Jelinek <jakub@redhat.com>
+ PR rtl-optimization/38774
+ * gcc.dg/torture/pr38774.c: New test.
+
PR c++/38795
* g++.dg/cpp0x/pr38795.C: New test.
diff --git a/gcc/testsuite/gcc.dg/torture/pr38774.c b/gcc/testsuite/gcc.dg/torture/pr38774.c
new file mode 100644
index 0000000..d6d7fcb
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr38774.c
@@ -0,0 +1,16 @@
+/* PR rtl-optimization/38774 */
+/* { dg-do compile } */
+/* { dg-options "" } */
+/* { dg-options "-march=i686" { target { { i?86-*-* x86_64-*-* } && ilp32 } } } */
+
+extern int bar (void);
+volatile int g;
+
+int
+foo (void)
+{
+ int a = 1 >= bar ();
+ if ((1 > 9223372036854775807LL - a && 1 - a ? : 1 + a) & 1)
+ return g;
+ return 0;
+}