Add BMI reproducer

5 files changed, 23 insertions, 0 deletions

diff --git a/reproducers/issue-1370a.c b/reproducers/issue-1370a.c
new file mode 100644
index 0000000..ebeca35
--- /dev/null
+++ b/reproducers/issue-1370a.c
@@ -0,0 +1,3 @@
+void main() {
+    asm("blsi %rax, %rbx");
+}
diff --git a/reproducers/issue-1370b.c b/reproducers/issue-1370b.c
new file mode 100644
index 0000000..64f64fd
--- /dev/null
+++ b/reproducers/issue-1370b.c
@@ -0,0 +1,3 @@
+void main() {
+    asm("blsr %rbx, %rax");
+}
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");
+}
diff --git a/reproducers/issue-1372.c b/reproducers/issue-1372.c
new file mode 100644
index 0000000..7f5f3a0
--- /dev/null
+++ b/reproducers/issue-1372.c
@@ -0,0 +1,6 @@
+void main() {
+    asm("mov $0x17b3693f77fb6e9, %rax");
+    asm("mov $0x8f635a775ad3b9b4, %rbx");
+    asm("mov $0xb717b75da9983018, %rcx");
+    asm("bextr %ecx, %ebx, %eax");
+}
diff --git a/reproducers/issue-1374.c b/reproducers/issue-1374.c
new file mode 100644
index 0000000..f2de49f
--- /dev/null
+++ b/reproducers/issue-1374.c
@@ -0,0 +1,6 @@
+void main() {
+    asm("mov $0xb1aa9da2fe33fe3, %rcx");
+    asm("mov $0x80000000ffffffff, %rbx");
+    asm("mov $0xf3fce8829b99a5c6, %rax");
+    asm("bzhi %rax, %rbx, %rcx");
+}