diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-16 19:43:35 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-16 19:43:35 +0200 |
| commit | 98cddc7ba45b34fbd71d9a80c27a8e5ec6b311b0 (patch) | |
| tree | 5a39f62c4e1526dd9e047f74efca164c59504f95 /debug/Debug.mli | |
| parent | 3344bcf59acb1ae8d43a0d15acb4b824689e706d (diff) | |
| download | compcert-kvx-98cddc7ba45b34fbd71d9a80c27a8e5ec6b311b0.tar.gz compcert-kvx-98cddc7ba45b34fbd71d9a80c27a8e5ec6b311b0.zip | |
Move more functionality in the new interface.
Added functions to add more information to the debuging interface,
like the struct layout with offsets, bitifiled layout and removed
the no longer needed mapping from stamp to atom.
Diffstat (limited to 'debug/Debug.mli')
| -rw-r--r-- | debug/Debug.mli | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/debug/Debug.mli b/debug/Debug.mli index ea72aeb4..ae32af5b 100644 --- a/debug/Debug.mli +++ b/debug/Debug.mli @@ -18,6 +18,8 @@ val init: unit -> unit val init_compile_unit: string -> unit val atom_function: ident -> atom -> unit val atom_global_variable: ident -> atom -> unit -val set_composite_size: ident -> struct_or_union -> int -> unit -val set_member_offset: ident -> string -> int -> int -> unit -val insert_declaration: globdecl -> Env.t -> unit +val set_composite_size: ident -> struct_or_union -> int option -> unit +val set_member_offset: ident -> string -> int -> unit +val set_bitfield_offset: ident -> string -> int -> string -> int -> unit +val insert_global_declaration: Env.t -> globdecl -> unit +val add_fun_addr: atom -> (int * int) -> unit |