aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa/interop/framework.h
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-05-26 22:11:32 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-05-26 22:11:32 +0200
commitbc1e43ea95b9455cdccee442db77bc5fafd3dcc6 (patch)
tree4e82b5f50870603f42ec46d57e543c3e10fb1f4f /test/mppa/interop/framework.h
parentb4a08d0815342b6238d307864f0823d0f07bb691 (diff)
downloadcompcert-kvx-bc1e43ea95b9455cdccee442db77bc5fafd3dcc6.tar.gz
compcert-kvx-bc1e43ea95b9455cdccee442db77bc5fafd3dcc6.zip
tests for kvx
Diffstat (limited to 'test/mppa/interop/framework.h')
-rw-r--r--test/mppa/interop/framework.h66
1 files changed, 0 insertions, 66 deletions
diff --git a/test/mppa/interop/framework.h b/test/mppa/interop/framework.h
deleted file mode 100644
index 3bbfa271..00000000
--- a/test/mppa/interop/framework.h
+++ /dev/null
@@ -1,66 +0,0 @@
-#ifndef __FRAMEWORK_H__
-#define __FRAMEWORK_H__
-
-#include <stdio.h>
-#include "../prng/prng.c"
-
-#define BEGIN_TEST_N(type, N)\
- int main(void){\
- type t[N], c, i, j, S;\
- srand(0);\
- S = 0;\
- for (i = 0 ; i < 100 ; i++){\
- c = randlong();\
- for (j = 0 ; j < N ; j++)\
- t[j] = randlong();\
- /* END BEGIN_TEST_N */
-
-#define BEGIN_TEST(type)\
- int main(void){\
- type a, b, c, S;\
- int i;\
- srand(0);\
- S = 0;\
- for (i = 0 ; i < 100 ; i++){\
- c = randlong();\
- a = randlong();\
- b = randlong();
- /* END BEGIN_TEST */
-
-/* In between BEGIN_TEST and END_TEST : definition of c */
-
-#define END_TEST64()\
- printf("%llu\t%llu\t%llu\n", a, b, c);\
- S += c;\
- }\
- return S;\
- }
- /* END END_TEST64 */
-
-#define END_TEST32()\
- printf("%u\t%u\t%u\n", a, b, c);\
- S += c;\
- }\
- return S;\
- }
- /* END END_TEST32 */
-
-#define END_TESTF32()\
- printf("%e\t%e\t%e\n", a, b, c);\
- S += c;\
- }\
- return 0;\
- }
- /* END END_TESTF32 */
-
-#define END_TESTF64()\
- printf("%e\t%e\t%e\n", a, b, c);\
- S += c;\
- }\
- return 0;\
- }
- /* END END_TESTF64 */
-
-#endif
-
-