Valgrind: r16421 - in /trunk/none/tests: amd64-linux/ amd64/

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Valgrind: r16421 - in /trunk/none/tests: amd64-linux/ amd64/

svn-2
Author: iraisr
Date: Wed May 31 07:19:50 2017
New Revision: 16421

Log:
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.

Added:
    trunk/none/tests/amd64-linux/cet_nops_fs.c
    trunk/none/tests/amd64-linux/cet_nops_fs.stderr.exp
    trunk/none/tests/amd64-linux/cet_nops_fs.stdout.exp
    trunk/none/tests/amd64-linux/cet_nops_fs.vgtest
    trunk/none/tests/amd64-linux/cet_nops_gs.c
    trunk/none/tests/amd64-linux/cet_nops_gs.stderr.exp
    trunk/none/tests/amd64-linux/cet_nops_gs.stdout.exp
    trunk/none/tests/amd64-linux/cet_nops_gs.vgtest
Modified:
    trunk/none/tests/amd64/   (props changed)
    trunk/none/tests/amd64-linux/   (props changed)
    trunk/none/tests/amd64-linux/Makefile.am
    trunk/none/tests/amd64/cet_nops.c
    trunk/none/tests/amd64/cet_nops.stdout.exp

Modified: trunk/none/tests/amd64-linux/Makefile.am
==============================================================================
--- trunk/none/tests/amd64-linux/Makefile.am (original)
+++ trunk/none/tests/amd64-linux/Makefile.am Wed May 31 07:19:50 2017
@@ -6,10 +6,15 @@
 
 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@

Added: trunk/none/tests/amd64-linux/cet_nops_fs.c
==============================================================================
--- trunk/none/tests/amd64-linux/cet_nops_fs.c (added)
+++ trunk/none/tests/amd64-linux/cet_nops_fs.c Wed May 31 07:19:50 2017
@@ -0,0 +1,311 @@
+#include <stdio.h>
+
+int main ()
+{
+   printf("start testing FS prefix ..\n");
+   fflush(stdout);
+
+__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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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");
+
+  printf ("done\n");
+  return 0;
+}

Added: trunk/none/tests/amd64-linux/cet_nops_fs.stderr.exp
==============================================================================
    (empty)

Added: trunk/none/tests/amd64-linux/cet_nops_fs.stdout.exp
==============================================================================
--- trunk/none/tests/amd64-linux/cet_nops_fs.stdout.exp (added)
+++ trunk/none/tests/amd64-linux/cet_nops_fs.stdout.exp Wed May 31 07:19:50 2017
@@ -0,0 +1,2 @@
+start testing FS prefix ..
+done

Added: trunk/none/tests/amd64-linux/cet_nops_fs.vgtest
==============================================================================
--- trunk/none/tests/amd64-linux/cet_nops_fs.vgtest (added)
+++ trunk/none/tests/amd64-linux/cet_nops_fs.vgtest Wed May 31 07:19:50 2017
@@ -0,0 +1,2 @@
+prog: cet_nops_fs
+vgopts: -q

Added: trunk/none/tests/amd64-linux/cet_nops_gs.c
==============================================================================
--- trunk/none/tests/amd64-linux/cet_nops_gs.c (added)
+++ trunk/none/tests/amd64-linux/cet_nops_gs.c Wed May 31 07:19:50 2017
@@ -0,0 +1,311 @@
+#include <stdio.h>
+
+int main ()
+{
+   printf("start testing GS prefix ..\n");
+   fflush(stdout);
+
+__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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 ("done\n");
+  return 0;
+}

Added: trunk/none/tests/amd64-linux/cet_nops_gs.stderr.exp
==============================================================================
    (empty)

Added: trunk/none/tests/amd64-linux/cet_nops_gs.stdout.exp
==============================================================================
--- trunk/none/tests/amd64-linux/cet_nops_gs.stdout.exp (added)
+++ trunk/none/tests/amd64-linux/cet_nops_gs.stdout.exp Wed May 31 07:19:50 2017
@@ -0,0 +1,2 @@
+start testing GS prefix ..
+done

Added: trunk/none/tests/amd64-linux/cet_nops_gs.vgtest
==============================================================================
--- trunk/none/tests/amd64-linux/cet_nops_gs.vgtest (added)
+++ trunk/none/tests/amd64-linux/cet_nops_gs.vgtest Wed May 31 07:19:50 2017
@@ -0,0 +1,2 @@
+prog: cet_nops_gs
+vgopts: -q

Modified: trunk/none/tests/amd64/cet_nops.c
==============================================================================
--- trunk/none/tests/amd64/cet_nops.c (original)
+++ trunk/none/tests/amd64/cet_nops.c Wed May 31 07:19:50 2017
@@ -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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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");

[... 616 lines stripped ...]

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Valgrind-developers mailing list
[hidden email]
https://lists.sourceforge.net/lists/listinfo/valgrind-developers