Safe Haskell	None
Language	Haskell2010

CodeGen.X86

Contents

Byte sequences
Sizes (in bits)
Registers
Addresses
Operands
Conditions
Instructions
Compound instructions
Compilation
Calling convention
Calling C and Haskell from Assembly

Synopsis

type Bytes = [Word8]
class HasBytes a where
- toBytes :: a -> Bytes
data Size
- = S1
- | S8
- | S16
- | S32
- | S64
- | S128
class HasSize a where
- size :: a -> Size
class IsSize (s :: Size)
data EqT s s' where
- Refl :: EqT s s
sizeEqCheck :: forall s s' f g. (IsSize s, IsSize s') => f s -> g s' -> Maybe (EqT s s')
data Reg :: Size -> * where
- NormalReg :: Word8 -> Reg s
- HighReg :: Word8 -> Reg S8
- XMM :: Word8 -> Reg S128
class FromReg c where
- fromReg :: Reg s -> c s
rax :: FromReg c => c S64
rcx :: FromReg c => c S64
rdx :: FromReg c => c S64
rbx :: FromReg c => c S64
rsp :: FromReg c => c S64
rbp :: FromReg c => c S64
rsi :: FromReg c => c S64
rdi :: FromReg c => c S64
r8 :: FromReg c => c S64
r9 :: FromReg c => c S64
r10 :: FromReg c => c S64
r11 :: FromReg c => c S64
r12 :: FromReg c => c S64
r13 :: FromReg c => c S64
r14 :: FromReg c => c S64
r15 :: FromReg c => c S64
eax :: FromReg c => c S32
ecx :: FromReg c => c S32
edx :: FromReg c => c S32
ebx :: FromReg c => c S32
esp :: FromReg c => c S32
ebp :: FromReg c => c S32
esi :: FromReg c => c S32
edi :: FromReg c => c S32
r8d :: FromReg c => c S32
r9d :: FromReg c => c S32
r10d :: FromReg c => c S32
r11d :: FromReg c => c S32
r12d :: FromReg c => c S32
r13d :: FromReg c => c S32
r14d :: FromReg c => c S32
r15d :: FromReg c => c S32
ax :: FromReg c => c S16
cx :: FromReg c => c S16
dx :: FromReg c => c S16
bx :: FromReg c => c S16
sp :: FromReg c => c S16
bp :: FromReg c => c S16
si :: FromReg c => c S16
di :: FromReg c => c S16
r8w :: FromReg c => c S16
r9w :: FromReg c => c S16
r10w :: FromReg c => c S16
r11w :: FromReg c => c S16
r12w :: FromReg c => c S16
r13w :: FromReg c => c S16
r14w :: FromReg c => c S16
r15w :: FromReg c => c S16
al :: FromReg c => c S8
cl :: FromReg c => c S8
dl :: FromReg c => c S8
bl :: FromReg c => c S8
spl :: FromReg c => c S8
bpl :: FromReg c => c S8
sil :: FromReg c => c S8
dil :: FromReg c => c S8
r8b :: FromReg c => c S8
r9b :: FromReg c => c S8
r10b :: FromReg c => c S8
r11b :: FromReg c => c S8
r12b :: FromReg c => c S8
r13b :: FromReg c => c S8
r14b :: FromReg c => c S8
r15b :: FromReg c => c S8
ah :: FromReg c => c S8
ch :: FromReg c => c S8
dh :: FromReg c => c S8
bh :: FromReg c => c S8
xmm0 :: FromReg c => c S128
xmm1 :: FromReg c => c S128
xmm2 :: FromReg c => c S128
xmm3 :: FromReg c => c S128
xmm4 :: FromReg c => c S128
xmm5 :: FromReg c => c S128
xmm6 :: FromReg c => c S128
xmm7 :: FromReg c => c S128
data Addr s = Addr {
- baseReg :: BaseReg s
- displacement :: Displacement
- indexReg :: IndexReg s
}
type BaseReg s = Maybe (Reg s)
data IndexReg s
- = NoIndex
- | IndexReg Scale (Reg s)
data Scale
s1 :: Scale
s2 :: Scale
s4 :: Scale
s8 :: Scale
type Displacement = Maybe Int32
data Address :: Size -> *
addr :: IsSize s => Address s -> Operand rw s'
addr8 :: IsSize s => Address s -> Operand rw S8
addr16 :: IsSize s => Address s -> Operand rw S16
addr32 :: IsSize s => Address s -> Operand rw S32
addr64 :: IsSize s => Address s -> Operand rw S64
ipRel :: Label -> Operand rw s
ipRel8 :: Label -> Operand rw S8
data Access
- = R
- | RW
data Operand :: Access -> Size -> * where
- ImmOp :: Immediate Int64 -> Operand R s
- RegOp :: Reg s -> Operand rw s
- MemOp :: IsSize s' => Addr s' -> Operand rw s
- IPMemOp :: Immediate Int32 -> Operand rw s
resizeOperand :: IsSize s' => Operand RW s -> Operand RW s'
ipRelValue :: forall (s :: Size). Label -> Operand 'R s
data Condition
pattern N :: Condition -> Condition
pattern O :: Condition
pattern NO :: Condition
pattern B :: Condition
pattern C :: Condition
pattern NB :: Condition
pattern NC :: Condition
pattern E :: Condition
pattern Z :: Condition
pattern NE :: Condition
pattern NZ :: Condition
pattern NA :: Condition
pattern BE :: Condition
pattern A :: Condition
pattern NBE :: Condition
pattern S :: Condition
pattern NS :: Condition
pattern P :: Condition
pattern NP :: Condition
pattern L :: Condition
pattern NL :: Condition
pattern NG :: Condition
pattern LE :: Condition
pattern G :: Condition
pattern NLE :: Condition
type Code = CodeM ()
data CodeM a
db :: Bytes -> Code
align :: Int -> Code
data Label
label :: CodeM Label
j :: Condition -> Label -> Code
jmp :: Label -> Code
jmpq :: forall (r :: Access). Operand r 'S64 -> Code
call :: forall (r :: Access). Operand r 'S64 -> Code
ret :: Code
nop :: Code
cmc :: Code
clc :: Code
stc :: Code
cli :: Code
sti :: Code
cld :: Code
std :: Code
pushf :: Code
popf :: Code
cmp :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code
test :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code
bt :: forall (s :: Size) (r :: Access). IsSize s => Operand r s -> Operand 'RW s -> Code
bsf :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code
bsr :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code
inc :: forall (s :: Size). IsSize s => Operand 'RW s -> Code
dec :: forall (s :: Size). IsSize s => Operand 'RW s -> Code
neg :: forall (s :: Size). IsSize s => Operand 'RW s -> Code
add :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code
adc :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code
sub :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code
sbb :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code
lea :: forall (s :: Size) (s' :: Size). (IsSize s, IsSize s') => Operand 'RW s -> Operand 'RW s' -> Code
not_ :: forall (s :: Size). IsSize s => Operand 'RW s -> Code
and_ :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code
or_ :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code
xor_ :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code
rol :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r 'S8 -> Code
ror :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r 'S8 -> Code
rcl :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r 'S8 -> Code
rcr :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r 'S8 -> Code
shl :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r 'S8 -> Code
shr :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r 'S8 -> Code
sar :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r 'S8 -> Code
bswap :: forall (s :: Size). IsSize s => Operand 'RW s -> Code
xchg :: forall (s :: Size). IsSize s => Operand 'RW s -> Operand 'RW s -> Code
mov :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code
cmov :: forall (s :: Size). IsSize s => Condition -> Operand 'RW s -> Operand 'RW s -> Code
pop :: Operand 'RW 'S64 -> Code
push :: forall (r :: Access). Operand r 'S64 -> Code
movd :: forall (s :: Size) (s' :: Size) (r :: Access). (IsSize s, IsSize s') => Operand 'RW s -> Operand r s' -> Code
movq :: forall (s :: Size) (s' :: Size) (r :: Access). (IsSize s, IsSize s') => Operand 'RW s -> Operand r s' -> Code
movdqa :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code
paddb :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code
paddw :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code
paddd :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code
paddq :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code
psubb :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code
psubw :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code
psubd :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code
psubq :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code
pxor :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code
psllw :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code
pslld :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code
psllq :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code
pslldq :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code
psrlw :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code
psrld :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code
psrlq :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code
psrldq :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code
psraw :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code
psrad :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code
unless :: Condition -> CodeM a -> CodeM ()
doWhile :: Condition -> CodeM a -> CodeM ()
if_ :: Condition -> CodeM a1 -> CodeM a2 -> CodeM ()
leaData :: forall (s :: Size) a. (IsSize s, HasBytes a) => Operand 'RW s -> a -> CodeM ()
traceReg :: IsSize s => String -> Operand RW s -> Code
compile :: Callable a => Code -> a
preBuild :: Code -> Code
saveNonVolatile :: Code -> Code
saveR12R15 :: Code -> Code
arg1 :: FromReg c => c 'S64
arg2 :: FromReg c => c 'S64
arg3 :: FromReg c => c 'S64
arg4 :: FromReg c => c 'S64
result :: FromReg c => c 'S64
class (MapResult a, NFData (Result a)) => Callable a where
- dynCCall :: FunPtr a -> a
class MapResult a => CallableHs a where
- createHsPtr :: a -> IO (FunPtr a)
callFun :: Operand RW S64 -> FunPtr a -> Code
printf :: FunPtr a
hsPtr :: CallableHs a => a -> FunPtr a
newtype CString = CString String

