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 |