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] |
|