1 files changed, 10 insertions, 3 deletions
diff --git a/test/monniaux/k1_builtins/sbmm8.c b/test/monniaux/k1_builtins/sbmm8.c
index da1178dc..3b2ac447 100644
--- a/test/monniaux/k1_builtins/sbmm8.c
+++ b/test/monniaux/k1_builtins/sbmm8.c
@@ -1,8 +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 = 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;
 }