Asm.X86

Documentation

data X86 reg freg a

Constructors

Label

Fields

• ann :: a
• label :: Label

IAddRR

Fields

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

IAddRI

Fields

• ann :: a
• rAdd1 :: reg
• rAddI :: Int64

ISubRR

Fields

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

ISubRI

Fields

• ann :: a
• rSub :: reg
• rSubI :: Int64

IMulRR

Fields

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

IMulRA

Fields

• ann :: a
• rMul :: reg
• aSrc :: Addr reg

XorRR

Fields

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

MovRR

Fields

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

MovRA

Fields

• ann :: a
• rDest :: reg
• aSrc :: Addr reg

MovAR

Fields

• ann :: a
• aDest :: Addr reg
• rSrc :: reg

MovRL

Fields

• ann :: a
• rDest :: reg
• lSrc :: Int

MovAI32

Fields

• ann :: a
• aDest :: Addr reg
• i32Src :: Int32

MovRI

Fields

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

MovqXR

Fields

• ann :: a
• fDest :: freg
• rSrc :: reg

MovqXA

Fields

• ann :: a
• fDest :: freg
• aSrc :: Addr reg

MovqAX

Fields

• ann :: a
• aDest :: Addr reg
• fSrc :: freg

MovqRX

Fields

• ann :: a
• rDest :: reg
• fSrc :: freg

Fld

Fields

• ann :: a
• a87 :: Addr reg

FldS

Fields

• ann :: a
• stIsn :: ST

Fldl2e

Fields

• ann :: a

Fldln2

Fields

• ann :: a

Fld1

Fields

• ann :: a

Fyl2x

Fields

• ann :: a

Fsin

Fields

• ann :: a

Fcos

Fields

• ann :: a

Fstp

Fields

• ann :: a
• a87 :: Addr reg

F2xm1

Fields

• ann :: a

Fmulp

Fields

• ann :: a

Fprem

Fields

• ann :: a

Faddp

Fields

• ann :: a

Fscale

Fields

• ann :: a

Fninit

Fields

• ann :: a

Fxch

Fields

• ann :: a
• stIsn :: ST

J

Fields

• ann :: a
• label :: Label

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

C

Fields

• ann :: a
• label :: Label

CmpRR

Fields

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

CmpRI

Fields

• ann :: a
• rCmp :: reg
• cmpI32 :: Int32

Vcmppd

Fields

• ann :: a
• fDest :: freg
• fCmp :: freg
• fCmp' :: freg
• cpred :: Pred

Test

Fields

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

TestI

Fields

• ann :: a
• rCmp :: reg
• cmpI32 :: Int32

Ret

Fields

• ann :: a

RetL

Fields

• ann :: a
• label :: Label

Vdivsd

Fields

• ann :: a
• fDest :: freg
• fSrc1 :: freg
• fSrc2 :: freg

Movapd

Fields

• ann :: a
• fDest :: freg
• fSrc :: freg

Roundsd

Fields

• ann :: a
• fDest :: freg
• fSrc :: freg
• mode :: RoundMode

Cvttsd2si

Fields

• ann :: a
• rDest :: reg
• fSrc :: freg

Mulsd

Fields

• ann :: a
• fDest :: freg
• fSrc :: freg

Addsd

Fields

• ann :: a
• fDest :: freg
• fSrc :: freg

Subsd

Fields

• ann :: a
• fDest :: freg
• fSrc :: freg

Divsd

Fields

• ann :: a
• fDest :: freg
• fSrc :: freg

Vmulsd

Fields

• ann :: a
• fDest :: freg
• fSrc1 :: freg
• fSrc2 :: freg

Vaddsd

Fields

• ann :: a
• fDest :: freg
• fSrc1 :: freg
• fSrc2 :: freg

Vsubsd

Fields

• ann :: a
• fDest :: freg
• fSrc1 :: freg
• fSrc2 :: freg

VaddsdA