Byte sequences

type Bytes = [Word8] Source #

class HasBytes a where Source #

Methods

toBytes :: a -> Bytes Source #

Instances

Instances details

HasBytes Int8 Source #
Instance details Defined in CodeGen.X86.Asm Methods toBytes :: Int8 -> Bytes Source #
HasBytes Int16 Source #
Instance details Defined in CodeGen.X86.Asm Methods toBytes :: Int16 -> Bytes Source #
HasBytes Int32 Source #
Instance details Defined in CodeGen.X86.Asm Methods toBytes :: Int32 -> Bytes Source #
HasBytes Int64 Source #
Instance details Defined in CodeGen.X86.Asm Methods toBytes :: Int64 -> Bytes Source #
HasBytes Word8 Source #
Instance details Defined in CodeGen.X86.Asm Methods toBytes :: Word8 -> Bytes Source #
HasBytes Word16 Source #
Instance details Defined in CodeGen.X86.Asm Methods toBytes :: Word16 -> Bytes Source #
HasBytes Word32 Source #
Instance details Defined in CodeGen.X86.Asm Methods toBytes :: Word32 -> Bytes Source #
HasBytes Word64 Source #
Instance details Defined in CodeGen.X86.Asm Methods toBytes :: Word64 -> Bytes Source #
HasBytes CString Source #
Instance details Defined in CodeGen.X86.Utils Methods toBytes :: CString -> Bytes Source #

