aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-06-05 13:54:40 +0200
committerCyril SIX <cyril.six@kalray.eu>2018-06-05 13:54:40 +0200
commit48762e6309dc92ac7788a30c0ca1007715fce4db (patch)
treeca7483118aa80ad82480e84ff24278e93d9db03f /test/mppa
parent616f796999a47aa12aa60b0dc39274dd4fe7a2ca (diff)
downloadcompcert-kvx-48762e6309dc92ac7788a30c0ca1007715fce4db.tar.gz
compcert-kvx-48762e6309dc92ac7788a30c0ca1007715fce4db.zip
MPPA - Added Builtins support. Starting with clzll and stsud
Diffstat (limited to 'test/mppa')
-rw-r--r--test/mppa/general/clzll.c4
-rw-r--r--test/mppa/general/stsud.c5
2 files changed, 9 insertions, 0 deletions
diff --git a/test/mppa/general/clzll.c b/test/mppa/general/clzll.c
new file mode 100644
index 00000000..e3853ea8
--- /dev/null
+++ b/test/mppa/general/clzll.c
@@ -0,0 +1,4 @@
+int main(void){
+ long long a = -5;
+ return __builtin_clzll(a);
+}
diff --git a/test/mppa/general/stsud.c b/test/mppa/general/stsud.c
new file mode 100644
index 00000000..dc8769fe
--- /dev/null
+++ b/test/mppa/general/stsud.c
@@ -0,0 +1,5 @@
+int main(void){
+ unsigned long long a = 5;
+ long long b = -3;
+ return __builtin_k1_stsud(a, b);
+}