http://llvm.org/bugs/show_bug.cgi?id=4599
Summary: opt -O1 introduces umax expressions in simple for loops
Product: new-bugs
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
Created an attachment (id=3230)
--> (http://llvm.org/bugs/attachment.cgi?id=3230)
y.bc
$ opt -scalar-evolution -analyze y.bc
...
Loop for.cond: backedge-taken count is %ecx
Loop for.cond: max backedge-taken count is -1
If I run -O1 I get a much uglier form for the loop:
$ opt -O1 -scalar-evolution y.bc -analyze
....
Loop for.body: backedge-taken count is (-1 + (1 umax %ecx))
Loop for.body: max backedge-taken count is (-1 + (1 umax %ecx))
--
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
