CodeGen.X86

Byte sequences

type Bytes = [Word8]

class HasBytes a where

Minimal complete definition

toBytes

Methods

toBytes :: a -> Bytes

Instances

HasBytes Int8

Methods

toBytes :: Int8 -> Bytes

HasBytes Int16

Methods

toBytes :: Int16 -> Bytes

HasBytes Int32

Methods

toBytes :: Int32 -> Bytes

HasBytes Int64

Methods

toBytes :: Int64 -> Bytes

HasBytes Word8

Methods

toBytes :: Word8 -> Bytes

HasBytes Word16

Methods

toBytes :: Word16 -> Bytes

HasBytes Word32

Methods

toBytes :: Word32 -> Bytes

HasBytes Word64

Methods

toBytes :: Word64 -> Bytes

HasBytes CString

Methods

toBytes :: CString -> Bytes

Sizes (in bits)

data Size

Constructors

S8

S16

S32

S64

S128

Instances

Eq Size

Methods

(==) :: Size -> Size -> Bool

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

Ord Size

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

Methods

showsPrec :: Int -> Size -> ShowS

show :: Size -> String

showList :: [Size] -> ShowS

class HasSize a where

Minimal complete definition

size

Methods

size :: a -> Size

Instances

HasSize Int8

Methods

size :: Int8 -> Size

HasSize Int16

Methods

size :: Int16 -> Size

HasSize Int32

Methods

size :: Int32 -> Size

HasSize Int64

Methods

size :: Int64 -> Size

HasSize Word8

Methods

size :: Word8 -> Size

HasSize Word16

Methods

size :: Word16 -> Size

HasSize Word32

Methods

size :: Word32 -> Size

HasSize Word64

Methods

size :: Word64 -> Size

IsSize s => HasSize (Operand a s)

Methods

size :: Operand a s -> Size

class IsSize s

Minimal complete definition

ssize

Instances

IsSize S8

Methods

ssize :: SSize S8

IsSize S16

Methods

ssize :: SSize S16

IsSize S32

Methods

ssize :: SSize S32

IsSize S64

Methods

ssize :: SSize S64

IsSize S128

Methods

ssize :: SSize S128

Registers

64 bit registers

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

32 bit registers

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

16 bit registers

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

8 bit low registers

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

8 bit high registers

ah :: FromReg c => c S8

ch :: FromReg c => c S8

dh :: FromReg c => c S8

bh :: FromReg c => c S8

SSE registers

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

Addresses

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

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

addr with specialized type

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

addr with specialized type

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

addr with specialized type

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

addr with specialized type

ipRel :: Label -> Operand rw s

intruction pointer relative address

ipRel8 :: Label -> Operand rw S8

ipRel with specialized type

Operands

data Access

Operand access modes

Constructors

R

readable operand

RW

readable and writeable operand

data Operand :: Access -> Size -> *

Instances

(~) Access rw R => Num (Operand rw s)

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)

Methods

showsPrec :: Int -> Operand a s -> ShowS

show :: Operand a s -> String

showList :: [Operand a s] -> ShowS

IsSize s => HasSize (Operand a s)

Methods

size :: Operand a s -> Size

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

ipRelValue :: Label -> Operand R s

Conditions

data Condition

Instances

Show Condition

Methods

showsPrec :: Int -> Condition -> ShowS

show :: Condition -> String

showList :: [Condition] -> ShowS

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

Instructions

type Code = CodeM ()

data CodeM a

Instances

Monad CodeM

Methods

(>>=) :: CodeM a -> (a -> CodeM b) -> CodeM b

(>>) :: CodeM a -> CodeM b -> CodeM b

return :: a -> CodeM a

fail :: String -> CodeM a

Functor CodeM

Methods

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

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

Show Code

Methods

showsPrec :: Int -> Code -> ShowS

show :: Code -> String

showList :: [Code] -> ShowS

MonadFix CodeM

Methods

mfix :: (a -> CodeM a) -> CodeM a

Applicative CodeM

Methods

pure :: a -> CodeM a

(<*>) :: CodeM (a -> b) -> CodeM a -> CodeM b

(*>) :: CodeM a -> CodeM b -> CodeM b

(<*) :: CodeM a -> CodeM b -> CodeM a

Pseudo instructions

db :: Bytes -> Code

align :: Int -> Code

data Label

Instances

Show Label

Methods

showsPrec :: Int -> Label -> ShowS

show :: Label -> String

showList :: [Label] -> ShowS

label :: CodeM Label

Control

j :: Condition -> Label -> Code

jmp :: Label -> Code

jmpq :: Operand r S64 -> Code

call :: Operand r S64 -> Code

ret :: Code

