diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2010-05-25 12:34:20 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2010-05-25 12:34:20 +0000 |
| commit | 4c7e1b7f38ea619da6620e5d8f04ca5483a7b12f (patch) | |
| tree | 7ba2911a589cd752266119df85138082c72625b5 /bytecomp/simplif.mli | |
| parent | f1c18b2dff4fbca0d6053cc544f8fb6f1abb0af9 (diff) | |
| download | ocaml-annot-from-lambda.tar.gz | |
Added tail call heuristic for native compilationannot-from-lambda
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/annot-from-lambda@10466 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/simplif.mli')
| -rw-r--r-- | bytecomp/simplif.mli | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/bytecomp/simplif.mli b/bytecomp/simplif.mli index 5e5217ff18..2d9b352bb6 100644 --- a/bytecomp/simplif.mli +++ b/bytecomp/simplif.mli @@ -12,8 +12,15 @@ (* $Id$ *) -(* Elimination of useless Llet(Alias) bindings *) +(* Elimination of useless Llet(Alias) bindings. + Transformation of let-bound references into variables. + Simplification over staticraise/staticcatch constructs. + Generation of tail-call annotations if -annot is set. *) open Lambda val simplify_lambda: lambda -> lambda + +(* To be filled by asmcomp/selectgen.ml *) +val is_tail_native_heuristic: (int -> bool) ref + (* # arguments -> can tailcall *) |