diff options
| author | Alain Frisch <alain@frisch.fr> | 2016-07-01 18:42:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-01 18:42:51 +0200 |
| commit | c3c523109e556d7fef5e857e6717cd01717d67ec (patch) | |
| tree | 27708641d0865127767ebebbc090b963c78236cf /asmcomp/linearize.mli | |
| parent | bed7e23657c97e5e5c023886b54f53e6fb666399 (diff) | |
| download | ocaml-c3c523109e556d7fef5e857e6717cd01717d67ec.tar.gz | |
Revert "Labels after calls, call GC points and checkbound points"
Diffstat (limited to 'asmcomp/linearize.mli')
| -rw-r--r-- | asmcomp/linearize.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/asmcomp/linearize.mli b/asmcomp/linearize.mli index 82fb9581be..6d6d01cb52 100644 --- a/asmcomp/linearize.mli +++ b/asmcomp/linearize.mli @@ -15,7 +15,8 @@ (* Transformation of Mach code into a list of pseudo-instructions. *) -type label = Cmm.label +type label = int +val new_label: unit -> label type instruction = { mutable desc: instruction_desc; @@ -52,4 +53,5 @@ type fundecl = fun_fast: bool; fun_dbg : Debuginfo.t } +val reset : unit -> unit val fundecl: Mach.fundecl -> fundecl |