Ajout nouveaux tests

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

1 files changed, 23 insertions, 0 deletions

diff --git a/test/raytracer/vector.h b/test/raytracer/vector.h
new file mode 100644
index 00000000..c5e400ad
--- /dev/null
+++ b/test/raytracer/vector.h
@@ -0,0 +1,23 @@
+struct vector {
+  flt dx, dy, dz;
+};
+
+flt dotproduct(struct vector * a, struct vector * b);
+void between(struct point * p, struct point * q,
+             /*out*/ struct vector * v);
+void opposite(struct vector * v,
+              /*out*/ struct vector * w);
+void point_along(struct point * p, struct vector * v,
+                 flt ac,
+                 /*out*/ struct point * q);
+void product(struct vector * a, struct vector * b,
+             /*out*/ struct vector * v);
+flt vlength2(struct vector * a);
+flt vlength(struct vector * a);
+
+void vscale(struct vector * a, flt s,
+            /*out*/ struct vector * v);
+void vnormalize(struct vector * a, /*out*/ struct vector * v);
+void vsub(struct vector * a, struct vector * b,
+          /*out*/ struct vector * v);
+