https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112096
Bug ID: 112096
Summary: `(a || b) ? a : b` should be simplified to a
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Keywords: missed-optimization
Severity: enhancement
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: pinskia at gcc dot gnu.org
Target Milestone: ---
Take:
```
int t0(int x, int y)
{
_Bool t = x == 0 && y == 0;
if (t) return x; return y;
} // y
int t0_(int x, int y)
{
_Bool t = x == 0 && y == 0;
if (t) return 0; return y;
} // y
int t1(int x, int y)
{
_Bool t = x || y;
if (t) return x; return y;
} // x
int t1_(int x, int y)
{
_Bool t = x || y;
if (t) return x; return 0;
} // x
```
These should be simplified as the comment says
All 4 of these are caught by LLVM.
