https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107880
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=101807
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
One way of fixing this is first transform:
_9 = ~a_4(D);
_10 = b_3(D) | _9;
Into:
_10 = a_4(D) <= b_3(D);
And then we have:
_8 = b_3(D) >= a_4(D);
_7 = b_3(D) <= a_4(D);
_1 = _7 == _8;
_2 = b_3(D) == a_4(D);
_6 = _1 == _2;
But _1 is true iff a_4(D) == b_3(D) .
Let me file that second one as we don't optimize it also for int.
