[LLVMbugs] [Bug 2546] New: create SCEVInfinite

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=2546

           Summary: create SCEVInfinite
           Product: libraries
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: Loop Optimizer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: nicholas at mxc.ca
                CC: llvmbugs at cs.uiuc.edu


Currently we use SCEVCouldNotCompute for cases where the analysis failed and
when the loop was successfully analyzed as being infinite. We should split
those apart and return a new SCEVInfinite type for loops that are provable
infinite.

Internally, a SCEVInfinite early on should skip the brute force loop count
computation. Once we're no longer wasting time brute forcing infinite loops, we
can try cranking up the number of brute force iterations.

Also, some passes, like loop deletion, might want to see SCEVInfinite.


-- 
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.