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

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 s a)

Methods

size :: Operand s a -> 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

Addresses

base :: Operand s RW -> Addr s

disp :: Int32 -> Addr s

index1 :: Operand s RW -> Addr s

index2 :: Operand s RW -> Addr s

index4 :: Operand s RW -> Addr s

index8 :: Operand s RW -> Addr s

Operands

data Access

Operand access modes

Constructors

R

readable operand

RW

readable and writeable operand

data Operand :: Size -> Access -> *

Instances

IsSize s => Show (Operand s a)

Methods

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

show :: Operand s a -> String

showList :: [Operand s a] -> ShowS

IsSize s => HasSize (Operand s a)

Methods

size :: Operand s a -> Size

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

Immediate values

imm :: Integral a => a -> Operand s R

Memory references

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

ipBase :: Operand s rw

Registers

64 bit registers

rax :: Operand S64 rw

rcx :: Operand S64 rw

rdx :: Operand S64 rw

rbx :: Operand S64 rw

rsp :: Operand S64 rw

rbp :: Operand S64 rw

rsi :: Operand S64 rw

rdi :: Operand S64 rw

r8 :: Operand S64 rw

r9 :: Operand S64 rw

r10 :: Operand S64 rw

r11 :: Operand S64 rw

r12 :: Operand S64 rw

r13 :: Operand S64 rw

r14 :: Operand S64 rw

r15 :: Operand S64 rw

32 bit registers

eax :: Operand S32 rw

ecx :: Operand S32 rw

edx :: Operand S32 rw

ebx :: Operand S32 rw

esp :: Operand S32 rw

ebp :: Operand S32 rw

esi :: Operand S32 rw

edi :: Operand S32 rw

r8d :: Operand S32 rw

r9d :: Operand S32 rw

r10d :: Operand S32 rw

r11d :: Operand S32 rw

r12d :: Operand S32 rw

r13d :: Operand S32 rw

r14d :: Operand S32 rw

r15d :: Operand S32 rw

16 bit registers

ax :: Operand S16 rw

cx :: Operand S16 rw

dx :: Operand S16 rw

bx :: Operand S16 rw

sp :: Operand S16 rw

bp :: Operand S16 rw

si :: Operand S16 rw

di :: Operand S16 rw

r8w :: Operand S16 rw

r9w :: Operand S16 rw

r10w :: Operand S16 rw

r11w :: Operand S16 rw

r12w :: Operand S16 rw

r13w :: Operand S16 rw

r14w :: Operand S16 rw

r15w :: Operand S16 rw

8 bit low registers

al :: Operand S8 rw

cl :: Operand S8 rw

dl :: Operand S8 rw

bl :: Operand S8 rw

spl :: Operand S8 rw

bpl :: Operand S8 rw

sil :: Operand S8 rw

dil :: Operand S8 rw

r8b :: Operand S8 rw

r9b :: Operand S8 rw

r10b :: Operand S8 rw

r11b :: Operand S8 rw

r12b :: Operand S8 rw

r13b :: Operand S8 rw

r14b :: Operand S8 rw

r15b :: Operand S8 rw

8 bit high registers

ah :: Operand S8 rw

ch :: Operand S8 rw

dh :: Operand S8 rw

bh :: Operand S8 rw

Conditions

data Condition

Instances

Show Condition

Methods

showsPrec :: Int -> Condition -> ShowS

show :: Condition -> String

showList :: [Condition] -> ShowS

pattern O :: Condition

pattern NO :: Condition

pattern C :: Condition

pattern NC :: Condition

pattern Z :: Condition

pattern NZ :: Condition

pattern BE :: Condition

pattern NBE :: Condition

pattern S :: Condition

pattern NS :: Condition

pattern P :: Condition

pattern NP :: Condition

pattern L :: Condition

pattern NL :: Condition

pattern LE :: Condition

pattern NLE :: Condition

Assembly codes

data Code where

Constructors

Ret, Nop, PushF, PopF, Cmc, Clc, Stc, Cli, Sti, Cld, Std :: Code

Inc, Dec, Not, Neg :: IsSize s => Operand s RW -> Code

Add, Or, Adc, Sbb, And, Sub, Xor, Cmp, Test, Mov :: IsSize s => Operand s RW -> Operand s r -> Code

Rol, Ror, Rcl, Rcr, Shl, Shr, Sar :: IsSize s => Operand s RW -> Operand S8 r -> Code

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

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

Pop :: Operand S64 RW -> Code

Push :: Operand S64 r -> Code

Call :: Operand S64 RW -> Code

J :: Condition -> Code

Jmp :: Code

Label :: Code

Scope :: Code -> Code

Up :: Code -> Code

Data :: Bytes -> Code

Align :: Size -> Code

EmptyCode :: Code

AppendCode :: Code -> Code -> Code

Instances

Monoid Code

Methods

mempty :: Code

mappend :: Code -> Code -> Code

mconcat :: [Code] -> 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

j :: Condition -> Code -> Code

j_back :: Code -> Condition -> Code

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

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

Compilation

class Callable a

Minimal complete definition

unsafeCallForeignPtr

Instances

Callable Bool

Methods

unsafeCallForeignPtr :: ForeignPtr Bool -> Bool

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 -> Word64)

Methods

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

compile :: Callable a => Code -> a

Calling C and Haskell from Assembly

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

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 s RW -> Code

memalign :: CUInt -> CUInt -> IO (Ptr a)

printf :: FunPtr a