https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112386
Bug ID: 112386
Summary: `CMP0 && CMP1 && CMP2` is better optimized than `CMP0
& CMP1 & CMP2`
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:
```
_Bool foo(int x, int y, int z) {
return (z >= 0) & (x >= y + z) & (x >= y);
}
_Bool foo1(int x, int y, int z) {
return (z >= 0) && (x >= y + z) && (x >= y);
}
```
In foo1, we can optimize away the `x >= y` in VRP but foo is not optimized
away.
