CF

Documentation

data ControlAnn

Control-flow annotations

Constructors

ControlAnn

Fields

• node :: !Int
• conn :: [Int]
• ud :: !UD

data UD

Constructors

UD

Fields

• usesNode :: !IntSet
• usesFNode :: !IntSet
• defsNode :: !IntSet
• defsFNode :: !IntSet

data Liveness

Constructors

Liveness

Fields

• ins :: !IntSet
• out :: !IntSet
• fins :: !IntSet
• fout :: !IntSet

Instances

Eq Liveness

Defined in CF

Methods

(==) :: Liveness -> Liveness -> Bool

(/=) :: Liveness -> Liveness -> Bool

Pretty Liveness

Defined in CF

Methods

pretty :: Liveness -> Doc ann

prettyList :: [Liveness] -> Doc ann

data NLiveness

Constructors

NLiveness

Fields

• nx :: Int
• liveness :: !Liveness

data Live

Constructors

Live

Fields

• new :: !IntSet
• done :: !IntSet
• fnew :: !IntSet
• fdone :: !IntSet

Instances

Pretty Live

Defined in CF

Methods

pretty :: Live -> Doc ann

prettyList :: [Live] -> Doc ann