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

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Sat Aug 18 05:08:28 PDT 2007


           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

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.

More information about the llvm-bugs mailing list