https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108841
Bug ID: 108841
Summary: sometimes a < b && c < b is not optimized to MAX<a, c>
< b
Product: gcc
Version: 13.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 f1(int a0, int a1, int b, int c0, int c1)
{
int a = a0 < a1 ? a1 : a0;
if (a < b) {
int c = c0 < c1 ? c1 : c0;
if (c < b)
return 0;
}
return 1;
}
int f2(int a0, int a1, int b, int c0, int c1)
{
int a = a0 < a1 ? a1 : a0;
int c = c0 < c1 ? c1 : c0;
if (a < b) {
if (c < b)
return 0;
}
return 1;
}
```
These 2 functions should produce the same code, the only difference is the
calculation of c is not condtional.
