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.

Reply via email to