| Index: src/trusted/validator_x86/testdata/64/ncdis_examples.vinput
 | 
| diff --git a/src/trusted/validator_x86/testdata/64/ncdis_examples.vinput b/src/trusted/validator_x86/testdata/64/ncdis_examples.vinput
 | 
| deleted file mode 100644
 | 
| index d51c6773c79d18dd5d382b898d5f50011f23993c..0000000000000000000000000000000000000000
 | 
| --- a/src/trusted/validator_x86/testdata/64/ncdis_examples.vinput
 | 
| +++ /dev/null
 | 
| @@ -1,334 +0,0 @@
 | 
| -# Copyright (c) 2012 The Native Client Authors. All rights reserved.
 | 
| -# Use of this source code is governed by a BSD-style license that can be
 | 
| -# found in the LICENSE file.
 | 
| -#
 | 
| -# This is a simple test file to see if we have things working.
 | 
| -# When run in self documenting mode and command free lines,
 | 
| -# are echoed to the output.
 | 
| -#
 | 
| -# Lines with command line options (up to and including the pound sign) are
 | 
| -# also copied to output. Application (ncdis) is then run on those options,
 | 
| -# generating corresponding output. It is assume that the text after the
 | 
| -# pound sign is the output generated by ncdis. Hence, this file is self
 | 
| -# documenting in the sense that the input matches the output.
 | 
| -#
 | 
| -# Note: Useful command line options are:
 | 
| -#   -i=XXXXXXXX
 | 
| -#           Specifies a (even length) hexidecimal value defined the sequence
 | 
| -#           of bytess that defines the instruction to translate.
 | 
| -#
 | 
| -#   --pc=XXXXXXXX
 | 
| -#           Specifies the value of the program counter, when it is pointing
 | 
| -#           to the instruction to be decoded. In not specified, the program
 | 
| -#           counter is assumed to be zero.
 | 
| -#
 | 
| -# Note: This file tests x86-64 instructions when -use_iter is specified.
 | 
| -
 | 
| --i=00c0                                  #0000000000000000: 00 c0                                        add %al, %al
 | 
| --i=01c0                                  #0000000000000000: 01 c0                                        add %eax, %eax
 | 
| --i=4101c3                                #0000000000000000: 41 01 c3                                     add %r11d, %eax
 | 
| --i=4401d8                                #0000000000000000: 44 01 d8                                     add %eax, %r11d
 | 
| --i=4801c3                                #0000000000000000: 48 01 c3                                     add %rbx, %rax
 | 
| --i=670318                                #0000000000000000: 67 03 18                                     add %ebx, [%eax]
 | 
| --i=020400                                #0000000000000000: 02 04 00                                     add %al, [%rax+%rax*1]
 | 
| --i=67020400                              #0000000000000000: 67 02 04 00                                  add %al, [%eax+%eax*1]
 | 
| --i=4883EC08                              #0000000000000000: 48 83 ec 08                                  sub %rsp, 0x8
 | 
| --i=e883000000 --pc=4003d4                #00000000004003d4: e8 83 00 00 00                               call 0x40045c
 | 
| ---pc=4003de -i=e87d050000                #00000000004003de: e8 7d 05 00 00                               call 0x400960
 | 
| --i=c3                                    #0000000000000000: c3                                           [P] dontcare(illegal)
 | 
| --i=ff35ea0d2000                          #0000000000000000: ff 35 ea 0d 20 00                            push [%rip+0x200dea]
 | 
| --i=ff25ec0d2000                          #0000000000000000: ff 25 ec 0d 20 00                            [P] dontcarejump %rip (s), [%rip+0x200dec] (u)
 | 
| --i=0F1F4000                              #0000000000000000: 0f 1f 40 00                                  [P] dontcare
 | 
| --i=6800000000                            #0000000000000000: 68 00 00 00 00                               push 0x0
 | 
| ---pc=400403 -i=E9E0FFFFFF                #0000000000400403: e9 e0 ff ff ff                               [P] dontcarejump %rip (s), 0x4003e8 (u)
 | 
| --i=4989D1                                #0000000000000000: 49 89 d1                                     mov %r9, %rdx
 | 
| --i=5E                                    #0000000000000000: 5e                                           pop %rsi
 | 
| --i=49C7C0C0084000                        #0000000000000000: 49 c7 c0 c0 08 40 00                         mov %r8, 0x4008c0
 | 
| --i=F4                                    #0000000000000000: f4                                           [P] dontcare
 | 
| --i=488B05610D2000                        #0000000000000000: 48 8b 05 61 0d 20 00                         mov %rax, [%rip+0x200d61]
 | 
| --i=4885C0                                #0000000000000000: 48 85 c0                                     [P] dontcare %rax (u), %rax (u)
 | 
| ---pc=40046a -i=7402                      #000000000040046a: 74 02                                        [P] dontcarecondjump %rip (s), 0x40046e (u)
 | 
| --i=FFD0                                  #0000000000000000: ff d0                                        call %rax
 | 
| ---pc=40048d -i=EB24                      #000000000040048d: eb 24                                        [P] dontcarejump %rip (s), 0x4004b3 (u)
 | 
| --i=c9                                    #0000000000000000: c9                                           [P] dontcare(illegal)
 | 
