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 : Obj.t 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 : Obj.t -> 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