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 /backend/PrintAsm.ml | |
| 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 'backend/PrintAsm.ml')
| -rw-r--r-- | backend/PrintAsm.ml | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index 29409b32..ea3d985a 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -27,11 +27,10 @@ module Printer(Target:TARGET) = let addr_mapping: (string, (int * int)) Hashtbl.t = Hashtbl.create 7 let get_fun_addr name = - let name = extern_atom name in - let start_addr = new_label () - and end_addr = new_label () in - Hashtbl.add addr_mapping name (start_addr,end_addr); - start_addr,end_addr + let s = new_label () + and e = new_label () in + Debug.add_fun_addr name (s,e); + s,e let print_debug_label oc l = if !Clflags.option_g && Configuration.advanced_debug then @@ -120,8 +119,7 @@ module Printer(Target:TARGET) = let get_stmt_list_addr = Target.get_stmt_list_addr let name_of_section = Target.name_of_section let get_fun_addr s = try Some (Hashtbl.find addr_mapping s) with Not_found -> None - let get_location a = try (Target.get_location (stamp_atom a)) with Not_found -> None - let get_segment_location a = try (Target.get_segment_location (stamp_atom a)) with Not_found -> None + let get_location a = None let get_frame_base a = None let symbol = Target.symbol end |