| --i=66662E0F1F840000000000                #0000000000000000: 66 66 2e 0f 1f 84 00 00 00 00 00             [P] dontcare
 | 
| --i=B800000000                            #0000000000000000: b8 00 00 00 00                               mov %eax, 0x0
 | 
| --i=BF20106000                            #0000000000000000: bf 20 10 60 00                               mov %edi, 0x601020
 | 
| --i=488b04c5a0136000                      #0000000000000000: 48 8b 04 c5 a0 13 60 00                      mov %rax, [%rax*8+0x6013a0]
 | 
| --i=897DFC                                #0000000000000000: 89 7d fc                                     mov [%rbp-0x4], %edi
 | 
| --i=3B45FC                                #0000000000000000: 3b 45 fc                                     [P] dontcare %eax (u), [%rbp-0x4] (u)
 | 
| --i=837DF808                              #0000000000000000: 83 7d f8 08                                  [P] dontcare [%rbp-0x8] (u), 0x8 (u)
 | 
| --i=8B45FC                                #0000000000000000: 8b 45 fc                                     mov %eax, [%rbp-0x4]
 | 
| --i=41D3E4                                #0000000000000000: 41 d3 e4                                     [P] dontcare %r12d (su), %cl (u)
 | 
| --i=66666666662E0F1F840000000000          #0000000000000000: 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00    [P] dontcare
 | 
| --i=48C1FD03                              #0000000000000000: 48 c1 fd 03                                  [P] dontcare %rbp (su), 0x3 (u)
 | 
| --i=488D2D0F072000                        #0000000000000000: 48 8d 2d 0f 07 20 00                         lea %rbp, [%rip+0x20070f]
 | 
| --i=A08877665544332211                    #0000000000000000: a0 88 77 66 55 44 33 22 11                   mov %al, [0x1122334455667788]
 | 
| --i=66a18877665544332211                  #0000000000000000: 66 a1 88 77 66 55 44 33 22 11                mov %ax, [0x1122334455667788]
 | 
| --i=A28877665544332211                    #0000000000000000: a2 88 77 66 55 44 33 22 11                   mov [0x1122334455667788], %al
 | 
| --i=66A38877665544332211                  #0000000000000000: 66 a3 88 77 66 55 44 33 22 11                mov [0x1122334455667788], %ax
 | 
| --i=48B88877665544332211                  #0000000000000000: 48 b8 88 77 66 55 44 33 22 11                mov %rax, 0x1122334455667788
 | 
| --i=448A0400                              #0000000000000000: 44 8a 04 00                                  mov %r8b, [%rax+%rax*1]
 | 
| --i=8A440500                              #0000000000000000: 8a 44 05 00                                  mov %al, [%rbp+%rax*1]
 | 
| --i=428A0420                              #0000000000000000: 42 8a 04 20                                  mov %al, [%rax+%r12*1]
 | 
| --i=418A440500                            #0000000000000000: 41 8a 44 05 00                               mov %al, [%r13+%rax*1]
 | 
| --i=0F38082C2500000000                    #0000000000000000: 0f 38 08 2c 25 00 00 00 00                   [P] dontcare [0x0] (u)
 | 
| --i=660F38082C2500000000                  #0000000000000000: 66 0f 38 08 2c 25 00 00 00 00                [P] dontcare [0x0] (u)
 | 
| --i=66440F38082C00                        #0000000000000000: 66 44 0f 38 08 2c 00                         [P] dontcare [%rax+%rax*1] (u)
 | 
| --i=DD2400                                #0000000000000000: dd 24 00                                     [P] dontcare [%rax+%rax*1] (u)
 | 
| --i=67DD2400                              #0000000000000000: 67 dd 24 00                                  [P] dontcare [%eax+%eax*1] (u)
 | 
| --i=DCC1                                  #0000000000000000: dc c1                                        [P] dontcare
 | 
| --i=D8742410                              #0000000000000000: d8 74 24 10                                  [P] dontcare [%rsp+0x10] (u)
 | 
| --i=67D8742410                            #0000000000000000: 67 d8 74 24 10                               [P] dontcare [%esp+0x10] (u)
 | 
| --i=DC440004                              #0000000000000000: dc 44 00 04                                  [P] dontcare [%rax+%rax*1+0x4] (u)
 | 
| --i=DA042504000000                        #0000000000000000: da 04 25 04 00 00 00                         [P] dontcare [0x4] (u)
 | 
| --i=DA7004                                #0000000000000000: da 70 04                                     [P] dontcare [%rax+0x4] (u)
 | 
| --i=DE5004                                #0000000000000000: de 50 04                                     [P] dontcare [%rax+0x4] (u)
 | 
| --i=DCE5                                  #0000000000000000: dc e5                                        [P] dontcare
 | 
| --i=DCF3                                  #0000000000000000: dc f3                                        [P] dontcare
 | 
| --i=DCEA                                  #0000000000000000: dc ea                                        [P] dontcare
 | 
| --i=DCCE                                  #0000000000000000: dc ce                                        [P] dontcare
 | 
| --i=4863c6                                #0000000000000000: 48 63 c6                                     [P] dontcare %rax (sz), %esi (u)
 | 
| --i=63c6                                  #0000000000000000: 63 c6                                        [P] dontcare %eax (sz), %esi (u)
 | 
| --i=6c                                    #0000000000000000: 6c                                           [P] dontcare(illegal)
 | 
