diff options
| author | Richard Biener <rguenther@suse.de> | 2016-07-21 13:00:32 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-07-21 13:00:32 +0000 |
| commit | 959cef7434c0383f32ff28ab012fe17d9d94a7c2 (patch) | |
| tree | bd331a8d98f64c523d13a05c0eb435ce17dea62a /gcc/tree-vrp.c | |
| parent | 88617fe425b0f01305ede58de484592c11422f22 (diff) | |
| download | gcc-959cef7434c0383f32ff28ab012fe17d9d94a7c2.zip gcc-959cef7434c0383f32ff28ab012fe17d9d94a7c2.tar.gz gcc-959cef7434c0383f32ff28ab012fe17d9d94a7c2.tar.bz2 | |
re PR tree-optimization/71947 (x ^ y not folded to 0 if x == y by DOM)
2016-07-21 Richard Biener <rguenther@suse.de>
PR tree-optimization/71947
* tree-vrp.c (extract_range_from_assert): Singleton symbolic
ranges have useful limit_vr information.
* gcc.dg/tree-ssa/vrp102.c: New testcase.
From-SVN: r238591
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index b9ccb73..06364b7 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -1513,10 +1513,13 @@ extract_range_from_assert (value_range *vr_p, tree expr) limit_vr = (TREE_CODE (limit) == SSA_NAME) ? get_value_range (limit) : NULL; /* LIMIT's range is only interesting if it has any useful information. */ - if (limit_vr - && (limit_vr->type == VR_UNDEFINED - || limit_vr->type == VR_VARYING - || symbolic_range_p (limit_vr))) + if (! limit_vr + || limit_vr->type == VR_UNDEFINED + || limit_vr->type == VR_VARYING + || (symbolic_range_p (limit_vr) + && ! (limit_vr->type == VR_RANGE + && (limit_vr->min == limit_vr->max + || operand_equal_p (limit_vr->min, limit_vr->max, 0))))) limit_vr = NULL; /* Initially, the new range has the same set of equivalences of |