Kempe.Asm.X86.ControlFlow

Documentation

mkControlFlow :: [X86 AbsReg ()] -> [X86 AbsReg ControlAnn]

data ControlAnn

Control-flow annotations

Constructors

ControlAnn

Fields

• node :: !Int
• conn :: [Int]
• usesNode :: IntSet
• defsNode :: IntSet

Instances

Generic ControlAnn

Defined in Kempe.Asm.Type

Associated Types

type Rep ControlAnn :: Type -> Type

Methods

from :: ControlAnn -> Rep ControlAnn x

to :: Rep ControlAnn x -> ControlAnn

NFData ControlAnn

Defined in Kempe.Asm.Type

Methods

rnf :: ControlAnn -> ()

type Rep ControlAnn

Defined in Kempe.Asm.Type

type Rep ControlAnn = D1 ('MetaData "ControlAnn" "Kempe.Asm.Type" "kempe-0.2.0.2-7aFdeCc8E8gKOrV08w2EMP-kempe-modules" 'False) (C1 ('MetaCons "ControlAnn" 'PrefixI 'True) ((S1 ('MetaSel ('Just "node") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "conn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int])) :*: (S1 ('MetaSel ('Just "usesNode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntSet) :*: S1 ('MetaSel ('Just "defsNode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntSet))))