This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] (-fstrict-overflow) optimize counted loops on signed iv
Hello,
> >I think this is what Christian claimed, that we handle only the
> >case x + cst cmp x?
> >
> >Btw. if you wonder why we do not fold the comparison in his testcase,
> >the reason is that the code in fold_binary does not handle the case
> >x cmp x + cst...
>
> But that's not the canonical form... this is transformed to x + cst cmp x
> first
> and then folded.
no, it is not.
Zdenek