Flags

cmc :: Code

clc :: Code

stc :: Code

cli :: Code

sti :: Code

cld :: Code

std :: Code

pushf :: Code

popf :: Code

cmp :: IsSize s => Operand RW s -> Operand r s -> Code

test :: IsSize s => Operand RW s -> Operand r s -> Code

Arithmetic

inc :: IsSize s => Operand RW s -> Code

dec :: IsSize s => Operand RW s -> Code

not_ :: IsSize s => Operand RW s -> Code

neg :: IsSize s => Operand RW s -> Code

add :: IsSize s => Operand RW s -> Operand r s -> Code

adc :: IsSize s => Operand RW s -> Operand r s -> Code

sub :: IsSize s => Operand RW s -> Operand r s -> Code

sbb :: IsSize s => Operand RW s -> Operand r s -> Code

and_ :: IsSize s => Operand RW s -> Operand r s -> Code

or_ :: IsSize s => Operand RW s -> Operand r s -> Code

xor_ :: IsSize s => Operand RW s -> Operand r s -> Code

rol :: IsSize s => Operand RW s -> Operand r S8 -> Code

ror :: IsSize s => Operand RW s -> Operand r S8 -> Code

rcl :: IsSize s => Operand RW s -> Operand r S8 -> Code

rcr :: IsSize s => Operand RW s -> Operand r S8 -> Code

shl :: IsSize s => Operand RW s -> Operand r S8 -> Code

shr :: IsSize s => Operand RW s -> Operand r S8 -> Code

sar :: IsSize s => Operand RW s -> Operand r S8 -> Code

lea :: (IsSize s', IsSize s) => Operand RW s -> Operand RW s' -> Code

Other

nop :: Code

xchg :: IsSize s => Operand RW s -> Operand RW s -> Code

mov :: IsSize s => Operand RW s -> Operand r s -> Code

cmov :: IsSize s => Condition -> Operand RW s -> Operand RW s -> Code

pop :: Operand RW S64 -> Code

push :: Operand r S64 -> Code

SSE

movd :: (IsSize s', IsSize s) => Operand RW s -> Operand r s' -> Code

movq :: (IsSize s', IsSize s) => Operand RW s -> Operand r s' -> Code

movdqa :: Operand RW S128 -> Operand r S128 -> Code

paddb :: Operand RW S128 -> Operand r S128 -> Code

paddw :: Operand RW S128 -> Operand r S128 -> Code

paddd :: Operand RW S128 -> Operand r S128 -> Code

paddq :: Operand RW S128 -> Operand r S128 -> Code

psubb :: Operand RW S128 -> Operand r S128 -> Code

psubw :: Operand RW S128 -> Operand r S128 -> Code

psubd :: Operand RW S128 -> Operand r S128 -> Code

psubq :: Operand RW S128 -> Operand r S128 -> Code

pxor :: Operand RW S128 -> Operand r S128 -> Code

psllw :: Operand RW S128 -> Operand r S8 -> Code

pslld :: Operand RW S128 -> Operand r S8 -> Code

psllq :: Operand RW S128 -> Operand r S8 -> Code

pslldq :: Operand RW S128 -> Operand r S8 -> Code

psrlw :: Operand RW S128 -> Operand r S8 -> Code

psrld :: Operand RW S128 -> Operand r S8 -> Code

psrlq :: Operand RW S128 -> Operand r S8 -> Code

psrldq :: Operand RW S128 -> Operand r S8 -> Code

psraw :: Operand RW S128 -> Operand r S8 -> Code

psrad :: Operand RW S128 -> Operand r S8 -> Code

Compound instructions

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

execute code unless condition is true

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

do while loop construction

if_ :: Condition -> CodeM a -> CodeM a1 -> CodeM ()

if-then-else

leaData :: (HasBytes a, IsSize s) => Operand RW s -> a -> CodeM ()

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

Compilation

compile :: Callable a => Code -> a

preBuild :: Code -> Code

Calling convention

saveNonVolatile :: Code -> Code

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

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

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

Calling C and Haskell from Assembly

class (MapResult a, NFData (Result a)) => Callable a where

Minimal complete definition

dynCCall

Methods

dynCCall :: FunPtr a -> a

class MapResult a => CallableHs a where

Minimal complete definition

createHsPtr

Methods

createHsPtr :: a -> IO (FunPtr a)

callFun :: Operand RW S64 -> FunPtr a -> Code

printf :: FunPtr a

hsPtr :: CallableHs a => a -> FunPtr a

newtype CString

Constructors

CString String

Instances

HasBytes CString

Methods

toBytes :: CString -> Bytes

Misc

runTests :: IO ()

Run all tests