From 68ad1df5f5cd80b15c5015bb86230bf2c5b2bc3e Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Fri, 30 Sep 2016 07:09:28 +0000 Subject: tree-vrp.c (intersect_ranges): If we failed to handle the intersection choose a constant singleton range if... 2016-09-30 Richard Biener * tree-vrp.c (intersect_ranges): If we failed to handle the intersection choose a constant singleton range if available. From-SVN: r240647 --- gcc/ChangeLog | 5 +++++ gcc/tree-vrp.c | 11 ++++++++++- 2 files changed, 15 insertions(+), 1 deletion(-) (limited to 'gcc') 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 + * tree-vrp.c (intersect_ranges): If we failed to handle + the intersection choose a constant singleton range if available. + +2016-09-30 Richard Biener + 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; } -- cgit v1.1