[Bug middle-end/101807] New: bool0 < bool1 Should expand as !bool0 &bool1 and bool0 <= bool1 as !bool0 | bool1

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101807

            Bug ID: 101807
           Summary: bool0 < bool1 Should expand as !bool0 &bool1 and bool0
                    <= bool1 as !bool0 | bool1
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: missed-optimization
          Severity: enhancement
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

Take:
bool f(bool a, bool b)
{
    return a<b;
}
bool g(bool a, bool b)
{
  return !a & b;
}
These two should produce similar code.
<= is similar.