[LLVMbugs] [Bug 2546] New: create SCEVInfinite

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Sat Jul 12 23:49:24 PDT 2008


           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

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.

More information about the llvm-bugs mailing list