diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-24 20:11:48 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-24 20:11:48 +0200 |
| commit | fc8afb9287ab7b1607e5a7d2a03b0078fd9867d0 (patch) | |
| tree | 446c0bcebad15584f77cf139f81e816403c3bf88 /debug/Debug.mli | |
| parent | dccd211b1be1fd80f3804b0586286566c874d523 (diff) | |
| download | compcert-kvx-fc8afb9287ab7b1607e5a7d2a03b0078fd9867d0.tar.gz compcert-kvx-fc8afb9287ab7b1607e5a7d2a03b0078fd9867d0.zip | |
Added placing labels for live ranges etc.
In order to avoid the usage of too many labels we replace the
debug statements during the Asmexpand phase.
Diffstat (limited to 'debug/Debug.mli')
| -rw-r--r-- | debug/Debug.mli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/debug/Debug.mli b/debug/Debug.mli index 1fabb943..42a0cee7 100644 --- a/debug/Debug.mli +++ b/debug/Debug.mli @@ -10,9 +10,11 @@ (* *) (* *********************************************************************) +open AST open C open Camlcoq open DwarfTypes +open BinNums val init: unit -> unit @@ -31,3 +33,8 @@ val atom_local_variable: ident -> atom -> unit val enter_scope: int -> int -> int -> unit 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 end_live_range: atom -> positive -> unit +val stack_variable: atom -> string builtin_arg -> unit |