Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.X86.Instruction

Synopsis

data Instruction = Instruction {
- inAddress :: Word64
- inPrefix :: [Prefix]
- inOperation :: Opcode
- inDest :: Maybe Operand
- inOperands :: [Operand]
- inSize :: Int
}
data Prefix
- = PrefixO16
- | PrefixA32
- | PrefixRepNE
- | PrefixRep
- | PrefixLock
- | PrefixSeg SReg
- | PrefixRex Word8
data Operand
- = Op_Mem {
  - mSize :: BitSize
  - mASize :: BitSize
  - mReg :: Register
  - mIdx :: Register
  - mScale :: Word8
  - mDisp :: Int
  - mSeg :: Maybe SReg
  }
- | Op_Reg Register
- | Op_Imm Immediate
- | Op_Jmp Immediate
- | Op_Const Int
- | Op_Near Operand
- | Op_Far Operand
data Immediate = Immediate {
- iSize :: BitSize
- iValue :: Word64
}
operand_size :: Operand -> ByteSize
mk_RSP_mem_operand :: ByteSize -> Operand
srcs :: Instruction -> [Operand]
canonicalize :: Instruction -> [Instruction]
canonicalize_sextend1 :: Instruction -> [Instruction]
canonicalize_sextend2 :: Instruction -> [Instruction]
canonicalize_mul :: Instruction -> [Instruction]
canonicalize_div :: Instruction -> [Instruction]
mnemonic_reads_from_all_operands :: Opcode -> Bool
mnemonic_reads_from_all_but_first_operands :: Opcode -> Bool
remove_destination :: Opcode -> Bool
do_not_modify :: Opcode -> Bool
lowpart :: Opcode -> Opcode
hipart :: Opcode -> Opcode

Documentation

data Instruction Source #

Constructors

Instruction
Fields inAddress :: Word64 inPrefix :: [Prefix] inOperation :: Opcode inDest :: Maybe Operand inOperands :: [Operand] inSize :: Int

Instances

Instances details

