LLVM M.D.Source codeContentsIndex
MD.Structural
MaintainerPaul Govereau <govereau@cs.harvard.edu>
Description
Implementation of Structural Analysis following M. Sharir (1980) and C. Cifuentes (1993, 1996).
Documentation
class Show a => BasicBlock a whereSource
Methods
targets :: a -> [Label]Source
name :: a -> LabelSource
children :: a -> [Label]Source
show/hide Instances
data Structure a Source
Constructors
Empty
Single a
Sequence [Structure a]
If [a] (Structure a) (Structure a)
IfN a [Structure a]
WhileLoop a (Structure a)
show/hide Instances
structuralAnalysis :: BasicBlock a => [a] -> IO (Structure a)Source
sflatten :: Structure a -> [a]Source
Produced by Haddock version 2.6.0