https://bugs.llvm.org/show_bug.cgi?id=46375
Bug ID: 46375
Summary: Failure to optimize comparisons witht numbers after
comparison with 0 to unsigned comparison when there
are multiple of them
Product: libraries
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: Scalar Optimizations
Assignee: unassignedb...@nondot.org
Reporter: gabrav...@gmail.com
CC: llvm-bugs@lists.llvm.org
bool f(int a, int b)
{
return a >= 0 && b >= 0 && a < 8 && b < 8;
}
This can be optimized to `return (unsigned)a < 8 && (unsigned)b < 8;` (and
further to `(unsigned)(a | b) < 8`). This transformation is done by GCC, but
not by LLVM.
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
