Safe Haskell	None
Language	Haskell2010

Curly.System.X86.Common

Contents

Orphan instances

Documentation

notImplemented :: a Source #

data X86 Source #

Constructors

X86
X86_64

if32 :: (?x86 :: X86) => a -> a -> a Source #

encodeWord :: (?x86 :: X86) => Word32 -> BinaryCode Source #

x86_wordSize :: (?x86 :: X86, Num n) => n Source #

archOffset :: (?x86 :: X86, Num n, Semiring n) => Offset -> n Source #

data ModRM Source #

Constructors

NoDisp R RM0
Disp8 R RM Word8
Disp32 R RM Word32
Value R R
NoModRM

Instances

Show ModRM Source #
Methods showsPrec :: Int -> ModRM -> ShowS # show :: ModRM -> String # showList :: [ModRM] -> ShowS #
BCSerializable ModRM Source #
Methods bcEncode :: ModRM -> BinaryCode Source #

data R Source #

Constructors

R_eax
R_ecx
R_edx
R_ebx
R_esp_ah
R_ebp_ch
R_esi_dh
R_edi_bh
R_r8
R_r9
R_r10
R_r11
R_r12
R_r13
R_r14
R_r15

Instances

Enum R Source #
Methods succ :: R -> R # pred :: R -> R # toEnum :: Int -> R # fromEnum :: R -> Int # enumFrom :: R -> [R] # enumFromThen :: R -> R -> [R] # enumFromTo :: R -> R -> [R] # enumFromThenTo :: R -> R -> R -> [R] #
Show R Source #
Methods showsPrec :: Int -> R -> ShowS # show :: R -> String # showList :: [R] -> ShowS #
IsValue R Source #
Methods toValue :: R -> Value Source #
IsLocus R Source #
Methods toLocus :: R -> Locus Source #

data RM Source #

Constructors

RM_eax
RM_ecx
RM_edx
RM_ebx
RM_sib SIB
RM_ebp
RM_esi
RM_edi
RM_r8
RM_r9
RM_r10
RM_r11
RM_r12
RM_r13
RM_r14
RM_r15

Instances

Show RM Source #
Methods showsPrec :: Int -> RM -> ShowS # show :: RM -> String # showList :: [RM] -> ShowS #

rm_ind :: Num t => RM -> t Source #

data RM0 Source #

Constructors

RM0_eax
RM0_ecx
RM0_edx
RM0_ebx
RM0_sib SIB
RM0_disp32 Word32
RM0_esi
RM0_edi
RM0_r8
RM0_r9
RM0_r10
RM0_r11
RM0_r12
RM0_r13
RM0_r14
RM0_r15

Instances

Show RM0 Source #
Methods showsPrec :: Int -> RM0 -> ShowS # show :: RM0 -> String # showList :: [RM0] -> ShowS #

rm0_ind :: Num t => RM0 -> t Source #

data SIB Source #

Constructors

SIB Scale Index Base

Instances

Show SIB Source #
Methods showsPrec :: Int -> SIB -> ShowS # show :: SIB -> String # showList :: [SIB] -> ShowS #
BCSerializable SIB Source #
Methods bcEncode :: SIB -> BinaryCode Source #

data Scale Source #

Constructors

SC_1
SC_2
SC_4
SC_8

Instances

Enum Scale Source #
Methods succ :: Scale -> Scale # pred :: Scale -> Scale # toEnum :: Int -> Scale # fromEnum :: Scale -> Int # enumFrom :: Scale -> [Scale] # enumFromThen :: Scale -> Scale -> [Scale] # enumFromTo :: Scale -> Scale -> [Scale] # enumFromThenTo :: Scale -> Scale -> Scale -> [Scale] #
Show Scale Source #
Methods showsPrec :: Int -> Scale -> ShowS # show :: Scale -> String # showList :: [Scale] -> ShowS #

data Index Source #

Constructors

I_eax
I_ecx
I_edx
I_ebx
I_none
I_ebp
I_esi
I_edi
I_r8
I_r9
I_r10
I_r11
I_r12
I_r13
I_r14
I_r15

Instances

Enum Index Source #
Methods succ :: Index -> Index # pred :: Index -> Index # toEnum :: Int -> Index # fromEnum :: Index -> Int # enumFrom :: Index -> [Index] # enumFromThen :: Index -> Index -> [Index] # enumFromTo :: Index -> Index -> [Index] # enumFromThenTo :: Index -> Index -> Index -> [Index] #
Show Index Source #
Methods showsPrec :: Int -> Index -> ShowS # show :: Index -> String # showList :: [Index] -> ShowS #

data Base Source #

Constructors

B_eax
B_ecx
B_edx
B_ebx
B_esp
B_none
B_esi
B_edi
B_r8
B_r9
B_r10
B_r11
B_r12
B_r13
B_r14
B_r15

Instances

Enum Base Source #
Methods succ :: Base -> Base # pred :: Base -> Base # toEnum :: Int -> Base # fromEnum :: Base -> Int # enumFrom :: Base -> [Base] # enumFromThen :: Base -> Base -> [Base] # enumFromTo :: Base -> Base -> [Base] # enumFromThenTo :: Base -> Base -> Base -> [Base] #
Show Base Source #
Methods showsPrec :: Int -> Base -> ShowS # show :: Base -> String # showList :: [Base] -> ShowS #

data OpCode Source #

Constructors

OpCode [Word8] (Maybe (Word8, R))

Instances

