diff options
| author | Richard Biener <rguenther@suse.de> | 2014-06-03 08:48:28 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2014-06-03 08:48:28 +0000 |
| commit | 597c6315ca23f0451be82a7cfb4ebc9fa34105e7 (patch) | |
| tree | 823b85854ac419e134e1b2ed705b84e2da313f04 /gcc | |
| parent | b48e9677e5550d60c4f1b4ea05b88b150173ebe0 (diff) | |
| download | gcc-597c6315ca23f0451be82a7cfb4ebc9fa34105e7.zip gcc-597c6315ca23f0451be82a7cfb4ebc9fa34105e7.tar.gz gcc-597c6315ca23f0451be82a7cfb4ebc9fa34105e7.tar.bz2 | |
re PR tree-optimization/61383 (wrong code at -O2 and -O3 on x86_64-linux-gnu)
2014-06-03 Richard Biener <rguenther@suse.de>
PR tree-optimization/61383
* tree-ssa-ifcombine.c (bb_no_side_effects_p): Make sure
stmts can't trap.
* gcc.dg/torture/pr61383-1.c: New testcase.
From-SVN: r211163
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr61383-1.c | 35 | ||||
| -rw-r--r-- | gcc/tree-ssa-ifcombine.c | 4 |
4 files changed, 50 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6d9dab7..ea18c51 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2014-06-03 Richard Biener <rguenther@suse.de> + + PR tree-optimization/61383 + * tree-ssa-ifcombine.c (bb_no_side_effects_p): Make sure + stmts can't trap. + 2014-06-03 Richard Sandiford <rdsandiford@googlemail.com> * defaults.h (USE_MD_CONSTRAINTS, EXTRA_MEMORY_CONSTRAINT) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9a7bb27..9c0e9fb 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2014-06-03 Richard Biener <rguenther@suse.de> + + PR tree-optimization/61383 + * gcc.dg/torture/pr61383-1.c: New testcase. + 2014-06-03 Andreas Schwab <schwab@linux-m68k.org> * gcc.target/powerpc/vsxcopy.c (dg-options): Add -mvsx. diff --git a/gcc/testsuite/gcc.dg/torture/pr61383-1.c b/gcc/testsuite/gcc.dg/torture/pr61383-1.c new file mode 100644 index 0000000..d9a0a0b --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr61383-1.c @@ -0,0 +1,35 @@ +/* { dg-do run } */ + +int a, b = 1, c, d, e, f, g; + +int +fn1 () +{ + int h; + for (;;) + { + g = b; + g = g ? 0 : 1 % g; + e = a + 1; + for (; d < 1; d = e) + { + if (f == 0) + h = 0; + else + h = 1 % f; + if (f < 1) + c = 0; + else if (h) + break; + } + if (b) + return 0; + } +} + +int +main () +{ + fn1 (); + return 0; +} diff --git a/gcc/tree-ssa-ifcombine.c b/gcc/tree-ssa-ifcombine.c index fae389b..fa3c5b1 100644 --- a/gcc/tree-ssa-ifcombine.c +++ b/gcc/tree-ssa-ifcombine.c @@ -127,7 +127,11 @@ bb_no_side_effects_p (basic_block bb) { gimple stmt = gsi_stmt (gsi); + if (is_gimple_debug (stmt)) + continue; + if (gimple_has_side_effects (stmt) + || gimple_could_trap_p (stmt) || gimple_vuse (stmt)) return false; } |