Ajout nouveaux tests

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@708 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 18 insertions, 0 deletions

diff --git a/test/raytracer/eval.h b/test/raytracer/eval.h
new file mode 100644
index 0000000..610b5d9
--- /dev/null
+++ b/test/raytracer/eval.h
@@ -0,0 +1,18 @@
+/* Evaluator for GML */
+
+struct closure {
+  struct array * code;
+  struct array * env;
+};
+
+struct surface_characteristics {
+  flt x, y, z;
+  flt kd;
+  flt ks;
+  flt phong;
+};
+
+void execute_program(struct array * toklist);
+
+void surface_function(struct closure * clos, int face, flt u, flt v,
+                      /*out*/ struct surface_characteristics * sc);