Fields

• ann :: a
• fDest :: freg
• fSrc :: freg
• aSrc :: Addr reg

Cvtsi2sd

Fields

• ann :: a
• fDest :: freg
• rSrc :: reg

Vfmadd231sd

Fields

• ann :: a
• fDest :: freg
• fSrc1 :: freg
• fSrc2 :: freg

Vfmadd213sd

Fields

• ann :: a
• fDest :: freg
• fSrc1 :: freg
• fSrc2 :: freg

Vfmsub231sd

Fields

• ann :: a
• fDest :: freg
• fSrc1 :: freg
• fSrc2 :: freg

Vfmsub213sd

Fields

• ann :: a
• fDest :: freg
• fSrc1 :: freg
• fSrc2 :: freg

Vfmsub132sd

Fields

• ann :: a
• fDest :: freg
• fSrc1 :: freg
• fSrc2 :: freg

Vfmnadd231sd

Fields

• ann :: a
• fDest :: freg
• fSrc1 :: freg
• fSrc2 :: freg

Vfmadd231sdA

Fields

• ann :: a
• fDest :: freg
• fSrc :: freg
• aSrc :: Addr reg

Push

Fields

• ann :: a
• rSrc :: reg

Pop

Fields

• ann :: a
• rDest :: reg

Call

Fields

• ann :: a
• cfunc :: CFunc

IDiv

Fields

• ann :: a
• rSrc :: reg

Sal

Fields

• ann :: a
• rSrc :: reg
• iExp :: Int8

Sar

Fields

• ann :: a
• rSrc :: reg
• iExp :: Int8

Sqrtsd

Fields

• ann :: a
• fDest :: freg
• fSrc :: freg

Maxsd

Fields

• ann :: a
• fDest :: freg
• fSrc :: freg

Vmaxsd

Fields

• ann :: a
• fDest :: freg
• fSrc1 :: freg
• fSrc2 :: freg

VmaxsdA

Fields

• ann :: a
• fDest :: freg
• fSrc :: freg
• aSrc :: Addr reg

Minsd

Fields

• ann :: a
• fDest :: freg
• fSrc :: freg

Vminsd

Fields

• ann :: a
• fDest :: freg
• rSrc1 :: freg
• rSrc2 :: freg

Not

Fields

• ann :: a
• rSrc :: reg

And

Fields

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

Cmovnle

Fields

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

Cmovnl

Fields

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

Cmovne

Fields

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

Cmove

Fields

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

Cmovl

Fields

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

Cmovle

Fields

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

Rdrand

Fields

• ann :: a
• rDest :: reg

Neg

Fields

• ann :: a
• rDest :: reg

Instances

(E reg, E freg) => Arch X86 reg freg

Defined in Asm.Ar

Methods

cf :: [BB X86 reg freg () ()] -> [BB X86 reg freg () ControlAnn]

mI :: X86 reg freg a -> Maybe (reg, reg)

mf :: X86 reg freg a -> Maybe (freg, freg)

bb :: [X86 reg freg a] -> [BB X86 reg freg a ()]

expand :: BB X86 reg freg () Liveness -> [X86 reg freg Liveness]

udd :: X86 reg freg a -> UD

Copointed (X86 reg freg)

Defined in Asm.X86

Methods

copoint :: X86 reg freg a -> a

Functor (X86 reg freg)

Defined in Asm.X86

Methods

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

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

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

Defined in Asm.X86

Methods

rnf :: X86 reg freg a -> ()

Generic (X86 reg freg a)

Defined in Asm.X86

Associated Types

type Rep (X86 reg freg a)

Defined in Asm.X86