Generic Instruction Source #
Instance details Defined in Data.X86.Instruction Associated Types type Rep Instruction :: Type -> Type # Methods from :: Instruction -> Rep Instruction x # to :: Rep Instruction x -> Instruction #
Show Instruction Source #
Instance details Defined in Data.X86.Instruction Methods showsPrec :: Int -> Instruction -> ShowS # show :: Instruction -> String # showList :: [Instruction] -> ShowS #
Serialize Instruction Source #
Instance details Defined in Data.X86.Instruction Methods put :: Putter Instruction # get :: Get Instruction #
NFData Instruction Source #
Instance details Defined in Data.X86.Instruction Methods rnf :: Instruction -> () #
Eq Instruction Source #
Instance details Defined in Data.X86.Instruction Methods (==) :: Instruction -> Instruction -> Bool # (/=) :: Instruction -> Instruction -> Bool #
Ord Instruction Source #
Instance details Defined in Data.X86.Instruction Methods compare :: Instruction -> Instruction -> Ordering # (<) :: Instruction -> Instruction -> Bool # (<=) :: Instruction -> Instruction -> Bool # (>) :: Instruction -> Instruction -> Bool # (>=) :: Instruction -> Instruction -> Bool # max :: Instruction -> Instruction -> Instruction # min :: Instruction -> Instruction -> Instruction #
type Rep Instruction Source #
Instance details Defined in Data.X86.Instruction type Rep Instruction = D1 ('MetaData "Instruction" "Data.X86.Instruction" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "Instruction" 'PrefixI 'True) ((S1 ('MetaSel ('Just "inAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :: (S1 ('MetaSel ('Just "inPrefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Prefix]) :: S1 ('MetaSel ('Just "inOperation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Opcode))) :: (S1 ('MetaSel ('Just "inDest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Operand)) :: (S1 ('MetaSel ('Just "inOperands") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Operand]) :*: S1 ('MetaSel ('Just "inSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))))

data Prefix Source #

Constructors

PrefixO16
PrefixA32
PrefixRepNE
PrefixRep
PrefixLock
PrefixSeg SReg
PrefixRex Word8

Instances

Instances details

Generic Prefix Source #
Instance details Defined in Data.X86.Instruction Associated Types type Rep Prefix :: Type -> Type # Methods from :: Prefix -> Rep Prefix x # to :: Rep Prefix x -> Prefix #
Show Prefix Source #
Instance details Defined in Data.X86.Instruction Methods showsPrec :: Int -> Prefix -> ShowS # show :: Prefix -> String # showList :: [Prefix] -> ShowS #
Serialize Prefix Source #
Instance details Defined in Data.X86.Instruction Methods put :: Putter Prefix # get :: Get Prefix #
NFData Prefix Source #
Instance details Defined in Data.X86.Instruction Methods rnf :: Prefix -> () #
Eq Prefix Source #
Instance details Defined in Data.X86.Instruction Methods (==) :: Prefix -> Prefix -> Bool # (/=) :: Prefix -> Prefix -> Bool #
Ord Prefix Source #
Instance details Defined in Data.X86.Instruction 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 #
type Rep Prefix Source #
Instance details Defined in Data.X86.Instruction type Rep Prefix = D1 ('MetaData "Prefix" "Data.X86.Instruction" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) ((C1 ('MetaCons "PrefixO16" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PrefixA32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PrefixRepNE" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PrefixRep" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PrefixLock" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PrefixSeg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SReg)) :+: C1 ('MetaCons "PrefixRex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))))

data Operand Source #

Constructors

Op_Mem
Fields mSize :: BitSize mASize :: BitSize mReg :: Register mIdx :: Register mScale :: Word8 mDisp :: Int mSeg :: Maybe SReg
Op_Reg Register
Op_Imm Immediate
Op_Jmp Immediate
Op_Const Int
Op_Near Operand
Op_Far Operand

Instances

Instances details

Generic Operand Source #
Instance details Defined in Data.X86.Instruction Associated Types type Rep Operand :: Type -> Type # Methods from :: Operand -> Rep Operand x # to :: Rep Operand x -> Operand #
Show Operand Source #
Instance details Defined in Data.X86.Instruction Methods showsPrec :: Int -> Operand -> ShowS # show :: Operand -> String # showList :: [Operand] -> ShowS #
Serialize Operand Source #
Instance details Defined in Data.X86.Instruction Methods put :: Putter Operand # get :: Get Operand #
NFData Operand Source #
Instance details Defined in Data.X86.Instruction Methods rnf :: Operand -> () #
Eq Operand Source #
Instance details Defined in Data.X86.Instruction Methods (==) :: Operand -> Operand -> Bool # (/=) :: Operand -> Operand -> Bool #
Ord Operand Source #
Instance details Defined in Data.X86.Instruction Methods compare :: Operand -> Operand -> Ordering # (<) :: Operand -> Operand -> Bool # (<=) :: Operand -> Operand -> Bool # (>) :: Operand -> Operand -> Bool # (>=) :: Operand -> Operand -> Bool # max :: Operand -> Operand -> Operand # min :: Operand -> Operand -> Operand #
type Rep Operand Source #
Instance details Defined in Data.X86.Instruction type Rep Operand = D1 ('MetaData "Operand" "Data.X86.Instruction" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) ((C1 ('MetaCons "Op_Mem" 'PrefixI 'True) ((S1 ('MetaSel ('Just "mSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :: (S1 ('MetaSel ('Just "mASize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :: S1 ('MetaSel ('Just "mReg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Register))) :: ((S1 ('MetaSel ('Just "mIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Register) :: S1 ('MetaSel ('Just "mScale") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)) :: (S1 ('MetaSel ('Just "mDisp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "mSeg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SReg))))) :+: (C1 ('MetaCons "Op_Reg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Register)) :+: C1 ('MetaCons "Op_Imm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Immediate)))) :+: ((C1 ('MetaCons "Op_Jmp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Immediate)) :+: C1 ('MetaCons "Op_Const" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :+: (C1 ('MetaCons "Op_Near" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Operand)) :+: C1 ('MetaCons "Op_Far" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Operand)))))

data Immediate Source #

Constructors

Immediate
Fields iSize :: BitSize iValue :: Word64

Instances

Instances details

Generic Immediate Source #
Instance details Defined in Data.X86.Instruction Associated Types type Rep Immediate :: Type -> Type # Methods from :: Immediate -> Rep Immediate x # to :: Rep Immediate x -> Immediate #
Show Immediate Source #
Instance details Defined in Data.X86.Instruction Methods showsPrec :: Int -> Immediate -> ShowS # show :: Immediate -> String # showList :: [Immediate] -> ShowS #
Serialize Immediate Source #
Instance details Defined in Data.X86.Instruction Methods put :: Putter Immediate # get :: Get Immediate #
NFData Immediate Source #
Instance details Defined in Data.X86.Instruction Methods rnf :: Immediate -> () #
Eq Immediate Source #
Instance details Defined in Data.X86.Instruction Methods (==) :: Immediate -> Immediate -> Bool # (/=) :: Immediate -> Immediate -> Bool #
Ord Immediate Source #
Instance details Defined in Data.X86.Instruction Methods compare :: Immediate -> Immediate -> Ordering # (<) :: Immediate -> Immediate -> Bool # (<=) :: Immediate -> Immediate -> Bool # (>) :: Immediate -> Immediate -> Bool # (>=) :: Immediate -> Immediate -> Bool # max :: Immediate -> Immediate -> Immediate # min :: Immediate -> Immediate -> Immediate #
type Rep Immediate Source #
Instance details Defined in Data.X86.Instruction type Rep Immediate = D1 ('MetaData "Immediate" "Data.X86.Instruction" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "Immediate" 'PrefixI 'True) (S1 ('MetaSel ('Just "iSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSize) :*: S1 ('MetaSel ('Just "iValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

operand_size :: Operand -> ByteSize Source #

mk_RSP_mem_operand :: ByteSize -> Operand Source #

srcs :: Instruction -> [Operand] Source #

canonicalize :: Instruction -> [Instruction] Source #

Canonicalizes an instruction by making sure there is at most one output and inputs/outputs are syntactically clear. | For example, the IMUL instruction comes in different flavors that hide the actual inputs and outputs to multiple registers

canonicalize_sextend1 :: Instruction -> [Instruction] Source #

canonicalize_sextend2 :: Instruction -> [Instruction] Source #

canonicalize_mul :: Instruction -> [Instruction] Source #

canonicalize_div :: Instruction -> [Instruction] Source #

mnemonic_reads_from_all_operands :: Opcode -> Bool Source #

mnemonic_reads_from_all_but_first_operands :: Opcode -> Bool Source #

remove_destination :: Opcode -> Bool Source #

do_not_modify :: Opcode -> Bool Source #

lowpart :: Opcode -> Opcode Source #

hipart :: Opcode -> Opcode Source #