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 ...