type Rep (X86 reg freg a) = D1 ('MetaData "X86" "Asm.X86" "apple-0.2.0.0-inplace" 'False) ((((((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 "IAddRR" '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 "IAddRI" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rAdd1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rAddI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64))) :+: (C1 ('MetaCons "ISubRR" '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 "ISubRI" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rSub") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rSubI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))))) :+: ((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 "IMulRA" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rMul") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "aSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr 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 "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 "MovRA" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "aSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)))) :+: C1 ('MetaCons "MovAR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "aDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))))))) :+: (((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 "lSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :+: C1 ('MetaCons "MovAI32" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "aDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)) :*: S1 ('MetaSel ('Just "i32Src") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int32)))) :+: (C1 ('MetaCons "MovRI" '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 "MovqXR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))) :+: C1 ('MetaCons "MovqXA" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "aSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg))))))) :+: ((C1 ('MetaCons "MovqAX" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "aDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "MovqRX" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: C1 ('MetaCons "Fld" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "a87") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg))))) :+: (C1 ('MetaCons "FldS" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "stIsn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ST)) :+: (C1 ('MetaCons "Fldl2e" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Fldln2" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))))) :+: ((((C1 ('MetaCons "Fld1" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Fyl2x" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: (C1 ('MetaCons "Fsin" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "Fcos" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Fstp" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "a87") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)))))) :+: ((C1 ('MetaCons "F2xm1" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "Fmulp" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Fprem" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))) :+: (C1 ('MetaCons "Faddp" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "Fscale" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Fninit" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))))) :+: (((C1 ('MetaCons "Fxch" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "stIsn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ST)) :+: (C1 ('MetaCons "J" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)) :+: 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 "C" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)))) :+: (C1 ('MetaCons "CmpRR" '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 "CmpRI" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rCmp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "cmpI32") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int32))) :+: C1 ('MetaCons "Vcmppd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fCmp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: (S1 ('MetaSel ('Just "fCmp'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "cpred") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pred)))))))))) :+: (((((C1 ('MetaCons "Test" '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 "TestI" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rCmp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "cmpI32") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int32)))) :+: (C1 ('MetaCons "Ret" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "RetL" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)) :+: C1 ('MetaCons "Vdivsd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)))))) :+: ((C1 ('MetaCons "Movapd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "Roundsd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "mode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RoundMode))) :+: C1 ('MetaCons "Cvttsd2si" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))))) :+: (C1 ('MetaCons "Mulsd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "Addsd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: C1 ('MetaCons "Subsd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))))))) :+: (((C1 ('MetaCons "Divsd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "Vmulsd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: C1 ('MetaCons "Vaddsd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))))) :+: (C1 ('MetaCons "Vsubsd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "VaddsdA" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "aSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)))) :+: C1 ('MetaCons "Cvtsi2sd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)))))) :+: ((C1 ('MetaCons "Vfmadd231sd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "Vfmadd213sd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: C1 ('MetaCons "Vfmsub231sd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))))) :+: (C1 ('MetaCons "Vfmsub213sd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "Vfmsub132sd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: C1 ('MetaCons "Vfmnadd231sd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)))))))) :+: ((((C1 ('MetaCons "Vfmadd231sdA" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "aSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)))) :+: C1 ('MetaCons "Push" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))) :+: (C1 ('MetaCons "Pop" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)) :+: (C1 ('MetaCons "Call" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "cfunc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CFunc)) :+: C1 ('MetaCons "IDiv" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))))) :+: ((C1 ('MetaCons "Sal" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "iExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int8))) :+: (C1 ('MetaCons "Sar" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "iExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int8))) :+: C1 ('MetaCons "Sqrtsd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))))) :+: (C1 ('MetaCons "Maxsd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "Vmaxsd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: C1 ('MetaCons "VmaxsdA" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "aSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)))))))) :+: (((C1 ('MetaCons "Minsd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "Vminsd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "rSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "rSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: C1 ('MetaCons "Not" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)))) :+: (C1 ('MetaCons "And" '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 "Cmovnle" '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 "Cmovnl" '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 "Cmovne" '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 "Cmove" '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 "Cmovl" '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 "Cmovle" '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 "Rdrand" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)) :+: C1 ('MetaCons "Neg" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)))))))))

