Module Jasmin.Asm_utilsSource

Sourceval global_datas_label : string
Sourceval pp_syscall : 'a Syscall_t.syscall_t -> string
Sourceval string_of_label : string -> Label.label -> string
Sourceval pp_remote_label : Label.remote_label -> string
Sourceval mangle : string -> string
Sourceval format_glob_data : Word0.word list -> ((Var0.Var.var * Wsize.wsize) * BinNums.coq_Z) list -> PrintASM.asm_element list
Sourceval hash_to_string : ('a -> string) -> 'a -> string
Sourceval pp_imm : string -> Z.t -> string
Sourceval pp_rip_address : Word0.word -> string
Sourceval pp_register : ('reg, _, _, _, _) Arch_decl.arch_decl -> 'reg -> string
Sourcetype parsed_reg_address = {
  1. base : string;
  2. displacement : string option;
  3. offset : string option;
  4. scale : string option;
}
Sourceval parse_reg_address : ('reg, _, _, _, _) Arch_decl.arch_decl -> ('reg, _, _, _, _) Arch_decl.reg_address -> parsed_reg_address
Sourceval declassify_mem : ('a, 'b, 'c, 'd, 'e) Arch_decl.arch_decl -> BinNums.coq_Z -> ('a, 'f, 'g, 'h, 'i) Arch_decl.address -> PrintASM.asm
Sourceval declassify_val : (Type.ltype -> 'a -> string) -> Type.ltype -> 'a -> PrintASM.asm