diff options
| author | Richard Biener <rguenther@suse.de> | 2016-09-06 12:51:01 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-09-06 12:51:01 +0000 |
| commit | 209b636eddd6602c55b4a65237578953b7d80225 (patch) | |
| tree | ff3dd354dbee4aa86f09a20f3bd1562184e07dd9 /gcc | |
| parent | b772a56562fa8272a188d39a38492d52bdc797fd (diff) | |
| download | gcc-209b636eddd6602c55b4a65237578953b7d80225.zip gcc-209b636eddd6602c55b4a65237578953b7d80225.tar.gz gcc-209b636eddd6602c55b4a65237578953b7d80225.tar.bz2 | |
re PR tree-optimization/77479 (Compile time hog w/ -O2 (-Os))
2016-09-06 Richard Biener <rguenther@suse.de>
PR tree-optimization/77479
* tree-vrp.c (update_value_range): Extend overflow handling to
VARYING.
* gcc.dg/torture/pr77479.c: New testcase.
From-SVN: r240007
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/pr77479.c | 25 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 32 |
4 files changed, 55 insertions, 13 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4335b9d..87910e4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-09-06 Richard Biener <rguenther@suse.de> + + PR tree-optimization/77479 + * tree-vrp.c (update_value_range): Extend overflow handling to + VARYING. + 2016-09-05 Jakub Jelinek <jakub@redhat.com> PR target/77476 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 28409cc..9fcda6e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2016-09-06 Richard Biener <rguenther@suse.de> + PR tree-optimization/77479 + * gcc.dg/torture/pr77479.c: New testcase. + +2016-09-06 Richard Biener <rguenther@suse.de> + PR c/77450 * c-c++-common/vector-subscript-7.c: Adjust. * c-c++-common/vector-subscript-8.c: New testcase. diff --git a/gcc/testsuite/gcc.dg/torture/pr77479.c b/gcc/testsuite/gcc.dg/torture/pr77479.c new file mode 100644 index 0000000..354ae59 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr77479.c @@ -0,0 +1,25 @@ +/* { dg-do compile } */ +/* { dg-additional-options "-fstrict-overflow -ftree-vrp" } */ + +void +vr (int of, unsigned char bw) +{ + int d1; + int lm = 0; + + for (d1 = 0; d1 < 3; ++d1) + { + const int vl = 2; + + while (bw < vl) + { + } + if (bw != vl) + lm -= vl; + } + while (++of < 1) + { + lm /= bw; + of += lm; + } +} diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 45882c4..e7067ab 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -744,23 +744,29 @@ update_value_range (const_tree var, value_range *new_vr) value_range_type rtype = get_range_info (var, &min, &max); if (rtype == VR_RANGE || rtype == VR_ANTI_RANGE) { - value_range nr; - nr.type = rtype; + tree nr_min, nr_max; /* Range info on SSA names doesn't carry overflow information so make sure to preserve the overflow bit on the lattice. */ - if (new_vr->type == VR_RANGE - && is_negative_overflow_infinity (new_vr->min) - && wi::eq_p (new_vr->min, min)) - nr.min = new_vr->min; + if (rtype == VR_RANGE + && needs_overflow_infinity (TREE_TYPE (var)) + && (new_vr->type == VR_VARYING + || (new_vr->type == VR_RANGE + && is_negative_overflow_infinity (new_vr->min))) + && wi::eq_p (vrp_val_min (TREE_TYPE (var)), min)) + nr_min = negative_overflow_infinity (TREE_TYPE (var)); else - nr.min = wide_int_to_tree (TREE_TYPE (var), min); - if (new_vr->type == VR_RANGE - && is_positive_overflow_infinity (new_vr->max) - && wi::eq_p (new_vr->max, max)) - nr.max = new_vr->max; + nr_min = wide_int_to_tree (TREE_TYPE (var), min); + if (rtype == VR_RANGE + && needs_overflow_infinity (TREE_TYPE (var)) + && (new_vr->type == VR_VARYING + || (new_vr->type == VR_RANGE + && is_positive_overflow_infinity (new_vr->max))) + && wi::eq_p (vrp_val_max (TREE_TYPE (var)), max)) + nr_max = positive_overflow_infinity (TREE_TYPE (var)); else - nr.max = wide_int_to_tree (TREE_TYPE (var), max); - nr.equiv = NULL; + nr_max = wide_int_to_tree (TREE_TYPE (var), max); + value_range nr = VR_INITIALIZER; + set_and_canonicalize_value_range (&nr, rtype, nr_min, nr_max, NULL); vrp_intersect_ranges (new_vr, &nr); } } |