diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-25 16:43:18 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-25 16:43:18 +0200 |
| commit | aff813685455559f6d6a88158dd3d605893ba3a3 (patch) | |
| tree | 41905241a6f4d2969ad77e3952f4427d3cb4613d /debug/Debug.mli | |
| parent | fc8afb9287ab7b1607e5a7d2a03b0078fd9867d0 (diff) | |
| download | compcert-kvx-aff813685455559f6d6a88158dd3d605893ba3a3.tar.gz compcert-kvx-aff813685455559f6d6a88158dd3d605893ba3a3.zip | |
Added support for the locations of stack allocated local variables.
This commit adds furher support for location information for local
variables and starts with the implementation of the debug_loc section.
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 42a0cee7..2954c300 100644 --- a/debug/Debug.mli +++ b/debug/Debug.mli @@ -26,7 +26,6 @@ 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 -val generate_debug_info: unit -> dw_entry option val all_files_iter: (string -> unit) -> unit val insert_local_declaration: storage -> ident -> typ -> location -> unit val atom_local_variable: ident -> atom -> unit @@ -35,6 +34,9 @@ val enter_function_scope: int -> int -> unit val add_lvar_scope: int -> ident -> int -> unit val open_scope: atom -> int -> positive -> unit val close_scope: atom -> int -> positive -> unit -val start_live_range: atom -> positive -> string builtin_arg -> unit +val start_live_range: atom -> positive -> (int * int builtin_arg) -> unit val end_live_range: atom -> positive -> unit -val stack_variable: atom -> string builtin_arg -> unit +val stack_variable: atom -> int * int builtin_arg -> unit +val function_end: atom -> positive -> unit +val add_label: atom -> positive -> int -> unit +val generate_debug_info: unit -> (dw_entry * dw_locations) option |