[Bug tree-optimization/71423] [6/7 Regression] wrong code at -Os and above on x86_64-linux-gnu

[glisse at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71423

--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> ---
match.pd has transformations like (~X & Y) -> X < Y for types of precision 1.
It looks like those are only valid if the type is unsigned, the comparison
should be reversed (Y < X) if the type is signed. I didn't check if that's
actually causing this bug.