https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101805
Bug ID: 101805
Summary: Max<bool0,bool1> -> bool0 | bool1 Min<bool0, bool1> ->
a & b
Product: gcc
Version: 12.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 maxbool(bool ab, bool bb)
{
int a = ab;
int b = bb;
int c;
c = (a > b)?a : b;
return c;
}
int minbool(bool ab, bool bb)
{
int a = ab;
int b = bb;
int c;
c = (a < b)?a : b;
return c;
}
---- CUT ----
These two should be optimized to just:
int maxbool_or(bool ab, bool bb)
{
int c = ab | bb;
return c;
}
int minbool_and(bool ab, bool bb)
{
int c = ab & bb;
return c;
}
------ CUT----
GCC, ICC, clang nor MSVC do this optimization.
