aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa/interop/common.h
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.h
parentb4a08d0815342b6238d307864f0823d0f07bb691 (diff)
downloadcompcert-kvx-bc1e43ea95b9455cdccee442db77bc5fafd3dcc6.tar.gz
compcert-kvx-bc1e43ea95b9455cdccee442db77bc5fafd3dcc6.zip
tests for kvx
Diffstat (limited to 'test/mppa/interop/common.h')
-rw-r--r--test/mppa/interop/common.h28
1 files changed, 0 insertions, 28 deletions
diff --git a/test/mppa/interop/common.h b/test/mppa/interop/common.h
deleted file mode 100644
index 055ce7ea..00000000
--- a/test/mppa/interop/common.h
+++ /dev/null
@@ -1,28 +0,0 @@
-#ifndef __COMMON_H__
-#define __COMMON_H__
-
-void void_void(void);
-
-long long ll_void(void);
-
-int i_oneiarg(int arg);
-
-int i_multiiargs(int arg1, char arg2, char arg3, int 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);
-
-int ll_onellarg(long long arg);
-
-long long ll_multillargs(long long arg1, char arg2, char arg3, long long arg4);
-
-long long ll_manyllargs(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);
-
-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);
-
-#endif