diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2014-05-27 19:54:46 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2014-05-27 19:54:46 +0000 |
| commit | d378c07ebbb0cf59e9ebd4b2f5912b6ca6f90f1c (patch) | |
| tree | e6ac227a3d7680dd7465cbd862d98caa0511d604 /gcc/testsuite | |
| parent | 3ce6c715378c93b5ec390b5e8f0732fa93ad9fc8 (diff) | |
| download | gcc-d378c07ebbb0cf59e9ebd4b2f5912b6ca6f90f1c.zip gcc-d378c07ebbb0cf59e9ebd4b2f5912b6ca6f90f1c.tar.gz gcc-d378c07ebbb0cf59e9ebd4b2f5912b6ca6f90f1c.tar.bz2 | |
fold-const.c (fold_comparison): Clean up and extend X +- C1 CMP C2 to X CMP C2 -+ C1 transformation to...
* fold-const.c (fold_comparison): Clean up and extend X +- C1 CMP C2
to X CMP C2 -+ C1 transformation to EQ_EXPR/NE_EXPR.
Add X - Y CMP 0 to X CMP Y transformation.
(fold_binary_loc) <EQ_EXPR/NE_EXPR>: Remove same transformations.
From-SVN: r210979
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/Wstrict-overflow-25.c | 11 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/fold-compare-8.c | 11 |
3 files changed, 27 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3a185ca..e1e70c1 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2014-05-27 Eric Botcazou <ebotcazou@adacore.com> + + * gcc.dg/fold-compare-8.c: New test. + * gcc.dg/Wstrict-overflow-25.c: Likewise. + 2014-05-27 Richard Biener <rguenther@suse.de> * gcc.dg/tree-ssa/vrp92.c: New testcase. diff --git a/gcc/testsuite/gcc.dg/Wstrict-overflow-25.c b/gcc/testsuite/gcc.dg/Wstrict-overflow-25.c new file mode 100644 index 0000000..0091644 --- /dev/null +++ b/gcc/testsuite/gcc.dg/Wstrict-overflow-25.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-fstrict-overflow -O2 -Wstrict-overflow=3" } */ + +/* We can only simplify the conditional when using strict overflow + semantics. */ + +int +foo (int x, int y) +{ + return x - y < 0; /* { dg-warning "assuming signed overflow does not occur" "correct warning" } */ +} diff --git a/gcc/testsuite/gcc.dg/fold-compare-8.c b/gcc/testsuite/gcc.dg/fold-compare-8.c new file mode 100644 index 0000000..b6e42fd --- /dev/null +++ b/gcc/testsuite/gcc.dg/fold-compare-8.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-original" } */ + +int +foo (int x, int y) +{ + return x - y < 0; +} + +/* { dg-final { scan-tree-dump "x < y" "original" } } */ +/* { dg-final { cleanup-tree-dump "original" } } */ |