Compiler.Hoopl.Passes.DList

Safe Haskell Safe
Language Haskell2010

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

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/7.10.3/docs/html/libraries/hoopl-3.10.0.2/Compiler-Hoopl-Passes-DList.html