https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113716
--- Comment #4 from Andrew Macleod ---
(In reply to Jakub Jelinek from comment #3)
> Maybe ranger could figure out that at least one of the multiplication
> operands is zero in this case, because the second one is non-zero only if
> the first
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113716
Jakub Jelinek changed:
What|Removed |Added
CC||aldyh at gcc dot gnu.org,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113716
--- Comment #2 from Andrew Pinski ---
Or what we could get in reassociation:
_2 = b_6(D) == 0;
_3 = (int) _2;
_4 = _3 * b_6(D);
WHich is just:
(simplify
(mult:c @0 (convert (eq:c@2 @0 integer_zerop@1)))
@0)
We already handle the
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113716
Andrew Pinski changed:
What|Removed |Added
CC||pinskia at gcc dot gnu.org
Ever