CodeGen.X86

Byte sequences

type Bytes = [Word8]

class HasBytes a where

Methods

toBytes :: a -> Bytes

Instances

HasBytes Int8

Defined in CodeGen.X86.Asm

Methods

toBytes :: Int8 -> Bytes

HasBytes Int16

Defined in CodeGen.X86.Asm

Methods

toBytes :: Int16 -> Bytes

HasBytes Int32

Defined in CodeGen.X86.Asm

Methods

toBytes :: Int32 -> Bytes

HasBytes Int64

Defined in CodeGen.X86.Asm

Methods

toBytes :: Int64 -> Bytes

HasBytes Word8

Defined in CodeGen.X86.Asm

Methods

toBytes :: Word8 -> Bytes

HasBytes Word16

Defined in CodeGen.X86.Asm

Methods

toBytes :: Word16 -> Bytes

HasBytes Word32

Defined in CodeGen.X86.Asm

Methods

toBytes :: Word32 -> Bytes

HasBytes Word64

Defined in CodeGen.X86.Asm

Methods

toBytes :: Word64 -> Bytes

HasBytes CString

Defined in CodeGen.X86.Utils

Methods

toBytes :: CString -> Bytes

Sizes (in bits)

data Size

The size of a register (in bits)

Constructors

S1

S8

S16

S32

S64

S128

Instances

Eq Size

Defined in CodeGen.X86.Asm

Methods

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

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

Ord Size

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

Defined in CodeGen.X86.Asm

Methods

showsPrec :: Int -> Size -> ShowS

show :: Size -> String

showList :: [Size] -> ShowS

class HasSize a where

Methods

size :: a -> Size

Instances

HasSize Int8

Defined in CodeGen.X86.Asm

Methods

size :: Int8 -> Size

HasSize Int16

Defined in CodeGen.X86.Asm

Methods

size :: Int16 -> Size

HasSize Int32

Defined in CodeGen.X86.Asm

Methods

size :: Int32 -> Size

HasSize Int64

Defined in CodeGen.X86.Asm

Methods

size :: Int64 -> Size

HasSize Word8

Defined in CodeGen.X86.Asm

Methods

size :: Word8 -> Size

HasSize Word16

Defined in CodeGen.X86.Asm

Methods

size :: Word16 -> Size

HasSize Word32

Defined in CodeGen.X86.Asm

Methods

size :: Word32 -> Size

HasSize Word64

Defined in CodeGen.X86.Asm

Methods

size :: Word64 -> Size

IsSize s => HasSize (Address s)

Defined in CodeGen.X86.Asm

Methods

size :: Address s -> Size

IsSize s => HasSize (IndexReg s)

Defined in CodeGen.X86.Asm

Methods

size :: IndexReg s -> Size

IsSize s => HasSize (BaseReg s)

Defined in CodeGen.X86.Asm

Methods

size :: BaseReg s -> Size

IsSize s => HasSize (Addr s)

Defined in CodeGen.X86.Asm

Methods

size :: Addr s -> Size

IsSize s => HasSize (Reg s)

Defined in CodeGen.X86.Asm

Methods

size :: Reg s -> Size

IsSize s => HasSize (Operand a s)

Defined in CodeGen.X86.Asm

Methods

size :: Operand a s -> Size

class IsSize (s :: Size)

Minimal complete definition

ssize

Instances

IsSize S1

Defined in CodeGen.X86.Asm

Methods

ssize :: SSize S1

IsSize S8

Defined in CodeGen.X86.Asm

Methods

ssize :: SSize S8

IsSize S16

Defined in CodeGen.X86.Asm

Methods

ssize :: SSize S16

IsSize S32

Defined in CodeGen.X86.Asm

Methods

ssize :: SSize S32

IsSize S64

Defined in CodeGen.X86.Asm

Methods

ssize :: SSize S64

IsSize S128

Defined in CodeGen.X86.Asm

Methods

ssize :: SSize S128

data EqT s s' where

Constructors

Refl :: EqT s s

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

Registers

data Reg :: Size -> * where

A register.

Constructors

NormalReg :: Word8 -> Reg s

HighReg :: Word8 -> Reg S8

XMM :: Word8 -> Reg S128

Instances

FromReg Reg

Defined in CodeGen.X86.Asm

Methods

fromReg :: Reg s -> Reg s

Eq (Reg s)

Defined in CodeGen.X86.Asm

Methods

(==) :: Reg s -> Reg s -> Bool