| --i=6d                                    #0000000000000000: 6d                                           [P] dontcare(illegal)
 | 
| --i=666d                                  #0000000000000000: 66 6d                                        [P] dontcare(illegal)
 | 
| --i=6e                                    #0000000000000000: 6e                                           [P] dontcare(illegal)
 | 
| --i=6f                                    #0000000000000000: 6f                                           [P] dontcare(illegal)
 | 
| --i=666f                                  #0000000000000000: 66 6f                                        [P] dontcare(illegal)
 | 
| --i=6698                                  #0000000000000000: 66 98                                        [P] dontcare %ax (s), %al (u)
 | 
| --i=98                                    #0000000000000000: 98                                           [P] dontcare %eax (s), %ax (u)
 | 
| --i=4898                                  #0000000000000000: 48 98                                        [P] dontcare %rax (s), %eax (u)
 | 
| --i=6699                                  #0000000000000000: 66 99                                        [P] dontcare %dx (s), %ax (u)
 | 
| --i=99                                    #0000000000000000: 99                                           [P] dontcare %edx (s), %eax (u)
 | 
| --i=4899                                  #0000000000000000: 48 99                                        [P] dontcare %rdx (s), %rax (u)
 | 
| --i=86C2                                  #0000000000000000: 86 c2                                        [P] dontcare %dl (su), %al (su)
 | 
| --i=864020                                #0000000000000000: 86 40 20                                     [P] dontcare [%rax+0x20] (su), %al (su)
 | 
| --i=874020                                #0000000000000000: 87 40 20                                     [P] dontcare [%rax+0x20] (suz), %eax (suz)
 | 
| --i=a6                                    #0000000000000000: a6                                           [P] dontcare [%rdi] (u), [%rsi] (u)
 | 
| --i=66a7                                  #0000000000000000: 66 a7                                        [P] dontcare [%rdi] (u), [%rsi] (u)
 | 
| --i=a7                                    #0000000000000000: a7                                           [P] dontcare [%rdi] (u), [%rsi] (u)
 | 
| --i=48a7                                  #0000000000000000: 48 a7                                        [P] dontcare [%rdi] (u), [%rsi] (u)
 | 
| --i=aa                                    #0000000000000000: aa                                           [P] dontcare [%rdi] (s), %al (u)
 | 
| --i=ab                                    #0000000000000000: ab                                           [P] dontcare [%rdi] (s), %eax (u)
 | 
| --i=66ab                                  #0000000000000000: 66 ab                                        [P] dontcare [%rdi] (s), %ax (u)
 | 
| --i=48ab                                  #0000000000000000: 48 ab                                        [P] dontcare [%rdi] (s), %rax (u)
 | 
| --i=a4                                    #0000000000000000: a4                                           [P] dontcare [%rdi] (s), [%rsi] (u)
 | 
| --i=66a5                                  #0000000000000000: 66 a5                                        [P] dontcare [%rdi] (s), [%rsi] (u)
 | 
| --i=a5                                    #0000000000000000: a5                                           [P] dontcare [%rdi] (s), [%rsi] (u)
 | 
| --i=48a5                                  #0000000000000000: 48 a5                                        [P] dontcare [%rdi] (s), [%rsi] (u)
 | 
| --i=9c                                    #0000000000000000: 9c                                           [P] dontcare(illegal)
 | 
| --i=9d                                    #0000000000000000: 9d                                           [P] dontcare(illegal)
 | 
| --i=ac                                    #0000000000000000: ac                                           [P] dontcare %al (s), [%rsi] (u)
 | 
| --i=ad                                    #0000000000000000: ad                                           [P] dontcare %eax (s), [%rsi] (u)
 | 
| --i=66ad                                  #0000000000000000: 66 ad                                        [P] dontcare %ax (s), [%rsi] (u)
 | 
| --i=48ad                                  #0000000000000000: 48 ad                                        [P] dontcare %rax (s), [%rsi] (u)
 | 
| --i=ae                                    #0000000000000000: ae                                           [P] dontcare %al (u), [%rdi] (u)
 | 
| --i=af                                    #0000000000000000: af                                           [P] dontcare %eax (u), [%rdi] (u)
 | 
| --i=66af                                  #0000000000000000: 66 af                                        [P] dontcare %ax (u), [%rdi] (u)
 | 
| --i=48af                                  #0000000000000000: 48 af                                        [P] dontcare %rax (u), [%rdi] (u)
 | 
| --i=C82C0100                              #0000000000000000: c8 2c 01 00                                  [P] dontcare(illegal)
 | 
| --i=80E4DF                                #0000000000000000: 80 e4 df                                     and %ah, 0xdf
 | 
| --i=222425DF000000                        #0000000000000000: 22 24 25 df 00 00 00                         and %ah, [0xdf]
 | 
| --i=40222425DF000000                      #0000000000000000: 40 22 24 25 df 00 00 00                      and %spl, [0xdf]
 | 
| --i=8D0485FFFFFFFF                        #0000000000000000: 8d 04 85 ff ff ff ff                         lea %eax, [%rax*4-0x1]
 | 
| --i=644833142528000000                    #0000000000000000: 64 48 33 14 25 28 00 00 00                   [P] dontcare %rdx (suz), %fs:[0x28] (u)
 | 
