Kempe.Asm.X86.ControlFlow

Documentation

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

data ControlAnn

Constructors

ControlAnn

Fields

• node :: !Int
• conn :: [Int]
• usesNode :: Set AbsReg
• defsNode :: Set AbsReg

Instances

Generic ControlAnn

Defined in Kempe.Asm.X86.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.X86.Type

Methods

rnf :: ControlAnn -> ()

type Rep ControlAnn

Defined in Kempe.Asm.X86.Type

type Rep ControlAnn = D1 ('MetaData "ControlAnn" "Kempe.Asm.X86.Type" "kempe-0.1.1.0-inplace-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 (Set AbsReg)) :*: S1 ('MetaSel ('Just "defsNode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set AbsReg)))))