diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-14 11:49:34 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-14 11:49:34 +0100 |
commit | a220a09ae6ce52400a563ea6ee65aa36b2ea9dfb (patch) | |
tree | 680798b800e104d0e766a3ab7a0f39469b2671fa /test/mppa/general | |
parent | 0b86431038c1e874d7d7030ab41a8f56b0a9991f (diff) | |
parent | 154230f3d9cad4f8de59e8fcaa9d0fe4ae151a98 (diff) | |
download | compcert-kvx-a220a09ae6ce52400a563ea6ee65aa36b2ea9dfb.tar.gz compcert-kvx-a220a09ae6ce52400a563ea6ee65aa36b2ea9dfb.zip |
Merge branch 'mppa_asmbloc_nobreg' into mppa_k1c
Conflicts:
mppa_k1c/Asm.v
mppa_k1c/Asmexpand.ml
mppa_k1c/TargetPrinter.ml
test/mppa/Makefile
test/mppa/builtins/clzll.c
test/mppa/generate.sh
Diffstat (limited to 'test/mppa/general')
57 files changed, 0 insertions, 477 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/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 b7dc4933..00000000 --- a/test/mppa/general/framework.h +++ /dev/null @@ -1,37 +0,0 @@ -#ifndef __FRAMEWORK_H__ -#define __FRAMEWORK_H__ - -#include "../lib/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, 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 fb07b94f..00000000 --- a/test/mppa/general/stsud.c +++ /dev/null @@ -1,7 +0,0 @@ -#include "framework.h" - -BEGIN_TEST_N(unsigned long long, 2) -{ - c = __builtin_k1_stsud(t[0], t[1]); -} -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() |