Sizes (in bits)

data Size Source #

The size of a register (in bits)

Constructors

S1
S8
S16
S32
S64
S128

Instances

Instances details

Eq Size Source #
Instance details Defined in CodeGen.X86.Asm Methods (==) :: Size -> Size -> Bool # (/=) :: Size -> Size -> Bool #
Ord Size Source #
Instance details Defined in CodeGen.X86.Asm Methods compare :: Size -> Size -> Ordering # (<) :: Size -> Size -> Bool # (<=) :: Size -> Size -> Bool # (>) :: Size -> Size -> Bool # (>=) :: Size -> Size -> Bool # max :: Size -> Size -> Size # min :: Size -> Size -> Size #
Show Size Source #
Instance details Defined in CodeGen.X86.Asm Methods showsPrec :: Int -> Size -> ShowS # show :: Size -> String # showList :: [Size] -> ShowS #

class HasSize a where Source #

Methods

size :: a -> Size Source #

Instances

Instances details

HasSize Int8 Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Int8 -> Size Source #
HasSize Int16 Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Int16 -> Size Source #
HasSize Int32 Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Int32 -> Size Source #
HasSize Int64 Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Int64 -> Size Source #
HasSize Word8 Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Word8 -> Size Source #
HasSize Word16 Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Word16 -> Size Source #
HasSize Word32 Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Word32 -> Size Source #
HasSize Word64 Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Word64 -> Size Source #
IsSize s => HasSize (Address s) Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Address s -> Size Source #
IsSize s => HasSize (IndexReg s) Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: IndexReg s -> Size Source #
IsSize s => HasSize (BaseReg s) Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: BaseReg s -> Size Source #
IsSize s => HasSize (Addr s) Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Addr s -> Size Source #
IsSize s => HasSize (Reg s) Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Reg s -> Size Source #
HasSize (SSize s) Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: SSize s -> Size Source #
IsSize s => HasSize (Operand a s) Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Operand a s -> Size Source #

