Add basic reproducers for QEMU bugs ta/reproducers

7 files changed, 51 insertions, 0 deletions

diff --git a/reproducers/issue-1370.c b/reproducers/issue-1370.c
new file mode 100644
index 0000000..ca4d0f9
--- /dev/null
+++ b/reproducers/issue-1370.c
@@ -0,0 +1,4 @@
+void main() {
+    asm("blsi rax, rbx");
+}
+
diff --git a/reproducers/issue-1371.c b/reproducers/issue-1371.c
new file mode 100644
index 0000000..30e2921
--- /dev/null
+++ b/reproducers/issue-1371.c
@@ -0,0 +1,6 @@
+void main() {
+    asm("mov rax, 0x65b2e276ad27c67");
+    asm("mov rbx, 0x62f34955226b2b5d");
+    asm("blsmsk eax, ebx");
+}
+
diff --git a/reproducers/issue-1372.c b/reproducers/issue-1372.c
new file mode 100644
index 0000000..6c1aec1
--- /dev/null
+++ b/reproducers/issue-1372.c
@@ -0,0 +1,7 @@
+void main() {
+    asm("mov rax, 0x17b3693f77fb6e9");
+    asm("mov rbx, 0x8f635a775ad3b9b4");
+    asm("mov rcx, 0xb717b75da9983018");
+    asm("bextr eax, ebx, ecx");
+}
+
diff --git a/reproducers/issue-1373.c b/reproducers/issue-1373.c
new file mode 100644
index 0000000..b9f100e
--- /dev/null
+++ b/reproducers/issue-1373.c
@@ -0,0 +1,6 @@
+void main() {
+    asm("push 512; popfq;");
+    asm("mov rax, 0xffffffff84fdbf24");
+    asm("mov rbx, 0xb197d26043bec15d");
+    asm("adox eax, ebx");
+}
diff --git a/reproducers/issue-1374.c b/reproducers/issue-1374.c
new file mode 100644
index 0000000..4cf3d65
--- /dev/null
+++ b/reproducers/issue-1374.c
@@ -0,0 +1,7 @@
+void main() {
+    asm("mov rax, 0xb1aa9da2fe33fe3");
+    asm("mov rbx, 0x80000000ffffffff");
+    asm("mov rcx, 0xf3fce8829b99a5c6");
+    asm("bzhi rax, rbx, rcx");
+}
+
diff --git a/reproducers/issue-1375.c b/reproducers/issue-1375.c
new file mode 100644
index 0000000..13be1c1
--- /dev/null
+++ b/reproducers/issue-1375.c
@@ -0,0 +1,5 @@
+void main() {
+    asm("mov rax, 0x000000007fffffff; push rax; mov rax, 0x00000000ffffffff; push rax; movdqu XMM1, [rsp];");
+    asm("mov rax, 0x2e711de7aa46af1a; push rax; mov rax, 0x7fffffff7fffffff; push rax; movdqu XMM2, [rsp];");
+    asm("addsubps xmm1, xmm2");
+}
diff --git a/reproducers/issue-2175.c b/reproducers/issue-2175.c
new file mode 100644
index 0000000..abbb6f7
--- /dev/null
+++ b/reproducers/issue-2175.c
@@ -0,0 +1,16 @@
+int main() {
+  __asm__ (
+    "movq $0x1, %r8\n"
+    "mov $0xedbf530a, %r9\n"
+    "push $0x1\n"
+    "popf\n"
+    "blsi %r9d, %r8d\n"
+    "pushf\n"
+    "pop %rax\n"
+    "pop %rbp\n"
+    "ret\n"
+  );
+
+  return 0;
+}
+