Split test cases from none/tests/amd64/cet_nops

into three different files with regards to using
fs prefix, gs prefix or no fs/gs prefix.
Pertains to BZ#379525.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@16421

diff --git a/none/tests/amd64-linux/Makefile.am b/none/tests/amd64-linux/Makefile.am
index 3e5a959aae6e377f2a11a76d2adb870e72def77c..c3e217dafc4480760d997b00985f0bcbddf10cca 100644 (file)
--- a/none/tests/amd64-linux/Makefile.am
+++ b/none/tests/amd64-linux/Makefile.am
@@ -6,10 +6,15 @@ dist_noinst_SCRIPTS = \
 
 EXTRA_DIST = \
        bug345887.stderr.exp bug345887.vgtest \
+       cet_nops_fs.stderr.exp cet_nops_fs.stdout.exp cet_nops_fs.vgtest \
+       cet_nops_gs.stderr.exp cet_nops_gs.stdout.exp cet_nops_gs.vgtest \
        map_32bits.stderr.exp map_32bits.vgtest
 
 check_PROGRAMS = \
-       bug345887 map_32bits
+       bug345887 \
+       cet_nops_fs \
+       cet_nops_gs \
+       map_32bits
 
 AM_CFLAGS    += @FLAG_M64@
 AM_CXXFLAGS  += @FLAG_M64@

diff --git a/none/tests/amd64-linux/cet_nops_fs.c b/none/tests/amd64-linux/cet_nops_fs.c
new file mode 100644 (file)
index 0000000..70645f7
--- /dev/null
+++ b/none/tests/amd64-linux/cet_nops_fs.c
@@ -0,0 +1,311 @@
+#include <stdio.h>\r
+\r
+int main ()\r
+{\r
+   printf("start testing FS prefix ..\n");\r
+   fflush(stdout);\r
+\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+\r
+  printf ("done\n");\r
+  return 0;\r
+}\r

diff --git a/none/tests/amd64-linux/cet_nops_fs.stderr.exp b/none/tests/amd64-linux/cet_nops_fs.stderr.exp
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/none/tests/amd64-linux/cet_nops_fs.stdout.exp b/none/tests/amd64-linux/cet_nops_fs.stdout.exp
new file mode 100644 (file)
index 0000000..909e188
--- /dev/null
+++ b/none/tests/amd64-linux/cet_nops_fs.stdout.exp
@@ -0,0 +1,2 @@
+start testing FS prefix ..
+done

diff --git a/none/tests/amd64-linux/cet_nops_fs.vgtest b/none/tests/amd64-linux/cet_nops_fs.vgtest
new file mode 100644 (file)
index 0000000..8681e9a
--- /dev/null
+++ b/none/tests/amd64-linux/cet_nops_fs.vgtest
@@ -0,0 +1,2 @@
+prog: cet_nops_fs
+vgopts: -q

diff --git a/none/tests/amd64-linux/cet_nops_gs.c b/none/tests/amd64-linux/cet_nops_gs.c
new file mode 100644 (file)
index 0000000..c03f02c
--- /dev/null
+++ b/none/tests/amd64-linux/cet_nops_gs.c
@@ -0,0 +1,311 @@
+#include <stdio.h>\r
+\r
+int main ()\r
+{\r
+   printf("start testing GS prefix ..\n");\r
+   fflush(stdout);\r
+\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");\r
+\r
+  printf ("done\n");\r
+  return 0;\r
+}\r

diff --git a/none/tests/amd64-linux/cet_nops_gs.stderr.exp b/none/tests/amd64-linux/cet_nops_gs.stderr.exp
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/none/tests/amd64-linux/cet_nops_gs.stdout.exp b/none/tests/amd64-linux/cet_nops_gs.stdout.exp
new file mode 100644 (file)
index 0000000..b9673a7
--- /dev/null
+++ b/none/tests/amd64-linux/cet_nops_gs.stdout.exp
@@ -0,0 +1,2 @@
+start testing GS prefix ..
+done

diff --git a/none/tests/amd64-linux/cet_nops_gs.vgtest b/none/tests/amd64-linux/cet_nops_gs.vgtest
new file mode 100644 (file)
index 0000000..085e266
--- /dev/null
+++ b/none/tests/amd64-linux/cet_nops_gs.vgtest
@@ -0,0 +1,2 @@
+prog: cet_nops_gs
+vgopts: -q

