https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95408
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- In forwprop1 we have: _2 = x.0_1 <= 121210; _3 = (int) _2; _4 = _3 * x_5(D); _6 = _4 != 0; since _3 is zero_one_valued we could do instead: ``` (for cmp (ne eq ) bitop (bit_and bit_ior) (simplify (cmp (mult zero_one_valued_p@0 @1) integer_zerop@2) (bitop! (convert @0) (ne @1 @2)))) ``` And we should be able to get it earlier on. Still mine and I will look into the above.