Index of values
A
arith_op_to_int
[
X86Util
]
arith_op_to_string
[
X86Util
]
B
bVand
[
CoqBvector
]
bVor
[
CoqBvector
]
bits
[
AsmUtil
]
Build a bit source from an array of 32-bit integers, represented with extra bits.
bneg
[
CoqBvector
]
bvec_eq_dec
[
CoqBvector
]
bvec_to_nat
[
CoqBvector
]
C
cc_to_int
[
X86Util
]
cc_to_string
[
X86Util
]
condition_to_int
[
X86Util
]
condition_to_string
[
X86Util
]
control_reg_to_int
[
X86Util
]
control_reg_to_string
[
X86Util
]
D
debug_reg_to_int
[
X86Util
]
debug_reg_to_string
[
X86Util
]
dec
[
CoqBvector
]
div
[
CoqZ
]
E
eq_nat_dec
[
CoqNat
]
extraction
[
Accel_extract_env
]
extraction_file
[
Accel_extract_env
]
extraction_library
[
Accel_extract_env
]
extraction_module
[
Accel_extract_env
]
extraction_rec
[
Accel_extract_env
]
F
file_base_offset
[
X86Parse
]
The address of the first byte in the file being read.
float_reg_to_int
[
X86Util
]
float_reg_to_string
[
X86Util
]
G
get_byte
[
AsmUtil
]
What byte number in the source we have already read upto
get_db_name
[
Accel_ocaml
]
I
inc
[
CoqBvector
]
int_to_arith_op
[
X86Util
]
int_to_cc
[
X86Util
]
int_to_condition
[
X86Util
]
int_to_control_reg
[
X86Util
]
int_to_debug_reg
[
X86Util
]
int_to_float_reg
[
X86Util
]
int_to_mmx_reg
[
X86Util
]
int_to_reg16
[
X86Util
]
int_to_reg32
[
X86Util
]
int_to_reg8
[
X86Util
]
int_to_scale
[
X86Util
]
int_to_segment_reg
[
X86Util
]
int_to_shift_op
[
X86Util
]
int_to_sse
[
X86Util
]
int_to_test_reg
[
X86Util
]
is_special_type
[
Accel_ocaml_custom
]
K
keywords
[
Accel_ocaml
]
L
lowercase_id
[
Accel_ocaml
]
M
main
[
Disas
]
minus
[
CoqBvector
]
minus
[
CoqZ
]
minus
[
CoqNat
]
mmx_reg_to_int
[
X86Util
]
mmx_reg_to_string
[
X86Util
]
more
[
AsmUtil
]
Are there any bits left to read from this source?
N
nCcs
[
X86Types
]
nRegs32
[
X86Types
]
nat_to_bvec
[
CoqBvector
]
neg
[
CoqZ
]
O
of_int
[
CoqNat
]
of_string
[
CoqNat
]
P
plus
[
CoqBvector
]
plus
[
CoqZ
]
plus
[
CoqNat
]
pp_abst
[
Accel_ocaml
]
pp_addr
[
X86Print
]
pp_address
[
X86Print
]
pp_apply
[
Accel_ocaml
]
pp_arith_op
[
X86Print
]
pp_cc
[
X86Print
]
pp_control_reg
[
X86Print
]
pp_debug_reg
[
X86Print
]
pp_flag
[
X86Print
]
pp_float_reg
[
X86Print
]
pp_genop
[
X86Print
]
pp_genop32
[
X86Print
]
pp_genop8
[
X86Print
]
pp_instr
[
X86Print
]
pp_int32
[
X86Print
]
pp_int64
[
X86Print
]
pp_mmx_reg
[
X86Print
]
pp_par
[
Accel_ocaml
]
pp_reg16
[
X86Print
]
pp_reg32
[
X86Print
]
pp_reg8
[
X86Print
]
pp_scale
[
X86Print
]
pp_segment_reg
[
X86Print
]
pp_sse
[
X86Print
]
pp_test_reg
[
X86Print
]
pr_binding
[
Accel_ocaml
]
pr_upper_id
[
Accel_ocaml
]
preamble
[
Accel_ocaml
]
preamble_sig
[
Accel_ocaml
]
pred
[
CoqNat
]
print_one_decl
[
Accel_common
]
print_structure_to_file
[
Accel_common
]
push_vars
[
Accel_ocaml
]
R
read_from_channel
[
AsmUtil
]
read_from_file
[
AsmUtil
]
Create a bit source from a channel or a filename.
read_instr
[
X86Parse
]
Read an instruction.
read_int
[
AsmUtil
]
Read the specified number of bits from a bit source, returning the unsigned or signed integer we've read and the modified bit source.
read_int32
[
AsmUtil
]
We take the easy way out and use
int64
here so that we can use the same type for both signed and unsigned values.
read_rm
[
X86Util
]
Read a register-or-memory operand, given a way to convert integers to registers.
read_rm32
[
X86Util
]
read_rm32_with_spare
[
X86Util
]
read_rm8
[
X86Util
]
Specialized versions for particular register sets
read_rm8_with_spare
[
X86Util
]
read_rm_with_spare
[
X86Util
]
Like
read_rm
, but also tells you the contents of the "spare" bits of the r/m byte.
read_string
[
AsmUtil
]
Read a zero-terminated string.
read_uint
[
AsmUtil
]
read_uint32
[
AsmUtil
]
read_uint32_extend
[
AsmUtil
]
reg16_to_int
[
X86Util
]
reg16_to_string
[
X86Util
]
reg32_to_int
[
X86Util
]
reg32_to_string
[
X86Util
]
reg8_to_int
[
X86Util
]
reg8_to_string
[
X86Util
]
rename_id
[
Accel_ocaml
]
rename_tvars
[
Accel_ocaml
]
rename_vars
[
Accel_ocaml
]
S
scale_to_int
[
X86Util
]
scale_to_size
[
X86Util
]
scale_to_string
[
X86Util
]
segment_reg_to_int
[
X86Util
]
segment_reg_to_string
[
X86Util
]
shift_op_to_int
[
X86Util
]
shift_op_to_string
[
X86Util
]
skip
[
AsmUtil
]
Skip ahead a number of bits
special_type
[
Accel_ocaml_custom
]
sse_to_int
[
X86Util
]
sse_to_string
[
X86Util
]
succ
[
CoqNat
]
T
test_reg_to_int
[
X86Util
]
test_reg_to_string
[
X86Util
]
times
[
CoqBvector
]
times
[
CoqZ
]
times
[
CoqNat
]
two
[
CoqNat
]
U
uppercase_id
[
Accel_ocaml
]
X
xI
[
CoqBvector
]
xI
[
CoqZ
]
xO
[
CoqBvector
]
xO
[
CoqZ
]