Kempe.Asm.X86.Type

Documentation

data X86 reg a

Constructors

PushReg

Fields

• ann :: a
• rSrc :: reg

PushMem

Fields

• ann :: a
• addr :: Addr reg

PopMem

Fields

• ann :: a
• addr :: Addr reg

PopReg

Fields

• ann :: a
• reg :: reg

PushConst

Fields

• ann :: a
• iSrc :: Int64

Jump

Fields

• ann :: a
• label :: Label

Call

Fields

• ann :: a
• label :: Label

CallBS

Fields

• ann :: a
• bslLabel :: ByteString

Ret

Fields

• ann :: a

MovRA

Fields

• ann :: a
• rDest :: reg
• addrSrc :: Addr reg

MovAR

Fields

• ann :: a
• addrDest :: Addr reg
• rSrc :: reg

MovABool

Fields

• ann :: a
• addrDest :: Addr reg
• boolSrc :: Word8

MovRR

Fields

• ann :: a
• rDest :: reg
• rSrc :: reg

MovRC

Fields

• ann :: a
• rDest :: reg
• iSrc :: Int64

MovRL

Fields

• ann :: a
• rDest :: reg
• bsLabel :: ByteString

MovAC

Fields

• ann :: a
• addrDest :: Addr reg
• iSrc :: Int64

MovACi8

Fields

• ann :: a
• addrDest :: Addr reg
• i8Src :: Int8

MovACTag

Fields

• ann :: a
• addrDest :: Addr reg
• tagSrc :: Word8

MovRCBool

Fields

• ann :: a
• rDest :: reg
• boolSrc :: Word8

MovRCi8

Fields

• ann :: a
• rDest :: reg
• i8Src :: Int8

MovRCTag

Fields

• ann :: a
• rDest :: reg
• tagSrc :: Word8

MovRWord

Fields

• ann :: a
• rDest :: reg
• wSrc :: Word

AddRR

Fields

• ann :: a
• rAdd1 :: reg
• rAdd2 :: reg

SubRR

Fields

• ann :: a
• rSub1 :: reg
• rSub2 :: reg

XorRR

Fields

• ann :: a
• rXor1 :: reg
• rXor2 :: reg

ImulRR

Fields

• ann :: a
• rMul1 :: reg
• rMul2 :: reg

AddAC

Fields

• ann :: a
• addrAdd1 :: Addr reg
• iAdd2 :: Int64

AddRC

Fields

• ann :: a
• rAdd1 :: reg
• iAdd2 :: Int64

SubRC

Fields

• ann :: a
• rSub1 :: reg
• iSub2 :: Int64

ShiftLRR

Fields

• ann :: a
• rDest :: reg
• rSrc :: reg

ShiftRRR

Fields

• ann :: a
• rDest :: reg
• rSrc :: reg

Label

Fields

• ann :: a
• label :: Label

BSLabel

Fields

• ann :: a
• bsLabel :: ByteString

Je

Fields

• ann :: a
• jLabel :: Label

Jne

Fields

• ann :: a
• jLabel :: Label

Jg

Fields

• ann :: a
• jLabel :: Label

Jge

Fields

• ann :: a
• jLabel :: Label

Jl

Fields

• ann :: a
• jLabel :: Label

Jle

Fields

• ann :: a
• jLabel :: Label

CmpAddrReg

Fields

• ann :: a
• addrCmp :: Addr reg
• rCmp :: reg

CmpRegReg

Fields

• ann :: a
• rCmp :: reg
• rCmp' :: reg

CmpAddrBool

Fields

• ann :: a
• addrCmp :: Addr reg
• bCmp :: Word8

CmpRegBool

Fields

• ann :: a
• rCmp :: reg
• bCmp :: Word8

IdivR

Fields

• ann :: a
• rDiv :: reg

DivR

Fields

• ann :: a
• rDiv :: reg

Cqo

Fields

• ann :: a

AndRR

Fields

• ann :: a
• rDest :: reg
• rSrc :: reg

OrRR

Fields

• ann :: a
• rDest :: reg
• rSrc :: reg

PopcountRR

Fields

• ann :: a
• rDest :: reg
• rSrc :: reg

NegR

Fields

• ann :: a
• rSrc :: reg

NasmMacro0

Fields

• ann :: a
• macroName :: ByteString

Instances

