https://bugs.llvm.org/show_bug.cgi?id=49057
Bug ID: 49057
Summary: Failure to optimize out redundant overflow check
Product: libraries
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: Scalar Optimizations
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
unsigned foo(unsigned a, unsigned b)
{
unsigned sum = a + b;
if (sum < a)
abort();
if (sum < b)
abort();
return sum;
}
The second `if` condition can be optimized out. This transformation is done by
GCC, but not by LLVM.
Godbolt comparison: https://godbolt.org/z/KeGWx8
alive2 check: https://alive2.llvm.org/ce/z/5hk_x7
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
