Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work

2 files changed, 26 insertions, 0 deletions

diff --git a/test/monniaux/acswap/test_swapd.c b/test/monniaux/acswap/test_swapd.c
new file mode 100644
index 00000000..4841f040
--- /dev/null
+++ b/test/monniaux/acswap/test_swapd.c
@@ -0,0 +1,13 @@
+#include <stdio.h>
+
+int main() {
+  unsigned long long loc=10, next=12, current=11;
+  union {
+    __int128 i128;
+    struct {
+      unsigned long low, high;
+    } i64_2;
+  } ret;
+  ret.i128 = __builtin_k1_acswapd(&loc, next, current);
+  printf("%lx %lx\n", ret.i64_2.low, ret.i64_2.high);
+}
diff --git a/test/monniaux/acswap/test_swapw.c b/test/monniaux/acswap/test_swapw.c
new file mode 100644
index 00000000..906938e0
--- /dev/null
+++ b/test/monniaux/acswap/test_swapw.c
@@ -0,0 +1,13 @@
+#include <stdio.h>
+
+int main() {
+  unsigned loc=11, next=12, current=11;
+  union {
+    __int128 i128;
+    struct {
+      unsigned long low, high;
+    } i64_2;
+  } ret;
+  ret.i128 = __builtin_k1_acswapw(&loc, next, current);
+  printf("%lx %lx\n", ret.i64_2.low, ret.i64_2.high);
+}