1 files changed, 5 insertions, 0 deletions
diff --git a/reproducers/issue-1371.c b/reproducers/issue-1371.c
new file mode 100644
index 0000000..96f52f7
--- /dev/null
+++ b/reproducers/issue-1371.c
@@ -0,0 +1,5 @@
+void main() {
+    asm("mov $0x65b2e276ad27c67, %rax");
+    asm("mov $0x62f34955226b2b5d, %rbx");
+    asm("blsmsk %ebx, %eax");
+}