aboutsummaryrefslogtreecommitdiffstats
path: root/test/raytracer/point.h
diff options
context:
space:
mode:
authorxleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2010-03-03 12:34:43 +0000
committerxleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2010-03-03 12:34:43 +0000
commit6c196ec8a41d6ed506c133c8b33dba9684f9a7a6 (patch)
tree4e1422ea2a810520d0d9b0fbb78c0014ba9f8443 /test/raytracer/point.h
parent93d89c2b5e8497365be152fb53cb6cd4c5764d34 (diff)
downloadcompcert-kvx-6c196ec8a41d6ed506c133c8b33dba9684f9a7a6.tar.gz
compcert-kvx-6c196ec8a41d6ed506c133c8b33dba9684f9a7a6.zip
Updated raytracer test. Added SPASS test.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1271 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/raytracer/point.h')
-rw-r--r--test/raytracer/point.h8
1 files changed, 1 insertions, 7 deletions
diff --git a/test/raytracer/point.h b/test/raytracer/point.h
index b8d6ff0f..64bf5821 100644
--- a/test/raytracer/point.h
+++ b/test/raytracer/point.h
@@ -2,7 +2,6 @@ struct point {
flt x, y, z;
};
-#if 0
static inline flt dist2(struct point * p1, struct point * p2)
{
flt dx = p2->x - p1->x;
@@ -10,9 +9,4 @@ static inline flt dist2(struct point * p1, struct point * p2)
flt dz = p2->z - p1->z;
return dx * dx + dy * dy + dz * dz;
}
-#else
-#define dist2(p1,p2) \
- (((p2)->x - (p1)->x) * ((p2)->x - (p1)->x) + \
- ((p2)->y - (p1)->y) * ((p2)->y - (p1)->y) + \
- ((p2)->z - (p1)->z) * ((p2)->z - (p1)->z))
-#endif
+