aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa/interop/common.c
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/common.c
parentb4a08d0815342b6238d307864f0823d0f07bb691 (diff)
downloadcompcert-kvx-bc1e43ea95b9455cdccee442db77bc5fafd3dcc6.tar.gz
compcert-kvx-bc1e43ea95b9455cdccee442db77bc5fafd3dcc6.zip
tests for kvx
Diffstat (limited to 'test/mppa/interop/common.c')
-rw-r--r--test/mppa/interop/common.c257
1 files changed, 0 insertions, 257 deletions
diff --git a/test/mppa/interop/common.c b/test/mppa/interop/common.c
deleted file mode 100644
index 05b49187..00000000
--- a/test/mppa/interop/common.c
+++ /dev/null
@@ -1,257 +0,0 @@
-#define STACK int a[100];\
- a[42] = 42;
-
-#define ONEARG_OP(arg) (3*magic(arg)+2)
-
-#define MULTIARG_OP(arg1, arg2, arg3, arg4) (arg1 ^ magic(arg2) << arg3 - arg4)
-
-#define MANYARG_OP(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9,\
- a10, a11, a12, a13, a14, a15, a16, a17, a18, a19,\
- a20, a21, a22, a23, a24, a25, a26, a27, a28, a29)\
- (a0 * a1 * a2 * magic(a3) * a4 * a5 * a6 * a7 * a8 * a9 *\
- a10 * a11 * a12 * a13 * a14 * a15 * a16 * a17 * a18 * a19 *\
- a20 * a21 * a22 * a23 * a24 * a25 * a26 * a27 * a28 * a29)
-
-int magic(long a){
- return a*42 + 26;
-}
-
-void void_void(){
- STACK;
-}
-
-long long ll_void(){
- STACK;
- return 0xdeadbeefdeadbeefULL;
-}
-
-int i_oneiarg(int arg){
- STACK;
- return ONEARG_OP(arg);
-}
-
-int i_multiiargs(int arg1, char arg2, char arg3, int arg4){
- STACK;
- return MULTIARG_OP(arg1, arg2, arg3, arg4);
-}
-
-int i_manyiargs(char a0, int a1, char a2, int a3, char a4, char a5, int a6, int a7, char a8, int a9,
- char a10, int a11, char a12, int a13, char a14, char a15, int a16, int a17, char a18, int a19,
- char a20, int a21, char a22, int a23, char a24, char a25, int a26, int a27, char a28, int a29)
-{
- STACK;
- return MANYARG_OP(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9,
- a10, a11, a12, a13, a14, a15, a16, a17, a18, a19,
- a20, a21, a22, a23, a24, a25, a26, a27, a28, a29);
-}
-
-int ll_onellarg(long long arg){
- STACK;
- return ONEARG_OP(arg);
-}
-
-long long ll_multillargs(long long arg1, char arg2, char arg3, long long arg4){
- STACK;
- return MULTIARG_OP(arg1, arg2, arg3, arg4);
-}
-
-long long ll_manyllargs(char a0, int a1, char a2, long long a3, char a4, char a5, long long a6, long long a7, char a8, long long a9,
- char a10, long long a11, char a12, int a13, char a14, char a15, long long a16, long long a17, char a18, long long a19,
- char a20, int a21, char a22, long long a23, char a24, char a25, long long a26, int a27, char a28, long long a29)
-{
- STACK;
- return MANYARG_OP(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9,
- a10, a11, a12, a13, a14, a15, a16, a17, a18, a19,
- a20, a21, a22, a23, a24, a25, a26, a27, a28, a29);
-}
-
-double stackhell(char a0, int a1, float a2, long long a3, double a4, char a5, long long a6, long long a7, float a8, long long a9,
- double a10, long long a11, char a12, int a13, float a14, double a15, long long a16, long long a17, float a18, long long a19,
- char a20, int a21, char a22, long long a23, float a24, char a25, long long a26, int a27, double a28, long long a29)
-{
- long long b0 = a0;
- long long b1 = a1 * b0;
- long long b2 = a2 * b1;
- float b3 = a3 * b2;
- int b4 = a4 * b3;
- double b5 = a5 * b4;
- int b6 = a6 * b5;
- float b7 = a7 * b6;
- char b8 = a8 * b7;
- double b9 = a9 * b8;
- char b10 = a10 * b9;
- float b11 = a11 * b10;
- char b12 = a12 * b11;
- int b13 = a13 * b12;
- long long b14 = a14 * b13;
- long long b15 = a15 * b14;
- long long b16 = a16 * b15;
- long long b17 = a17 * b16;
- long long b18 = a18 * b17;
- long long b19 = a19 * b18;
- long long b20 = a20 * b19;
- long long b21 = a21 * b20;
- long long b22 = a22 * b21;
- long long b23 = a23 * b22;
- long long b24 = a24 * b23;
- long long b25 = a25 * b24;
- long long b26 = a26 * b25;
- long long b27 = a27 * b26;
- int b28 = a28 * b27;
- double b29 = a29 * b28;
- float b30 = b0 * b29;
- double b31 = b1 * b30;
- int b32 = b2 * b31;
- char b33 = b3 * b32;
- float b34 = b4 * b33;
- char b35 = b5 * b34;
- double b36 = b6 * b35;
- float b37 = b7 * b36;
- int b38 = b8 * b37;
- double b39 = b9 * b38;
- float b40 = b0 * b39;
- int b41 = b1 * b40;
- double b42 = b2 * b41;
- float b43 = b3 * b42;
- int b44 = b4 * b43;
- double b45 = b5 * b44;
- int b46 = b6 * b45;
- double b47 = b7 * b46;
- int b48 = b8 * b47;
- long long b49 = b9 * b48;
- long long b50 = b0 * b49;
- long long b51 = b1 * b50;
- long long b52 = b2 * b51;
- long long b53 = b3 * b52;
- long long b54 = b4 * b53;
- long long b55 = b5 * b54;
- long long b56 = b6 * b55;
- long long b57 = b7 * b56;
- int b58 = b8 * b57;
- float b59 = b9 * b58;
- int b60 = b0 * b59;
- float b61 = b1 * b60;
- float b62 = b2 * b61;
- int b63 = b3 * b62;
- double b64 = b4 * b63;
- int b65 = b5 * b64;
- int b66 = b6 * b65;
- double b67 = b7 * b66;
- double b68 = b8 * b67;
- int b69 = b9 * b68;
- char b70 = b0 * b69;
- char b71 = b1 * b70;
- double b72 = b2 * b71;
- double b73 = b3 * b72;
- char b74 = b4 * b73;
- float b75 = b5 * b74;
- float b76 = b6 * b75;
- double b77 = b7 * b76;
- char b78 = b8 * b77;
- float b79 = b9 * b78;
- float b80 = b0 * b79;
- char b81 = b1 * b80;
- char b82 = b2 * b81;
- float b83 = b3 * b82;
- char b84 = b4 * b83;
- int b85 = b5 * b84;
- int b86 = b6 * b85;
- double b87 = b7 * b86;
- float b88 = b8 * b87;
- double b89 = b9 * b88;
- int b90 = b0 * b89;
- float b91 = b1 * b90;
- double b92 = b2 * b91;
- int b93 = b3 * b92;
- int b94 = b4 * b93;
- long long b95 = b5 * b94;
- long long b96 = b6 * b95;
- long long b97 = b7 * b96;
- long long b98 = b8 * b97;
- long long b99 = b9 * b98;
- long long b100 = b0 * b99;
- long long b101 = b1 * b100;
- long long b102 = b2 * b101;
- long long b103 = b3 * b102;
- long long b104 = b4 * b103;
- long long b105 = b5 * b104;
- long long b106 = b6 * b105;
- long long b107 = b7 * b106;
- long long b108 = b8 * b107;
- long long b109 = b9 * b108;
- long long b110 = b0 * b109;
- long long b111 = b1 * b110;
- long long b112 = b2 * b111;
- long long b113 = b3 * b112;
- long long b114 = b4 * b113;
- int b115 = b5 * b114;
- int b116 = b6 * b115;
- int b117 = b7 * b116;
- float b118 = b8 * b117;
- float b119 = b9 * b118;
- int b120 = b0 * b119;
- double b121 = b1 * b120;
- float b122 = b2 * b121;
- int b123 = b3 * b122;
- double b124 = b4 * b123;
- int b125 = b5 * b124;
- char b126 = b6 * b125;
- double b127 = b7 * b126;
- char b128 = b8 * b127;
- float b129 = b9 * b128;
- char b130 = b0 * b129;
- double b131 = b1 * b130;
- char b132 = b2 * b131;
- float b133 = b3 * b132;
- char b134 = b4 * b133;
- double b135 = b5 * b134;
- char b136 = b6 * b135;
- float b137 = b7 * b136;
- char b138 = b8 * b137;
- double b139 = b9 * b138;
- char b140 = b0 * b139;
- float b141 = b1 * b140;
- char b142 = b2 * b141;
- double b143 = b3 * b142;
- char b144 = b4 * b143;
- float b145 = b5 * b144;
- char b146 = b6 * b145;
- double b147 = b7 * b146;
- int b148 = b8 * b147;
- float b149 = b9 * b148;
- int b150 = b0 * b149;
- double b151 = b1 * b150;
- int b152 = b2 * b151;
- float b153 = b3 * b152;
- int b154 = b4 * b153;
- double b155 = b5 * b154;
- int b156 = b6 * b155;
- float b157 = b7 * b156;
- int b158 = b8 * b157;
- double b159 = b9 * b158;
- int b160 = b0 * b159;
- float b161 = b1 * b160;
- int b162 = b2 * b161;
- return MANYARG_OP(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9,
- a10, a11, a12, a13, a14, a15, a16, a17, a18, a19,
- a20, a21, a22, a23, a24, a25, a26, a27, a28, a29)
- * b0 * b1 * b2 * b3 * b4 * b5 * b6 * b7 * b8 * b9
- * b10 * b11 * b12 * b13 * b14 * b15 * b16 * b17 * b18 * b19
- * b20 * b21 * b22 * b23 * b24 * b25 * b26 * b27 * b28 * b29
- * b30 * b31 * b32 * b33 * b34 * b35 * b36 * b37 * b38 * b39
- * b40 * b41 * b42 * b43 * b44 * b45 * b46 * b47 * b48 * b49
- * b50 * b51 * b52 * b53 * b54 * b55 * b56 * b57 * b58 * b59
- * b60 * b61 * b62 * b63 * b64 * b65 * b66 * b67 * b68 * b69
- * b70 * b71 * b72 * b73 * b74 * b75 * b76 * b77 * b78 * b79
- * b80 * b81 * b82 * b83 * b84 * b85 * b86 * b87 * b88 * b89
- * b90 * b91 * b92 * b93 * b94 * b95 * b96 * b97 * b98 * b99
- * b100 * b101 * b102 * b103 * b104 * b105 * b106 * b107 * b108 * b109
- * b110 * b111 * b112 * b113 * b114 * b115 * b116 * b117 * b118 * b119
- * b120 * b121 * b122 * b123 * b124 * b125 * b126 * b127 * b128 * b129
- * b130 * b131 * b132 * b133 * b134 * b135 * b136 * b137 * b138 * b139
- * b140 * b141 * b142 * b143 * b144 * b145 * b146 * b147 * b148 * b149
- * b150 * b151 * b152 * b153 * b154 * b155 * b156 * b157 * b158 * b159
- * b160 * b161 * b162
- ;
-}
-