[LLVMbugs] [Bug 4599] New: opt -O1 introduces umax expressions in simple for loops

[bugzilla-daemon at cs.uiuc.edu]

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: unassignedbugs at nondot.org
        ReportedBy: edwintorok at gmail.com
                CC: llvmbugs at cs.uiuc.edu


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.