class IsSize (s :: Size) Source #

Minimal complete definition

ssize

Instances

Instances details

IsSize 'S1 Source #
Instance details Defined in CodeGen.X86.Asm Methods ssize :: SSize 'S1 Source #
IsSize 'S8 Source #
Instance details Defined in CodeGen.X86.Asm Methods ssize :: SSize 'S8 Source #
IsSize 'S16 Source #
Instance details Defined in CodeGen.X86.Asm Methods ssize :: SSize 'S16 Source #
IsSize 'S32 Source #
Instance details Defined in CodeGen.X86.Asm Methods ssize :: SSize 'S32 Source #
IsSize 'S64 Source #
Instance details Defined in CodeGen.X86.Asm Methods ssize :: SSize 'S64 Source #
IsSize 'S128 Source #
Instance details Defined in CodeGen.X86.Asm Methods ssize :: SSize 'S128 Source #

data EqT s s' where Source #

Constructors

Refl :: EqT s s

sizeEqCheck :: forall s s' f g. (IsSize s, IsSize s') => f s -> g s' -> Maybe (EqT s s') Source #

Registers

data Reg :: Size -> * where Source #

A register.

Constructors

NormalReg :: Word8 -> Reg s
HighReg :: Word8 -> Reg S8
XMM :: Word8 -> Reg S128

Instances

Instances details

FromReg Reg Source #
Instance details Defined in CodeGen.X86.Asm Methods fromReg :: forall (s :: Size). Reg s -> Reg s Source #
Eq (Reg s) Source #
Instance details Defined in CodeGen.X86.Asm Methods (==) :: Reg s -> Reg s -> Bool # (/=) :: Reg s -> Reg s -> Bool #
Ord (Reg s) Source #
Instance details Defined in CodeGen.X86.Asm Methods compare :: Reg s -> Reg s -> Ordering # (<) :: Reg s -> Reg s -> Bool # (<=) :: Reg s -> Reg s -> Bool # (>) :: Reg s -> Reg s -> Bool # (>=) :: Reg s -> Reg s -> Bool # max :: Reg s -> Reg s -> Reg s # min :: Reg s -> Reg s -> Reg s #
IsSize s => Show (Reg s) Source #
Instance details Defined in CodeGen.X86.Asm Methods showsPrec :: Int -> Reg s -> ShowS # show :: Reg s -> String # showList :: [Reg s] -> ShowS #
IsSize s => HasSize (BaseReg s) Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: BaseReg s -> Size Source #
IsSize s => HasSize (Reg s) Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Reg s -> Size Source #

class FromReg c where Source #

Methods

fromReg :: Reg s -> c s Source #

Instances

Instances details

FromReg Address Source #
Instance details Defined in CodeGen.X86.Asm Methods fromReg :: forall (s :: Size). Reg s -> Address s Source #
FromReg Reg Source #
Instance details Defined in CodeGen.X86.Asm Methods fromReg :: forall (s :: Size). Reg s -> Reg s Source #
FromReg (Operand r) Source #
Instance details Defined in CodeGen.X86.Asm Methods fromReg :: forall (s :: Size). Reg s -> Operand r s Source #

64 bit registers

rax :: FromReg c => c S64 Source #

rcx :: FromReg c => c S64 Source #

rdx :: FromReg c => c S64 Source #

rbx :: FromReg c => c S64 Source #

rsp :: FromReg c => c S64 Source #

rbp :: FromReg c => c S64 Source #

rsi :: FromReg c => c S64 Source #

rdi :: FromReg c => c S64 Source #

r8 :: FromReg c => c S64 Source #

r9 :: FromReg c => c S64 Source #

