From bc1e43ea95b9455cdccee442db77bc5fafd3dcc6 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 26 May 2020 22:11:32 +0200
Subject: tests for kvx

---
 test/kvx/interop/common.c | 257 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 257 insertions(+)
 create mode 100644 test/kvx/interop/common.c

(limited to 'test/kvx/interop/common.c')

diff --git a/test/kvx/interop/common.c b/test/kvx/interop/common.c
new file mode 100644
index 00000000..05b49187
--- /dev/null
+++ b/test/kvx/interop/common.c
@@ -0,0 +1,257 @@
+#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
+    ;
+}
+
-- 
cgit