diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-08-09 08:06:33 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-08-09 08:06:33 +0000 |
commit | 285f5bec5bb03d4e825e5d866e94008088dd6155 (patch) | |
tree | 9df69ded9ed4f4049e0b3887fdd99fcdf3b1746f /test/raytracer/vector.h | |
parent | a83f0c1710cc5143dd885e84c94e14f7d3216f93 (diff) | |
download | compcert-285f5bec5bb03d4e825e5d866e94008088dd6155.tar.gz compcert-285f5bec5bb03d4e825e5d866e94008088dd6155.zip |
Ajout nouveaux tests
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@708 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/raytracer/vector.h')
-rw-r--r-- | test/raytracer/vector.h | 23 |
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); + |