diff --git a/none/tests/amd64/cet_nops.c b/none/tests/amd64/cet_nops.c
index bb1a99e9babebb775fcf9de2c790daf4f217823a..7f1644e7f9ea7b9e29a9078e0bd6c08741318bdc 100644 (file)
--- a/none/tests/amd64/cet_nops.c
+++ b/none/tests/amd64/cet_nops.c
@@ -2,9 +2,10 @@
 
 int main ()
 {
-   printf("start doing absolutely nothing ..\n");
+   printf("start doing absolutely nothing without fs and gs prefixes ..\n");
    fflush(stdout);
 __asm__ __volatile__ (".byte 0x0f, 0x19, 0xff" :::"cc","memory");
+__asm__ __volatile__ (".byte 0x0f, 0x19, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x19, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x19, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x0f, 0x19, 0xff" :::"cc","memory");
@@ -34,18 +35,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x19, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x19, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x19, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x19, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x19, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x19, 0x0" :::"cc","memory");
@@ -76,18 +65,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x19, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x19, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x19, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x19, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
@@ -118,18 +95,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory"
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
@@ -160,18 +125,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","m
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
@@ -202,18 +155,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0"
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
@@ -244,18 +185,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0,
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
@@ -286,18 +215,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
@@ -328,18 +245,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x3
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
@@ -370,18 +275,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x19, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x19, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x19, 0xff" :::"cc","memory");
@@ -412,18 +305,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x19, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x19, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x19, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x19, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0xff" :::"cc","memory");
@@ -454,18 +335,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x0" :::"cc","memory");
@@ -496,18 +365,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
@@ -538,18 +395,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory"
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
@@ -580,18 +425,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","m
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
@@ -622,18 +455,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0"
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
@@ -664,18 +485,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0,
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
@@ -706,18 +515,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
@@ -748,18 +545,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x3
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
@@ -790,18 +575,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0xff" :::"cc","memory");
@@ -832,18 +605,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1d, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1d, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1d, 0xff" :::"cc","memory");
@@ -874,18 +635,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1d, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1d, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1d, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1d, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1d, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1d, 0x0" :::"cc","memory");
@@ -916,18 +665,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1d, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1d, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1d, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1d, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
@@ -958,18 +695,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory"
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
@@ -1000,18 +725,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","m
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
@@ -1042,18 +755,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0"
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
@@ -1084,18 +785,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0,
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
@@ -1126,18 +815,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
@@ -1168,18 +845,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x3
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
@@ -1210,18 +875,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1d, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1d, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1d, 0xff" :::"cc","memory");
@@ -1252,18 +905,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1d, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1d, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1d, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1d, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0xff" :::"cc","memory");
@@ -1294,18 +935,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x0" :::"cc","memory");
@@ -1336,18 +965,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
@@ -1378,18 +995,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory"
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
@@ -1420,18 +1025,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","m
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
@@ -1462,18 +1055,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0"
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
@@ -1504,18 +1085,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0,
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
@@ -1546,18 +1115,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
@@ -1588,18 +1145,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x3
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
@@ -1630,18 +1175,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1e, 0xff" :::"cc","memory");
@@ -1672,18 +1205,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1e, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1f, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1f, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1f, 0xff" :::"cc","memory");
@@ -1714,18 +1235,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1f, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1f, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1f, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1f, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1f, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1f, 0x0" :::"cc","memory");
@@ -1756,18 +1265,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1f, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1f, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1f, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1f, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
@@ -1798,18 +1295,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory"
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x40, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
@@ -1840,18 +1325,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","m
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x44, 0x0,  0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
@@ -1882,18 +1355,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0"
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x80, 0x0,  0x0,  0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
@@ -1924,18 +1385,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0,
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x84, 0x0,  0x0,  0x0, 0x0, 0x0" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
@@ -1966,18 +1415,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x5A, 0x22" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
@@ -2008,18 +1445,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x3
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x9C, 0x1D, 0x11, 0x22, 0x33, 0x44" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
@@ -2050,18 +1475,6 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0x04, 0x60" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x0f, 0x1f, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0x66, 0x0f, 0x1f, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x0f, 0x1f, 0xff" :::"cc","memory");
@@ -2092,20 +1505,7 @@ __asm__ __volatile__ (".byte 0xf2, 0x26, 0x0f, 0x1f, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x26, 0x0f, 0x1f, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf2, 0x66, 0x26, 0x0f, 0x1f, 0xff" :::"cc","memory");
 __asm__ __volatile__ (".byte 0xf3, 0x66, 0x26, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x64, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0x66, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf2, 0x66, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");
-__asm__ __volatile__ (".byte 0xf3, 0x66, 0x65, 0x0f, 0x1f, 0xff" :::"cc","memory");
 
-  printf("finished doing absolutely nothing.\n");
-  fflush(stdout);
+  printf ("done\n");
   return 0;
 }

diff --git a/none/tests/amd64/cet_nops.stdout.exp b/none/tests/amd64/cet_nops.stdout.exp
index 0d9114e4989ddca25037766cad67fb01f0d8d078..7186474d1bac04249f4bb4a9b69d0c2c77420067 100644 (file)
--- a/none/tests/amd64/cet_nops.stdout.exp
+++ b/none/tests/amd64/cet_nops.stdout.exp
@@ -1,2 +1,2 @@
-start doing absolutely nothing ..
-finished doing absolutely nothing.
+start doing absolutely nothing without fs and gs prefixes ..
+done