r10 :: FromReg c => c S64 Source #

r11 :: FromReg c => c S64 Source #

r12 :: FromReg c => c S64 Source #

r13 :: FromReg c => c S64 Source #

r14 :: FromReg c => c S64 Source #

r15 :: FromReg c => c S64 Source #

32 bit registers

eax :: FromReg c => c S32 Source #

ecx :: FromReg c => c S32 Source #

edx :: FromReg c => c S32 Source #

ebx :: FromReg c => c S32 Source #

esp :: FromReg c => c S32 Source #

ebp :: FromReg c => c S32 Source #

esi :: FromReg c => c S32 Source #

edi :: FromReg c => c S32 Source #

r8d :: FromReg c => c S32 Source #

r9d :: FromReg c => c S32 Source #

r10d :: FromReg c => c S32 Source #

r11d :: FromReg c => c S32 Source #

r12d :: FromReg c => c S32 Source #

r13d :: FromReg c => c S32 Source #

r14d :: FromReg c => c S32 Source #

r15d :: FromReg c => c S32 Source #

16 bit registers

ax :: FromReg c => c S16 Source #

cx :: FromReg c => c S16 Source #

dx :: FromReg c => c S16 Source #

bx :: FromReg c => c S16 Source #

sp :: FromReg c => c S16 Source #

bp :: FromReg c => c S16 Source #

si :: FromReg c => c S16 Source #

di :: FromReg c => c S16 Source #

r8w :: FromReg c => c S16 Source #

r9w :: FromReg c => c S16 Source #

r10w :: FromReg c => c S16 Source #

r11w :: FromReg c => c S16 Source #

r12w :: FromReg c => c S16 Source #

r13w :: FromReg c => c S16 Source #

r14w :: FromReg c => c S16 Source #

r15w :: FromReg c => c S16 Source #

8 bit low registers

al :: FromReg c => c S8 Source #

cl :: FromReg c => c S8 Source #

dl :: FromReg c => c S8 Source #

bl :: FromReg c => c S8 Source #

spl :: FromReg c => c S8 Source #

bpl :: FromReg c => c S8 Source #

sil :: FromReg c => c S8 Source #

dil :: FromReg c => c S8 Source #

r8b :: FromReg c => c S8 Source #

r9b :: FromReg c => c S8 Source #

r10b :: FromReg c => c S8 Source #

r11b :: FromReg c => c S8 Source #

r12b :: FromReg c => c S8 Source #

r13b :: FromReg c => c S8 Source #

r14b :: FromReg c => c S8 Source #

r15b :: FromReg c => c S8 Source #

8 bit high registers

ah :: FromReg c => c S8 Source #

ch :: FromReg c => c S8 Source #

dh :: FromReg c => c S8 Source #

bh :: FromReg c => c S8 Source #

SSE registers

xmm0 :: FromReg c => c S128 Source #

xmm1 :: FromReg c => c S128 Source #

xmm2 :: FromReg c => c S128 Source #

xmm3 :: FromReg c => c S128 Source #

xmm4 :: FromReg c => c S128 Source #

xmm5 :: FromReg c => c S128 Source #

xmm6 :: FromReg c => c S128 Source #

xmm7 :: FromReg c => c S128 Source #

Addresses

data Addr s Source #

A (relative) address is made up base a base register, a displacement, and a (scaled) index. For example in [eax+4*ecx+20] the base register is eax, the displacement is 20 and the index is 4*ecx.

Constructors

Addr
Fields baseReg :: BaseReg s displacement :: Displacement indexReg :: IndexReg s

Instances

Instances details

Eq (Addr s) Source #
Instance details Defined in CodeGen.X86.Asm Methods (==) :: Addr s -> Addr s -> Bool # (/=) :: Addr s -> Addr s -> Bool #
IsSize s => Show (Addr s) Source #
Instance details Defined in CodeGen.X86.Asm Methods showsPrec :: Int -> Addr s -> ShowS # show :: Addr s -> String # showList :: [Addr s] -> ShowS #
Semigroup (Addr s) Source #
Instance details Defined in CodeGen.X86.Asm Methods (<>) :: Addr s -> Addr s -> Addr s # sconcat :: NonEmpty (Addr s) -> Addr s # stimes :: Integral b => b -> Addr s -> Addr s #
Monoid (Addr s) Source #
Instance details Defined in CodeGen.X86.Asm Methods mempty :: Addr s # mappend :: Addr s -> Addr s -> Addr s # mconcat :: [Addr s] -> Addr s #
IsSize s => HasSize (Addr s) Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Addr s -> Size Source #