Methods

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

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

(Pretty reg, Pretty freg) => Show (X86 reg freg a)

Defined in Asm.X86

Methods

showsPrec :: Int -> X86 reg freg a -> ShowS

show :: X86 reg freg a -> String

showList :: [X86 reg freg a] -> ShowS

(Pretty reg, Pretty freg) => Pretty (X86 reg freg a)

Defined in Asm.X86

Methods

pretty :: X86 reg freg a -> Doc ann

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

type Rep (X86 reg freg a)

Defined in Asm.X86

type Rep (X86 reg freg a) = D1 ('MetaData "X86" "Asm.X86" "apple-0.2.0.0-inplace" 'False) ((((((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 "IAddRR" '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 "IAddRI" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rAdd1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rAddI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64))) :+: (C1 ('MetaCons "ISubRR" '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 "ISubRI" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rSub") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "rSubI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))))) :+: ((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 "IMulRA" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rMul") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "aSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr 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 "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 "MovRA" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "aSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)))) :+: C1 ('MetaCons "MovAR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "aDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))))))) :+: (((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 "lSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :+: C1 ('MetaCons "MovAI32" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "aDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)) :*: S1 ('MetaSel ('Just "i32Src") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int32)))) :+: (C1 ('MetaCons "MovRI" '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 "MovqXR" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))) :+: C1 ('MetaCons "MovqXA" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "aSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg))))))) :+: ((C1 ('MetaCons "MovqAX" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "aDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "MovqRX" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: C1 ('MetaCons "Fld" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "a87") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg))))) :+: (C1 ('MetaCons "FldS" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "stIsn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ST)) :+: (C1 ('MetaCons "Fldl2e" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Fldln2" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))))) :+: ((((C1 ('MetaCons "Fld1" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Fyl2x" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: (C1 ('MetaCons "Fsin" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "Fcos" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Fstp" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "a87") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)))))) :+: ((C1 ('MetaCons "F2xm1" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "Fmulp" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Fprem" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))) :+: (C1 ('MetaCons "Faddp" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "Fscale" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Fninit" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))))) :+: (((C1 ('MetaCons "Fxch" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "stIsn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ST)) :+: (C1 ('MetaCons "J" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)) :+: 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 "C" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)))) :+: (C1 ('MetaCons "CmpRR" '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 "CmpRI" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rCmp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "cmpI32") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int32))) :+: C1 ('MetaCons "Vcmppd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fCmp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: (S1 ('MetaSel ('Just "fCmp'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "cpred") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pred)))))))))) :+: (((((C1 ('MetaCons "Test" '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 "TestI" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rCmp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "cmpI32") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int32)))) :+: (C1 ('MetaCons "Ret" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "RetL" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label)) :+: C1 ('MetaCons "Vdivsd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)))))) :+: ((C1 ('MetaCons "Movapd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "Roundsd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "mode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RoundMode))) :+: C1 ('MetaCons "Cvttsd2si" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))))) :+: (C1 ('MetaCons "Mulsd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "Addsd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: C1 ('MetaCons "Subsd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))))))) :+: (((C1 ('MetaCons "Divsd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "Vmulsd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: C1 ('MetaCons "Vaddsd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))))) :+: (C1 ('MetaCons "Vsubsd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "VaddsdA" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "aSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)))) :+: C1 ('MetaCons "Cvtsi2sd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)))))) :+: ((C1 ('MetaCons "Vfmadd231sd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "Vfmadd213sd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: C1 ('MetaCons "Vfmsub231sd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))))) :+: (C1 ('MetaCons "Vfmsub213sd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "Vfmsub132sd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: C1 ('MetaCons "Vfmnadd231sd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)))))))) :+: ((((C1 ('MetaCons "Vfmadd231sdA" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "aSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)))) :+: C1 ('MetaCons "Push" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))) :+: (C1 ('MetaCons "Pop" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)) :+: (C1 ('MetaCons "Call" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "cfunc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CFunc)) :+: C1 ('MetaCons "IDiv" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))))) :+: ((C1 ('MetaCons "Sal" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "iExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int8))) :+: (C1 ('MetaCons "Sar" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Just "iExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int8))) :+: C1 ('MetaCons "Sqrtsd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))))) :+: (C1 ('MetaCons "Maxsd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "Vmaxsd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: C1 ('MetaCons "VmaxsdA" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "aSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Addr reg)))))))) :+: (((C1 ('MetaCons "Minsd" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "fSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: (C1 ('MetaCons "Vminsd" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg)) :*: (S1 ('MetaSel ('Just "rSrc1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg) :*: S1 ('MetaSel ('Just "rSrc2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 freg))) :+: C1 ('MetaCons "Not" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rSrc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)))) :+: (C1 ('MetaCons "And" '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 "Cmovnle" '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 "Cmovnl" '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 "Cmovne" '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 "Cmove" '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 "Cmovl" '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 "Cmovle" '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 "Rdrand" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)) :+: C1 ('MetaCons "Neg" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)))))))))

