1 files changed, 15 insertions, 0 deletions
diff --git a/test/monniaux/k1_builtins/sbmm8.c b/test/monniaux/k1_builtins/sbmm8.c
new file mode 100644
index 00000000..3b2ac447
--- /dev/null
+++ b/test/monniaux/k1_builtins/sbmm8.c
@@ -0,0 +1,15 @@
+#include <stdio.h>
+
+int main() {
+  {
+    unsigned long a = 0x12345678ABCDEFUL, b=0x12345118ABCD32UL, c;
+    c = __builtin_k1_sbmm8(a, b);
+    printf("%lx\n", c);
+  }
+  {
+    unsigned long a = 0x0102040810204080UL, b=0x12345118ABCD32UL, c;
+    c = __builtin_k1_sbmm8(a, b);
+    printf("%lx\n", c);
+  }
+  return 0;
+}