| Index: src/trusted/validator_x86/testdata/64/stubseq.test
 | 
| diff --git a/src/trusted/validator_x86/testdata/64/stubseq.test b/src/trusted/validator_x86/testdata/64/stubseq.test
 | 
| deleted file mode 100644
 | 
| index 9cdcd0c3df6ae8235808490542010cdff4b70658..0000000000000000000000000000000000000000
 | 
| --- a/src/trusted/validator_x86/testdata/64/stubseq.test
 | 
| +++ /dev/null
 | 
| @@ -1,79 +0,0 @@
 | 
| -@hex:
 | 
| -  # Sample stubout code, with multiple stubouts.
 | 
| -  #
 | 
| -  # add %al, %al
 | 
| -  00 c0
 | 
| -  # add &rsp, %r15; -- stub out!
 | 
| -  4c 01 fc
 | 
| -  # add %ebx, %r8d
 | 
| -  44 01 c3
 | 
| -  # test %rax, %rax
 | 
| -  48 85 c0
 | 
| -  # inc [%rip+0x397614]; -- stub out!
 | 
| -  67 ff 05 a4 76 39 00
 | 
| -  # mov %r9, %rdx
 | 
| -  49 89 d1
 | 
| -  # mov [%rbp+0x63e470], %rax; -- stub out!
 | 
| -  67 48 89 84 25 70 e4 63 00
 | 
| -  
 | 
| -@rval:
 | 
| -  VALIDATOR: 0000000000000002: 4c 01 fc                                     add %rsp, %r15
 | 
| -  VALIDATOR: ERROR: Illegal assignment to RSP
 | 
| -  VALIDATOR: 000000000000000b: 67 ff 05 a4 76 39 00                         inc [%rip+0x3976a4]
 | 
| -  VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client
 | 
| -  VALIDATOR: 000000000000000b: 67 ff 05 a4 76 39 00                         inc [%rip+0x3976a4]
 | 
| -  VALIDATOR: ERROR: Assignment to non-64 bit memory address
 | 
| -  VALIDATOR: 0000000000000015: 67 48 89 84 25 70 e4 63 00                   mov [%rbp+0x63e470], %rax
 | 
| -  VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client
 | 
| -  VALIDATOR: 0000000000000015: 67 48 89 84 25 70 e4 63 00                   mov [%rbp+0x63e470], %rax
 | 
| -  VALIDATOR: ERROR: Assignment to non-64 bit memory address
 | 
| -  VALIDATOR: Checking jump targets: 0 to 1e
 | 
| -  VALIDATOR: Checking that basic blocks are aligned
 | 
| -  *** <input> IS UNSAFE ***
 | 
| -@sval:
 | 
| -  Some instructions were replaced with HLTs.
 | 
| -  STUBBED OUT as follows:
 | 
| -  0000000000000000: 00 c0                                        add %al, %al
 | 
| -  0000000000000002: f4                                           hlt
 | 
| -  0000000000000003: f4                                           hlt
 | 
| -  0000000000000004: f4                                           hlt
 | 
| -  0000000000000005: 44 01 c3                                     add %ebx, %r8d
 | 
| -  0000000000000008: 48 85 c0                                     test %rax, %rax
 | 
| -  000000000000000b: f4                                           hlt
 | 
| -  000000000000000c: f4                                           hlt
 | 
| -  000000000000000d: f4                                           hlt
 | 
| -  000000000000000e: f4                                           hlt
 | 
| -  000000000000000f: f4                                           hlt
 | 
| -  0000000000000010: f4                                           hlt
 | 
| -  0000000000000011: f4                                           hlt
 | 
| -  0000000000000012: 49 89 d1                                     mov %r9, %rdx
 | 
| -  0000000000000015: f4                                           hlt
 | 
| -  0000000000000016: f4                                           hlt
 | 
| -  0000000000000017: f4                                           hlt
 | 
| -  0000000000000018: f4                                           hlt
 | 
| -  0000000000000019: f4                                           hlt
 | 
| -  000000000000001a: f4                                           hlt
 | 
| -  000000000000001b: f4                                           hlt
 | 
| -  000000000000001c: f4                                           hlt
 | 
| -  000000000000001d: f4                                           hlt
 | 
| -@dis:
 | 
| -  0000000000000000: 00 c0                                        add %al, %al
 | 
| -  0000000000000002: 4c 01 fc                                     add %rsp, %r15
 | 
| -  0000000000000005: 44 01 c3                                     add %ebx, %r8d
 | 
| -  0000000000000008: 48 85 c0                                     test %rax, %rax
 | 
| -  000000000000000b: 67 ff 05 a4 76 39 00                         inc [%rip+0x3976a4]
 | 
| -  0000000000000012: 49 89 d1                                     mov %r9, %rdx
 | 
| -  0000000000000015: 67 48 89 84 25 70 e4 63 00                   mov [%rbp+0x63e470], %rax
 | 
| -@vdis:
 | 
| -  0000000000000000: 00 c0                                        add %al, %al
 | 
| -  0000000000000002: 4c 01 fc                                     add %rsp, %r15
 | 
| -  0000000000000005: 44 01 c3                                     add %ebx, %r8d
 | 
| -  0000000000000008: 48 85 c0                                     [P] dontcare %rax (u), %rax (u)
 | 
| -  000000000000000b: 67 ff 05 a4 76 39 00                         [P] dontcare [%rip+0x3976a4] (suz)
 | 
| -  0000000000000012: 49 89 d1                                     mov %r9, %rdx
 | 
| -  0000000000000015: 67 48 89 84 25 70 e4 63 00                   mov [%rbp+0x63e470], %rax
 | 
| -@rdfa_output:
 | 
| -  2: [0] improper %rsp sandboxing
 | 
| -  b: [0] unrecognized instruction
 | 
| -  15: [1] unrecognized instruction
 | 
| -  return code: 1
 | 
| 
 |