From 88417d77fec57c9d15ac2864b37e84eee575a781 Mon Sep 17 00:00:00 2001 From: Aldy Hernandez Date: Mon, 27 Jun 2022 20:50:03 +0200 Subject: [PATCH] Allow all types supported by ranger in loop-ch. This converts the ranger use in loop-ch to allow any types allowed by the ranger infrastructure. Since the range of a GIMPLE_COND is always an integer we can remove the check because the only temporary is already an int_range. gcc/ChangeLog: * tree-ssa-loop-ch.cc (entry_loop_condition_is_static): Remove irange::supports_p. --- gcc/tree-ssa-loop-ch.cc | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/gcc/tree-ssa-loop-ch.cc b/gcc/tree-ssa-loop-ch.cc index c17a3e4b004..3b91a89eaf5 100644 --- a/gcc/tree-ssa-loop-ch.cc +++ b/gcc/tree-ssa-loop-ch.cc @@ -54,8 +54,7 @@ entry_loop_condition_is_static (class loop *l, path_range_query *query) edge e = loop_preheader_edge (l); gcond *last = safe_dyn_cast (last_stmt (e->dest)); - if (!last - || !irange::supports_p (TREE_TYPE (gimple_cond_lhs (last)))) + if (!last) return false; edge true_e, false_e; -- 2.47.2