diff options
| author | Jiong Wang <jiwang@gcc.gnu.org> | 2015-11-23 12:14:05 +0000 |
|---|---|---|
| committer | Jiong Wang <jiwang@gcc.gnu.org> | 2015-11-23 12:14:05 +0000 |
| commit | f7b492ea50624b72ec1d3c109fe0128a69b9e343 (patch) | |
| tree | 87ac82b67ee566ffc72ae143a1af2161f5edf2a2 /gcc | |
| parent | a789b24062605aee7cdf3cc20a79524e3984edc5 (diff) | |
| download | gcc-f7b492ea50624b72ec1d3c109fe0128a69b9e343.zip gcc-f7b492ea50624b72ec1d3c109fe0128a69b9e343.tar.gz gcc-f7b492ea50624b72ec1d3c109fe0128a69b9e343.tar.bz2 | |
[Patch] Drop constant overflow flag in adjust_range_with_scev when possible
2015-11-23 Richard Biener <rguenth@gcc.gnu.com>
Jiong Wang <jiong.wang@arm.com>
gcc/
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/
* gcc.dg/pr68317.c: New testcase.
From-SVN: r230754
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr68317.c | 15 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 11 |
4 files changed, 41 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 530cf78..b1d0918 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +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. + 2015-11-23 Ilya Enkovich <enkovich.gnu@gmail.com> Richard Biener <rguenther@suse.de> diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 142347d..1c60e50 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,10 @@ +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. + 2015-11-23 Ilya Enkovich <enkovich.gnu@gmail.com> PR tree-optimization/68327 diff --git a/gcc/testsuite/gcc.dg/pr68317.c b/gcc/testsuite/gcc.dg/pr68317.c new file mode 100644 index 0000000..7b56563 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr68317.c @@ -0,0 +1,15 @@ +/* { 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/tree-vrp.c b/gcc/tree-vrp.c index f2c948c..7001190 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -4323,6 +4323,17 @@ adjust_range_with_scev (value_range *vr, struct loop *loop, && is_positive_overflow_infinity (max))) return; + /* Even for valid range info, sometimes overflow flag will leak in. + As GIMPLE IL should have no constants with TREE_OVERFLOW set, we + drop them except for +-overflow_infinity which still need special + handling in vrp pass. */ + if (TREE_OVERFLOW_P (min) + && ! is_negative_overflow_infinity (min)) + min = drop_tree_overflow (min); + if (TREE_OVERFLOW_P (max) + && ! is_positive_overflow_infinity (max)) + max = drop_tree_overflow (max); + set_value_range (vr, VR_RANGE, min, max, vr->equiv); } |