aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa/builtins
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-11-13 11:44:56 +0100
committerCyril SIX <cyril.six@kalray.eu>2018-11-13 11:44:56 +0100
commitd15b2c014daf547e10504278ae42d4651dc71319 (patch)
tree51e639c72c8d9b902621f1c27baf869da263d57e /test/mppa/builtins
parentf24d303df6cb125ca19b953bb364955cc6e8c246 (diff)
downloadcompcert-kvx-d15b2c014daf547e10504278ae42d4651dc71319.tar.gz
compcert-kvx-d15b2c014daf547e10504278ae42d4651dc71319.zip
Revamped the instruction testsuite (all instructions work except umodd and udivd)
Diffstat (limited to 'test/mppa/builtins')
-rw-r--r--test/mppa/builtins/clzll.c7
-rw-r--r--test/mppa/builtins/stsud.c7
2 files changed, 14 insertions, 0 deletions
diff --git a/test/mppa/builtins/clzll.c b/test/mppa/builtins/clzll.c
new file mode 100644
index 00000000..13905cba
--- /dev/null
+++ b/test/mppa/builtins/clzll.c
@@ -0,0 +1,7 @@
+#include "framework.h"
+
+BEGIN_TEST(long long)
+{
+ c = __builtin_clzll(a);
+}
+END_TEST()
diff --git a/test/mppa/builtins/stsud.c b/test/mppa/builtins/stsud.c
new file mode 100644
index 00000000..81fb6e6d
--- /dev/null
+++ b/test/mppa/builtins/stsud.c
@@ -0,0 +1,7 @@
+#include "framework.h"
+
+BEGIN_TEST(unsigned long long)
+{
+ c = __builtin_k1_stsud(a, b);
+}
+END_TEST()