| --i=48B8CDCCCCCCCCCCCCCC                  #0000000000000000: 48 b8 cd cc cc cc cc cc cc cc                mov %rax, 0xcccccccccccccccd
 | 
| --i=666BC016                              #0000000000000000: 66 6b c0 16                                  [P] dontcare %ax (sz), %ax (u), 0x16 (u)
 | 
| --i=666BD816                              #0000000000000000: 66 6b d8 16                                  [P] dontcare %bx (sz), %ax (u), 0x16 (u)
 | 
| --i=66F7E8                                #0000000000000000: 66 f7 e8                                     [P] dontcare %dx (s), %ax (su), %ax (u)
 | 
| --i=F6EC                                  #0000000000000000: f6 ec                                        [P] dontcare %ax (s), %al (u), %ah (u)
 | 
| --i=0FAF9170010000                        #0000000000000000: 0f af 91 70 01 00 00                         [P] dontcare %edx (suz), [%rcx+0x170] (u)
 | 
| --i=0FAFC1                                #0000000000000000: 0f af c1                                     [P] dontcare %eax (suz), %ecx (u)
 | 
| --i=F6FC                                  #0000000000000000: f6 fc                                        [P] dontcare %ax (s), %al (u), %ah (u)
 | 
| --i=F7F9                                  #0000000000000000: f7 f9                                        [P] dontcare %edx (s), %eax (su), %ecx (u)
 | 
| --i=F7BE70010000                          #0000000000000000: f7 be 70 01 00 00                            [P] dontcare %edx (s), %eax (su), [%rsi+0x170] (u)
 | 
| --i=48F7F9                                #0000000000000000: 48 f7 f9                                     [P] dontcare %rdx (s), %rax (su), %rcx (u)
 | 
| --i=fc                                    #0000000000000000: fc                                           [P] dontcare
 | 
| --i=F6D8                                  #0000000000000000: f6 d8                                        [P] dontcare %al (su)
 | 
| --i=F7D9                                  #0000000000000000: f7 d9                                        [P] dontcare %ecx (suz)
 | 
| --i=49F7DE                                #0000000000000000: 49 f7 de                                     [P] dontcare %r14 (suz)
 | 
| --i=48F7DA                                #0000000000000000: 48 f7 da                                     [P] dontcare %rdx (suz)
 | 
| --i=F6D1                                  #0000000000000000: f6 d1                                        [P] dontcare %cl (su)
 | 
| --i=F7D1                                  #0000000000000000: f7 d1                                        [P] dontcare %ecx (suz)
 | 
| --i=48F7D2                                #0000000000000000: 48 f7 d2                                     [P] dontcare %rdx (suz)
 | 
| --i=F6E2                                  #0000000000000000: f6 e2                                        [P] dontcare %ax (s), %al (u), %dl (u)
 | 
| --i=F7E2                                  #0000000000000000: f7 e2                                        [P] dontcare %edx (s), %eax (su), %edx (u)
 | 
| --i=48F7E7                                #0000000000000000: 48 f7 e7                                     [P] dontcare %rdx (s), %rax (su), %rdi (u)
 | 
| --i=41F7E6                                #0000000000000000: 41 f7 e6                                     [P] dontcare %edx (s), %eax (su), %r14d (u)
 | 
| --i=48F7F1                                #0000000000000000: 48 f7 f1                                     [P] dontcare %rdx (s), %rax (su), %rcx (u)
 | 
| --i=48F77138                              #0000000000000000: 48 f7 71 38                                  [P] dontcare %rdx (s), %rax (su), [%rcx+0x38] (u)
 | 
| --i=F73537AF5700                          #0000000000000000: f7 35 37 af 57 00                            [P] dontcare %edx (s), %eax (su), [%rip+0x57af37] (u)
 | 
| --i=F20F1005B5DC1500                      #0000000000000000: f2 0f 10 05 b5 dc 15 00                      [P] dontcare [%rip+0x15dcb5] (u)
 | 
| --i=F20F11542410                          #0000000000000000: f2 0f 11 54 24 10                            [P] dontcare [%rsp+0x10] (s)
 | 
| --i=F30F1002                              #0000000000000000: f3 0f 10 02                                  [P] dontcare [%rdx] (u)
 | 
| --i=F30F1144240C                          #0000000000000000: f3 0f 11 44 24 0c                            [P] dontcare [%rsp+0xc] (s)
 | 
| --i=F30F104C241C                          #0000000000000000: f3 0f 10 4c 24 1c                            [P] dontcare [%rsp+0x1c] (u)
 | 
| --i=F30F1144240C                          #0000000000000000: f3 0f 11 44 24 0c                            [P] dontcare [%rsp+0xc] (s)
 | 
| --i=F20F5FCF                              #0000000000000000: f2 0f 5f cf                                  [P] dontcare %xmm7 (u)
 | 
| --i=0FC8                                  #0000000000000000: 0f c8                                        [P] dontcare %eax (su)
 | 
| --i=480FC8                                #0000000000000000: 48 0f c8                                     [P] dontcare %rax (su)
 | 
| --i=490FCD                                #0000000000000000: 49 0f cd                                     [P] dontcare %r13 (su)
 | 
| --i=0F6E11                                #0000000000000000: 0f 6e 11                                     [P] dontcare [%rcx] (u)
 | 
