Index: src/trusted/validator_x86/testdata/64/legacy.test |
diff --git a/src/trusted/validator_x86/testdata/64/legacy.test b/src/trusted/validator_x86/testdata/64/legacy.test |
deleted file mode 100644 |
index 8a33edc11cc9cfa0c4a9582b216dec8380cb942e..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/64/legacy.test |
+++ /dev/null |
@@ -1,360 +0,0 @@ |
-@hex: |
- # Legacy instructions which are invalid in 64-bit mode |
- # nops (90) are used to reconsile disassembler |
- # aaa |
- 37 |
- # aad |
- D5 0A |
-@rval: |
- VALIDATOR: 0000000000000000: 37 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: 37 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000001: d5 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: d5 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000002: 0a invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking jump targets: 0 to 3 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@rvald: |
- VALIDATOR: 0000000000000000: 37 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: 37 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000001: d5 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: d5 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000002: 0a invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking block alignment and jump targets: 0 to 3 |
- *** <input> IS UNSAFE *** |
-@vd-rval: |
- VALIDATOR: 0000000000000000: 37 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: 37 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000001: d5 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: d5 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000002: 0a invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking jump targets: 0 to 3 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@dis: |
- 0000000000000000: 37 invalid |
- 0000000000000001: d5 invalid |
- 0000000000000002: 0a invalid |
-@vdis: |
- 0000000000000000: 37 invalid |
- 0000000000000001: d5 invalid |
- 0000000000000002: 0a invalid |
-@rdfa_output: |
- 0: [0] unrecognized instruction |
- 1: [1] unrecognized instruction |
- return code: 1 |
-@validators_disagree: |
- errors reported by old validator but not by rdfa one: |
- 0x2 - because of error recovery |
----------------------------------------------------------------------- |
-@hex: |
- # aam |
- D4 0A |
-@rval: |
- VALIDATOR: 0000000000000000: d4 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: d4 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000001: 0a invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking jump targets: 0 to 2 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@rvald: |
- VALIDATOR: 0000000000000000: d4 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: d4 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000001: 0a invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking block alignment and jump targets: 0 to 2 |
- *** <input> IS UNSAFE *** |
-@vd-rval: |
- VALIDATOR: 0000000000000000: d4 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: d4 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000001: 0a invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking jump targets: 0 to 2 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@dis: |
- 0000000000000000: d4 invalid |
- 0000000000000001: 0a invalid |
-@vdis: |
- 0000000000000000: d4 invalid |
- 0000000000000001: 0a invalid |
-@rdfa_output: |
- 0: [0] unrecognized instruction |
- return code: 1 |
-@validators_disagree: |
- errors reported by old validator but not by rdfa one: |
- 0x1 - because of error recovery |
----------------------------------------------------------------------- |
-@hex: |
- # aas |
- 3F |
- # bound %eax, (%eax) |
- 62 00 |
-@rval: |
- VALIDATOR: 0000000000000000: 3f invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: 3f invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000001: 62 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: 62 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000002: 00 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking jump targets: 0 to 3 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@rvald: |
- VALIDATOR: 0000000000000000: 3f invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: 3f invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000001: 62 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: 62 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000002: 00 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking block alignment and jump targets: 0 to 3 |
- *** <input> IS UNSAFE *** |
-@vd-rval: |
- VALIDATOR: 0000000000000000: 3f invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: 3f invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000001: 62 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: 62 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000002: 00 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking jump targets: 0 to 3 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@dis: |
- 0000000000000000: 3f invalid |
- 0000000000000001: 62 invalid |
- 0000000000000002: 00 invalid |
-@vdis: |
- 0000000000000000: 3f invalid |
- 0000000000000001: 62 invalid |
- 0000000000000002: 00 invalid |
-@rdfa_output: |
- 0: [0] unrecognized instruction |
- 1: [1] unrecognized instruction |
- return code: 1 |
-@validators_disagree: |
- errors reported by old validator but not by rdfa one: |
- 0x2 - because of error recovery |
----------------------------------------------------------------------- |
-@hex: |
- # daa |
- 27 |
- # das |
- 2F |
- # pusha |
- 60 |
-@rval: |
- VALIDATOR: 0000000000000000: 27 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: 27 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000001: 2f invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: 2f invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000002: 60 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000002: 60 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking jump targets: 0 to 3 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@rvald: |
- VALIDATOR: 0000000000000000: 27 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: 27 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000001: 2f invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: 2f invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000002: 60 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000002: 60 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking block alignment and jump targets: 0 to 3 |
- *** <input> IS UNSAFE *** |
-@vd-rval: |
- VALIDATOR: 0000000000000000: 27 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: 27 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000001: 2f invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: 2f invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: 0000000000000002: 60 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000002: 60 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking jump targets: 0 to 3 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@dis: |
- 0000000000000000: 27 invalid |
- 0000000000000001: 2f invalid |
- 0000000000000002: 60 invalid |
-@vdis: |
- 0000000000000000: 27 invalid |
- 0000000000000001: 2f invalid |
- 0000000000000002: 60 invalid |
-@rdfa_output: |
- 0: [0] unrecognized instruction |
- 1: [1] unrecognized instruction |
- 2: [2] unrecognized instruction |
- return code: 1 |
----------------------------------------------------------------------- |
-@hex: |
- # Some undocumented instructions |
- # icebp |
- F1 |
- # salc |
- D6 |
-@rval: |
- VALIDATOR: 0000000000000000: f1 int1 |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: d6 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: d6 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking jump targets: 0 to 2 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@rvald: |
- VALIDATOR: 0000000000000000: f1 int1 |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: d6 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: d6 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking block alignment and jump targets: 0 to 2 |
- *** <input> IS UNSAFE *** |
-@vd-rval: |
- VALIDATOR: 0000000000000000: f1 [P] dontcare(illegal) |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: d6 invalid |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: d6 invalid |
- VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction |
- VALIDATOR: Checking jump targets: 0 to 2 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@dis: |
- 0000000000000000: f1 int1 |
- 0000000000000001: d6 invalid |
-@vdis: |
- 0000000000000000: f1 [P] dontcare(illegal) |
- 0000000000000001: d6 invalid |
-@rdfa_output: |
- 0: [0] unrecognized instruction |
- 1: [1] unrecognized instruction |
- return code: 1 |
----------------------------------------------------------------------- |
-@hex: |
- # Instruction below could be valid in 64-bit code and could be not valid |
- # depending on CPUID return values. |
- # lahf |
- 9F |
- # sahf |
- 9E |
-@rval: |
- VALIDATOR: Checking jump targets: 0 to 2 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@rvald: |
- VALIDATOR: Checking block alignment and jump targets: 0 to 2 |
- *** <input> is safe *** |
-@vd-rval: |
- VALIDATOR: Checking jump targets: 0 to 2 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@dis: |
- 0000000000000000: 9f lahf |
- 0000000000000001: 9e sahf |
-@vdis: |
- 0000000000000000: 9f [P] dontcare %ah (s) |
- 0000000000000001: 9e [P] dontcare %ah (u) |
-@rdfa_output: |
- return code: 0 |
----------------------------------------------------------------------- |
-@hex: |
- # Legacy instructions which are valid in 64-bit mode |
- # xlat (%ebx,%al) |
- D7 |
- |
- # xlat (%rbx,%al) |
- 48 D7 |
-@rval: |
- VALIDATOR: 0000000000000000: d7 xlat |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: d7 xlat |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000001: 48 d7 xlat |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: 48 d7 xlat |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: Checking jump targets: 0 to 3 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@rvald: |
- VALIDATOR: 0000000000000000: d7 xlat |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000000: d7 xlat |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000001: 48 d7 xlat |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: 48 d7 xlat |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: Checking block alignment and jump targets: 0 to 3 |
- *** <input> IS UNSAFE *** |
-@vd-rval: |
- VALIDATOR: 0000000000000000: d7 [P] dontcare(illegal) |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000001: 48 d7 [P] dontcare(illegal) |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: Checking jump targets: 0 to 3 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@dis: |
- 0000000000000000: d7 xlat |
- 0000000000000001: 48 d7 xlat |
-@vdis: |
- 0000000000000000: d7 [P] dontcare(illegal) |
- 0000000000000001: 48 d7 [P] dontcare(illegal) |
-@rdfa_output: |
- 0: [0] unrecognized instruction |
- 1: [1] unrecognized instruction |
- return code: 1 |