| Index: src/trusted/validator_x86/testdata/64/movs_test.test
|
| diff --git a/src/trusted/validator_x86/testdata/64/movs_test.test b/src/trusted/validator_x86/testdata/64/movs_test.test
|
| deleted file mode 100644
|
| index 2db37494d339776868eec89476c5507396e83e74..0000000000000000000000000000000000000000
|
| --- a/src/trusted/validator_x86/testdata/64/movs_test.test
|
| +++ /dev/null
|
| @@ -1,76 +0,0 @@
|
| -@hex:
|
| - # Test that we correctly check both implicit arguments to movsb
|
| -
|
| - # Valid case, within bundle
|
| - # 0000000000000000: 89 f6 mov %esi, %esi
|
| - # 0000000000000002: 49 8d 34 37 lea %rsi, [%r15+%rsi*1]
|
| - # 0000000000000006: 89 ff mov %edi, %edi
|
| - # 0000000000000008: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1]
|
| - # 000000000000000c: a4 movsb
|
| - 89 f6
|
| - 49 8d 34 37
|
| - 89 ff
|
| - 49 8d 3c 3f
|
| - a4
|
| -
|
| - # Nop spacer.
|
| - 90 90 90 90 90 90 90 90
|
| - 90 90 90 90 90 90 90 90
|
| - 90
|
| -
|
| - # invalid case, crosses bundle
|
| - # 000000000000001e: 89 f6 mov %esi, %esi
|
| - # 0000000000000020: 49 8d 34 37 lea %rsi, [%r15+%rsi*1]
|
| - # 0000000000000024: 89 ff mov %edi, %edi
|
| - # 0000000000000026: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1]
|
| - # 000000000000002a: a4 movsb
|
| - 89 f6
|
| - 49 8d 34 37
|
| - 89 ff
|
| - 49 8d 3c 3f
|
| - a4
|
| -@rval:
|
| - VALIDATOR: Checking jump targets: 0 to 2b
|
| - VALIDATOR: Checking that basic blocks are aligned
|
| - VALIDATOR: ERROR: 20: Bad basic block alignment.
|
| - *** <input> IS UNSAFE ***
|
| -@dis:
|
| - 0000000000000000: 89 f6 mov %esi, %esi
|
| - 0000000000000002: 49 8d 34 37 lea %rsi, [%r15+%rsi*1]
|
| - 0000000000000006: 89 ff mov %edi, %edi
|
| - 0000000000000008: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1]
|
| - 000000000000000c: a4 movsb [%rdi], [%rsi]
|
| - 000000000000000d: 90 nop
|
| - 000000000000000e: 90 nop
|
| - 000000000000000f: 90 nop
|
| - 0000000000000010: 90 nop
|
| - 0000000000000011: 90 nop
|
| - 0000000000000012: 90 nop
|
| - 0000000000000013: 90 nop
|
| - 0000000000000014: 90 nop
|
| - 0000000000000015: 90 nop
|
| - 0000000000000016: 90 nop
|
| - 0000000000000017: 90 nop
|
| - 0000000000000018: 90 nop
|
| - 0000000000000019: 90 nop
|
| - 000000000000001a: 90 nop
|
| - 000000000000001b: 90 nop
|
| - 000000000000001c: 90 nop
|
| - 000000000000001d: 90 nop
|
| - 000000000000001e: 89 f6 mov %esi, %esi
|
| - 0000000000000020: 49 8d 34 37 lea %rsi, [%r15+%rsi*1]
|
| - 0000000000000024: 89 ff mov %edi, %edi
|
| - 0000000000000026: 49 8d 3c 3f lea %rdi, [%r15+%rdi*1]
|
| - 000000000000002a: a4 movsb [%rdi], [%rsi]
|
| -@rdfa_output:
|
| - 2a: [0] unrecognized instruction
|
| - return code: 1
|
| -@validators_disagree:
|
| - Zero-extending happened in the end of the bundle, so old validator
|
| - reported that sequence crossed bundle boundary, and RDFA validator
|
| - did not allow string instruction with improperly prepared %rsi.
|
| -
|
| - errors reported by old validator but not by rdfa one:
|
| - 0x20
|
| - errors reported by rdfa validator but not by old one:
|
| - 0x2a
|
|
|