Functor (X86 reg)

Defined in Kempe.Asm.X86.Type

Methods

fmap :: (a -> b) -> X86 reg a -> X86 reg b

(<$) :: a -> X86 reg b -> X86 reg a

Generic (X86 reg a)

Defined in Kempe.Asm.X86.Type

Associated Types

type Rep (X86 reg a) :: Type -> Type

Methods

from :: X86 reg a -> Rep (X86 reg a) x

to :: Rep (X86 reg a) x -> X86 reg a

(NFData a, NFData reg) => NFData (X86 reg a)

Defined in Kempe.Asm.X86.Type

Methods

rnf :: X86 reg a -> ()

Pretty reg => Pretty (X86 reg a)

Defined in Kempe.Asm.X86.Type

Methods

pretty :: X86 reg a -> Doc ann

prettyList :: [X86 reg a] -> Doc ann

type Rep (X86 reg a)

Defined in Kempe.Asm.X86.Type

type Rep (X86 reg a) = D1 ('MetaData "X86" "Kempe.Asm.X86.Type" "kempe-0.1.1.0-inplace-kempe-modules" 'False) (((((C1 ('MetaCons "PushReg" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)) :+: (C1 ('MetaCons "PushMem" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "addr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg))) :+: C1 ('MetaCons "PopMem" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "addr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg))))) :+: (C1 ('MetaCons "PopReg" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "reg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)) :+: (C1 ('MetaCons "PushConst" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "iSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)) :+: C1 ('MetaCons "Jump" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label))))) :+: ((C1 ('MetaCons "Call" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)) :+: (C1 ('MetaCons "CallBS" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "bslLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)) :+: C1 ('MetaCons "Ret" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))) :+: (C1 ('MetaCons "MovRA" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "addrSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)))) :+: (C1 ('MetaCons "MovAR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "addrDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))) :+: C1 ('MetaCons "MovABool" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "addrDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)) :*: S1 ('MetaSel ('Just "boolSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8))))))) :+: (((C1 ('MetaCons "MovRR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))) :+: (C1 ('MetaCons "MovRC" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "iSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64))) :+: C1 ('MetaCons "MovRL" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "bsLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))) :+: (C1 ('MetaCons "MovAC" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "addrDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)) :*: S1 ('MetaSel ('Just "iSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64))) :+: (C1 ('MetaCons "MovACi8" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "addrDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)) :*: S1 ('MetaSel ('Just "i8Src") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int8))) :+: C1 ('MetaCons "MovACTag" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "addrDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)) :*: S1 ('MetaSel ('Just "tagSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))))) :+: ((C1 ('MetaCons "MovRCBool" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "boolSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8))) :+: (C1 ('MetaCons "MovRCi8" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "i8Src") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int8))) :+: C1 ('MetaCons "MovRCTag" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "tagSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8))))) :+: ((C1 ('MetaCons "MovRWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "wSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word))) :+: C1 ('MetaCons "AddRR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rAdd1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rAdd2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)))) :+: (C1 ('MetaCons "SubRR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rSub1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rSub2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))) :+: C1 ('MetaCons "XorRR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rXor1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rXor2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)))))))) :+: ((((C1 ('MetaCons "ImulRR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rMul1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rMul2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))) :+: (C1 ('MetaCons "AddAC" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "addrAdd1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)) :*: S1 ('MetaSel ('Just "iAdd2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64))) :+: C1 ('MetaCons "AddRC" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rAdd1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "iAdd2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64))))) :+: (C1 ('MetaCons "SubRC" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rSub1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "iSub2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64))) :+: (C1 ('MetaCons "ShiftLRR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))) :+: C1 ('MetaCons "ShiftRRR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)))))) :+: ((C1 ('MetaCons "Label" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)) :+: (C1 ('MetaCons "BSLabel" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "bsLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)) :+: C1 ('MetaCons "Je" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "jLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)))) :+: ((C1 ('MetaCons "Jne" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "jLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)) :+: C1 ('MetaCons "Jg" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "jLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label))) :+: (C1 ('MetaCons "Jge" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "jLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)) :+: C1 ('MetaCons "Jl" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "jLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)))))) :+: (((C1 ('MetaCons "Jle" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "jLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)) :+: (C1 ('MetaCons "CmpAddrReg" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "addrCmp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)) :*: S1 ('MetaSel ('Just "rCmp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))) :+: C1 ('MetaCons "CmpRegReg" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rCmp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rCmp'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))))) :+: (C1 ('MetaCons "CmpAddrBool" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "addrCmp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)) :*: S1 ('MetaSel ('Just "bCmp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8))) :+: (C1 ('MetaCons "CmpRegBool" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rCmp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "bCmp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8))) :+: C1 ('MetaCons "IdivR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rDiv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))))) :+: ((C1 ('MetaCons "DivR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rDiv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)) :+: (C1 ('MetaCons "Cqo" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "AndRR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))))) :+: ((C1 ('MetaCons "OrRR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))) :+: C1 ('MetaCons "PopcountRR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)))) :+: (C1 ('MetaCons "NegR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)) :+: C1 ('MetaCons "NasmMacro0" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "macroName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))))))

data Addr reg

Constructors

Reg reg

AddrRRPlus reg reg

AddrRCPlus reg Int64

AddrRCMinus reg Int64

AddrRRScale reg reg Int64

Instances

Generic (Addr reg)

Defined in Kempe.Asm.X86.Type

Associated Types

type Rep (Addr reg) :: Type -> Type

Methods

from :: Addr reg -> Rep (Addr reg) x

to :: Rep (Addr reg) x -> Addr reg

NFData reg => NFData (Addr reg)

Defined in Kempe.Asm.X86.Type

Methods

rnf :: Addr reg -> ()

Pretty reg => Pretty (Addr reg)

Defined in Kempe.Asm.X86.Type

Methods

pretty :: Addr reg -> Doc ann

prettyList :: [Addr reg] -> Doc ann

type Rep (Addr reg)

Defined in Kempe.Asm.X86.Type

type Rep (Addr reg) = D1 ('MetaData "Addr" "Kempe.Asm.X86.Type" "kempe-0.1.1.0-inplace-kempe-modules" 'False) ((C1 ('MetaCons "Reg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)) :+: C1 ('MetaCons "AddrRRPlus" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))) :+: (C1 ('MetaCons "AddrRCPlus" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)) :+: (C1 ('MetaCons "AddrRCMinus" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)) :+: C1 ('MetaCons "AddrRRScale" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64))))))

data AbsReg

Constructors

DataPointer

AllocReg64 !Int

AllocReg8 !Int

CArg1

CArg2

CArg3

CArg4

CArg5

CArg6

CRet

ShiftExponent

QuotRes

RemRes

Instances

Eq AbsReg

Defined in Kempe.Asm.X86.Type

Methods

(==) :: AbsReg -> AbsReg -> Bool

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

Ord AbsReg

Defined in Kempe.Asm.X86.Type

Methods

compare :: AbsReg -> AbsReg -> Ordering

(<) :: AbsReg -> AbsReg -> Bool

(<=) :: AbsReg -> AbsReg -> Bool

(>) :: AbsReg -> AbsReg -> Bool

(>=) :: AbsReg -> AbsReg -> Bool

max :: AbsReg -> AbsReg -> AbsReg

min :: AbsReg -> AbsReg -> AbsReg

Generic AbsReg

Defined in Kempe.Asm.X86.Type

Associated Types

type Rep AbsReg :: Type -> Type

Methods

from :: AbsReg -> Rep AbsReg x

to :: Rep AbsReg x -> AbsReg

NFData AbsReg

Defined in Kempe.Asm.X86.Type

Methods

rnf :: AbsReg -> ()

Pretty AbsReg

Defined in Kempe.Asm.X86.Type

Methods

pretty :: AbsReg -> Doc ann

prettyList :: [AbsReg] -> Doc ann

type Rep AbsReg

Defined in Kempe.Asm.X86.Type

type Rep AbsReg = D1 ('MetaData "AbsReg" "Kempe.Asm.X86.Type" "kempe-0.1.1.0-inplace-kempe-modules" 'False) (((C1 ('MetaCons "DataPointer" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AllocReg64" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "AllocReg8" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)))) :+: (C1 ('MetaCons "CArg1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CArg2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CArg3" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CArg4" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CArg5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CArg6" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CRet" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ShiftExponent" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "QuotRes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RemRes" 'PrefixI 'False) (U1 :: Type -> Type)))))

data X86Reg

Constructors

R8

R9

R10

R11

R12

R13

R14

R15

Rdi

Rsi

R8b

R9b

R10b

R11b

R12b

R13b

R14b

R15b

Sil

Dil

Rsp

Rbp

Rbx

Rcx

CH

CL

Rax

Rdx

AH

AL

DH

DL

Instances

Bounded X86Reg

Defined in Kempe.Asm.X86.Type

Methods

minBound :: X86Reg

maxBound :: X86Reg

Enum X86Reg

Defined in Kempe.Asm.X86.Type

Methods

succ :: X86Reg -> X86Reg

pred :: X86Reg -> X86Reg

toEnum :: Int -> X86Reg

fromEnum :: X86Reg -> Int

enumFrom :: X86Reg -> [X86Reg]

enumFromThen :: X86Reg -> X86Reg -> [X86Reg]

enumFromTo :: X86Reg -> X86Reg -> [X86Reg]

enumFromThenTo :: X86Reg -> X86Reg -> X86Reg -> [X86Reg]

Eq X86Reg

Defined in Kempe.Asm.X86.Type

Methods

(==) :: X86Reg -> X86Reg -> Bool

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

Ord X86Reg

Defined in Kempe.Asm.X86.Type

Methods

compare :: X86Reg -> X86Reg -> Ordering

(<) :: X86Reg -> X86Reg -> Bool

(<=) :: X86Reg -> X86Reg -> Bool

(>) :: X86Reg -> X86Reg -> Bool

(>=) :: X86Reg -> X86Reg -> Bool

max :: X86Reg -> X86Reg -> X86Reg

min :: X86Reg -> X86Reg -> X86Reg

Generic X86Reg

Defined in Kempe.Asm.X86.Type

Associated Types

type Rep X86Reg :: Type -> Type

Methods

from :: X86Reg -> Rep X86Reg x

to :: Rep X86Reg x -> X86Reg

NFData X86Reg

Defined in Kempe.Asm.X86.Type

Methods

rnf :: X86Reg -> ()

Pretty X86Reg

Defined in Kempe.Asm.X86.Type

Methods

pretty :: X86Reg -> Doc ann

prettyList :: [X86Reg] -> Doc ann

type Rep X86Reg

Defined in Kempe.Asm.X86.Type

type Rep X86Reg = D1 ('MetaData "X86Reg" "Kempe.Asm.X86.Type" "kempe-0.1.1.0-inplace-kempe-modules" 'False) (((((C1 ('MetaCons "R8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R9" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "R10" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R11" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "R12" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R13" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "R14" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R15" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "Rdi" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rsi" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "R8b" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R9b" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "R10b" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R11b" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "R12b" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R13b" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "R14b" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R15b" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Sil" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Dil" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Rsp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rbp" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Rbx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rcx" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "CH" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CL" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Rax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rdx" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "AH" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AL" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DH" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DL" 'PrefixI 'False) (U1 :: Type -> Type))))))

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)))))

data Liveness

Constructors

Liveness

Fields

• ins :: !(Set AbsReg)
• out :: !(Set AbsReg)

Instances

Eq Liveness

Defined in Kempe.Asm.X86.Type

Methods

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

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

Generic Liveness

Defined in Kempe.Asm.X86.Type

Associated Types

type Rep Liveness :: Type -> Type

Methods

from :: Liveness -> Rep Liveness x

to :: Rep Liveness x -> Liveness

NFData Liveness

Defined in Kempe.Asm.X86.Type

Methods

rnf :: Liveness -> ()

Pretty Liveness

Defined in Kempe.Asm.X86.Type

Methods

pretty :: Liveness -> Doc ann

prettyList :: [Liveness] -> Doc ann

type Rep Liveness

Defined in Kempe.Asm.X86.Type

type Rep Liveness = D1 ('MetaData "Liveness" "Kempe.Asm.X86.Type" "kempe-0.1.1.0-inplace-kempe-modules" 'False) (C1 ('MetaCons "Liveness" 'PrefixI 'True) (S1 ('MetaSel ('Just "ins") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set AbsReg)) :*: S1 ('MetaSel ('Just "out") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set AbsReg))))

type Label = Word

prettyAsm :: Pretty reg => [X86 reg a] -> Doc ann

prettyDebugAsm :: Pretty reg => [X86 reg Liveness] -> Doc ann