type BaseReg s = Maybe (Reg s) Source #

data IndexReg s Source #

Constructors

NoIndex
IndexReg Scale (Reg s)

Instances

Instances details

Eq (IndexReg s) Source #
Instance details Defined in CodeGen.X86.Asm Methods (==) :: IndexReg s -> IndexReg s -> Bool # (/=) :: IndexReg s -> IndexReg s -> Bool #
Semigroup (IndexReg s) Source #
Instance details Defined in CodeGen.X86.Asm Methods (<>) :: IndexReg s -> IndexReg s -> IndexReg s # sconcat :: NonEmpty (IndexReg s) -> IndexReg s # stimes :: Integral b => b -> IndexReg s -> IndexReg s #
Monoid (IndexReg s) Source #
Instance details Defined in CodeGen.X86.Asm Methods mempty :: IndexReg s # mappend :: IndexReg s -> IndexReg s -> IndexReg s # mconcat :: [IndexReg s] -> IndexReg s #
IsSize s => HasSize (IndexReg s) Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: IndexReg s -> Size Source #

data Scale Source #

The scaling of an index. (replace with Size?)

Instances

Instances details

Eq Scale Source #
Instance details Defined in CodeGen.X86.Asm Methods (==) :: Scale -> Scale -> Bool # (/=) :: Scale -> Scale -> Bool #

s1 :: Scale Source #

s2 :: Scale Source #

s4 :: Scale Source #

s8 :: Scale Source #

type Displacement = Maybe Int32 Source #

data Address :: Size -> * Source #

Instances

Instances details

FromReg Address Source #
Instance details Defined in CodeGen.X86.Asm Methods fromReg :: forall (s :: Size). Reg s -> Address s Source #
Num (Address s) Source #
Instance details Defined in CodeGen.X86.Asm Methods (+) :: Address s -> Address s -> Address s # (-) :: Address s -> Address s -> Address s # (*) :: Address s -> Address s -> Address s # negate :: Address s -> Address s # abs :: Address s -> Address s # signum :: Address s -> Address s # fromInteger :: Integer -> Address s #
IsSize s => HasSize (Address s) Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Address s -> Size Source #

addr :: IsSize s => Address s -> Operand rw s' Source #

addr8 :: IsSize s => Address s -> Operand rw S8 Source #

addr with specialized type

addr16 :: IsSize s => Address s -> Operand rw S16 Source #

addr with specialized type

addr32 :: IsSize s => Address s -> Operand rw S32 Source #

addr with specialized type

addr64 :: IsSize s => Address s -> Operand rw S64 Source #

addr with specialized type

ipRel :: Label -> Operand rw s Source #

intruction pointer (RIP) relative address

ipRel8 :: Label -> Operand rw S8 Source #

ipRel with specialized type

Operands

data Access Source #

Operand access modes

Constructors

R	readable operand
RW	readable and writeable operand

data Operand :: Access -> Size -> * where Source #

An operand can be an immediate, a register, a memory address or RIP-relative (memory address relative to the instruction pointer)

Constructors

ImmOp :: Immediate Int64 -> Operand R s
RegOp :: Reg s -> Operand rw s
MemOp :: IsSize s' => Addr s' -> Operand rw s
IPMemOp :: Immediate Int32 -> Operand rw s

Instances

Instances details

