http://llvm.org/bugs/show_bug.cgi?id=11409
Bug #: 11409
Summary: SCEV fails to take advantage of nsw
Product: libraries
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: Loop Optimizer
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
Classification: Unclassified
opt -O2 does a pretty decent job of handling this loop:
int f(int i) { int j, k = 0; for (j = i; j < i + 10; ++j) ++k; return k; }
but it's not taking advantage of the no-signed-wrap property. GCC optimizes it
straight down to "return 10".
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
