Revamped the instruction testsuite (all instructions work except umodd and udivd)

58 files changed, 0 insertions, 473 deletions

diff --git a/test/mppa/general/.gitignore b/test/mppa/general/.gitignore
deleted file mode 100644
index ea1472ec..00000000
--- a/test/mppa/general/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-output/
diff --git a/test/mppa/general/addw.c b/test/mppa/general/addw.c
deleted file mode 100644
index be8afc67..00000000
--- a/test/mppa/general/addw.c
+++ /dev/null
@@ -1,5 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-    c = a+b;
-END_TEST()
diff --git a/test/mppa/general/andd.c b/test/mppa/general/andd.c
deleted file mode 100644
index 4f503764..00000000
--- a/test/mppa/general/andd.c
+++ /dev/null
@@ -1,5 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-    return a&b;
-END_TEST()
diff --git a/test/mppa/general/andw.c b/test/mppa/general/andw.c
deleted file mode 100644
index 99de0049..00000000
--- a/test/mppa/general/andw.c
+++ /dev/null
@@ -1,5 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-    c = a&b;
-END_TEST()
diff --git a/test/mppa/general/branch.c b/test/mppa/general/branch.c
deleted file mode 100644
index 72e7e20e..00000000
--- a/test/mppa/general/branch.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
-    if ((a & 0x1) == 1)
-        c = 0;
-    else
-        c = 1;
-}
-END_TEST()
diff --git a/test/mppa/general/branchz.c b/test/mppa/general/branchz.c
deleted file mode 100644
index fb86d357..00000000
--- a/test/mppa/general/branchz.c
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
-    if (a & 0x1 == 0)
-        c = 0;
-    else
-        c = 1;
-}
-END_TEST()
diff --git a/test/mppa/general/branchzu.c b/test/mppa/general/branchzu.c
deleted file mode 100644
index 97adb605..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/call.c b/test/mppa/general/call.c
deleted file mode 100644
index 727cef63..00000000
--- a/test/mppa/general/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_TEST()
-/* RETURN VALUE: 60 */
diff --git a/test/mppa/general/cb.deqz.c b/test/mppa/general/cb.deqz.c
deleted file mode 100644
index c56733f0..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/cb.dgez.c b/test/mppa/general/cb.dgez.c
deleted file mode 100644
index abb6ec57..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/cb.dgtz.c b/test/mppa/general/cb.dgtz.c
deleted file mode 100644
index d4271845..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/cb.dlez.c b/test/mppa/general/cb.dlez.c
deleted file mode 100644
index 18e67f06..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/cb.dltz.c b/test/mppa/general/cb.dltz.c
deleted file mode 100644
index 366aea49..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/cb.dnez.c b/test/mppa/general/cb.dnez.c
deleted file mode 100644
index 81c2cd29..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/cb.wgez.c b/test/mppa/general/cb.wgez.c
deleted file mode 100644
index 477f4bc6..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/cb.wgtz.c b/test/mppa/general/cb.wgtz.c
deleted file mode 100644
index c9ab9a06..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/cb.wlez.c b/test/mppa/general/cb.wlez.c
deleted file mode 100644
index c3069fda..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/cb.wltz.c b/test/mppa/general/cb.wltz.c
deleted file mode 100644
index 6cf5fcf0..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/clzll.c b/test/mppa/general/clzll.c
deleted file mode 100644
index 13905cba..00000000
--- a/test/mppa/general/clzll.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
-    c = __builtin_clzll(a);
-}
-END_TEST()
diff --git a/test/mppa/general/compd.eq.c b/test/mppa/general/compd.eq.c
deleted file mode 100644
index d19a4d20..00000000
--- a/test/mppa/general/compd.eq.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
-    c = ((a & 0x1LL) == (b & 0x1LL));
-}
-END_TEST()
diff --git a/test/mppa/general/compd.geu.c b/test/mppa/general/compd.geu.c
deleted file mode 100644
index edc31183..00000000
--- a/test/mppa/general/compd.geu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
-    c = (a >= b);
-}
-END_TEST()
diff --git a/test/mppa/general/compd.gt.c b/test/mppa/general/compd.gt.c
deleted file mode 100644
index 24147779..00000000
--- a/test/mppa/general/compd.gt.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
-    c = (a > b);
-}
-END_TEST()
diff --git a/test/mppa/general/compd.gtu.c b/test/mppa/general/compd.gtu.c
deleted file mode 100644
index 5ce82569..00000000
--- a/test/mppa/general/compd.gtu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
-    c = (a > b);
-}
-END_TEST()
diff --git a/test/mppa/general/compd.le.c b/test/mppa/general/compd.le.c
deleted file mode 100644
index a84aad97..00000000
--- a/test/mppa/general/compd.le.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
-    c = (a <= b);
-}
-END_TEST()
diff --git a/test/mppa/general/compd.leu.c b/test/mppa/general/compd.leu.c
deleted file mode 100644
index e386bc27..00000000
--- a/test/mppa/general/compd.leu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
-    c = (a <= b);
-}
-END_TEST()
diff --git a/test/mppa/general/compd.lt.c b/test/mppa/general/compd.lt.c
deleted file mode 100644
index df07a708..00000000
--- a/test/mppa/general/compd.lt.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
-    c = (a < b);
-}
-END_TEST()
diff --git a/test/mppa/general/compd.ltu.c b/test/mppa/general/compd.ltu.c
deleted file mode 100644
index dfaa8921..00000000
--- a/test/mppa/general/compd.ltu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
-    c = (a < b);
-}
-END_TEST()
diff --git a/test/mppa/general/compd.ne.c b/test/mppa/general/compd.ne.c
deleted file mode 100644
index 19ce0a69..00000000
--- a/test/mppa/general/compd.ne.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
-    c = ((a & 0x1ULL) != (b & 0x1ULL));
-}
-END_TEST()
diff --git a/test/mppa/general/compw.eq.c b/test/mppa/general/compw.eq.c
deleted file mode 100644
index dc7a3ab1..00000000
--- a/test/mppa/general/compw.eq.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
-    c = ((a & 0x1) == (b & 0x1));
-}
-END_TEST()
diff --git a/test/mppa/general/compw.geu.c b/test/mppa/general/compw.geu.c
deleted file mode 100644
index d72ca56c..00000000
--- a/test/mppa/general/compw.geu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned int)
-{
-    c = (a >= b);
-}
-END_TEST()
diff --git a/test/mppa/general/compw.gt.c b/test/mppa/general/compw.gt.c
deleted file mode 100644
index 9ad02610..00000000
--- a/test/mppa/general/compw.gt.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
-    c = (a > b);
-}
-END_TEST()
diff --git a/test/mppa/general/compw.gtu.c b/test/mppa/general/compw.gtu.c
deleted file mode 100644
index 77f04989..00000000
--- a/test/mppa/general/compw.gtu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned int)
-{
-    c = (a > b);
-}
-END_TEST()
diff --git a/test/mppa/general/compw.le.c b/test/mppa/general/compw.le.c
deleted file mode 100644
index b7a7a432..00000000
--- a/test/mppa/general/compw.le.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
-    c = (a <= b);
-}
-END_TEST()
diff --git a/test/mppa/general/compw.leu.c b/test/mppa/general/compw.leu.c
deleted file mode 100644
index 4892f06c..00000000
--- a/test/mppa/general/compw.leu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned int)
-{
-    c = (a <= b);
-}
-END_TEST()
diff --git a/test/mppa/general/compw.lt.c b/test/mppa/general/compw.lt.c
deleted file mode 100644
index 2cc151bf..00000000
--- a/test/mppa/general/compw.lt.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
-    c = (a < b);
-}
-END_TEST()
diff --git a/test/mppa/general/compw.ltu.c b/test/mppa/general/compw.ltu.c
deleted file mode 100644
index b524127f..00000000
--- a/test/mppa/general/compw.ltu.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned int)
-{
-    c = (a < b);
-}
-END_TEST()
diff --git a/test/mppa/general/compw.ne.c b/test/mppa/general/compw.ne.c
deleted file mode 100644
index 433b0b86..00000000
--- a/test/mppa/general/compw.ne.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned int)
-{
-    c = ((a & 0x1U) != (b & 0x1U));
-}
-END_TEST()
diff --git a/test/mppa/general/div2.c b/test/mppa/general/div2.c
deleted file mode 100644
index 01a4b575..00000000
--- a/test/mppa/general/div2.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
-    c = (a + b) / 2;
-}
-END_TEST()
diff --git a/test/mppa/general/for.c b/test/mppa/general/for.c
deleted file mode 100644
index d6870afb..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/forvar.c b/test/mppa/general/forvar.c
deleted file mode 100644
index 57548274..00000000
--- a/test/mppa/general/forvar.c
+++ /dev/null
@@ -1,9 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
-    int j;
-    for (j = 0 ; j < (b & 0x8) ; j++)
-        c += a;
-}
-END_TEST()
diff --git a/test/mppa/general/forvarl.c b/test/mppa/general/forvarl.c
deleted file mode 100644
index 30717a51..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/framework.h b/test/mppa/general/framework.h
deleted file mode 100644
index 78f2617e..00000000
--- a/test/mppa/general/framework.h
+++ /dev/null
@@ -1,26 +0,0 @@
-#ifndef __FRAMEWORK_H__
-#define __FRAMEWORK_H__
-
-#include "../lib/prng.c"
-
-#define BEGIN_TEST(type)\
-    int main(void){\
-        type a, b, c, i, S;\
-        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_TEST()\
-            S += c;\
-        }\
-        return S;\
-    }
-    /* END END_TEST */
-
-#endif
diff --git a/test/mppa/general/lbs.c b/test/mppa/general/lbs.c
deleted file mode 100644
index f104d62b..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/lbz.c b/test/mppa/general/lbz.c
deleted file mode 100644
index 2deeaebe..00000000
--- a/test/mppa/general/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_TEST()
diff --git a/test/mppa/general/muld.c b/test/mppa/general/muld.c
deleted file mode 100644
index 9a40f389..00000000
--- a/test/mppa/general/muld.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
-    c = a*b;
-}
-END_TEST()
diff --git a/test/mppa/general/mulw.c b/test/mppa/general/mulw.c
deleted file mode 100644
index bf517ce8..00000000
--- a/test/mppa/general/mulw.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
-    c = a * b;
-}
-END_TEST()
diff --git a/test/mppa/general/negd.c b/test/mppa/general/negd.c
deleted file mode 100644
index a8e8ff45..00000000
--- a/test/mppa/general/negd.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
-    c = -a;
-}
-END_TEST()
diff --git a/test/mppa/general/ord.c b/test/mppa/general/ord.c
deleted file mode 100644
index eaedcb28..00000000
--- a/test/mppa/general/ord.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
-    c = a | b;
-}
-END_TEST()
diff --git a/test/mppa/general/sbfd.c b/test/mppa/general/sbfd.c
deleted file mode 100644
index 912f1fdb..00000000
--- a/test/mppa/general/sbfd.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
-    c = a-b;
-}
-END_TEST()
diff --git a/test/mppa/general/sbfw.c b/test/mppa/general/sbfw.c
deleted file mode 100644
index feffd497..00000000
--- a/test/mppa/general/sbfw.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
-    c = a-b;
-}
-END_TEST()
diff --git a/test/mppa/general/simple.c b/test/mppa/general/simple.c
deleted file mode 100644
index 89bba27e..00000000
--- a/test/mppa/general/simple.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
-    c = a+b;
-}
-END_TEST()
diff --git a/test/mppa/general/sllw.c b/test/mppa/general/sllw.c
deleted file mode 100644
index df55c9e8..00000000
--- a/test/mppa/general/sllw.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
-    c = a << (b & 0x8);
-}
-END_TEST()
diff --git a/test/mppa/general/srad.c b/test/mppa/general/srad.c
deleted file mode 100644
index b4047bc7..00000000
--- a/test/mppa/general/srad.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
-    c = a >> (b & 0x8LL);
-}
-END_TEST()
diff --git a/test/mppa/general/srld.c b/test/mppa/general/srld.c
deleted file mode 100644
index 71e82b2a..00000000
--- a/test/mppa/general/srld.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
-    c = a >> (b & 0x8ULL);
-}
-END_TEST()
diff --git a/test/mppa/general/stsud.c b/test/mppa/general/stsud.c
deleted file mode 100644
index 81fb6e6d..00000000
--- a/test/mppa/general/stsud.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
-    c = __builtin_k1_stsud(a, b);
-}
-END_TEST()
diff --git a/test/mppa/general/udivd.c b/test/mppa/general/udivd.c
deleted file mode 100644
index 52e0d412..00000000
--- a/test/mppa/general/udivd.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
-    c = a/b;
-}
-END_TEST()
diff --git a/test/mppa/general/umodd.c b/test/mppa/general/umodd.c
deleted file mode 100644
index e7dd506f..00000000
--- a/test/mppa/general/umodd.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(unsigned long long)
-{
-    c = a%b;
-}
-END_TEST()
diff --git a/test/mppa/general/xord.c b/test/mppa/general/xord.c
deleted file mode 100644
index b9d86f06..00000000
--- a/test/mppa/general/xord.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-{
-    c = a^b;
-}
-END_TEST()