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/DebugInformation.ml | |
parent | dccd211b1be1fd80f3804b0586286566c874d523 (diff) | |
download | compcert-fc8afb9287ab7b1607e5a7d2a03b0078fd9867d0.tar.gz compcert-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/DebugInformation.ml')
-rw-r--r-- | debug/DebugInformation.ml | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/debug/DebugInformation.ml b/debug/DebugInformation.ml index 80d71dfd..f12853c9 100644 --- a/debug/DebugInformation.ml +++ b/debug/DebugInformation.ml @@ -478,7 +478,6 @@ let insert_global_declaration env dec= in match dec.gdesc with | Gdecl (sto,id,ty,init) -> - Printf.printf "Entering information for %s\n" id.name; if not (is_function_type env ty) then begin if not (Hashtbl.mem stamp_to_definition id.stamp) then begin let at_decl,ext = (match sto with @@ -660,6 +659,21 @@ let enter_scope f_id p_id id = replace_scope p_id' ({scope_variables = id'::scope.scope_variables;}) with Not_found -> () +let open_scope atom s_id lbl = + () + +let close_scope atom s_id lbl = + () + +let start_live_range atom lbl loc = + () + +let end_live_range atom lbl = + () + +let stack_variable atom loc = + () + let init name = id := 0; file_name := name; @@ -672,4 +686,3 @@ let init name = Hashtbl.reset stamp_to_local; Hashtbl.reset atom_to_local; Hashtbl.reset scope_to_local; - |