| --i=490f6e11                              #0000000000000000: 49 0f 6e 11                                  [P] dontcare [%r9] (u)
 | 
| --i=660f6e11                              #0000000000000000: 66 0f 6e 11                                  [P] dontcare [%rcx] (u)
 | 
| --i=0F7E0E                                #0000000000000000: 0f 7e 0e                                     [P] dontcare [%rsi] (sz)
 | 
| --i=490F7E0E                              #0000000000000000: 49 0f 7e 0e                                  [P] dontcare [%r14] (s)
 | 
| --i=0F77                                  #0000000000000000: 0f 77                                        [P] dontcare
 | 
| --i=F20FC2C701                            #0000000000000000: f2 0f c2 c7 01                               [P] dontcare %xmm7 (u), 0x1 (u)
 | 
| --i=F20FC20D6787100005                    #0000000000000000: f2 0f c2 0d 67 87 10 00 05                   [P] dontcare [%rip+0x108767] (u), 0x5 (u)
 | 
| --i=F30FC2C701                            #0000000000000000: f3 0f c2 c7 01                               [P] dontcare %xmm7 (u), 0x1 (u)
 | 
| --i=F30FC20D6787100005                    #0000000000000000: f3 0f c2 0d 67 87 10 00 05                   [P] dontcare [%rip+0x108767] (u), 0x5 (u)
 | 
| --i=0F6F05BA870F00                        #0000000000000000: 0f 6f 05 ba 87 0f 00                         [P] dontcare [%rip+0xf87ba] (u)
 | 
| --i=0F6FC8                                #0000000000000000: 0f 6f c8                                     [P] dontcare %mmx0 (u)
 | 
| --i=0F7F0E                                #0000000000000000: 0f 7f 0e                                     [P] dontcare [%rsi] (s)
 | 
| --i=0FD10C2508000000                      #0000000000000000: 0f d1 0c 25 08 00 00 00                      [P] dontcare [0x8] (u)
 | 
| --i=0F71D108                              #0000000000000000: 0f 71 d1 08                                  [P] dontcare %mmx1 (su), 0x8 (u)
 | 
| --i=0f6ee8                                #0000000000000000: 0f 6e e8                                     [P] dontcare %eax (u)
 | 
| --i=F30F6F05F9770F00                      #0000000000000000: f3 0f 6f 05 f9 77 0f 00                      [P] dontcare [%rip+0xf77f9] (u)
 | 
| --i=F30F6F11                              #0000000000000000: f3 0f 6f 11                                  [P] dontcare [%rcx] (u)
 | 
| --i=F30F7F0E                              #0000000000000000: f3 0f 7f 0e                                  [P] dontcare [%rsi] (s)
 | 
| --i=0FE70E                                #0000000000000000: 0f e7 0e                                     [P] dontcare [%rsi] (s)
 | 
| --i=660F290C24                            #0000000000000000: 66 0f 29 0c 24                               [P] dontcare [%rsp] (s)
 | 
| --i=F30F51D0                              #0000000000000000: f3 0f 51 d0                                  [P] dontcare %xmm0 (u)
 | 
| --i=48FFC0                                #0000000000000000: 48 ff c0                                     [P] dontcare %rax (suz)
 | 
| --i=FF05A4763900                          #0000000000000000: ff 05 a4 76 39 00                            [P] dontcare [%rip+0x3976a4] (suz)
 | 
| --i=FFC0                                  #0000000000000000: ff c0                                        [P] dontcare %eax (suz)
 | 
| --i=41FFC5                                #0000000000000000: 41 ff c5                                     [P] dontcare %r13d (suz)
 | 
| --i=FEC0                                  #0000000000000000: fe c0                                        [P] dontcare %al (su)
 | 
| --i=FEC4                                  #0000000000000000: fe c4                                        [P] dontcare %ah (su)
 | 
| --i=41FEC0                                #0000000000000000: 41 fe c0                                     [P] dontcare %r8b (su)
 | 
| --i=FFCA                                  #0000000000000000: ff ca                                        [P] dontcare %edx (suz)
 | 
| --i=FF0D8F763900                          #0000000000000000: ff 0d 8f 76 39 00                            [P] dontcare [%rip+0x39768f] (suz)
 | 
| --i=48FFC8                                #0000000000000000: 48 ff c8                                     [P] dontcare %rax (suz)
 | 
| --i=49FFCC                                #0000000000000000: 49 ff cc                                     [P] dontcare %r12 (suz)
 | 
| --i=FEC8                                  #0000000000000000: fe c8                                        [P] dontcare %al (su)
 | 
| --i=FECC                                  #0000000000000000: fe cc                                        [P] dontcare %ah (su)
 | 
| --i=41FEC8                                #0000000000000000: 41 fe c8                                     [P] dontcare %r8b (su)
 | 
| --i=F00FB13521C63100                      #0000000000000000: f0 0f b1 35 21 c6 31 00                      [P] dontcare %eax (su), [%rip+0x31c621] (su), %esi (su)
 | 
| --i=0FB13512C63100                        #0000000000000000: 0f b1 35 12 c6 31 00                         [P] dontcare %eax (su), [%rip+0x31c612] (su), %esi (su)
 | 
| --i=f0410fb130                            #0000000000000000: f0 41 0f b1 30                               [P] dontcare %eax (su), [%r8] (su), %esi (su)
 | 
