diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-13 09:31:50 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-13 09:31:50 +0000 |
| commit | 0b9972d50fbacf54ea3fc91794410fb43772480a (patch) | |
| tree | e7757c2e72e03d9c92e17ad6236726dbde9d6a5c /asmcomp/linearize.mli | |
| parent | 937fece4e311e11edcc3f0651e7ea24ae46c6d16 (diff) | |
| download | ocaml-0b9972d50fbacf54ea3fc91794410fb43772480a.tar.gz | |
Ajout du scheduler (a tester serieusement)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@202 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/linearize.mli')
| -rw-r--r-- | asmcomp/linearize.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/asmcomp/linearize.mli b/asmcomp/linearize.mli index 837a1ddddd..45ccd85cb3 100644 --- a/asmcomp/linearize.mli +++ b/asmcomp/linearize.mli @@ -37,6 +37,10 @@ and instruction_desc = | Lpoptrap | Lraise +val end_instr: instruction +val instr_cons: + instruction_desc -> Reg.t array -> Reg.t array -> instruction -> instruction + type fundecl = { fun_name: string; fun_body: instruction; |