Index: src/trusted/validator_x86/testdata/64/strings.test |
diff --git a/src/trusted/validator_x86/testdata/64/strings.test b/src/trusted/validator_x86/testdata/64/strings.test |
deleted file mode 100644 |
index f493d8ac9779cfbe8067cb1d2863583705129ffc..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/64/strings.test |
+++ /dev/null |
@@ -1,241 +0,0 @@ |
-@hex: |
- # Test string operations with 1 memory operand |
- # mov %edi,%edi |
- # lea (%r15,%rdi,1),%rdi |
- # scas %es:(%rdi),%al |
- 89 ff |
- 49 8d 3c 3f |
- ae |
- |
- # add %edi,%edi |
- # lea (%r15,%rdi,1),%rdi |
- # scas %es:(%rdi),%al |
- 01 ff |
- 49 8d 3c 3f |
- ae |
- |
- # mov %edi,%edi |
- # add %r15,%rdi |
- # scas %es:(%rdi),%al |
- 89 ff |
- 4c 01 ff |
- ae |
- |
- # mov %edi,%edi |
- # lea (%rdi,%r15,1),%rdi |
- # scas %es:(%rdi),%al |
- 89 ff |
- 4a 8d 3c 3f |
- ae |
- |
- # Test string operations with 2 memory operands. |
- # mov %esi,%esi |
- # add %r15,%rsi |
- # mov %edi,%edi |
- # add %r15,%rdi |
- # movsl %ds:(%rsi),%es:(%rdi) |
- 89 f6 |
- 4c 01 fe |
- 89 ff |
- 4c 01 ff |
- a5 |
- |
- # mov %esi,%esi |
- # add %r15,%rsi |
- # mov %edi,%edi |
- # add %r15,%rdi |
- # cmpsl %es:(%rdi),%ds:(%rsi) |
- 89 f6 |
- 4c 01 fe |
- 89 ff |
- 4c 01 ff |
- a7 |
- |
- # mov %esi,%esi |
- # lea (%r15,%rsi),%rsi |
- # mov %edi,%edi |
- # lea (%r15,%rdi),%rdi |
- # cmpsl %es:(%rdi),%ds:(%rsi) |
- 89 f6 |
- 49 8d 34 37 |
- 89 ff |
- 49 8d 3c 3f |
- a7 |
- |
- # mov %edi,%edi |
- # lea (%r15,%rdi),%rdi |
- # mov %esi,%esi |
- # lea (%r15,%rsi),%rsi |
- # cmpsl %es:(%rdi),%ds:(%rsi) |
- 89 ff |
- 49 8d 3c 3f |
- 89 f6 |
- 49 8d 34 37 |
- a7 |
- |
- # add %esi,%esi |
- # lea (%r15,%rsi,1),%rsi |
- # add %edi,%edi |
- # lea (%r15,%rdi,1),%rdi |
- # cmpsl %es:(%rdi),%ds:(%rsi) |
- 01 f6 |
- 49 8d 34 37 |
- 01 ff |
- 49 8d 3c 3f |
- a7 |
-@rval: |
- VALIDATOR: 000000000000000d: ae scasb [%rdi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000013: ae scasb [%rdi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 000000000000001a: ae scasb [%rdi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000025: a5 movsd [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000025: a5 movsd [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000030: a7 cmpsd [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000030: a7 cmpsd [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 000000000000004a: a7 cmpsd [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000057: a7 cmpsd [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000057: a7 cmpsd [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: Checking jump targets: 0 to 58 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@rvald: |
- VALIDATOR: 000000000000000d: ae scasb [%rdi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000013: ae scasb [%rdi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 000000000000001a: ae scasb [%rdi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000025: a5 movsd [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000025: a5 movsd [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000030: a7 cmpsd [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000030: a7 cmpsd [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 000000000000004a: a7 cmpsd [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000057: a7 cmpsd [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000057: a7 cmpsd [%rdi], [%rsi] |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: Checking block alignment and jump targets: 0 to 58 |
- *** <input> IS UNSAFE *** |
-@vd-rval: |
- VALIDATOR: 000000000000000d: ae [P] dontcare %al (u), [%rdi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000013: ae [P] dontcare %al (u), [%rdi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 000000000000001a: ae [P] dontcare %al (u), [%rdi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000025: a5 [P] dontcare [%rdi] (s), [%rsi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000025: a5 [P] dontcare [%rdi] (s), [%rsi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000030: a7 [P] dontcare [%rdi] (u), [%rsi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000030: a7 [P] dontcare [%rdi] (u), [%rsi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 000000000000004a: a7 [P] dontcare [%rdi] (u), [%rsi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000057: a7 [P] dontcare [%rdi] (u), [%rsi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: 0000000000000057: a7 [P] dontcare [%rdi] (u), [%rsi] (u) |
- VALIDATOR: ERROR: Segment memory reference not allowed |
- VALIDATOR: Checking jump targets: 0 to 58 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> IS UNSAFE *** |
-@dis: |
- 0000000000000000: 89 ff mov %edi, %edi |
- 0000000000000002: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1] |
- 0000000000000006: ae scasb [%rdi] |
- 0000000000000007: 01 ff add %edi, %edi |
- 0000000000000009: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1] |
- 000000000000000d: ae scasb [%rdi] |
- 000000000000000e: 89 ff mov %edi, %edi |
- 0000000000000010: 4c 01 ff add %rdi, %r15 |
- 0000000000000013: ae scasb [%rdi] |
- 0000000000000014: 89 ff mov %edi, %edi |
- 0000000000000016: 4a 8d 3c 3f lea %rdi, [%rdi+%r15*1] |
- 000000000000001a: ae scasb [%rdi] |
- 000000000000001b: 89 f6 mov %esi, %esi |
- 000000000000001d: 4c 01 fe add %rsi, %r15 |
- 0000000000000020: 89 ff mov %edi, %edi |
- 0000000000000022: 4c 01 ff add %rdi, %r15 |
- 0000000000000025: a5 movsd [%rdi], [%rsi] |
- 0000000000000026: 89 f6 mov %esi, %esi |
- 0000000000000028: 4c 01 fe add %rsi, %r15 |
- 000000000000002b: 89 ff mov %edi, %edi |
- 000000000000002d: 4c 01 ff add %rdi, %r15 |
- 0000000000000030: a7 cmpsd [%rdi], [%rsi] |
- 0000000000000031: 89 f6 mov %esi, %esi |
- 0000000000000033: 49 8d 34 37 lea %rsi, [%r15+%rsi*1] |
- 0000000000000037: 89 ff mov %edi, %edi |
- 0000000000000039: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1] |
- 000000000000003d: a7 cmpsd [%rdi], [%rsi] |
- 000000000000003e: 89 ff mov %edi, %edi |
- 0000000000000040: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1] |
- 0000000000000044: 89 f6 mov %esi, %esi |
- 0000000000000046: 49 8d 34 37 lea %rsi, [%r15+%rsi*1] |
- 000000000000004a: a7 cmpsd [%rdi], [%rsi] |
- 000000000000004b: 01 f6 add %esi, %esi |
- 000000000000004d: 49 8d 34 37 lea %rsi, [%r15+%rsi*1] |
- 0000000000000051: 01 ff add %edi, %edi |
- 0000000000000053: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1] |
- 0000000000000057: a7 cmpsd [%rdi], [%rsi] |
-@vdis: |
- 0000000000000000: 89 ff mov %edi, %edi |
- 0000000000000002: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1] |
- 0000000000000006: ae [P] dontcare %al (u), [%rdi] (u) |
- 0000000000000007: 01 ff add %edi, %edi |
- 0000000000000009: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1] |
- 000000000000000d: ae [P] dontcare %al (u), [%rdi] (u) |
- 000000000000000e: 89 ff mov %edi, %edi |
- 0000000000000010: 4c 01 ff add %rdi, %r15 |
- 0000000000000013: ae [P] dontcare %al (u), [%rdi] (u) |
- 0000000000000014: 89 ff mov %edi, %edi |
- 0000000000000016: 4a 8d 3c 3f lea %rdi, [%rdi+%r15*1] |
- 000000000000001a: ae [P] dontcare %al (u), [%rdi] (u) |
- 000000000000001b: 89 f6 mov %esi, %esi |
- 000000000000001d: 4c 01 fe add %rsi, %r15 |
- 0000000000000020: 89 ff mov %edi, %edi |
- 0000000000000022: 4c 01 ff add %rdi, %r15 |
- 0000000000000025: a5 [P] dontcare [%rdi] (s), [%rsi] (u) |
- 0000000000000026: 89 f6 mov %esi, %esi |
- 0000000000000028: 4c 01 fe add %rsi, %r15 |
- 000000000000002b: 89 ff mov %edi, %edi |
- 000000000000002d: 4c 01 ff add %rdi, %r15 |
- 0000000000000030: a7 [P] dontcare [%rdi] (u), [%rsi] (u) |
- 0000000000000031: 89 f6 mov %esi, %esi |
- 0000000000000033: 49 8d 34 37 lea %rsi, [%r15+%rsi*1] |
- 0000000000000037: 89 ff mov %edi, %edi |
- 0000000000000039: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1] |
- 000000000000003d: a7 [P] dontcare [%rdi] (u), [%rsi] (u) |
- 000000000000003e: 89 ff mov %edi, %edi |
- 0000000000000040: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1] |
- 0000000000000044: 89 f6 mov %esi, %esi |
- 0000000000000046: 49 8d 34 37 lea %rsi, [%r15+%rsi*1] |
- 000000000000004a: a7 [P] dontcare [%rdi] (u), [%rsi] (u) |
- 000000000000004b: 01 f6 add %esi, %esi |
- 000000000000004d: 49 8d 34 37 lea %rsi, [%r15+%rsi*1] |
- 0000000000000051: 01 ff add %edi, %edi |
- 0000000000000053: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1] |
- 0000000000000057: a7 [P] dontcare [%rdi] (u), [%rsi] (u) |
-@rdfa_output: |
- d: [0] unrecognized instruction |
- 13: [1] unrecognized instruction |
- 1a: [2] unrecognized instruction |
- 25: [0] unrecognized instruction |
- 30: [1] unrecognized instruction |
- 4a: [0] unrecognized instruction |
- 57: [1] unrecognized instruction |
- return code: 1 |