(/=) :: Reg s -> Reg s -> Bool

Ord (Reg s)

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)

Defined in CodeGen.X86.Asm

Methods

showsPrec :: Int -> Reg s -> ShowS

show :: Reg s -> String

showList :: [Reg s] -> ShowS

IsSize s => HasSize (BaseReg s)

Defined in CodeGen.X86.Asm

Methods

size :: BaseReg s -> Size

IsSize s => HasSize (Reg s)

Defined in CodeGen.X86.Asm

Methods

size :: Reg s -> Size

class FromReg c where

Methods

fromReg :: Reg s -> c s

Instances

FromReg Address

Defined in CodeGen.X86.Asm

Methods

fromReg :: Reg s -> Address s

FromReg Reg

Defined in CodeGen.X86.Asm

Methods

fromReg :: Reg s -> Reg s

FromReg (Operand r)

Defined in CodeGen.X86.Asm

Methods

fromReg :: Reg s -> Operand r s

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

data Addr s

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

Eq (Addr s)

Defined in CodeGen.X86.Asm

Methods

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

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

IsSize s => Show (Addr s)

Defined in CodeGen.X86.Asm

Methods

showsPrec :: Int -> Addr s -> ShowS

show :: Addr s -> String

showList :: [Addr s] -> ShowS

Semigroup (Addr s)

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)

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)

Defined in CodeGen.X86.Asm

Methods

size :: Addr s -> Size

type BaseReg s = Maybe (Reg s)

data IndexReg s

Constructors

NoIndex

IndexReg Scale (Reg s)

Instances

Eq (IndexReg s)

Defined in CodeGen.X86.Asm

Methods

(==) :: IndexReg s -> IndexReg s -> Bool

(/=) :: IndexReg s -> IndexReg s -> Bool

Semigroup (IndexReg s)

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)

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)

Defined in CodeGen.X86.Asm

Methods

size :: IndexReg s -> Size

data Scale

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

Instances

Eq Scale

Defined in CodeGen.X86.Asm

Methods

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

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

s1 :: Scale

s2 :: Scale

s4 :: Scale

s8 :: Scale

type Displacement = Maybe Int32

data Address :: Size -> *

Instances

FromReg Address

Defined in CodeGen.X86.Asm

Methods

fromReg :: Reg s -> Address s

Num (Address s)

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)

Defined in CodeGen.X86.Asm

Methods

size :: Address s -> Size

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 (RIP) 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 -> * where

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

FromReg (Operand r)

Defined in CodeGen.X86.Asm

Methods

fromReg :: Reg s -> Operand r s

rw ~ R => Num (Operand rw s)

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)

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)

Defined in CodeGen.X86.Asm

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

Defined in CodeGen.X86.Asm

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

Defined in CodeGen.X86.CodeGen

Methods

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

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

return :: a -> CodeM a

fail :: String -> CodeM a

Functor CodeM

Defined in CodeGen.X86.CodeGen

Methods

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

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

Show Code

Defined in CodeGen.X86.CodeGen

Methods

showsPrec :: Int -> Code -> ShowS

show :: Code -> String

showList :: [Code] -> ShowS

MonadFix CodeM

Defined in CodeGen.X86.CodeGen

Methods

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

Applicative CodeM

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

align :: Int -> Code

data Label

Instances

Show Label

Defined in CodeGen.X86.Asm

Methods

showsPrec :: Int -> Label -> ShowS

show :: Label -> String

showList :: [Label] -> ShowS

label :: CodeM Label

Control instructions

j :: Condition -> Label -> Code

jmp :: Label -> Code

jmpq :: Operand r S64 -> Code

call :: Operand r S64 -> Code

ret :: Code

nop :: Code

Flag manipulation

cmc :: Code

clc :: Code

stc :: Code

cli :: Code

sti :: Code

cld :: Code

std :: Code

pushf :: Code

popf :: Code

Conditionals

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

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

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

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

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

Arithmetic

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

dec :: 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

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

Bit manipulation

not_ :: IsSize s => Operand RW 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

Byte manipulation/move

bswap :: IsSize s => Operand RW s -> 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 a1 -> CodeM a2 -> CodeM ()

if-then-else

leaData :: (IsSize s, HasBytes a) => 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

Methods

dynCCall :: FunPtr a -> a

class MapResult a => CallableHs a where

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

Defined in CodeGen.X86.Utils

Methods

toBytes :: CString -> Bytes