Index: src/trusted/validator_x86/testdata/64/rep_tests.test |
diff --git a/src/trusted/validator_x86/testdata/64/rep_tests.test b/src/trusted/validator_x86/testdata/64/rep_tests.test |
deleted file mode 100644 |
index 2c60e26938d4217e91cb5e1814b77d32114515b7..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/64/rep_tests.test |
+++ /dev/null |
@@ -1,199 +0,0 @@ |
-@hex: |
- # This file does some simple tests to see if we recognize when the REP/REPNE (F2 F3) |
- # prefix bytes are allowed. |
- |
- # The following is an example of an instruction without the REP/REPNE prefix. |
- # add %al, %al |
- 00 c0 |
- |
- # The following is the same instruction with an illegal REP prefix. |
- f3 00 c0 |
- |
- # The following is the same instruction with an illegal REPNE prefix. |
- f2 00 c0 |
- |
- # The following is an example of a multibyte instruction explicitly requiring |
- # a REP prefix. |
- # movss %xmm0, [%rdx] |
- f3 0f 10 02 |
- |
- # The following is an example of a multibyte instruction explicitly requiring |
- # a REPNE prefix. |
- # movsd [%rsp+0x10], %xmm2 |
- f2 0f 11 54 24 10 |
- |
- # The following is an example of an instruction that can get a REP prefix. |
- # insb |
- 6c |
- |
- # The same instrucition with a REP prefix. |
- f3 6c |
- |
- # The same instruction with a REPNE prefix. |
- f2 6c |
- |
- # The following is an example of an instruction that can get a REP/REPNE prefix. |
- # cmpsb |
- a6 |
- |
- # The same instruction with a REP prefix. |
- f3 a6 |
- |
- # The same instruction with a REPNE prefix |
- f2 a6 |
-@rval: |
- VALIDATOR: 0000000000000002: f3 00 c0 add %al, %al |
- VALIDATOR: ERROR: Use of REP (F3) prefix for instruction not allowed by Native Client |
- VALIDATOR: 0000000000000005: f2 00 c0 add %al, %al |
- VALIDATOR: ERROR: Use of REPNE (F2) prefix for instruction not allowed by Native Client |
- VALIDATOR: 0000000000000008: f3 0f 10 02 movss %xmm0, [%rdx] |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 0000000000000012: 6c insb |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000012: 6c insb |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000013: f3 6c insb |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000013: f3 6c insb |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000015: f2 6c insb |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000015: f2 6c insb |
- VALIDATOR: ERROR: Use of REPNE (F2) prefix for instruction not allowed by Native Client |
- VALIDATOR: 0000000000000015: f2 6c insb |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000017: a6 cmpsb [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000017: a6 cmpsb [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000018: f3 a6 cmpsb [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000018: f3 a6 cmpsb [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 000000000000001a: f2 a6 cmpsb [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 000000000000001a: f2 a6 cmpsb [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: Checking jump targets: 0 to 1c |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@rvala: |
- VALIDATOR: 2: Use of REP (F3) prefix for instruction not allowed by Native Client |
- VALIDATOR: 5: Use of REPNE (F2) prefix for instruction not allowed by Native Client |
- VALIDATOR: 8: Invalid base register in memory offset |
- VALIDATOR: 12: This instruction has been marked illegal by Native Client |
- VALIDATOR: 12: Segment memory reference not allowed |
- VALIDATOR: 13: This instruction has been marked illegal by Native Client |
- VALIDATOR: 13: Segment memory reference not allowed |
- VALIDATOR: 15: This instruction has been marked illegal by Native Client |
- VALIDATOR: 15: Use of REPNE (F2) prefix for instruction not allowed by Native Client |
- VALIDATOR: 15: Segment memory reference not allowed |
- VALIDATOR: 17: Segment memory reference not allowed |
- VALIDATOR: 17: Segment memory reference not allowed |
- VALIDATOR: 18: Segment memory reference not allowed |
- VALIDATOR: 18: Segment memory reference not allowed |
- VALIDATOR: 1a: Segment memory reference not allowed |
- VALIDATOR: 1a: Segment memory reference not allowed |
- VALIDATOR: Checking jump targets: 0 to 1c |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@rvald: |
- VALIDATOR: 0000000000000002: f3 00 c0 add %al, %al |
- VALIDATOR: ERROR: Use of REP (F3) prefix for instruction not allowed by Native Client |
- VALIDATOR: 0000000000000005: f2 00 c0 add %al, %al |
- VALIDATOR: ERROR: Use of REPNE (F2) prefix for instruction not allowed by Native Client |
- VALIDATOR: 0000000000000008: f3 0f 10 02 movss %xmm0, [%rdx] |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 0000000000000012: 6c insb |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000012: 6c insb |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000013: f3 6c insb |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000013: f3 6c insb |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000015: f2 6c insb |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000015: f2 6c insb |
- VALIDATOR: ERROR: Use of REPNE (F2) prefix for instruction not allowed by Native Client |
- VALIDATOR: 0000000000000015: f2 6c insb |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000017: a6 cmpsb [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000017: a6 cmpsb [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000018: f3 a6 cmpsb [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000018: f3 a6 cmpsb [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 000000000000001a: f2 a6 cmpsb [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 000000000000001a: f2 a6 cmpsb [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: Checking block alignment and jump targets: 0 to 1c |
- *** <input> IS UNSAFE *** |
-@vd-rval: |
- VALIDATOR: 0000000000000002: f3 00 c0 add %al, %al |
- VALIDATOR: ERROR: Use of REP (F3) prefix for instruction not allowed by Native Client |
- VALIDATOR: 0000000000000005: f2 00 c0 add %al, %al |
- VALIDATOR: ERROR: Use of REPNE (F2) prefix for instruction not allowed by Native Client |
- VALIDATOR: 0000000000000008: f3 0f 10 02 [P] dontcare [%rdx] (u) |
- VALIDATOR: ERROR: Invalid base register in memory offset |
- VALIDATOR: 0000000000000012: 6c [P] dontcare(illegal) |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000013: f3 6c [P] dontcare(illegal) |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000015: f2 6c [P] dontcare(illegal) |
- VALIDATOR: ERROR: This instruction has been marked illegal by Native Client |
- VALIDATOR: 0000000000000015: f2 6c [P] dontcare(illegal) |
- VALIDATOR: ERROR: Use of REPNE (F2) prefix for instruction not allowed by Native Client |
- VALIDATOR: 0000000000000017: a6 [P] dontcare [%rdi] (u), [%rsi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000017: a6 [P] dontcare [%rdi] (u), [%rsi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000018: f3 a6 [P] dontcare [%rdi] (u), [%rsi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000018: f3 a6 [P] dontcare [%rdi] (u), [%rsi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 000000000000001a: f2 a6 [P] dontcare [%rdi] (u), [%rsi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 000000000000001a: f2 a6 [P] dontcare [%rdi] (u), [%rsi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: Checking jump targets: 0 to 1c |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@dis: |
- 0000000000000000: 00 c0 add %al, %al |
- 0000000000000002: f3 00 c0 add %al, %al |
- 0000000000000005: f2 00 c0 add %al, %al |
- 0000000000000008: f3 0f 10 02 movss %xmm0, [%rdx] |
- 000000000000000c: f2 0f 11 54 24 10 movsd [%rsp+0x10], %xmm2 |
- 0000000000000012: 6c insb |
- 0000000000000013: f3 6c insb |
- 0000000000000015: f2 6c insb |
- 0000000000000017: a6 cmpsb [%rdi], [%rsi] |
- 0000000000000018: f3 a6 cmpsb [%rdi], [%rsi] |
- 000000000000001a: f2 a6 cmpsb [%rdi], [%rsi] |
-@vdis: |
- 0000000000000000: 00 c0 add %al, %al |
- 0000000000000002: f3 00 c0 add %al, %al |
- 0000000000000005: f2 00 c0 add %al, %al |
- 0000000000000008: f3 0f 10 02 [P] dontcare [%rdx] (u) |
- 000000000000000c: f2 0f 11 54 24 10 [P] dontcare [%rsp+0x10] (s) |
- 0000000000000012: 6c [P] dontcare(illegal) |
- 0000000000000013: f3 6c [P] dontcare(illegal) |
- 0000000000000015: f2 6c [P] dontcare(illegal) |
- 0000000000000017: a6 [P] dontcare [%rdi] (u), [%rsi] (u) |
- 0000000000000018: f3 a6 [P] dontcare [%rdi] (u), [%rsi] (u) |
- 000000000000001a: f2 a6 [P] dontcare [%rdi] (u), [%rsi] (u) |
-@rdfa_output: |
- 2: [0] unrecognized instruction |
- 5: [1] unrecognized instruction |
- 8: [2] improper memory address - bad base |
- 12: [2] unrecognized instruction |
- 13: [3] unrecognized instruction |
- 15: [4] unrecognized instruction |
- 17: [5] unrecognized instruction |
- 18: [6] unrecognized instruction |
- 1a: [7] unrecognized instruction |
- return code: 1 |