CodeGen.X86

Byte sequences

newtype Bytes

Constructors

Bytes

Fields

• getBytes :: [Word8]

Instances

Eq Bytes

Methods

(==) :: Bytes -> Bytes -> Bool

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

Show Bytes

Methods

showsPrec :: Int -> Bytes -> ShowS

show :: Bytes -> String

showList :: [Bytes] -> ShowS

Monoid Bytes

Methods

mempty :: Bytes

mappend :: Bytes -> Bytes -> Bytes

mconcat :: [Bytes] -> Bytes

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

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'

Memory references

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

ipBase :: Operand rw s

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

Conditions

data Condition

Instances

Show Condition

Methods

showsPrec :: Int -> Condition -> ShowS

show :: Condition -> String

showList :: [Condition] -> ShowS

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

Assembly codes

data Code where

Constructors

Scope :: Code -> Code

Up :: Code -> Code

Instances

Show Code

Methods

showsPrec :: Int -> Code -> ShowS

show :: Code -> String

showList :: [Code] -> ShowS

Monoid Code

Methods

mempty :: Code

mappend :: Code -> Code -> Code

mconcat :: [Code] -> Code

pattern Ret :: Code

pattern Nop :: Code

pattern PushF :: Code

pattern PopF :: Code

pattern Cmc :: Code

pattern Clc :: Code

pattern Stc :: Code

pattern Cli :: Code

pattern Sti :: Code

pattern Cld :: Code

pattern Std :: Code

pattern Inc :: () => forall s. IsSize s => Operand RW s -> Code

pattern Dec :: () => forall s. IsSize s => Operand RW s -> Code

pattern Not :: () => forall s. IsSize s => Operand RW s -> Code

pattern Neg :: () => forall s. IsSize s => Operand RW s -> Code

pattern Add :: () => forall s r. IsSize s => Operand RW s -> Operand r s -> Code

pattern Or :: () => forall s r. IsSize s => Operand RW s -> Operand r s -> Code

pattern Adc :: () => forall s r. IsSize s => Operand RW s -> Operand r s -> Code

pattern Sbb :: () => forall s r. IsSize s => Operand RW s -> Operand r s -> Code

pattern And :: () => forall s r. IsSize s => Operand RW s -> Operand r s -> Code

pattern Sub :: () => forall s r. IsSize s => Operand RW s -> Operand r s -> Code

pattern Xor :: () => forall s r. IsSize s => Operand RW s -> Operand r s -> Code

pattern Cmp :: () => forall s r. IsSize s => Operand RW s -> Operand r s -> Code

pattern Test :: () => forall s r. IsSize s => Operand RW s -> Operand r s -> Code

pattern Mov :: () => forall s r. IsSize s => Operand RW s -> Operand r s -> Code

pattern Cmov :: () => forall s. IsSize s => Condition -> Operand RW s -> Operand RW s -> Code

pattern Rol :: () => forall s r. IsSize s => Operand RW s -> Operand r S8 -> Code

pattern Ror :: () => forall s r. IsSize s => Operand RW s -> Operand r S8 -> Code

pattern Rcl :: () => forall s r. IsSize s => Operand RW s -> Operand r S8 -> Code

pattern Rcr :: () => forall s r. IsSize s => Operand RW s -> Operand r S8 -> Code

pattern Shl :: () => forall s r. IsSize s => Operand RW s -> Operand r S8 -> Code

pattern Shr :: () => forall s r. IsSize s => Operand RW s -> Operand r S8 -> Code

pattern Sar :: () => forall s r. IsSize s => Operand RW s -> Operand r S8 -> Code

pattern Xchg :: () => forall s. IsSize s => Operand RW s -> Operand RW s -> Code

pattern Movd :: () => forall s s' r. (IsSize s, IsSize s') => Operand RW s -> Operand r s' -> Code

pattern Movq :: () => forall s s' r. (IsSize s, IsSize s') => Operand RW s -> Operand r s' -> Code

pattern Movdqa :: () => forall r. Operand RW S128 -> Operand r S128 -> Code

pattern Paddb :: () => forall r. Operand RW S128 -> Operand r S128 -> Code

pattern Paddw :: () => forall r. Operand RW S128 -> Operand r S128 -> Code

pattern Paddd :: () => forall r. Operand RW S128 -> Operand r S128 -> Code

pattern Paddq :: () => forall r. Operand RW S128 -> Operand r S128 -> Code

pattern Psubb :: () => forall r. Operand RW S128 -> Operand r S128 -> Code

pattern Psubw :: () => forall r. Operand RW S128 -> Operand r S128 -> Code

pattern Psubd :: () => forall r. Operand RW S128 -> Operand r S128 -> Code

pattern Psubq :: () => forall r. Operand RW S128 -> Operand r S128 -> Code

pattern Pxor :: () => forall r. Operand RW S128 -> Operand r S128 -> Code

pattern Psllw :: () => forall r. Operand RW S128 -> Operand r S8 -> Code

pattern Pslld :: () => forall r. Operand RW S128 -> Operand r S8 -> Code

pattern Psllq :: () => forall r. Operand RW S128 -> Operand r S8 -> Code

