diff options
| author | KC Sivaramakrishnan <sk826@cl.cam.ac.uk> | 2016-12-09 15:41:22 +0000 |
|---|---|---|
| committer | Mark Shinwell <mshinwell@gmail.com> | 2016-12-09 15:41:22 +0000 |
| commit | abc5360dc15bfcafe3353ea352216bcdf7d8eea8 (patch) | |
| tree | fea7c38f6c87b123220483c5a2be6b0f32b30d31 /asmcomp/emitaux.mli | |
| parent | 6b4d85d453990a0d4ce3cbea905ec7b86d41c978 (diff) | |
| download | ocaml-abc5360dc15bfcafe3353ea352216bcdf7d8eea8.tar.gz | |
Remove duplicate live_offset entries from frametables (#453)
Diffstat (limited to 'asmcomp/emitaux.mli')
| -rw-r--r-- | asmcomp/emitaux.mli | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/asmcomp/emitaux.mli b/asmcomp/emitaux.mli index 1e4addd32d..b2b2141c5b 100644 --- a/asmcomp/emitaux.mli +++ b/asmcomp/emitaux.mli @@ -38,14 +38,13 @@ val emit_debug_info_gen : (file_num:int -> file_name:string -> unit) -> (file_num:int -> line:int -> col:int -> unit) -> unit -type frame_descr = - { fd_lbl: int; (* Return address *) - fd_frame_size: int; (* Size of stack frame *) - fd_live_offset: int list; (* Offsets/regs of live addresses *) - fd_raise: bool; (* Is frame for a raise? *) - fd_debuginfo: Debuginfo.t } (* Location, if any *) - -val frame_descriptors : frame_descr list ref +val record_frame_descr : + label:int -> (* Return address *) + frame_size:int -> (* Size of stack frame *) + live_offset:int list -> (* Offsets/regs of live addresses *) + raise_frame:bool -> (* Is frame for a raise? *) + Debuginfo.t -> (* Location, if any *) + unit type emit_frame_actions = { efa_code_label: int -> unit; |