[LLVMbugs] [Bug 217] NEW: LLVM needs a generic dominator update mechanism

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Sat Jan 31 18:02:41 PST 2004


           Summary: LLVM needs a generic dominator update mechanism
           Product: libraries
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Global Analyses
        AssignedTo: sabre at nondot.org
        ReportedBy: sabre at nondot.org

Certain transformations, like tail-duplication (Bug 174) and the correlated
expression elimination pass, fundamentally need to make arbitrary changes to the
CFG _AND_ update the SSA form of expressions.  To do this, they need to _update_
dominators and dominator frontiers as they change the CFG.

Basically the dominator information passes need an 'addEdge/removeEdge'
interface that clients can use to incrementally update the dominator
information.  There is a paper that describes how to do this:


... someone should implement it.

Given this functionality, many other transformations would also be able to
incrementally update dominator information, instead of recalculating it, which
would speed up the optimizer as well.


------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.

More information about the llvm-bugs mailing list