data AbsReg

Constructors

IReg !Int

CArg0

CArg1

CArg2

CArg3

CArg4

CArg5

CRet

SP

BP

Quot

Rem

Instances

E AbsReg

Defined in Class.E

Methods

toInt :: AbsReg -> Int

Eq AbsReg

Defined in Asm.X86

Methods

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

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

Ord AbsReg

Defined in Asm.X86

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

Pretty AbsReg

Defined in Asm.X86

Methods

pretty :: AbsReg -> Doc ann

prettyList :: [AbsReg] -> Doc ann

data FAbsReg

Constructors

FReg !Int

FArg0

FArg1

FArg2

FArg3

FArg4

FArg5

FArg6

FArg7

FRet0

FRet1

Instances

E FAbsReg

Defined in Class.E

Methods

toInt :: FAbsReg -> Int

Eq FAbsReg

Defined in Asm.X86

Methods

(==) :: FAbsReg -> FAbsReg -> Bool

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

Ord FAbsReg

Defined in Asm.X86

Methods

compare :: FAbsReg -> FAbsReg -> Ordering

(<) :: FAbsReg -> FAbsReg -> Bool

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

(>) :: FAbsReg -> FAbsReg -> Bool

(>=) :: FAbsReg -> FAbsReg -> Bool

max :: FAbsReg -> FAbsReg -> FAbsReg

min :: FAbsReg -> FAbsReg -> FAbsReg

Pretty FAbsReg

Defined in Asm.X86

Methods

pretty :: FAbsReg -> Doc ann

prettyList :: [FAbsReg] -> Doc ann

data X86Reg

Constructors

Rcx

Rdx

Rsi

Rdi

R8

R9

R10

R11

R12

R13

R14

R15

Rbx

Rax

Rbp

Rsp

Instances

E X86Reg

Defined in Class.E

Methods

toInt :: X86Reg -> Int

NFData X86Reg

Defined in Asm.X86

Methods

rnf :: X86Reg -> ()

Enum X86Reg

Defined in Asm.X86

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]

Generic X86Reg

Defined in Asm.X86

Associated Types

type Rep X86Reg

Defined in Asm.X86

