https://bugs.llvm.org/show_bug.cgi?id=45685
Bug ID: 45685
Summary: Failure to optimize away multiplication when right
operand is not 0
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
int f(int a, int b, int c)
{
__builtin_assume(c != 0);
a *= c;
b *= c;
return a == b;
}
This could all be optimized into `a == b` since `c != 0`. This transformation
is done by GCC, but not by LLVM.
Comparison here : https://godbolt.org/z/SMWp9P
--
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
