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

Reply via email to