diff options
| author | Greta Yorsh <45005955+gretay-js@users.noreply.github.com> | 2019-06-24 14:18:37 +0100 |
|---|---|---|
| committer | Leo White <leo@lpw25.net> | 2019-06-24 14:18:37 +0100 |
| commit | d8b6a1713b50132fc96b6cda40c8aad4ec4f8008 (patch) | |
| tree | 260c2aa2b4aa6889db2262dd31b1f3001c866711 /asmcomp/linearize.mli | |
| parent | 7e4818c4b13863a3f7995da029f8d13c98991a8c (diff) | |
| download | ocaml-d8b6a1713b50132fc96b6cda40c8aad4ec4f8008.tar.gz | |
Add pseudo-instruction `Ladjust_trap_depth` (#2322)
Ladjust_trap_depth replaces dummy Lpushtrap generated in linearize of
Iexit to notify assembler generation about updates to the
stack. Ladjust_trap_depth is used to keep the virtual stack pointer in
sync and emit dwarf information, without emitting any assembly
instructions. It therefore avoids generating dead code.
This patch is extract from PR1482 @lthls
Diffstat (limited to 'asmcomp/linearize.mli')
| -rw-r--r-- | asmcomp/linearize.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/asmcomp/linearize.mli b/asmcomp/linearize.mli index d166229568..1e51f91982 100644 --- a/asmcomp/linearize.mli +++ b/asmcomp/linearize.mli @@ -37,6 +37,7 @@ and instruction_desc = | Lcondbranch3 of label option * label option * label option | Lswitch of label array | Lentertrap + | Ladjust_trap_depth of { delta_traps : int; } | Lpushtrap of { lbl_handler : label; } | Lpoptrap | Lraise of Cmm.raise_kind |