[LLVMbugs] [Bug 1614] New: emit guard condition if needed to analyze loop

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: emit guard condition if needed to analyze loop
           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


Scalar evolutions' HowManyLessThans searches for a dominating branch that
ensures that the loop will execute. If it's not found then it can't analyze the
loop.

Instead, LLVM should create that branch if that would change the loop from
unpredictable to predictable. Scalar evolutions can't do that itself though,
being an analysis that may not edit the Function.


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