FromReg (Operand r) Source #
Instance details Defined in CodeGen.X86.Asm Methods fromReg :: forall (s :: Size). Reg s -> Operand r s Source #
rw ~ 'R => Num (Operand rw s) Source #
Instance details Defined in CodeGen.X86.Asm Methods (+) :: Operand rw s -> Operand rw s -> Operand rw s # (-) :: Operand rw s -> Operand rw s -> Operand rw s # (*) :: Operand rw s -> Operand rw s -> Operand rw s # negate :: Operand rw s -> Operand rw s # abs :: Operand rw s -> Operand rw s # signum :: Operand rw s -> Operand rw s # fromInteger :: Integer -> Operand rw s #
IsSize s => Show (Operand a s) Source #
Instance details Defined in CodeGen.X86.Asm Methods showsPrec :: Int -> Operand a s -> ShowS # show :: Operand a s -> String # showList :: [Operand a s] -> ShowS #
IsSize s => HasSize (Operand a s) Source #
Instance details Defined in CodeGen.X86.Asm Methods size :: Operand a s -> Size Source #

resizeOperand :: IsSize s' => Operand RW s -> Operand RW s' Source #

ipRelValue :: forall (s :: Size). Label -> Operand 'R s Source #

Conditions

data Condition Source #

Instances

Instances details

Show Condition Source #
Instance details Defined in CodeGen.X86.Asm Methods showsPrec :: Int -> Condition -> ShowS # show :: Condition -> String # showList :: [Condition] -> ShowS #

pattern N :: Condition -> Condition Source #

pattern O :: Condition Source #

pattern NO :: Condition Source #

pattern B :: Condition Source #

pattern C :: Condition Source #

pattern NB :: Condition Source #

pattern NC :: Condition Source #

pattern E :: Condition Source #

pattern Z :: Condition Source #

pattern NE :: Condition Source #

pattern NZ :: Condition Source #

pattern NA :: Condition Source #

pattern BE :: Condition Source #

pattern A :: Condition Source #

pattern NBE :: Condition Source #

pattern S :: Condition Source #

pattern NS :: Condition Source #

pattern P :: Condition Source #

pattern NP :: Condition Source #

pattern L :: Condition Source #

pattern NL :: Condition Source #

pattern NG :: Condition Source #

pattern LE :: Condition Source #

pattern G :: Condition Source #

pattern NLE :: Condition Source #

Instructions

type Code = CodeM () Source #

data CodeM a Source #

Instances

Instances details

Monad CodeM Source #
Instance details Defined in CodeGen.X86.CodeGen Methods (>>=) :: CodeM a -> (a -> CodeM b) -> CodeM b # (>>) :: CodeM a -> CodeM b -> CodeM b # return :: a -> CodeM a #
Functor CodeM Source #
Instance details Defined in CodeGen.X86.CodeGen Methods fmap :: (a -> b) -> CodeM a -> CodeM b # (<$) :: a -> CodeM b -> CodeM a #
Show Code Source #
Instance details Defined in CodeGen.X86.CodeGen Methods showsPrec :: Int -> Code -> ShowS # show :: Code -> String # showList :: [Code] -> ShowS #
MonadFix CodeM Source #
Instance details Defined in CodeGen.X86.CodeGen Methods mfix :: (a -> CodeM a) -> CodeM a #
Applicative CodeM Source #
Instance details Defined in CodeGen.X86.CodeGen Methods pure :: a -> CodeM a # (<>) :: CodeM (a -> b) -> CodeM a -> CodeM b # liftA2 :: (a -> b -> c) -> CodeM a -> CodeM b -> CodeM c # (>) :: CodeM a -> CodeM b -> CodeM b # (<*) :: CodeM a -> CodeM b -> CodeM a #

Pseudo instructions

db :: Bytes -> Code Source #

align :: Int -> Code Source #

data Label Source #

Instances

Instances details

Show Label Source #
Instance details Defined in CodeGen.X86.Asm Methods showsPrec :: Int -> Label -> ShowS # show :: Label -> String # showList :: [Label] -> ShowS #

label :: CodeM Label Source #

Control instructions

j :: Condition -> Label -> Code Source #

jmp :: Label -> Code Source #

jmpq :: forall (r :: Access). Operand r 'S64 -> Code Source #

call :: forall (r :: Access). Operand r 'S64 -> Code Source #

ret :: Code Source #

nop :: Code Source #

Flag manipulation

cmc :: Code Source #

clc :: Code Source #

stc :: Code Source #

cli :: Code Source #

sti :: Code Source #

cld :: Code Source #

std :: Code Source #

pushf :: Code Source #

