aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/ocaml/byterun/caml/interp.h
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-20 17:32:00 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-20 17:33:45 +0100
commit4c9c95b6a0ac8aa31abb1f7ab48c3f645c059bd6 (patch)
tree62eaadc788f4426d18974f6c1cbf23b616d43edb /test/monniaux/ocaml/byterun/caml/interp.h
parentf8f393317fcfee9613f09513f21dd0461c503d8c (diff)
downloadcompcert-kvx-4c9c95b6a0ac8aa31abb1f7ab48c3f645c059bd6.tar.gz
compcert-kvx-4c9c95b6a0ac8aa31abb1f7ab48c3f645c059bd6.zip
ocaml byterunner example
Diffstat (limited to 'test/monniaux/ocaml/byterun/caml/interp.h')
-rw-r--r--test/monniaux/ocaml/byterun/caml/interp.h37
1 files changed, 37 insertions, 0 deletions
diff --git a/test/monniaux/ocaml/byterun/caml/interp.h b/test/monniaux/ocaml/byterun/caml/interp.h
new file mode 100644
index 00000000..d1ebdc01
--- /dev/null
+++ b/test/monniaux/ocaml/byterun/caml/interp.h
@@ -0,0 +1,37 @@
+/**************************************************************************/
+/* */
+/* OCaml */
+/* */
+/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
+/* */
+/* Copyright 1996 Institut National de Recherche en Informatique et */
+/* en Automatique. */
+/* */
+/* All rights reserved. This file is distributed under the terms of */
+/* the GNU Lesser General Public License version 2.1, with the */
+/* special exception on linking described in the file LICENSE. */
+/* */
+/**************************************************************************/
+
+/* The bytecode interpreter */
+
+#ifndef CAML_INTERP_H
+#define CAML_INTERP_H
+
+#ifdef CAML_INTERNALS
+
+#include "misc.h"
+#include "mlvalues.h"
+
+/* interpret a bytecode */
+value caml_interprete (code_t prog, asize_t prog_size);
+
+/* tell the runtime that a bytecode program might be needed */
+void caml_prepare_bytecode(code_t prog, asize_t prog_size);
+
+/* tell the runtime that a bytecode program is no more needed */
+void caml_release_bytecode(code_t prog, asize_t prog_size);
+
+#endif /* CAML_INTERNALS */
+
+#endif /* CAML_INTERP_H */