From 5a9f1033226f921d9852b3a209706eccc0076fe7 Mon Sep 17 00:00:00 2001 From: Aldy Hernandez Date: Tue, 10 Mar 2020 09:18:03 +0100 Subject: Do not refine some ranges in vr_gori_interface::outgoing_edge_range_p. Do not refine ranges if result is already a singleton. --- gcc/vr-values.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'gcc') diff --git a/gcc/vr-values.c b/gcc/vr-values.c index b359886..9ec2a4f 100644 --- a/gcc/vr-values.c +++ b/gcc/vr-values.c @@ -1973,7 +1973,8 @@ vr_gori_interface::outgoing_edge_range_p (irange &r, edge e, tree name, { if (!gori_compute::outgoing_edge_range_p (r, e, name)) r.set_varying (TREE_TYPE (name)); - refine_range_with_equivalences (r, e, name); + if (!r.singleton_p ()) + refine_range_with_equivalences (r, e, name); widest_irange tmp; range_of_ssa_name (tmp, name); r.intersect (tmp); -- cgit v1.1