diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-06-27 20:50:03 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-06-28 13:00:45 +0200 |
| commit | 88417d77fec57c9d15ac2864b37e84eee575a781 (patch) | |
| tree | dca0260ceb932a3773749230259110e2d22b6dd3 | |
| parent | a3ca1fc5f409e257e9fb9a8165bb4a7068ddebbe (diff) | |
| download | gcc-88417d77fec57c9d15ac2864b37e84eee575a781.zip gcc-88417d77fec57c9d15ac2864b37e84eee575a781.tar.gz gcc-88417d77fec57c9d15ac2864b37e84eee575a781.tar.bz2 | |
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.
| -rw-r--r-- | gcc/tree-ssa-loop-ch.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/tree-ssa-loop-ch.cc b/gcc/tree-ssa-loop-ch.cc index c17a3e4..3b91a89 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; |