| Index: src/trusted/validator_x86/testdata/64/inc_dec.test
|
| diff --git a/src/trusted/validator_x86/testdata/64/inc_dec.test b/src/trusted/validator_x86/testdata/64/inc_dec.test
|
| deleted file mode 100644
|
| index 62ce69ff3e0d34bc1604b5faaefe2483abc42575..0000000000000000000000000000000000000000
|
| --- a/src/trusted/validator_x86/testdata/64/inc_dec.test
|
| +++ /dev/null
|
| @@ -1,22 +0,0 @@
|
| -@hex:
|
| - # Check that inc and dec are considered zero-extending instructions.
|
| - # inc %ecx
|
| - ff c1 \\
|
| - # and (%rsp, %rcx, 1), %esi
|
| - 23 34 0c
|
| -
|
| - # dec %ecx
|
| - ff c9 \\
|
| - # and (%rsp, %rcx, 1), %esi
|
| - 23 34 0c
|
| -@rval:
|
| - VALIDATOR: Checking jump targets: 0 to a
|
| - VALIDATOR: Checking that basic blocks are aligned
|
| - *** <input> is safe ***
|
| -@dis:
|
| - 0000000000000000: ff c1 inc %ecx
|
| - 0000000000000002: 23 34 0c and %esi, [%rsp+%rcx*1]
|
| - 0000000000000005: ff c9 dec %ecx
|
| - 0000000000000007: 23 34 0c and %esi, [%rsp+%rcx*1]
|
| -@rdfa_output:
|
| - return code: 0
|
|
|