type Rep X86Reg = D1 ('MetaData "X86Reg" "Asm.X86" "apple-0.2.0.0-inplace" 'False) ((((C1 ('MetaCons "Rcx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rdx" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Rsi" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rdi" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((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 "Rbx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rax" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Rbp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rsp" 'PrefixI 'False) (U1 :: Type -> Type)))))

Methods

from :: X86Reg -> Rep X86Reg x

to :: Rep X86Reg x -> X86Reg

Show X86Reg

Defined in Asm.X86

Methods

showsPrec :: Int -> X86Reg -> ShowS

show :: X86Reg -> String

showList :: [X86Reg] -> ShowS

Eq X86Reg

Defined in Asm.X86

Methods

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

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

Ord X86Reg

Defined in Asm.X86

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

Pretty X86Reg

Defined in Asm.X86

Methods

pretty :: X86Reg -> Doc ann

prettyList :: [X86Reg] -> Doc ann

type Rep X86Reg

Defined in Asm.X86

type Rep X86Reg = D1 ('MetaData "X86Reg" "Asm.X86" "apple-0.2.0.0-inplace" 'False) ((((C1 ('MetaCons "Rcx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rdx" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Rsi" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rdi" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((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 "Rbx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rax" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Rbp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rsp" 'PrefixI 'False) (U1 :: Type -> Type)))))

data FX86Reg

Constructors

XMM1

XMM2

XMM3

XMM4

XMM5

XMM6

XMM7

XMM8

XMM9

XMM10

XMM11

XMM12

XMM13

XMM14

XMM15

XMM0

Instances

E FX86Reg

Defined in Class.E

Methods

toInt :: FX86Reg -> Int

NFData FX86Reg

Defined in Asm.X86

Methods

rnf :: FX86Reg -> ()

Enum FX86Reg

Defined in Asm.X86

Methods

succ :: FX86Reg -> FX86Reg

pred :: FX86Reg -> FX86Reg

toEnum :: Int -> FX86Reg

fromEnum :: FX86Reg -> Int

enumFrom :: FX86Reg -> [FX86Reg]

enumFromThen :: FX86Reg -> FX86Reg -> [FX86Reg]

enumFromTo :: FX86Reg -> FX86Reg -> [FX86Reg]

enumFromThenTo :: FX86Reg -> FX86Reg -> FX86Reg -> [FX86Reg]

Generic FX86Reg

Defined in Asm.X86

Associated Types

type Rep FX86Reg

Defined in Asm.X86

type Rep FX86Reg = D1 ('MetaData "FX86Reg" "Asm.X86" "apple-0.2.0.0-inplace" 'False) ((((C1 ('MetaCons "XMM1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "XMM3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM4" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "XMM5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM6" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "XMM7" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM8" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "XMM9" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM10" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "XMM11" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM12" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "XMM13" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM14" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "XMM15" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM0" 'PrefixI 'False) (U1 :: Type -> Type)))))

Methods

from :: FX86Reg -> Rep FX86Reg x

to :: Rep FX86Reg x -> FX86Reg

Show FX86Reg

Defined in Asm.X86

Methods

showsPrec :: Int -> FX86Reg -> ShowS

show :: FX86Reg -> String

showList :: [FX86Reg] -> ShowS

Eq FX86Reg

Defined in Asm.X86

Methods

(==) :: FX86Reg -> FX86Reg -> Bool

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

Ord FX86Reg

Defined in Asm.X86

Methods

compare :: FX86Reg -> FX86Reg -> Ordering

(<) :: FX86Reg -> FX86Reg -> Bool

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

(>) :: FX86Reg -> FX86Reg -> Bool

(>=) :: FX86Reg -> FX86Reg -> Bool

max :: FX86Reg -> FX86Reg -> FX86Reg

min :: FX86Reg -> FX86Reg -> FX86Reg

Pretty FX86Reg

Defined in Asm.X86

Methods

pretty :: FX86Reg -> Doc ann

prettyList :: [FX86Reg] -> Doc ann

type Rep FX86Reg

Defined in Asm.X86

type Rep FX86Reg = D1 ('MetaData "FX86Reg" "Asm.X86" "apple-0.2.0.0-inplace" 'False) ((((C1 ('MetaCons "XMM1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "XMM3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM4" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "XMM5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM6" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "XMM7" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM8" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "XMM9" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM10" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "XMM11" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM12" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "XMM13" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM14" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "XMM15" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM0" 'PrefixI 'False) (U1 :: Type -> Type)))))

data Addr reg

Constructors

R reg

RC reg Int8

RC32 reg Int32

RS reg Scale reg

RSD reg Scale reg Int8

Instances

Functor Addr

Defined in Asm.X86

Methods

fmap :: (a -> b) -> Addr a -> Addr b

(<$) :: a -> Addr b -> Addr a

Foldable Addr

Defined in Asm.X86

Methods

fold :: Monoid m => Addr m -> m

foldMap :: Monoid m => (a -> m) -> Addr a -> m

foldMap' :: Monoid m => (a -> m) -> Addr a -> m

foldr :: (a -> b -> b) -> b -> Addr a -> b

foldr' :: (a -> b -> b) -> b -> Addr a -> b

foldl :: (b -> a -> b) -> b -> Addr a -> b

foldl' :: (b -> a -> b) -> b -> Addr a -> b

foldr1 :: (a -> a -> a) -> Addr a -> a

foldl1 :: (a -> a -> a) -> Addr a -> a

toList :: Addr a -> [a]

null :: Addr a -> Bool

length :: Addr a -> Int

elem :: Eq a => a -> Addr a -> Bool

maximum :: Ord a => Addr a -> a

minimum :: Ord a => Addr a -> a

sum :: Num a => Addr a -> a

product :: Num a => Addr a -> a

NFData reg => NFData (Addr reg)

Defined in Asm.X86

Methods

rnf :: Addr reg -> ()

Generic (Addr reg)

Defined in Asm.X86

Associated Types

type Rep (Addr reg)

Defined in Asm.X86

type Rep (Addr reg) = D1 ('MetaData "Addr" "Asm.X86" "apple-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "R" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)) :+: C1 ('MetaCons "RC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int8))) :+: (C1 ('MetaCons "RC32" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int32)) :+: (C1 ('MetaCons "RS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Scale) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))) :+: C1 ('MetaCons "RSD" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Scale)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int8))))))

Methods

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

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

Eq reg => Eq (Addr reg)

Defined in Asm.X86

Methods

(==) :: Addr reg -> Addr reg -> Bool

(/=) :: Addr reg -> Addr reg -> Bool

Pretty reg => Pretty (Addr reg)

Defined in Asm.X86

Methods

pretty :: Addr reg -> Doc ann

prettyList :: [Addr reg] -> Doc ann

type Rep (Addr reg)

Defined in Asm.X86

type Rep (Addr reg) = D1 ('MetaData "Addr" "Asm.X86" "apple-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "R" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg)) :+: C1 ('MetaCons "RC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int8))) :+: (C1 ('MetaCons "RC32" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int32)) :+: (C1 ('MetaCons "RS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Scale) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg))) :+: C1 ('MetaCons "RSD" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Scale)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 reg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int8))))))

newtype ST

Constructors

ST Int8

Instances

NFData ST

Defined in Asm.X86

Methods

rnf :: ST -> ()

Pretty ST

Defined in Asm.X86

Methods

pretty :: ST -> Doc ann

prettyList :: [ST] -> Doc ann

data Scale

Constructors

One

Two

Four

Eight

Instances

NFData Scale

Defined in Asm.X86

Methods

rnf :: Scale -> ()

Generic Scale

Defined in Asm.X86

Associated Types

type Rep Scale

Defined in Asm.X86

type Rep Scale = D1 ('MetaData "Scale" "Asm.X86" "apple-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "One" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Two" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Four" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Eight" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Scale -> Rep Scale x

to :: Rep Scale x -> Scale

Eq Scale

Defined in Asm.X86

Methods

(==) :: Scale -> Scale -> Bool

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

Pretty Scale

Defined in Asm.X86

Methods

pretty :: Scale -> Doc ann

prettyList :: [Scale] -> Doc ann

type Rep Scale

Defined in Asm.X86

type Rep Scale = D1 ('MetaData "Scale" "Asm.X86" "apple-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "One" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Two" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Four" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Eight" 'PrefixI 'False) (U1 :: Type -> Type)))

data Pred

Constructors

Eqoq

Ltos

Leos

Unordq

Nequq

Nltus

Nleus

Ordq

Instances

NFData Pred

Defined in Asm.X86

Methods

rnf :: Pred -> ()

Generic Pred

Defined in Asm.X86

Associated Types

type Rep Pred

Defined in Asm.X86

type Rep Pred = D1 ('MetaData "Pred" "Asm.X86" "apple-0.2.0.0-inplace" 'False) (((C1 ('MetaCons "Eqoq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ltos" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Leos" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unordq" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Nequq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Nltus" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Nleus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ordq" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: Pred -> Rep Pred x

to :: Rep Pred x -> Pred

Pretty Pred

Defined in Asm.X86

Methods

pretty :: Pred -> Doc ann

prettyList :: [Pred] -> Doc ann

type Rep Pred

Defined in Asm.X86

type Rep Pred = D1 ('MetaData "Pred" "Asm.X86" "apple-0.2.0.0-inplace" 'False) (((C1 ('MetaCons "Eqoq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ltos" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Leos" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unordq" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Nequq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Nltus" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Nleus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ordq" 'PrefixI 'False) (U1 :: Type -> Type))))

data RoundMode

Constructors

RNearest

RDown

RUp

RZero

Instances

NFData RoundMode

Defined in Asm.X86

Methods

rnf :: RoundMode -> ()

Generic RoundMode

Defined in Asm.X86

Associated Types

type Rep RoundMode

Defined in Asm.X86

type Rep RoundMode = D1 ('MetaData "RoundMode" "Asm.X86" "apple-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "RNearest" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RDown" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RUp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RZero" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: RoundMode -> Rep RoundMode x

to :: Rep RoundMode x -> RoundMode

Pretty RoundMode

Defined in Asm.X86

Methods

pretty :: RoundMode -> Doc ann

prettyList :: [RoundMode] -> Doc ann

type Rep RoundMode

Defined in Asm.X86

type Rep RoundMode = D1 ('MetaData "RoundMode" "Asm.X86" "apple-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "RNearest" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RDown" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RUp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RZero" 'PrefixI 'False) (U1 :: Type -> Type)))

type Label = Word

data CFunc

Constructors

Malloc

Free

JR

DR

Exp

Log

Pow

Instances

NFData CFunc

Defined in Asm.M

Methods

rnf :: CFunc -> ()

Generic CFunc

Defined in Asm.M

Associated Types

type Rep CFunc

Defined in Asm.M

type Rep CFunc = D1 ('MetaData "CFunc" "Asm.M" "apple-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "Malloc" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Free" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JR" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Exp" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Log" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pow" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: CFunc -> Rep CFunc x

to :: Rep CFunc x -> CFunc

Pretty CFunc

Defined in Asm.M

Methods

pretty :: CFunc -> Doc ann

prettyList :: [CFunc] -> Doc ann

type Rep CFunc

Defined in Asm.M

type Rep CFunc = D1 ('MetaData "CFunc" "Asm.M" "apple-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "Malloc" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Free" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JR" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Exp" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Log" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pow" 'PrefixI 'False) (U1 :: Type -> Type))))

prettyDebugX86 :: (Pretty freg, Pretty reg, Pretty o) => [X86 reg freg o] -> Doc ann

toInt :: AbsReg -> Int

fToInt :: FAbsReg -> Int

imm8 :: Pred -> Int8

roundMode :: RoundMode -> Word8

mapR :: (areg -> reg) -> X86 areg afreg a -> X86 reg afreg a

mapFR :: (afreg -> freg) -> X86 areg afreg a -> X86 areg freg a

fR :: Monoid m => (reg -> m) -> X86 reg freg a -> m

hasMa :: [X86 reg freg a] -> Bool