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.
This commit is contained in:
Aldy Hernandez 2022-06-27 20:50:03 +02:00
parent a3ca1fc5f4
commit 88417d77fe

View file

@ -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 <gcond *> (last_stmt (e->dest));
if (!last
|| !irange::supports_p (TREE_TYPE (gimple_cond_lhs (last))))
if (!last)
return false;
edge true_e, false_e;