popf :: Code Source #

Conditionals

cmp :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code Source #

test :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code Source #

bt :: forall (s :: Size) (r :: Access). IsSize s => Operand r s -> Operand 'RW s -> Code Source #

bsf :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code Source #

bsr :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code Source #

Arithmetic

inc :: forall (s :: Size). IsSize s => Operand 'RW s -> Code Source #

dec :: forall (s :: Size). IsSize s => Operand 'RW s -> Code Source #

neg :: forall (s :: Size). IsSize s => Operand 'RW s -> Code Source #

add :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code Source #

adc :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code Source #

sub :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code Source #

sbb :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code Source #

lea :: forall (s :: Size) (s' :: Size). (IsSize s, IsSize s') => Operand 'RW s -> Operand 'RW s' -> Code Source #

Bit manipulation

not_ :: forall (s :: Size). IsSize s => Operand 'RW s -> Code Source #

and_ :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code Source #

or_ :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code Source #

xor_ :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code Source #

rol :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r 'S8 -> Code Source #

ror :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r 'S8 -> Code Source #

rcl :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r 'S8 -> Code Source #

rcr :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r 'S8 -> Code Source #

shl :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r 'S8 -> Code Source #

shr :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r 'S8 -> Code Source #

sar :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r 'S8 -> Code Source #

Byte manipulation/move

bswap :: forall (s :: Size). IsSize s => Operand 'RW s -> Code Source #

xchg :: forall (s :: Size). IsSize s => Operand 'RW s -> Operand 'RW s -> Code Source #

mov :: forall (s :: Size) (r :: Access). IsSize s => Operand 'RW s -> Operand r s -> Code Source #

cmov :: forall (s :: Size). IsSize s => Condition -> Operand 'RW s -> Operand 'RW s -> Code Source #

pop :: Operand 'RW 'S64 -> Code Source #

push :: forall (r :: Access). Operand r 'S64 -> Code Source #

SSE

movd :: forall (s :: Size) (s' :: Size) (r :: Access). (IsSize s, IsSize s') => Operand 'RW s -> Operand r s' -> Code Source #

movq :: forall (s :: Size) (s' :: Size) (r :: Access). (IsSize s, IsSize s') => Operand 'RW s -> Operand r s' -> Code Source #

movdqa :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code Source #

paddb :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code Source #

paddw :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code Source #

paddd :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code Source #

paddq :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code Source #

psubb :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code Source #

psubw :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code Source #

psubd :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code Source #

psubq :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code Source #

pxor :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S128 -> Code Source #

psllw :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code Source #

pslld :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code Source #

psllq :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code Source #

pslldq :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code Source #

psrlw :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code Source #

psrld :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code Source #

psrlq :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code Source #

psrldq :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code Source #

psraw :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code Source #

psrad :: forall (r :: Access). Operand 'RW 'S128 -> Operand r 'S8 -> Code Source #

Compound instructions

unless :: Condition -> CodeM a -> CodeM () Source #

execute code unless condition is true

doWhile :: Condition -> CodeM a -> CodeM () Source #

do while loop construction

if_ :: Condition -> CodeM a1 -> CodeM a2 -> CodeM () Source #

if-then-else

leaData :: forall (s :: Size) a. (IsSize s, HasBytes a) => Operand 'RW s -> a -> CodeM () Source #

traceReg :: IsSize s => String -> Operand RW s -> Code Source #

Compilation

compile :: Callable a => Code -> a Source #

preBuild :: Code -> Code Source #

Calling convention

saveNonVolatile :: Code -> Code Source #

Save the non-volatile registers, execute the code, restore the registers and return after.

Note: R12..R15 should be preserved on both Windows and Linux (or System V convention in general). This is the responsability of the user (this function won't save them, but you can use "saveR12R15" in addition to this).

saveR12R15 :: Code -> Code Source #

Saves R12, R13, R14 and R15 (on the stack).

arg1 :: FromReg c => c 'S64 Source #

arg2 :: FromReg c => c 'S64 Source #

arg3 :: FromReg c => c 'S64 Source #

arg4 :: FromReg c => c 'S64 Source #

result :: FromReg c => c 'S64 Source #