aboutsummaryrefslogtreecommitdiffstats
path: root/debug/Debug.ml
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2022-07-28 18:10:30 +0200
committerXavier Leroy <xavier.leroy@college-de-france.fr>2022-09-03 09:59:01 +0200
commit9fcb0316df79ee741272340d7db0378872a53c5f (patch)
tree354edb0fb4dbc63a09dba4ede3244b7d95fdf692 /debug/Debug.ml
parent7c0df3799418b6044e448d6266a082b2fbd8ae1f (diff)
downloadcompcert-9fcb0316df79ee741272340d7db0378872a53c5f.tar.gz
compcert-9fcb0316df79ee741272340d7db0378872a53c5f.zip
Rework of struct member offsets for debug info.
The struct member byte and bit offsets are now set based upon the new function `struct_layout` from Ctypes.v, thus using the same code to compute as used to generate the actual struct access. The struct offset member information is addded using the types computed after the translation in C2C. Therefore we need to store the new internal names of the members as well as the composites and use them when adding the offset information. Fixes: #445
Diffstat (limited to 'debug/Debug.ml')
-rw-r--r--debug/Debug.ml22
1 files changed, 13 insertions, 9 deletions
diff --git a/debug/Debug.ml b/debug/Debug.ml
index 812f57cc..a1a68b74 100644
--- a/debug/Debug.ml
+++ b/debug/Debug.ml
@@ -23,9 +23,10 @@ type implem =
{
init: string -> unit;
atom_global: ident -> atom -> unit;
- set_composite_size: ident -> struct_or_union -> int option -> unit;
- set_member_offset: ident -> string -> int -> unit;
- set_bitfield_offset: ident -> string -> int -> string -> int -> unit;
+ set_composite_size: ident -> atom -> struct_or_union -> int option -> unit;
+ set_member_atom: str_id:atom -> string -> fld_id:atom -> unit;
+ set_member_offset: str_id:atom -> fld_id:atom -> int -> unit;
+ set_bitfield_offset: str_id:atom -> fld_id:atom -> bit_ofs:int -> byte_ofs:int -> size:int -> unit;
insert_global_declaration: Env.t -> globdecl -> unit;
add_fun_addr: atom -> section_name -> (int * int) -> unit;
generate_debug_info: (atom -> string) -> string -> debug_entries option;
@@ -55,9 +56,10 @@ let default_implem =
{
init = (fun _ -> ());
atom_global = (fun _ _ -> ());
- set_composite_size = (fun _ _ _ -> ());
- set_member_offset = (fun _ _ _ -> ());
- set_bitfield_offset = (fun _ _ _ _ _ -> ());
+ set_composite_size = (fun _ _ _ _ -> ());
+ set_member_atom = (fun ~str_id _ ~fld_id -> ());
+ set_member_offset = (fun ~str_id ~fld_id _ -> ());
+ set_bitfield_offset = (fun ~str_id ~fld_id ~bit_ofs ~byte_ofs ~size-> ());
insert_global_declaration = (fun _ _ -> ());
add_fun_addr = (fun _ _ _ -> ());
generate_debug_info = (fun _ _ -> None);
@@ -87,9 +89,11 @@ let implem = ref default_implem
let init_compile_unit name = !implem.init name
let atom_global id atom = !implem.atom_global id atom
-let set_composite_size id sou size = !implem.set_composite_size id sou size
-let set_member_offset id field off = !implem.set_member_offset id field off
-let set_bitfield_offset id field off underlying size = !implem.set_bitfield_offset id field off underlying size
+let set_composite_size id atom sou size = !implem.set_composite_size id atom sou size
+let set_member_atom ~str_id field ~fld_id = !implem.set_member_atom ~str_id:str_id field ~fld_id:fld_id
+let set_member_offset ~str_id ~fld_id off = !implem.set_member_offset ~str_id:str_id ~fld_id:fld_id off
+let set_bitfield_offset ~str_id ~fld_id ~bit_ofs ~byte_ofs ~size =
+ !implem.set_bitfield_offset ~str_id:str_id ~fld_id:fld_id ~bit_ofs:bit_ofs ~byte_ofs:byte_ofs ~size:size
let insert_global_declaration env dec = !implem.insert_global_declaration env dec
let add_fun_addr atom addr = !implem.add_fun_addr atom addr
let generate_debug_info fun_s var_s = !implem.generate_debug_info fun_s var_s