pattern Pslldq :: () => forall r. Operand RW S128 -> Operand r S8 -> Code

pattern Psrlw :: () => forall r. Operand RW S128 -> Operand r S8 -> Code

pattern Psrld :: () => forall r. Operand RW S128 -> Operand r S8 -> Code

pattern Psrlq :: () => forall r. Operand RW S128 -> Operand r S8 -> Code

pattern Psrldq :: () => forall r. Operand RW S128 -> Operand r S8 -> Code

pattern Psraw :: () => forall r. Operand RW S128 -> Operand r S8 -> Code

pattern Psrad :: () => forall r. Operand RW S128 -> Operand r S8 -> Code

pattern Lea :: () => forall s s'. (IsSize s, IsSize s') => Operand RW s -> Operand RW s' -> Code

pattern J :: Condition -> Maybe Size -> Code

pattern Pop :: Operand RW S64 -> Code

pattern Push :: () => forall r. Operand r S64 -> Code

pattern Call :: Operand RW S64 -> Code

pattern Jmpq :: Operand RW S64 -> Code

pattern Jmp :: Maybe Size -> Code

pattern Data :: Bytes -> Code

pattern Align :: Int -> Code

pattern Label :: Code

Compound assembly codes

(<>) :: Monoid m => m -> m -> m infixr 6

An infix synonym for mappend.

Since: 4.5.0.0

(<.>) :: Code -> Code -> Code infixr 5

(<:>) :: Code -> Code -> Code infixr 5

jmp :: Code -> Code

auto size jump; the extra argument is the code between the jump and the label

jmp_back :: Code

auto size backward jump

jmp8 :: Code

short jump

jmp32 :: Code

near jump

j :: Condition -> Code -> Code

auto size conditional forward jump

j8 :: Condition -> Code -> Code

short conditional forward jump

j32 :: Condition -> Code -> Code

near conditional forward jump

j_back :: Code -> Condition -> Code

auto size conditional backward jump

j_back8 :: Code -> Condition -> Code

short conditional backward jump

j_back32 :: Code -> Condition -> Code

near conditional backward jump

if_ :: Condition -> Code -> Code -> Code

lea8 :: IsSize s => Operand RW s -> Operand RW S8 -> Code

leaData :: (HasBytes t, IsSize s) => Operand RW s -> t -> Code

Compilation

class Callable a

Minimal complete definition

unsafeCallForeignPtr

Instances

Callable Bool

Methods

unsafeCallForeignPtr :: ForeignPtr Bool -> Bool

Callable Int

Methods

unsafeCallForeignPtr :: ForeignPtr Int -> Int

Callable Int8

Methods

unsafeCallForeignPtr :: ForeignPtr Int8 -> Int8

Callable Int16

Methods

unsafeCallForeignPtr :: ForeignPtr Int16 -> Int16

Callable Int32

Methods

unsafeCallForeignPtr :: ForeignPtr Int32 -> Int32

Callable Int64

Methods

unsafeCallForeignPtr :: ForeignPtr Int64 -> Int64

Callable Word

Methods

unsafeCallForeignPtr :: ForeignPtr Word -> Word

Callable Word8

Methods

unsafeCallForeignPtr :: ForeignPtr Word8 -> Word8

Callable Word16

Methods

unsafeCallForeignPtr :: ForeignPtr Word16 -> Word16

Callable Word32

Methods

unsafeCallForeignPtr :: ForeignPtr Word32 -> Word32

Callable Word64

Methods

unsafeCallForeignPtr :: ForeignPtr Word64 -> Word64

Callable (IO ())

Methods

unsafeCallForeignPtr :: ForeignPtr (IO ()) -> IO ()

Callable (Word64 -> Word64)

Methods

unsafeCallForeignPtr :: ForeignPtr (Word64 -> Word64) -> Word64 -> Word64

Callable (Ptr a -> Int)

Methods

unsafeCallForeignPtr :: ForeignPtr (Ptr a -> Int) -> Ptr a -> Int

Callable (Ptr a -> Int64)

Methods

unsafeCallForeignPtr :: ForeignPtr (Ptr a -> Int64) -> Ptr a -> Int64

Callable (Ptr a -> Word)

Methods

unsafeCallForeignPtr :: ForeignPtr (Ptr a -> Word) -> Ptr a -> Word

Callable (Ptr a -> Word64)

Methods

unsafeCallForeignPtr :: ForeignPtr (Ptr a -> Word64) -> Ptr a -> Word64

compile :: Callable a => Code -> a

Calling C and Haskell from Assembly

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

saveNonVolatile :: Code -> Code

Save the non-volatile registers

Note: R12..R15 should be preserved on both Windows and Linux. This is the responsability of the user (this won't save them).

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 CallableHs a

Minimal complete definition

createHsPtr

Instances

CallableHs (Word64 -> Word64)

Methods

createHsPtr :: (Word64 -> Word64) -> IO (FunPtr (Word64 -> Word64))

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

Misc

runTests :: IO ()

Run all tests

newtype CString

Constructors

CString String

Instances

HasBytes CString

Methods

toBytes :: CString -> Bytes

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

printf :: FunPtr a