| --i=F00FC102                              #0000000000000000: f0 0f c1 02                                  [P] dontcare [%rdx] (suz), %eax (suz)
 | 
| --i=F00FC14318                            #0000000000000000: f0 0f c1 43 18                               [P] dontcare [%rbx+0x18] (suz), %eax (suz)
 | 
| --i=F0410FC100                            #0000000000000000: f0 41 0f c1 00                               [P] dontcare [%r8] (suz), %eax (suz)
 | 
| --i=0F05                                  #0000000000000000: 0f 05                                        [P] dontcare(illegal)
 | 
| --i=E408                                  #0000000000000000: e4 08                                        [P] dontcare(illegal)
 | 
| --i=66E508                                #0000000000000000: 66 e5 08                                     [P] dontcare(illegal)
 | 
| --i=E508                                  #0000000000000000: e5 08                                        [P] dontcare(illegal)
 | 
| --i=EC                                    #0000000000000000: ec                                           [P] dontcare(illegal)
 | 
| --i=66ED                                  #0000000000000000: 66 ed                                        [P] dontcare(illegal)
 | 
| --i=ED                                    #0000000000000000: ed                                           [P] dontcare(illegal)
 | 
| --i=55                                    #0000000000000000: 55                                           push %rbp
 | 
| --i=0F188600030000                        #0000000000000000: 0f 18 86 00 03 00 00                         [P] dontcare [%rsi+0x300]
 | 
| --i=480FC307                              #0000000000000000: 48 0f c3 07                                  [P] dontcare [%rdi] (s), %rax (u)
 | 
| --i=0FAEF8                                #0000000000000000: 0f ae f8                                     [P] dontcare
 | 
| --i=410FA3C0                              #0000000000000000: 41 0f a3 c0                                  [P] dontcare(illegal)
 | 
| --i=41db2c07                              #0000000000000000: 41 db 2c 07                                  [P] dontcare [%r15+%rax*1] (u)
 | 
| --i=dd0424                                #0000000000000000: dd 04 24                                     [P] dontcare [%rsp] (u)
 | 
| --i=0fb320                                #0000000000000000: 0f b3 20                                     [P] dontcare(illegal)
 | 
| --i=0fa320                                #0000000000000000: 0f a3 20                                     [P] dontcare(illegal)
 | 
| --i=0fbb20                                #0000000000000000: 0f bb 20                                     [P] dontcare(illegal)
 | 
| --i=0fab20                                #0000000000000000: 0f ab 20                                     [P] dontcare(illegal)
 | 
| --i=660F78C10204                          #0000000000000000: 66 0f 78 c1 02 04                            [P] dontcare(illegal)
 | 
| --i=F20F78CA0204                          #0000000000000000: f2 0f 78 ca 02 04                            [P] dontcare %xmm2 (u), 0x2 (u), 0x4 (u)
 | 
| --i=660F79CA                              #0000000000000000: 66 0f 79 ca                                  [P] dontcare %xmm2 (u)
 | 
| --i=F20F79CA                              #0000000000000000: f2 0f 79 ca                                  [P] dontcare %xmm2 (u)
 | 
| --i=e900000102                            #0000000000000000: e9 00 00 01 02                               [P] dontcarejump %rip (s), 0x2010005 (u)
 | 
| --i=6740a000010203                        #0000000000000000: 67 40 a0 00 01 02 03                         mov %al, [0x3020100]
 | 
| --i=660f3a600001                          #0000000000000000: 66 0f 3a 60 00 01                            [P] dontcare %eax (s), %edx (s), [%rax] (u), 0x1 (u)
 | 
| --i=90                                    #0000000000000000: 90                                           [P] dontcare
 | 
| --i=6690                                  #0000000000000000: 66 90                                        [P] dontcare
 | 
| --i=666690                                #0000000000000000: 66 66 90                                     [P] dontcare %ax (suz), %ax (suz)
 | 
| --i=8d7600                                #0000000000000000: 8d 76 00                                     lea %esi, [%rsi]
 | 
| --i=8d742600                              #0000000000000000: 8d 74 26 00                                  lea %esi, [%rsi]
 | 
| --i=8db600000000                          #0000000000000000: 8d b6 00 00 00 00                            lea %esi, [%rsi]
 | 
| --i=8db42600000000                        #0000000000000000: 8d b4 26 00 00 00 00                         lea %esi, [%rsi]
 | 
| --i=89f6                                  #0000000000000000: 89 f6                                        mov %esi, %esi
 | 
| --i=8dbc2700000000                        #0000000000000000: 8d bc 27 00 00 00 00                         lea %edi, [%rdi]
 | 
| --i=0f1f00                                #0000000000000000: 0f 1f 00                                     [P] dontcare
 | 
| --i=0f1f4000                              #0000000000000000: 0f 1f 40 00                                  [P] dontcare
 | 
| --i=0f1f440000                            #0000000000000000: 0f 1f 44 00 00                               [P] dontcare
 | 
| --i=660f1f440000                          #0000000000000000: 66 0f 1f 44 00 00                            [P] dontcare
 | 
| --i=0f1f8000000000                        #0000000000000000: 0f 1f 80 00 00 00 00                         [P] dontcare
 | 
| --i=0f1f840000000000                      #0000000000000000: 0f 1f 84 00 00 00 00 00                      [P] dontcare
 | 
