[LLVMbugs] [Bug 12742] New: Make RegionInfo independent of DominanceFrontier

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Sat May 5 06:06:40 PDT 2012


             Bug #: 12742
           Summary: Make RegionInfo independent of DominanceFrontier
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Global Analyses
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: benny.kra at gmail.com
                CC: chandlerc at gmail.com, grosser at fim.uni-passau.de,
                    llvmbugs at cs.uiuc.edu
    Classification: Unclassified

The last in-tree user of DominanceFrontiers is the RegionInfo analysis. With
Chandler's recent work on a new way to handle partial inlining[1] it may find
its way into the default pipeline eventually and we really don't want to have
the O(n^2) domfrontier computation in there again after all the work to remove
it from other passes. Moving RegionInfo off domfrontier would also allow to
remove it entirely.

RegionInfo uses domfrontier to check if blocks form a SESE region. It really
feels like overkill to use domfrontier for this but I don't see what exactly is
needed to avoid it and only use ordinary dominator trees.


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