On Tue, Jun 28, 2022 at 11:33 AM Aldy Hernandez <al...@redhat.com> wrote: > > On Tue, Jun 28, 2022 at 9:36 AM Richard Biener > <richard.guent...@gmail.com> wrote: > > > > On Mon, Jun 27, 2022 at 9:00 PM Aldy Hernandez <al...@redhat.com> wrote: > > > > > > The conversion for loop-ch is trivial, since the range of a > > > GIMPLE_COND is always an integer. > > > > Yes - but doesn't this hint at the fact that the irange::supports_p is > > useless because it checks on the type of the comparison operand > > rather than the type of the comparison (boolean_type_node)? > > > > So .. instead of replacing it, remove it? > > You're absolutely right. > > OK pending tests?
Yes. > Aldy
