diff options
| author | Christophe Lyon <christophe.lyon@linaro.org> | 2016-01-07 14:33:19 +0100 |
|---|---|---|
| committer | Christophe Lyon <christophe.lyon@linaro.org> | 2016-01-07 14:58:54 +0100 |
| commit | ceed650db42cc32a57d536f612afb3dc639d52d7 (patch) | |
| tree | 4afd29d3cc48f34bc0ac21872647a3e9b7954ae9 /gcc/testsuite | |
| parent | dad84c9a5ef6b373364319202be3f01036ea3fa3 (diff) | |
Fix bug #1980
gcc/
Revert backport from trunk r230150.
2015-11-11 Richard Biener <rguenth@gcc.gnu.org>
Jiong Wang <jiong.wang@arm.com>
PR tree-optimization/68234
* tree-vrp.c (vrp_visit_phi_node): Extend SCEV check to those loop PHI
node which estimiated to be VR_VARYING initially.
gcc/testsuite/
Revert backport from trunk r230150.
2015-11-11 Richard Biener <rguenth@gcc.gnu.org>
Jiong Wang <jiong.wang@arm.com>
* gcc.dg/tree-ssa/pr68234.c: New testcase.
gcc/
Revert backport from trunk r230754.
2015-11-23 Richard Biener <rguenth@gcc.gnu.org>
Jiong Wang <jiong.wang@arm.com>
PR tree-optimization/68317
PR tree-optimization/68326
* tree-vrp.c (adjust_range_with_scev): Call drop_tree_overflow if the
final min and max are not infinity.
gcc/testsuite/
Revert backport from trunk r230754.
2015-11-23 Richard Biener <rguenther@suse.de>
Jiong Wang <jiong.wang@arm.com>
PR tree-optimization/68317
PR tree-optimization/68326
* gcc.dg/pr68317.c: New testcase.
Change-Id: I3480edeff6d03eaa42c4d859b274f43f2441b70a
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr68317.c | 15 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/pr68234.c | 24 |
2 files changed, 0 insertions, 39 deletions
diff --git a/gcc/testsuite/gcc.dg/pr68317.c b/gcc/testsuite/gcc.dg/pr68317.c deleted file mode 100644 index 7b565639588..00000000000 --- a/gcc/testsuite/gcc.dg/pr68317.c +++ /dev/null @@ -1,15 +0,0 @@ -/* { dg-do compile } */ -/* { dg-options "-O2" } */ - -void bar (int); - -void -foo () -{ - int index = 0; - - for (index; index <= 10; index--) - /* Result of the following multiply will overflow - when converted to signed int. */ - bar ((0xcafe + index) * 0xdead); -} diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr68234.c b/gcc/testsuite/gcc.dg/tree-ssa/pr68234.c deleted file mode 100644 index e7c2a95aa4c..00000000000 --- a/gcc/testsuite/gcc.dg/tree-ssa/pr68234.c +++ /dev/null @@ -1,24 +0,0 @@ -/* { dg-do compile } */ -/* { dg-options "-O2 -fdump-tree-vrp2" } */ - -extern int nc; -void ff (unsigned long long); - -void -f (void) -{ - unsigned char resp[1024]; - int c; - int bl = 0; - unsigned long long *dwords = (unsigned long long *) (resp + 5); - for (c = 0; c < nc; c++) - { - /* PR middle-end/68234, this signed division should be optimized into - right shift as vrp pass should deduct range info of 'bl' falls into - positive number. */ - ff (dwords[bl / 64]); - bl++; - } -} - -/* { dg-final { scan-tree-dump ">> 6" "vrp2" } } */ |