https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99199
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pinskia at gcc dot gnu.org
--- Comment #11 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
<bb 5> [local count: 234881022]:
_1 = ~u_163(D);
_2 = _1 & v_164(D);
if (_2 != 0)
goto <bb 40>; [50.00%]
else
goto <bb 6>; [50.00%]
<bb 6> [local count: 55050240]:
_357 = ~v_164(D);
_363 = u_163(D) & _357;
if (_363 != 0)
goto <bb 40>; [53.57%]
else
goto <bb 7>; [46.43%]
This is literally just if (u != v) goto <bb 40>; else goto <bb 7>;
```
int f0(_Bool u, _Bool v)
{
_Bool t1, t;
t = !u & v;
t1 = !v & u;
if (t) goto L40;
if (t1) goto L40;
return 0;
L40:
return 1;
}
int f1(_Bool u, _Bool v)
{
_Bool t1, t;
t = !u & v;
if (t) goto L40;
t1 = !v & u;
if (t1) goto L40;
return 0;
L40:
return 1;
}
```
These should give the same result but don't.
Let me file that as a seperate bug ...