https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111148
Bug ID: 111148
Summary: Missing boolean optimizations due to comparisons
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Keywords: missed-optimization
Severity: enhancement
Priority: P3
Component: tree-optimization
Assignee: pinskia at gcc dot gnu.org
Reporter: pinskia at gcc dot gnu.org
Target Milestone: ---
```
_Bool f(int a, int b)
{
_Bool X = a==1, Y = b == 2;
return (X & !Y) | (!X & Y); // X ^ Y
}
_Bool f0(int X, int Y)
{
_Bool a = X==1, b = Y == 2;
return (!a & b) ^ a; // a | b
}
_Bool f1(int a, int b)
{
_Bool x = a==1, y = b == 2;
return (!x & y) | !(x | y); // !x
}
_Bool f2(int a, int b)
{
_Bool x = a==1, y = b == 2;
return (x | y) ^ (x | !y); // !x
}
_Bool f3(int a, int b)
{
_Bool x = a==1, y = b == 2;
return (x | !y) & (!x | y); // (x==y) or x ^ y ^1
}
_Bool f4(int a, int b)
{
_Bool x = a==1, y = b == 2;
return (!x | y) ^ (x | !y); // x ^ y
}
_Bool f5(int a, int b)
{
_Bool X = a == b;
_Bool Y = !X;
return X == Y; // 0
}
_Bool f6(int a, int b)
{
_Bool X = a == b;
_Bool Y = !X;
return X != Y; // 1
}
```
These all patterns should move over to using bitwise_inverted_equal_p .
