| Index: src/trusted/validator_x86/testdata/64/prefix-3.test
|
| diff --git a/src/trusted/validator_x86/testdata/64/prefix-3.test b/src/trusted/validator_x86/testdata/64/prefix-3.test
|
| deleted file mode 100644
|
| index c8f763d05d680833d678d930005406449f1e44b8..0000000000000000000000000000000000000000
|
| --- a/src/trusted/validator_x86/testdata/64/prefix-3.test
|
| +++ /dev/null
|
| @@ -1,169 +0,0 @@
|
| -@hex:
|
| - # lock add %r15w, (%rsp)
|
| - 66 F0 44 01 3C 24
|
| - F0 66 44 01 3C 24
|
| - # fs mov %ax,%r8w
|
| - 64 66 41 89 C0
|
| - 66 64 41 89 C0
|
| - # mov %edi,%edi
|
| - # lea (%r15,%rdi),%rdi
|
| - # 0x66 rep stos %rax,%es:(%rdi)
|
| - 89 FF
|
| - 49 8D 3C 3F
|
| - 66 F3 48 AB
|
| - 89 FF
|
| - 49 8D 3C 3F
|
| - F3 66 48 AB
|
| - # 66 nop
|
| - 66 90
|
| - # 66 66 nop
|
| - 66 66 90
|
| - # 66 66 66 nop
|
| - 66 66 66 90
|
| - # white-listed nop
|
| - 66 66 66 2E 0F 1F 84 00 00 00 00 00
|
| -@rval:
|
| - VALIDATOR: 000000000000000c: 64 66 41 89 c0 mov %r8w, %ax
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000000c: 64 66 41 89 c0 mov %r8w, %ax
|
| - VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
|
| - VALIDATOR: 0000000000000011: 66 64 41 89 c0 mov %r8w, %ax
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 0000000000000011: 66 64 41 89 c0 mov %r8w, %ax
|
| - VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
|
| - VALIDATOR: 000000000000001c: 66 f3 48 ab invalid
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000001c: 66 f3 48 ab invalid
|
| - VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction
|
| - VALIDATOR: 000000000000001c: 66 f3 48 ab invalid
|
| - VALIDATOR: ERROR: Use of REP (F3) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 000000000000001c: 66 f3 48 ab invalid
|
| - VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 0000000000000026: f3 66 48 ab invalid
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 0000000000000026: f3 66 48 ab invalid
|
| - VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction
|
| - VALIDATOR: 0000000000000026: f3 66 48 ab invalid
|
| - VALIDATOR: ERROR: Use of REP (F3) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 0000000000000026: f3 66 48 ab invalid
|
| - VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 000000000000002c: 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000002c: 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: 000000000000002f: 66 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000002f: 66 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: Checking jump targets: 0 to 3f
|
| - VALIDATOR: Checking that basic blocks are aligned
|
| - *** <input> IS UNSAFE ***
|
| -@rvald:
|
| - VALIDATOR: 000000000000000c: 64 66 41 89 c0 mov %r8w, %ax
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000000c: 64 66 41 89 c0 mov %r8w, %ax
|
| - VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
|
| - VALIDATOR: 0000000000000011: 66 64 41 89 c0 mov %r8w, %ax
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 0000000000000011: 66 64 41 89 c0 mov %r8w, %ax
|
| - VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
|
| - VALIDATOR: 000000000000001c: 66 f3 48 ab invalid
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000001c: 66 f3 48 ab invalid
|
| - VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction
|
| - VALIDATOR: 000000000000001c: 66 f3 48 ab invalid
|
| - VALIDATOR: ERROR: Use of REP (F3) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 000000000000001c: 66 f3 48 ab invalid
|
| - VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 0000000000000026: f3 66 48 ab invalid
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 0000000000000026: f3 66 48 ab invalid
|
| - VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction
|
| - VALIDATOR: 0000000000000026: f3 66 48 ab invalid
|
| - VALIDATOR: ERROR: Use of REP (F3) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 0000000000000026: f3 66 48 ab invalid
|
| - VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 000000000000002c: 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000002c: 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: 000000000000002f: 66 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000002f: 66 66 66 90 xchg %ax, %ax
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: Checking block alignment and jump targets: 0 to 3f
|
| - *** <input> IS UNSAFE ***
|
| -@vd-rval:
|
| - VALIDATOR: 000000000000000c: 64 66 41 89 c0 mov %r8w, %ax
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000000c: 64 66 41 89 c0 mov %r8w, %ax
|
| - VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
|
| - VALIDATOR: 0000000000000011: 66 64 41 89 c0 mov %r8w, %ax
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 0000000000000011: 66 64 41 89 c0 mov %r8w, %ax
|
| - VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client
|
| - VALIDATOR: 000000000000001c: 66 f3 48 ab invalid
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000001c: 66 f3 48 ab invalid
|
| - VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction
|
| - VALIDATOR: 000000000000001c: 66 f3 48 ab invalid
|
| - VALIDATOR: ERROR: Use of REP (F3) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 000000000000001c: 66 f3 48 ab invalid
|
| - VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 0000000000000026: f3 66 48 ab invalid
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 0000000000000026: f3 66 48 ab invalid
|
| - VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction
|
| - VALIDATOR: 0000000000000026: f3 66 48 ab invalid
|
| - VALIDATOR: ERROR: Use of REP (F3) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 0000000000000026: f3 66 48 ab invalid
|
| - VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Native Client
|
| - VALIDATOR: 000000000000002c: 66 66 90 [P] dontcare %ax (suz), %ax (suz)
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000002c: 66 66 90 [P] dontcare %ax (suz), %ax (suz)
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: 000000000000002f: 66 66 66 90 [P] dontcare %ax (suz), %ax (suz)
|
| - VALIDATOR: ERROR: More than one (non-REX) prefix byte specified
|
| - VALIDATOR: 000000000000002f: 66 66 66 90 [P] dontcare %ax (suz), %ax (suz)
|
| - VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client
|
| - VALIDATOR: Checking jump targets: 0 to 3f
|
| - VALIDATOR: Checking that basic blocks are aligned
|
| - *** <input> IS UNSAFE ***
|
| -@dis:
|
| - 0000000000000000: 66 f0 44 01 3c 24 add [%rsp], %r15w
|
| - 0000000000000006: f0 66 44 01 3c 24 add [%rsp], %r15w
|
| - 000000000000000c: 64 66 41 89 c0 mov %r8w, %ax
|
| - 0000000000000011: 66 64 41 89 c0 mov %r8w, %ax
|
| - 0000000000000016: 89 ff mov %edi, %edi
|
| - 0000000000000018: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1]
|
| - 000000000000001c: 66 f3 48 ab invalid
|
| - 0000000000000020: 89 ff mov %edi, %edi
|
| - 0000000000000022: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1]
|
| - 0000000000000026: f3 66 48 ab invalid
|
| - 000000000000002a: 66 90 nop
|
| - 000000000000002c: 66 66 90 xchg %ax, %ax
|
| - 000000000000002f: 66 66 66 90 xchg %ax, %ax
|
| - 0000000000000033: 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop
|
| -@vdis:
|
| - 0000000000000000: 66 f0 44 01 3c 24 add [%rsp], %r15w
|
| - 0000000000000006: f0 66 44 01 3c 24 add [%rsp], %r15w
|
| - 000000000000000c: 64 66 41 89 c0 mov %r8w, %ax
|
| - 0000000000000011: 66 64 41 89 c0 mov %r8w, %ax
|
| - 0000000000000016: 89 ff mov %edi, %edi
|
| - 0000000000000018: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1]
|
| - 000000000000001c: 66 f3 48 ab invalid
|
| - 0000000000000020: 89 ff mov %edi, %edi
|
| - 0000000000000022: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1]
|
| - 0000000000000026: f3 66 48 ab invalid
|
| - 000000000000002a: 66 90 [P] dontcare
|
| - 000000000000002c: 66 66 90 [P] dontcare %ax (suz), %ax (suz)
|
| - 000000000000002f: 66 66 66 90 [P] dontcare %ax (suz), %ax (suz)
|
| - 0000000000000033: 66 66 66 2e 0f 1f 84 00 00 00 00 00 [P] dontcare
|
| -@rdfa_output:
|
| - c: [0] unrecognized instruction
|
| - 11: [1] unrecognized instruction
|
| - 1c: [2] unrecognized instruction
|
| - 26: [0] unrecognized instruction
|
| - 2c: [1] unrecognized instruction
|
| - 2f: [2] unrecognized instruction
|
| - return code: 1
|
|
|