[gcc r13-1318] Allow all types supported by ranger in loop-ch.

[gcc r13-1318] Allow all types supported by ranger in loop-ch.

[Aldy Hernandez]

https://gcc.gnu.org/g:88417d77fec57c9d15ac2864b37e84eee575a781

commit r13-1318-g88417d77fec57c9d15ac2864b37e84eee575a781
Author: Aldy Hernandez <aldyh@redhat.com>
Date:   Mon Jun 27 20:50:03 2022 +0200

    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.

Diff:
---
 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 <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;