diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 11 |
2 files changed, 15 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d0a4199..25129cb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2016-09-30 Richard Biener <rguenther@suse.de> + * tree-vrp.c (intersect_ranges): If we failed to handle + the intersection choose a constant singleton range if available. + +2016-09-30 Richard Biener <rguenther@suse.de> + PR tree-optimization/77399 * tree-ssa-forwprop.c (simplify_vector_constructor): Handle float <-> int conversions. diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index dbff92f..7a08be7 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -8555,7 +8555,16 @@ intersect_ranges (enum value_range_type *vr0type, /* As a fallback simply use { *VRTYPE, *VR0MIN, *VR0MAX } as result for the intersection. That's always a conservative - correct estimate. */ + correct estimate unless VR1 is a constant singleton range + in which case we choose that. */ + if (vr1type == VR_RANGE + && is_gimple_min_invariant (vr1min) + && vrp_operand_equal_p (vr1min, vr1max)) + { + *vr0type = vr1type; + *vr0min = vr1min; + *vr0max = vr1max; + } return; } |