aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa/instr/individual
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2020-05-28 18:26:22 +0200
committerCyril SIX <cyril.six@kalray.eu>2020-05-28 18:26:22 +0200
commit050f408dd2b3f2cf1b8db512edafe2701b7a2dce (patch)
tree5f962fb6166fd2cd95a239e0d66fee362c1bfb23 /test/mppa/instr/individual
parentd46e96ef6c0287d6892bfc7d2272b7473f5e4979 (diff)
parent17c564cb99076eb0e2b34eeed4f24a18febe7116 (diff)
downloadcompcert-kvx-050f408dd2b3f2cf1b8db512edafe2701b7a2dce.tar.gz
compcert-kvx-050f408dd2b3f2cf1b8db512edafe2701b7a2dce.zip
Merge branch 'kvx-work' into mppa-RTLpathSE
Adapting the new mppa-RTLpathSE passes into the new Compiler.vexpand framework
Diffstat (limited to 'test/mppa/instr/individual')
-rw-r--r--test/mppa/instr/individual/andw.c5
-rw-r--r--test/mppa/instr/individual/branch.c10
-rw-r--r--test/mppa/instr/individual/branchz.c10
-rw-r--r--test/mppa/instr/individual/branchzu.c11
-rw-r--r--test/mppa/instr/individual/call.c16
-rw-r--r--test/mppa/instr/individual/cast_S32_S64.c7
-rw-r--r--test/mppa/instr/individual/cast_S64_U32.c7
-rw-r--r--test/mppa/instr/individual/cb.deqz.c10
-rw-r--r--test/mppa/instr/individual/cb.dgez.c10
-rw-r--r--test/mppa/instr/individual/cb.dgtz.c10
-rw-r--r--test/mppa/instr/individual/cb.dlez.c10
-rw-r--r--test/mppa/instr/individual/cb.dltz.c10
-rw-r--r--test/mppa/instr/individual/cb.dnez.c10
-rw-r--r--test/mppa/instr/individual/cb.wgez.c10
-rw-r--r--test/mppa/instr/individual/cb.wgtz.c10
-rw-r--r--test/mppa/instr/individual/cb.wlez.c10
-rw-r--r--test/mppa/instr/individual/cb.wltz.c10
-rw-r--r--test/mppa/instr/individual/compd.eq.c7
-rw-r--r--test/mppa/instr/individual/compd.geu.c7
-rw-r--r--test/mppa/instr/individual/compd.gt.c7
-rw-r--r--test/mppa/instr/individual/compd.le.c7
-rw-r--r--test/mppa/instr/individual/compd.leu.c7
-rw-r--r--test/mppa/instr/individual/compd.lt.c7
-rw-r--r--test/mppa/instr/individual/compd.ltu.c7
-rw-r--r--test/mppa/instr/individual/compd.ne.c7
-rw-r--r--test/mppa/instr/individual/compw.eq.c7
-rw-r--r--test/mppa/instr/individual/compw.geu.c7
-rw-r--r--test/mppa/instr/individual/compw.gt.c7
-rw-r--r--test/mppa/instr/individual/compw.gtu.c7
-rw-r--r--test/mppa/instr/individual/compw.le.c7
-rw-r--r--test/mppa/instr/individual/compw.leu.c7
-rw-r--r--test/mppa/instr/individual/compw.lt.c7
-rw-r--r--test/mppa/instr/individual/compw.ltu.c7
-rw-r--r--test/mppa/instr/individual/compw.ne.c7
-rw-r--r--test/mppa/instr/individual/div2.c7
-rw-r--r--test/mppa/instr/individual/doubleconv.c9
-rw-r--r--test/mppa/instr/individual/floatconv.c9
-rw-r--r--test/mppa/instr/individual/fmuld.c7
-rw-r--r--test/mppa/instr/individual/fmulw.c7
-rw-r--r--test/mppa/instr/individual/fnegd.c7
-rw-r--r--test/mppa/instr/individual/fnegw.c7
-rw-r--r--test/mppa/instr/individual/for.c9
-rw-r--r--test/mppa/instr/individual/forvar.c9
-rw-r--r--test/mppa/instr/individual/forvarl.c10
-rw-r--r--test/mppa/instr/individual/fsbfd.c7
-rw-r--r--test/mppa/instr/individual/fsbfw.c7
-rw-r--r--test/mppa/instr/individual/indirect_call.c33
-rw-r--r--test/mppa/instr/individual/indirect_tailcall.c33
-rw-r--r--test/mppa/instr/individual/lbs.c9
-rw-r--r--test/mppa/instr/individual/lbz.c9
-rw-r--r--test/mppa/instr/individual/muld.c7
-rw-r--r--test/mppa/instr/individual/mulw.c7
-rw-r--r--test/mppa/instr/individual/negd.c7
-rw-r--r--test/mppa/instr/individual/ord.c7
-rw-r--r--test/mppa/instr/individual/sbfd.c7
-rw-r--r--test/mppa/instr/individual/sbfw.c7
-rw-r--r--test/mppa/instr/individual/simple.c7
-rw-r--r--test/mppa/instr/individual/sllw.c7
-rw-r--r--test/mppa/instr/individual/srad.c7
-rw-r--r--test/mppa/instr/individual/srld.c7
-rw-r--r--test/mppa/instr/individual/tailcall.c16
-rw-r--r--test/mppa/instr/individual/udivd.c7
-rw-r--r--test/mppa/instr/individual/umodd.c7
-rw-r--r--test/mppa/instr/individual/xord.c7
64 files changed, 0 insertions, 571 deletions
diff --git a/test/mppa/instr/individual/andw.c b/test/mppa/instr/individual/andw.c
deleted file mode 100644
index 799dc7fb..00000000
--- a/test/mppa/instr/individual/andw.c
+++ /dev/null
@@ -1,5 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
- c = a&b;
-END_TEST32()
diff --git a/test/mppa/instr/individual/branch.c b/test/mppa/instr/individual/branch.c
deleted file mode 100644
index c9937e31..00000000
--- a/test/mppa/instr/individual/branch.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- if ((a & 0x1) == 1)
- c = 0;
- else
- c = 1;
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/branchz.c b/test/mppa/instr/individual/branchz.c
deleted file mode 100644
index d3e021b5..00000000
--- a/test/mppa/instr/individual/branchz.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- if (a & 0x1 == 0)
- c = 0;
- else
- c = 1;
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/branchzu.c b/test/mppa/instr/individual/branchzu.c
deleted file mode 100644
index d0169174..00000000
--- a/test/mppa/instr/individual/branchzu.c
+++ /dev/null
@@ -1,11 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- b = !(a & 0x01);
- if (!b)
- c = 0;
- else
- c = 1;
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/call.c b/test/mppa/instr/individual/call.c
deleted file mode 100644
index ba2ec323..00000000
--- a/test/mppa/instr/individual/call.c
+++ /dev/null
@@ -1,16 +0,0 @@
-#include "framework.h"
-
-int sum(int a, int b){
- return a+b;
-}
-
-int make(int a){
- return a;
-}
-
-BEGIN_TEST(int)
-{
- c = sum(make(a), make(b));
-}
-END_TEST32()
-/* RETURN VALUE: 60 */
diff --git a/test/mppa/instr/individual/cast_S32_S64.c b/test/mppa/instr/individual/cast_S32_S64.c
deleted file mode 100644
index 09c97e00..00000000
--- a/test/mppa/instr/individual/cast_S32_S64.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- c = (long long) a;
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/cast_S64_U32.c b/test/mppa/instr/individual/cast_S64_U32.c
deleted file mode 100644
index 2d9dc723..00000000
--- a/test/mppa/instr/individual/cast_S64_U32.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- c = (unsigned int) a;
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/cb.deqz.c b/test/mppa/instr/individual/cb.deqz.c
deleted file mode 100644
index 6da2ab07..00000000
--- a/test/mppa/instr/individual/cb.deqz.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- if (0 != (a & 0x1LL))
- c = 1;
- else
- c = 0;
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/cb.dgez.c b/test/mppa/instr/individual/cb.dgez.c
deleted file mode 100644
index 7bef25ad..00000000
--- a/test/mppa/instr/individual/cb.dgez.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- if (0 > (a & 0x1LL))
- c = 1;
- else
- c = 0;
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/cb.dgtz.c b/test/mppa/instr/individual/cb.dgtz.c
deleted file mode 100644
index 1a43fb1f..00000000
--- a/test/mppa/instr/individual/cb.dgtz.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- if (0 >= (a & 0x1LL) - 1)
- c = 1;
- else
- c = 0;
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/cb.dlez.c b/test/mppa/instr/individual/cb.dlez.c
deleted file mode 100644
index 2fb97939..00000000
--- a/test/mppa/instr/individual/cb.dlez.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- if (a & 0x1LL > 0)
- c = 1;
- else
- c = 0;
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/cb.dltz.c b/test/mppa/instr/individual/cb.dltz.c
deleted file mode 100644
index a431d5d0..00000000
--- a/test/mppa/instr/individual/cb.dltz.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- if ((a & 0x1LL) - 1 >= 0)
- c = 1;
- else
- c = 0;
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/cb.dnez.c b/test/mppa/instr/individual/cb.dnez.c
deleted file mode 100644
index 44516cbe..00000000
--- a/test/mppa/instr/individual/cb.dnez.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- if (0 == (a & 0x1LL))
- c = 1;
- else
- c = 0;
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/cb.wgez.c b/test/mppa/instr/individual/cb.wgez.c
deleted file mode 100644
index 5779ad92..00000000
--- a/test/mppa/instr/individual/cb.wgez.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- if (0 > (a & 0x1) - 1)
- c = 1;
- else
- c = 0;
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/cb.wgtz.c b/test/mppa/instr/individual/cb.wgtz.c
deleted file mode 100644
index abb695bd..00000000
--- a/test/mppa/instr/individual/cb.wgtz.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- if (0 >= (a & 0x1))
- c = 1;
- else
- c = 0;
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/cb.wlez.c b/test/mppa/instr/individual/cb.wlez.c
deleted file mode 100644
index 3a2e08c1..00000000
--- a/test/mppa/instr/individual/cb.wlez.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- if ((a & 0x1) > 0)
- c = 1;
- else
- c = 0;
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/cb.wltz.c b/test/mppa/instr/individual/cb.wltz.c
deleted file mode 100644
index 5d52c72a..00000000
--- a/test/mppa/instr/individual/cb.wltz.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- if ((a & 0x1) - 1 >= 0)
- c = 1;
- else
- c = 0;
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/compd.eq.c b/test/mppa/instr/individual/compd.eq.c
deleted file mode 100644
index 4fe8de2a..00000000
--- a/test/mppa/instr/individual/compd.eq.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- c = ((a & 0x1LL) == (b & 0x1LL));
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/compd.geu.c b/test/mppa/instr/individual/compd.geu.c
deleted file mode 100644
index fccf0804..00000000
--- a/test/mppa/instr/individual/compd.geu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
- c = (a >= b);
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/compd.gt.c b/test/mppa/instr/individual/compd.gt.c
deleted file mode 100644
index b9901436..00000000
--- a/test/mppa/instr/individual/compd.gt.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- c = (a > b);
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/compd.le.c b/test/mppa/instr/individual/compd.le.c
deleted file mode 100644
index 6fa0f103..00000000
--- a/test/mppa/instr/individual/compd.le.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- c = (a <= b);
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/compd.leu.c b/test/mppa/instr/individual/compd.leu.c
deleted file mode 100644
index 1ad18281..00000000
--- a/test/mppa/instr/individual/compd.leu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
- c = (a <= b);
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/compd.lt.c b/test/mppa/instr/individual/compd.lt.c
deleted file mode 100644
index c42cda56..00000000
--- a/test/mppa/instr/individual/compd.lt.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- c = (a < b);
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/compd.ltu.c b/test/mppa/instr/individual/compd.ltu.c
deleted file mode 100644
index b03d4d53..00000000
--- a/test/mppa/instr/individual/compd.ltu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
- c = (a < b);
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/compd.ne.c b/test/mppa/instr/individual/compd.ne.c
deleted file mode 100644
index fd9d0b28..00000000
--- a/test/mppa/instr/individual/compd.ne.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
- c = ((a & 0x1ULL) != (b & 0x1ULL));
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/compw.eq.c b/test/mppa/instr/individual/compw.eq.c
deleted file mode 100644
index cd93f365..00000000
--- a/test/mppa/instr/individual/compw.eq.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- c = ((a & 0x1) == (b & 0x1));
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/compw.geu.c b/test/mppa/instr/individual/compw.geu.c
deleted file mode 100644
index b8fb1adf..00000000
--- a/test/mppa/instr/individual/compw.geu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned int)
-{
- c = (a >= b);
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/compw.gt.c b/test/mppa/instr/individual/compw.gt.c
deleted file mode 100644
index 5f6bc907..00000000
--- a/test/mppa/instr/individual/compw.gt.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- c = (a > b);
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/compw.gtu.c b/test/mppa/instr/individual/compw.gtu.c
deleted file mode 100644
index 947f6a14..00000000
--- a/test/mppa/instr/individual/compw.gtu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned int)
-{
- c = (a > b);
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/compw.le.c b/test/mppa/instr/individual/compw.le.c
deleted file mode 100644
index 35ec6b7d..00000000
--- a/test/mppa/instr/individual/compw.le.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- c = (a <= b);
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/compw.leu.c b/test/mppa/instr/individual/compw.leu.c
deleted file mode 100644
index 74ebfb42..00000000
--- a/test/mppa/instr/individual/compw.leu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned int)
-{
- c = (a <= b);
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/compw.lt.c b/test/mppa/instr/individual/compw.lt.c
deleted file mode 100644
index cb1f30bd..00000000
--- a/test/mppa/instr/individual/compw.lt.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- c = (a < b);
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/compw.ltu.c b/test/mppa/instr/individual/compw.ltu.c
deleted file mode 100644
index 6a0c5af1..00000000
--- a/test/mppa/instr/individual/compw.ltu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned int)
-{
- c = (a < b);
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/compw.ne.c b/test/mppa/instr/individual/compw.ne.c
deleted file mode 100644
index 7035e2c7..00000000
--- a/test/mppa/instr/individual/compw.ne.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned int)
-{
- c = ((a & 0x1U) != (b & 0x1U));
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/div2.c b/test/mppa/instr/individual/div2.c
deleted file mode 100644
index b5dfe63a..00000000
--- a/test/mppa/instr/individual/div2.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- c = (a + b) / 2;
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/doubleconv.c b/test/mppa/instr/individual/doubleconv.c
deleted file mode 100644
index 55b1ddab..00000000
--- a/test/mppa/instr/individual/doubleconv.c
+++ /dev/null
@@ -1,9 +0,0 @@
-#include "framework.h"
-
-double long2double(long v){
- return v;
-}
-
-BEGIN_TEST(long)
- c = (long) long2double(a) + (long) long2double(b) + (long) long2double(42.3);
-END_TEST64()
diff --git a/test/mppa/instr/individual/floatconv.c b/test/mppa/instr/individual/floatconv.c
deleted file mode 100644
index 32b798e1..00000000
--- a/test/mppa/instr/individual/floatconv.c
+++ /dev/null
@@ -1,9 +0,0 @@
-#include "framework.h"
-
-float int2float(int v){
- return v;
-}
-
-BEGIN_TEST(int)
- c = (int) int2float(a) + (int) int2float(b) + (int) int2float(42.3);
-END_TEST32()
diff --git a/test/mppa/instr/individual/fmuld.c b/test/mppa/instr/individual/fmuld.c
deleted file mode 100644
index 03c990fa..00000000
--- a/test/mppa/instr/individual/fmuld.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(double)
-{
- c = ((double)a * (double)b);
-}
-END_TESTF64()
diff --git a/test/mppa/instr/individual/fmulw.c b/test/mppa/instr/individual/fmulw.c
deleted file mode 100644
index f85eba64..00000000
--- a/test/mppa/instr/individual/fmulw.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(float)
-{
- c = ((float)a * (float)b);
-}
-END_TESTF32()
diff --git a/test/mppa/instr/individual/fnegd.c b/test/mppa/instr/individual/fnegd.c
deleted file mode 100644
index 974eb7e8..00000000
--- a/test/mppa/instr/individual/fnegd.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(double)
-{
- c = (-(double)a);
-}
-END_TESTF64()
diff --git a/test/mppa/instr/individual/fnegw.c b/test/mppa/instr/individual/fnegw.c
deleted file mode 100644
index fbeaab8e..00000000
--- a/test/mppa/instr/individual/fnegw.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(float)
-{
- c = (-(float)a);
-}
-END_TESTF64()
diff --git a/test/mppa/instr/individual/for.c b/test/mppa/instr/individual/for.c
deleted file mode 100644
index 373ab6bd..00000000
--- a/test/mppa/instr/individual/for.c
+++ /dev/null
@@ -1,9 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- int j;
- for (j = 0 ; j < 10 ; j++)
- c += a;
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/forvar.c b/test/mppa/instr/individual/forvar.c
deleted file mode 100644
index 9e43c198..00000000
--- a/test/mppa/instr/individual/forvar.c
+++ /dev/null
@@ -1,9 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- int k;
- for (k = 0 ; k < (b & 0x8) ; k++)
- c += a;
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/forvarl.c b/test/mppa/instr/individual/forvarl.c
deleted file mode 100644
index c1fe90fd..00000000
--- a/test/mppa/instr/individual/forvarl.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long int)
-{
- int j;
-
- for (j = 0 ; j < (b & 0x8LL) ; j++)
- c += a;
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/fsbfd.c b/test/mppa/instr/individual/fsbfd.c
deleted file mode 100644
index f80c1efe..00000000
--- a/test/mppa/instr/individual/fsbfd.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(double)
-{
- c = ((double)a - (double)b);
-}
-END_TESTF64()
diff --git a/test/mppa/instr/individual/fsbfw.c b/test/mppa/instr/individual/fsbfw.c
deleted file mode 100644
index 067c40b5..00000000
--- a/test/mppa/instr/individual/fsbfw.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(float)
-{
- c = ((float)a - (float)b);
-}
-END_TESTF64()
diff --git a/test/mppa/instr/individual/indirect_call.c b/test/mppa/instr/individual/indirect_call.c
deleted file mode 100644
index f376c00a..00000000
--- a/test/mppa/instr/individual/indirect_call.c
+++ /dev/null
@@ -1,33 +0,0 @@
-#include "framework.h"
-
-long long sum(long long a, long long b){
- return a+b;
-}
-
-long long diff(long long a, long long b){
- return a-b;
-}
-
-long long mul(long long a, long long b){
- return a*b;
-}
-
-long long make(long long a){
- return a;
-}
-
-BEGIN_TEST(long long)
-{
- long long d = 3;
- long long (*op)(long long, long long);
-
- if (a % d == 0)
- op = sum;
- else if (a % d == 1)
- op = diff;
- else
- op = mul;
-
- c += op(make(a), make(b));
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/indirect_tailcall.c b/test/mppa/instr/individual/indirect_tailcall.c
deleted file mode 100644
index e6c16ea1..00000000
--- a/test/mppa/instr/individual/indirect_tailcall.c
+++ /dev/null
@@ -1,33 +0,0 @@
-#include "framework.h"
-
-long long sum(long long a, long long b){
- return a+b;
-}
-
-long long diff(long long a, long long b){
- return a-b;
-}
-
-long long mul(long long a, long long b){
- return a*b;
-}
-
-long long random_op(long long a, long long b){
- long long d = 3;
- long long (*op)(long long, long long);
-
- if (a % d == 0)
- op = sum;
- else if (a % d == 1)
- op = diff;
- else
- op = mul;
-
- return op(a, b);
-}
-
-BEGIN_TEST(long long)
-{
- c += random_op(a, b);
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/lbs.c b/test/mppa/instr/individual/lbs.c
deleted file mode 100644
index 22a50632..00000000
--- a/test/mppa/instr/individual/lbs.c
+++ /dev/null
@@ -1,9 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- char s[] = "Tome and Cherry at the playa\n";
-
- c = s[(a & (sizeof(s)-1))];
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/lbz.c b/test/mppa/instr/individual/lbz.c
deleted file mode 100644
index 04ba098d..00000000
--- a/test/mppa/instr/individual/lbz.c
+++ /dev/null
@@ -1,9 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- unsigned char s[] = "Tim is sorry at the playa\n";
-
- c = s[a & (sizeof(s) - 1)];
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/muld.c b/test/mppa/instr/individual/muld.c
deleted file mode 100644
index f7e23850..00000000
--- a/test/mppa/instr/individual/muld.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- c = a*b;
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/mulw.c b/test/mppa/instr/individual/mulw.c
deleted file mode 100644
index a91d966e..00000000
--- a/test/mppa/instr/individual/mulw.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- c = a * b;
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/negd.c b/test/mppa/instr/individual/negd.c
deleted file mode 100644
index 837b9828..00000000
--- a/test/mppa/instr/individual/negd.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- c = -a;
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/ord.c b/test/mppa/instr/individual/ord.c
deleted file mode 100644
index cae1ae8b..00000000
--- a/test/mppa/instr/individual/ord.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- c = a | b;
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/sbfd.c b/test/mppa/instr/individual/sbfd.c
deleted file mode 100644
index 77c28c77..00000000
--- a/test/mppa/instr/individual/sbfd.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- c = a-b;
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/sbfw.c b/test/mppa/instr/individual/sbfw.c
deleted file mode 100644
index e38a1fff..00000000
--- a/test/mppa/instr/individual/sbfw.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- c = a-b;
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/simple.c b/test/mppa/instr/individual/simple.c
deleted file mode 100644
index 944f09c9..00000000
--- a/test/mppa/instr/individual/simple.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- c = a+b;
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/sllw.c b/test/mppa/instr/individual/sllw.c
deleted file mode 100644
index 6dd41a6c..00000000
--- a/test/mppa/instr/individual/sllw.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- c = a << (b & 0x8);
-}
-END_TEST32()
diff --git a/test/mppa/instr/individual/srad.c b/test/mppa/instr/individual/srad.c
deleted file mode 100644
index 00be9d0c..00000000
--- a/test/mppa/instr/individual/srad.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- c = a >> (b & 0x8LL);
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/srld.c b/test/mppa/instr/individual/srld.c
deleted file mode 100644
index 14970efd..00000000
--- a/test/mppa/instr/individual/srld.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
- c = a >> (b & 0x8ULL);
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/tailcall.c b/test/mppa/instr/individual/tailcall.c
deleted file mode 100644
index 6c659a01..00000000
--- a/test/mppa/instr/individual/tailcall.c
+++ /dev/null
@@ -1,16 +0,0 @@
-#include "framework.h"
-
-int make(int a){
- return a;
-}
-
-int sum(int a, int b){
- return make(a+b);
-}
-
-BEGIN_TEST(int)
-{
- c = sum(a, b);
-}
-END_TEST32()
-/* RETURN VALUE: 60 */
diff --git a/test/mppa/instr/individual/udivd.c b/test/mppa/instr/individual/udivd.c
deleted file mode 100644
index cfb31881..00000000
--- a/test/mppa/instr/individual/udivd.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
- c = a/b;
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/umodd.c b/test/mppa/instr/individual/umodd.c
deleted file mode 100644
index a7f25f1c..00000000
--- a/test/mppa/instr/individual/umodd.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
- c = a%b;
-}
-END_TEST64()
diff --git a/test/mppa/instr/individual/xord.c b/test/mppa/instr/individual/xord.c
deleted file mode 100644
index b6a90cb0..00000000
--- a/test/mppa/instr/individual/xord.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
- c = a^b;
-}
-END_TEST64()