| --i=660f1f840000000000                    #0000000000000000: 66 0f 1f 84 00 00 00 00 00                   [P] dontcare
 | 
| --i=662e0f1f840000000000                  #0000000000000000: 66 2e 0f 1f 84 00 00 00 00 00                [P] dontcare
 | 
| --i=66662e0f1f840000000000                #0000000000000000: 66 66 2e 0f 1f 84 00 00 00 00 00             [P] dontcare
 | 
| --i=6666662e0f1f840000000000              #0000000000000000: 66 66 66 2e 0f 1f 84 00 00 00 00 00          [P] dontcare
 | 
| --i=666666662e0f1f840000000000            #0000000000000000: 66 66 66 66 2e 0f 1f 84 00 00 00 00 00       [P] dontcare
 | 
| --i=66666666662e0f1f840000000000          #0000000000000000: 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00    [P] dontcare
 | 
| --i=6666666666662e0f1f840000000000        #0000000000000000: 66 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 [P] dontcare
 | 
| --i=41ff743f20                            #0000000000000000: 41 ff 74 3f 20                               push [%r15+%rdi*1+0x20]
 | 
| --i=0f0b                                  #0000000000000000: 0f 0b                                        [P] dontcare
 | 
| --i=0f700000                              #0000000000000000: 0f 70 00 00                                  [P] dontcare [%rax] (u), 0x0 (u)
 | 
| --i=0fae38                                #0000000000000000: 0f ae 38                                     [P] dontcare(illegal)
 | 
| --i=0faefc                                #0000000000000000: 0f ae fc                                     invalid
 | 
| --i=40dc20                                #0000000000000000: 40 dc 20                                     [P] dontcare [%rax] (u)
 | 
| --i=0fba2000                              #0000000000000000: 0f ba 20 00                                  [P] dontcare [%rax] (u), 0x0 (u)
 | 
| --i=660f3a150000                          #0000000000000000: 66 0f 3a 15 00 00                            [P] dontcare [%rax] (s), 0x0 (u)
 | 
| --i=0fec00                                #0000000000000000: 0f ec 00                                     [P] dontcare [%rax] (u)
 | 
| --i=0ff400                                #0000000000000000: 0f f4 00                                     [P] dontcare [%rax] (u)
 | 
| --i=40e000 --pc=1000                      #0000000000001000: 40 e0 00                                     [P] dontcarecondjump %rip (s), %rcx (su), 0x1003 (u)
 | 
| --i=40e300                                #0000000000000000: 40 e3 00                                     [P] dontcarecondjump %rip (s), %rcx (u), 0x3 (u)
 | 
| --i=6740e300                              #0000000000000000: 67 40 e3 00                                  [P] dontcarecondjump %rip (s), %ecx (u), 0x4 (u)
 | 
| --i=41d9f0                                #0000000000000000: 41 d9 f0                                     [P] dontcare
 | 
| --i=660f52                                #0000000000000000: 66 0f 52                                     invalid
 | 
| --i=660f53                                #0000000000000000: 66 0f 53                                     invalid
 | 
| --i=f20f52                                #0000000000000000: f2 0f 52                                     invalid
 | 
| --i=f20f53                                #0000000000000000: f2 0f 53                                     invalid
 | 
| --i=660f78000000                          #0000000000000000: 66 0f 78 00 00 00                            [P] dontcare(illegal)
 | 
| --i=26e800010203                          #0000000000000000: 26 e8 00 01 02 03                            call 0x3020106
 | 
| --i=0fa4c601                              #0000000000000000: 0f a4 c6 01                                  [P] dontcare %esi (s), %eax (u), 0x1 (u)
 | 
| --i=0fa5c6                                #0000000000000000: 0f a5 c6                                     [P] dontcare %esi (s), %eax (u), %cl (u)
 | 
| --i=480fa5c6                              #0000000000000000: 48 0f a5 c6                                  [P] dontcare %rsi (s), %rax (u), %cl (u)
 | 
| --i=0f16d1                                #0000000000000000: 0f 16 d1                                     [P] dontcare %xmm1 (u)
 | 
| --i=0f16a500000000                        #0000000000000000: 0f 16 a5 00 00 00 00                         [P] dontcare [%rbp] (u)
 | 
| --i=0f12e8                                #0000000000000000: 0f 12 e8                                     [P] dontcare %xmm0 (u)
 | 
| --i=0f120c17                              #0000000000000000: 0f 12 0c 17                                  [P] dontcare [%rdi+%rdx*1] (u)
 | 
| --i=410f120c17                            #0000000000000000: 41 0f 12 0c 17                               [P] dontcare [%r15+%rdx*1] (u)
 | 
| --i=0fc6d200                              #0000000000000000: 0f c6 d2 00                                  [P] dontcare %xmm2 (u), 0x0 (u)
 | 
| --i=660fc6d200                            #0000000000000000: 66 0f c6 d2 00                               [P] dontcare %xmm2 (u), 0x0 (u)
 | 
| --i=66430fbe0427                          #0000000000000000: 66 43 0f be 04 27                            [P] dontcare %ax (sz), [%r15+%r12*1] (u)
 | 
| --i=0f30                                  #0000000000000000: 0f 30                                        [P] dontcare(illegal)
 | 
