hoopl-3.10.2.2: A library to support dataflow analysis and optimization

Safe HaskellSafe
LanguageHaskell2010

Compiler.Hoopl.Passes.DList (signature[?])

Synopsis

Documentation

type Doms = WithBot [Label] Source #

List of labels, extended with a standard bottom element

domEntry :: Doms Source #

The fact that goes into the entry of a dominator analysis: the first node is dominated only by the entry point, which is represented by the empty list of labels.

domLattice :: DataflowLattice Doms Source #

domPass :: (NonLocal n, Monad m) => FwdPass m n Doms Source #

Dominator pass