https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96702
Bug ID: 96702
Summary: Failure to optimize comparisons involving result of
subtraction
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: gabravier at gmail dot com
Target Milestone: ---
bool f(int a, int b)
{
int c = (a - b);
return c >= a && c != 0;
}
This can be optimized to `return (b <= 0) && (a != b);`. This transformation is
done by LLVM, but not by GCC.