| --i=0f31                                  #0000000000000000: 0f 31                                        [P] dontcare %eax (s), %edx (s)
 | 
| --i=0f32                                  #0000000000000000: 0f 32                                        [P] dontcare(illegal)
 | 
| --i=480facc110                            #0000000000000000: 48 0f ac c1 10                               [P] dontcare %rcx (su), %rax (u), 0x10 (u)
 | 
| --i=0facc110                              #0000000000000000: 0f ac c1 10                                  [P] dontcare %ecx (su), %eax (u), 0x10 (u)
 | 
| --i=0fad45bc                              #0000000000000000: 0f ad 45 bc                                  [P] dontcare [%rbp-0x44] (su), %eax (u), %cl (u)
 | 
| --i=480fad45bc                            #0000000000000000: 48 0f ad 45 bc                               [P] dontcare [%rbp-0x44] (su), %rax (u), %cl (u)
 | 
| --i=8c00                                  #0000000000000000: 8c 00                                        [P] dontcare(illegal)
 | 
| --i=64488e00                              #0000000000000000: 64 48 8e 00                                  [P] dontcare(illegal)
 | 
| --i=2664650001                            #0000000000000000: 26 64 65 00 01                               add %gs:[%rcx], %al
 | 
| --i=0fa300                                #0000000000000000: 0f a3 00                                     [P] dontcare(illegal)
 | 
| --i=0fa30400                              #0000000000000000: 0f a3 04 00                                  [P] dontcare(illegal)
 | 
| --i=0fa38000010203                        #0000000000000000: 0f a3 80 00 01 02 03                         [P] dontcare(illegal)
 | 
| --i=36646f                                #0000000000000000: 36 64 6f                                     [P] dontcare(illegal)
 | 
| --i=6440a00001020304050607                #0000000000000000: 64 40 a0 00 01 02 03 04 05 06 07             mov %al, %fs:[0x706050403020100]
 | 
| --i=0f01c8                                #0000000000000000: 0f 01 c8                                     [P] dontcare(illegal)
 | 
| --i=0f01c9                                #0000000000000000: 0f 01 c9                                     [P] dontcare(illegal)
 | 
| --i=0f01f8                                #0000000000000000: 0f 01 f8                                     [P] dontcare(illegal)
 | 
| --i=0f01f9                                #0000000000000000: 0f 01 f9                                     [P] dontcare(illegal)
 | 
| --i=0f01d8                                #0000000000000000: 0f 01 d8                                     [P] dontcare(illegal)
 | 
| --i=0f01d9                                #0000000000000000: 0f 01 d9                                     [P] dontcare(illegal)
 | 
| --i=0f01da                                #0000000000000000: 0f 01 da                                     [P] dontcare(illegal)
 | 
| --i=0f01db                                #0000000000000000: 0f 01 db                                     [P] dontcare(illegal)
 | 
| --i=0f01dc                                #0000000000000000: 0f 01 dc                                     [P] dontcare(illegal)
 | 
| --i=0f01dd                                #0000000000000000: 0f 01 dd                                     [P] dontcare(illegal)
 | 
| --i=0f01de                                #0000000000000000: 0f 01 de                                     [P] dontcare(illegal)
 | 
| --i=0f01df                                #0000000000000000: 0f 01 df                                     [P] dontcare(illegal)
 | 
| --i=0f20c0                                #0000000000000000: 0f 20 c0                                     [P] dontcare(illegal)
 | 
| --i=0f21f3                                #0000000000000000: 0f 21 f3                                     [P] dontcare(illegal)
 | 
| --i=0f22cd                                #0000000000000000: 0f 22 cd                                     [P] dontcare(illegal)
 | 
| --i=0f23dd                                #0000000000000000: 0f 23 dd                                     [P] dontcare(illegal)
 | 
| -# 0f0f 3dnow example(s)
 | 
| --i=0f0f0000                              #0000000000000000: 0f 0f 00 00                                  invalid %mmx0, [%rax], 0x0
 | 
| --i=0f0f0090                              #0000000000000000: 0f 0f 00 90                                  [P] dontcare [%rax] (u)
 | 
| --i=8dbf00000000                          #0000000000000000: 8d bf 00 00 00 00                            lea %edi, [%rdi]
 | 
| --i=eb1d                                  #0000000000000000: eb 1d                                        [P] dontcarejump %rip (s), 0x1f (u)
 | 
| --i=f00fc708                              #0000000000000000: f0 0f c7 08                                  [P] dontcare %edx (su), %eax (su), [%rax] (su)
 | 
| --i=48f00fc708                            #0000000000000000: 48 f0 0f c7 08                               [P] dontcare %rdx (su), %eax (su), [%rax] (su)
 | 
| --i=f0480fc708                            #0000000000000000: f0 48 0f c7 08                               [P] dontcare %rdx (su), %eax (su), [%rax] (su)
 | 
| -# The following checks that the data 66/Rex.W check doesn't conflict with
 | 
| -# multiple byte opcodes where data 66 is an extension to the opcode.
 | 
| --i=66480f7ec6                           #0000000000000000: 66 48 0f 7e c6                               [P] dontcare %rsi (s)
 | 
| --i=480f7ec6                             #0000000000000000: 48 0f 7e c6                                  [P] dontcare %rsi (s)
 | 
| 
 |