Show OpCode Source #
Methods showsPrec :: Int -> OpCode -> ShowS # show :: OpCode -> String # showList :: [OpCode] -> ShowS #
BCSerializable OpCode Source #
Methods bcEncode :: OpCode -> BinaryCode Source #

data Prefix Source #

Constructors

BranchTaken
BranchNotTaken
REX Bool Bool Bool Bool

Instances

Eq Prefix Source #
Methods (==) :: Prefix -> Prefix -> Bool # (/=) :: Prefix -> Prefix -> Bool #
Ord Prefix Source #
Methods compare :: Prefix -> Prefix -> Ordering # (<) :: Prefix -> Prefix -> Bool # (<=) :: Prefix -> Prefix -> Bool # (>) :: Prefix -> Prefix -> Bool # (>=) :: Prefix -> Prefix -> Bool # max :: Prefix -> Prefix -> Prefix # min :: Prefix -> Prefix -> Prefix #
Show Prefix Source #
Methods showsPrec :: Int -> Prefix -> ShowS # show :: Prefix -> String # showList :: [Prefix] -> ShowS #
BCSerializable Prefix Source #
Methods bcEncode :: Prefix -> BinaryCode Source #

t'REX :: Traversal' Prefix (Bool, Bool, Bool, Bool) Source #

data Instruction Source #

Constructors

Instruction (Set Prefix) OpCode Immediate ModRM

Instances

Show Instruction Source #
Methods showsPrec :: Int -> Instruction -> ShowS # show :: Instruction -> String # showList :: [Instruction] -> ShowS #
BCSerializable Instruction Source #
Methods bcEncode :: Instruction -> BinaryCode Source #

data Immediate Source #

Constructors

Imm0
Imm8 Word8
Imm32 Word32
Imm64 Word64

Instances

Show Immediate Source #
Methods showsPrec :: Int -> Immediate -> ShowS # show :: Immediate -> String # showList :: [Immediate] -> ShowS #
BCSerializable Immediate Source #
Methods bcEncode :: Immediate -> BinaryCode Source #

en :: Enum n => n -> Word8 Source #

fi :: (Num n, Integral m) => m -> n Source #

bcWord8 :: Word8 -> BinaryCode Source #

toRM :: (?x86 :: X86) -> RegID -> OffsetStride -> RM Source #

toR :: Enum a => RegID -> a Source #

tellBC :: (BCSerializable t, Foldable t1, MonadWriter BinaryCode m) => t1 t -> m () Source #

x86_prefix :: (?x86 :: X86) => Set Prefix Source #

immN :: (?x86 :: X86) -> Integer -> Immediate Source #

rsrc :: (?x86 :: X86) -> RegID Source #

rdst :: (?x86 :: X86) -> RegID Source #

x86_cp :: (?x86 :: X86, MonadWriter BinaryCode m) => Locus -> Value -> m () Source #

x86_unary :: (MonadWriter BinaryCode m, ?x86 :: X86) => (Word8, Int) -> Word8 -> Word8 -> Locus -> Value -> m () Source #

x86_add :: (?x86 :: X86, MonadWriter BinaryCode m) => Locus -> Value -> m () Source #

x86_sub :: (?x86 :: X86, MonadWriter BinaryCode m) => Locus -> Value -> m () Source #

x86_push :: (?x86 :: X86, MonadWriter BinaryCode m) => Value -> m () Source #

x86_pop :: (Semiring a, Integral a, MonadWriter BinaryCode m, ?x86 :: X86) => Either a Locus -> m () Source #

x86_call :: (MonadCounter BinaryCode BinAddress m, ?x86 :: X86, MonadFix m) => Value -> m () Source #

x86_ret :: MonadWriter BinaryCode m => m () Source #

reg :: Enum a => a -> RegID Source #

x86_cmp :: (?x86 :: X86, MonadWriter BinaryCode m) => Locus -> Value -> m () Source #

x86_jcmp :: (MonadFix m, ?x86 :: X86, MonadCounter BinaryCode BinAddress m) => Maybe Bool -> (Bool, Ordering) -> Value -> Value -> BinAddress -> m () Source #

x86_jmp :: (MonadCounter BinaryCode BinAddress f, MonadFix f, ?x86 :: X86) => Value -> f () Source #

x86_load :: (?x86 :: X86, MonadWriter BinaryCode m) => Locus -> BinAddress -> m () Source #

x86_store :: (?x86 :: X86, MonadWriter BinaryCode m) => BinAddress -> Value -> m () Source #

x86_ccall :: (?x86 :: X86, MonadASM m s) => Maybe Locus -> BinAddress -> [m Value] -> m () Source #

x86_machine_common :: (?x86 :: X86) -> VonNeumannMachine Source #

x86_sys Source #

Arguments

:: (?x86 :: X86)
=> String	The system's name
-> Standalone	A wrapper for standalone programs
-> ((?sysHooks :: SystemHooks) => VonNeumannMachine)	A machine description
-> ((?sysHooks :: SystemHooks) => BUILTIN_INSTR)	Additional per-system builtins
-> SystemHooks	Standalone hooks
-> System

Orphan instances

BCSerializable Word8 Source #
Methods bcEncode :: Word8 -> BinaryCode Source #
BCSerializable Word32 Source #
Methods bcEncode :: Word32 -> BinaryCode Source #
BCSerializable Word64 Source #
Methods bcEncode :: Word64 -> BinaryCode Source #
BCSerializable (LittleEndian Word32) Source #
Methods bcEncode :: LittleEndian Word32 -> BinaryCode Source #
BCSerializable (LittleEndian Word64) Source #
Methods bcEncode :: LittleEndian Word64 -> BinaryCode Source #