aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-03-19 11:57:59 +0100
committerCyril SIX <cyril.six@kalray.eu>2019-03-19 11:57:59 +0100
commite5780e9879b31e5847edfdab1b5fb4876e642c6f (patch)
tree2105a467526e0fde8b748f076e639cb7337ca743 /test/mppa
parentd3ade3a4489dbbe3914e066374c37e6d44377a05 (diff)
downloadcompcert-kvx-e5780e9879b31e5847edfdab1b5fb4876e642c6f.tar.gz
compcert-kvx-e5780e9879b31e5847edfdab1b5fb4876e642c6f.zip
[TEST BROKEN] Trying to replace some int by float in stackhell interop test
Diffstat (limited to 'test/mppa')
-rw-r--r--test/mppa/interop/common.c130
-rw-r--r--test/mppa/interop/common.h2
-rw-r--r--test/mppa/interop/stackhell.c5
3 files changed, 69 insertions, 68 deletions
diff --git a/test/mppa/interop/common.c b/test/mppa/interop/common.c
index 2b5f5b5e..b8f9d858 100644
--- a/test/mppa/interop/common.c
+++ b/test/mppa/interop/common.c
@@ -8,9 +8,9 @@
#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 + 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 + 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)
void void_void(){
STACK;
@@ -61,22 +61,22 @@ long long ll_manyllargs(char a0, int a1, char a2, long long a3, char a4, char a5
a20, a21, a22, a23, a24, a25, a26, a27, a28, a29);
}
-long long stackhell(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)
+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;
- int b3 = a3 + b2;
+ float b3 = a3 + b2;
int b4 = a4 + b3;
- int b5 = a5 + b4;
+ double b5 = a5 + b4;
int b6 = a6 + b5;
- int b7 = a7 + b6;
+ float b7 = a7 + b6;
char b8 = a8 + b7;
- char b9 = a9 + b8;
+ double b9 = a9 + b8;
char b10 = a10 + b9;
- char b11 = a11 + b10;
+ float b11 = a11 + b10;
char b12 = a12 + b11;
int b13 = a13 + b12;
long long b14 = a14 + b13;
@@ -94,25 +94,25 @@ long long stackhell(char a0, int a1, char a2, long long a3, char a4, char a5, lo
long long b26 = a26 + b25;
long long b27 = a27 + b26;
int b28 = a28 + b27;
- int b29 = a29 + b28;
- int b30 = b0 + b29;
- int b31 = b1 + b30;
+ double b29 = a29 + b28;
+ float b30 = b0 + b29;
+ double b31 = b1 + b30;
int b32 = b2 + b31;
char b33 = b3 + b32;
- char b34 = b4 + b33;
+ float b34 = b4 + b33;
char b35 = b5 + b34;
- char b36 = b6 + b35;
- char b37 = b7 + b36;
+ double b36 = b6 + b35;
+ float b37 = b7 + b36;
int b38 = b8 + b37;
- int b39 = b9 + b38;
- int b40 = b0 + b39;
+ double b39 = b9 + b38;
+ float b40 = b0 + b39;
int b41 = b1 + b40;
- int b42 = b2 + b41;
- int b43 = b3 + b42;
+ double b42 = b2 + b41;
+ float b43 = b3 + b42;
int b44 = b4 + b43;
- int b45 = b5 + b44;
+ double b45 = b5 + b44;
int b46 = b6 + b45;
- int b47 = b7 + b46;
+ double b47 = b7 + b46;
int b48 = b8 + b47;
long long b49 = b9 + b48;
long long b50 = b0 + b49;
@@ -124,40 +124,40 @@ long long stackhell(char a0, int a1, char a2, long long a3, char a4, char a5, lo
long long b56 = b6 + b55;
long long b57 = b7 + b56;
int b58 = b8 + b57;
- int b59 = b9 + b58;
+ float b59 = b9 + b58;
int b60 = b0 + b59;
- int b61 = b1 + b60;
- int b62 = b2 + b61;
+ float b61 = b1 + b60;
+ float b62 = b2 + b61;
int b63 = b3 + b62;
- int b64 = b4 + b63;
+ double b64 = b4 + b63;
int b65 = b5 + b64;
int b66 = b6 + b65;
- int b67 = b7 + b66;
- int b68 = b8 + b67;
+ double b67 = b7 + b66;
+ double b68 = b8 + b67;
int b69 = b9 + b68;
char b70 = b0 + b69;
char b71 = b1 + b70;
- char b72 = b2 + b71;
- char b73 = b3 + b72;
+ double b72 = b2 + b71;
+ double b73 = b3 + b72;
char b74 = b4 + b73;
- char b75 = b5 + b74;
- char b76 = b6 + b75;
- char b77 = b7 + b76;
+ float b75 = b5 + b74;
+ float b76 = b6 + b75;
+ double b77 = b7 + b76;
char b78 = b8 + b77;
- char b79 = b9 + b78;
- char b80 = b0 + b79;
+ float b79 = b9 + b78;
+ float b80 = b0 + b79;
char b81 = b1 + b80;
char b82 = b2 + b81;
- char b83 = b3 + b82;
+ float b83 = b3 + b82;
char b84 = b4 + b83;
int b85 = b5 + b84;
int b86 = b6 + b85;
- int b87 = b7 + b86;
- int b88 = b8 + b87;
- int b89 = b9 + b88;
+ double b87 = b7 + b86;
+ float b88 = b8 + b87;
+ double b89 = b9 + b88;
int b90 = b0 + b89;
- int b91 = b1 + b90;
- int b92 = b2 + b91;
+ float b91 = b1 + b90;
+ double b92 = b2 + b91;
int b93 = b3 + b92;
int b94 = b4 + b93;
long long b95 = b5 + b94;
@@ -183,50 +183,50 @@ long long stackhell(char a0, int a1, char a2, long long a3, char a4, char a5, lo
int b115 = b5 + b114;
int b116 = b6 + b115;
int b117 = b7 + b116;
- int b118 = b8 + b117;
- int b119 = b9 + b118;
+ float b118 = b8 + b117;
+ float b119 = b9 + b118;
int b120 = b0 + b119;
- int b121 = b1 + b120;
- int b122 = b2 + b121;
+ double b121 = b1 + b120;
+ float b122 = b2 + b121;
int b123 = b3 + b122;
- int b124 = b4 + b123;
+ double b124 = b4 + b123;
int b125 = b5 + b124;
char b126 = b6 + b125;
- char b127 = b7 + b126;
+ double b127 = b7 + b126;
char b128 = b8 + b127;
- char b129 = b9 + b128;
+ float b129 = b9 + b128;
char b130 = b0 + b129;
- char b131 = b1 + b130;
+ double b131 = b1 + b130;
char b132 = b2 + b131;
- char b133 = b3 + b132;
+ float b133 = b3 + b132;
char b134 = b4 + b133;
- char b135 = b5 + b134;
+ double b135 = b5 + b134;
char b136 = b6 + b135;
- char b137 = b7 + b136;
+ float b137 = b7 + b136;
char b138 = b8 + b137;
- char b139 = b9 + b138;
+ double b139 = b9 + b138;
char b140 = b0 + b139;
- char b141 = b1 + b140;
+ float b141 = b1 + b140;
char b142 = b2 + b141;
- char b143 = b3 + b142;
+ double b143 = b3 + b142;
char b144 = b4 + b143;
- char b145 = b5 + b144;
+ float b145 = b5 + b144;
char b146 = b6 + b145;
- char b147 = b7 + b146;
+ double b147 = b7 + b146;
int b148 = b8 + b147;
- int b149 = b9 + b148;
+ float b149 = b9 + b148;
int b150 = b0 + b149;
- int b151 = b1 + b150;
+ double b151 = b1 + b150;
int b152 = b2 + b151;
- int b153 = b3 + b152;
+ float b153 = b3 + b152;
int b154 = b4 + b153;
- int b155 = b5 + b154;
+ double b155 = b5 + b154;
int b156 = b6 + b155;
- int b157 = b7 + b156;
+ float b157 = b7 + b156;
int b158 = b8 + b157;
- int b159 = b9 + b158;
+ double b159 = b9 + b158;
int b160 = b0 + b159;
- int b161 = b1 + b160;
+ 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,
diff --git a/test/mppa/interop/common.h b/test/mppa/interop/common.h
index 4e4a692a..055ce7ea 100644
--- a/test/mppa/interop/common.h
+++ b/test/mppa/interop/common.h
@@ -21,7 +21,7 @@ long long ll_manyllargs(char a0, long long a1, char a2, long long a3, char a4, c
char a10, long long a11, char a12, long long a13, char a14, char a15, long long a16, long long a17, char a18, long long a19,
char a20, long long a21, char a22, long long a23, char a24, char a25, long long a26, long long a27, char a28, long long a29);
-long long stackhell(char a0, long long a1, char a2, long long a3, char a4, char a5, long long a6, long long a7, char a8, long long a9,
+double stackhell(char a0, long long 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, long long a13, char a14, char a15, long long a16, long long a17, char a18, long long a19,
char a20, long long a21, char a22, long long a23, char a24, char a25, long long a26, long long a27, char a28, long long a29);
diff --git a/test/mppa/interop/stackhell.c b/test/mppa/interop/stackhell.c
index fbe7d56b..849367d1 100644
--- a/test/mppa/interop/stackhell.c
+++ b/test/mppa/interop/stackhell.c
@@ -1,8 +1,9 @@
#include "framework.h"
#include "common.h"
-BEGIN_TEST(long long)
+BEGIN_TEST(double)
c = stackhell(a, b, a-b, a+b, a*2, b*2, a*2-b, a+b*2, (a-b)*2, (a+b)*2,
-2*a, -2*b, a-b, a+b, a*3, b*3, a*3-b, a+b*3, (a-b)*3, (a+b)*3,
-3*a, -3*b, a-b, a+b, a*4, b*4, a*4-b, a+b*4, (a-b)*4, (a+b)*4);
-END_TEST()
+
+END_TESTF64()