Update reproducers ck/reproducers

5 files changed, 7 insertions, 40 deletions

diff --git a/reproducers/issue-1375.c b/reproducers/issue-1375.c
index 1408ca4..63797d7 100644
--- a/reproducers/issue-1375.c
+++ b/reproducers/issue-1375.c
@@ -1,4 +1,5 @@
 void main() {
+    asm(".intel_syntax noprefix");
     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-1376.c b/reproducers/issue-1376.c
index 8611c95..5da4b8f 100644
--- a/reproducers/issue-1376.c
+++ b/reproducers/issue-1376.c
@@ -1,4 +1,5 @@
 void main() {
+    asm(".intel_syntax noprefix");
     asm("mov rax, 0xa02e698e741f5a6a");
     asm("mov rbx, 0x20959ddd7a0aef");
     asm("lsl ax, bx");
diff --git a/reproducers/issue-1832422.c b/reproducers/issue-1832422.c
index 108b661..6463bb4 100644
--- a/reproducers/issue-1832422.c
+++ b/reproducers/issue-1832422.c
@@ -1,3 +1,4 @@
 void main() {
+    asm(".intel_syntax noprefix");
     asm("cmppd xmm0,xmm0,0xd1");
 }
diff --git a/reproducers/issue-1861404.c b/reproducers/issue-1861404.c
index c83dbc2..7db3015 100644
--- a/reproducers/issue-1861404.c
+++ b/reproducers/issue-1861404.c
@@ -1,29 +1,10 @@
-#include <stdio.h>
-#include <string.h>
-
 #define YMM_SIZE (32) // bytes
 
-void hex_dump(unsigned char *data, unsigned int len) {
-    for(unsigned int i=0; i<len; i++) {
-        printf("%02X ", data[i]);
-    }
-    printf("\n");
-}
-
-void set_ymm0(unsigned char m[YMM_SIZE]) {
-}
-
-void get_ymm0(unsigned char m[YMM_SIZE]) {
-    __asm__ __volatile__ ("vmovdqu %%ymm0, (%0);"::"r"(m):);
-}
-
 int main() {
     unsigned char src[YMM_SIZE] = {0x00,0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08,0x09,0x0a,0x0b,0x0c,0x0d,0x0e,0x0f,0x10,0x11,0x12,0x13,0x14,0x15,0x16,0x17,0x18,0x19,0x1a,0x1b,0x1c,0x1d,0x1e,0x1f};
     unsigned char dst[YMM_SIZE] = {0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00};
 
     __asm__ __volatile__ ("vmovdqu (%0), %%ymm0;"::"r"(src):);
 
-    hex_dump(dst, YMM_SIZE);
-
     return 0;
 }
diff --git a/reproducers/issue-2495.c b/reproducers/issue-2495.c
index 3648c1a..6fe4c35 100644
--- a/reproducers/issue-2495.c
+++ b/reproducers/issue-2495.c
@@ -1,20 +1,8 @@
-#include <stdint.h>
-#include <stdio.h>
-#include <string.h>
+char i_R8[8] = { 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0 };
+char i_MM0[8] = { 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff };
+char o_R8[8];
 
-uint8_t i_R8[8] = { 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0 };
-uint8_t i_MM0[8] = { 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff };
-uint8_t o_R8[8];
-
-void __attribute__ ((noinline)) show_state() {
-    printf("R8: ");
-    for (int i = 0; i < 8; i++) {
-        printf("%02x ", o_R8[i]);
-    }
-    printf("\n");
-}
-
-void __attribute__ ((noinline)) run() {
+int main(int argc, char **argv) {
     __asm__ (
         ".intel_syntax noprefix\n"
         "mov r8, qword ptr [rip + i_R8]\n"
@@ -23,10 +11,5 @@ void __attribute__ ((noinline)) run() {
         "mov qword ptr [rip + o_R8], r8\n"
         ".att_syntax\n"
     );
-}
-
-int main(int argc, char **argv) {
-    run();
-    show_state();
     return 0;
 }