| Index: src/trusted/validator_x86/testdata/32/test-12.test
|
| diff --git a/src/trusted/validator_x86/testdata/32/test-12.test b/src/trusted/validator_x86/testdata/32/test-12.test
|
| deleted file mode 100644
|
| index f3ea1620f9cbc01c7cf868de0dd68a96e0a439b7..0000000000000000000000000000000000000000
|
| --- a/src/trusted/validator_x86/testdata/32/test-12.test
|
| +++ /dev/null
|
| @@ -1,33 +0,0 @@
|
| -@hex:
|
| - # test 12: five byte movsx.
|
| - 66 0f be 04 10
|
| - f4
|
| -@nval:
|
| - *** <input> is safe ***
|
| -@nvals:
|
| - *** <input> is safe ***
|
| -
|
| - Opcode Histogram;
|
| - 1 0x0f 1 0xf4
|
| - Analysis Summary:
|
| - 2 Checked instructions
|
| - 0 checked jump targets
|
| - 0 calls/jumps need dynamic checking (0.00%)
|
| -
|
| - Problems:
|
| - 0 illegal instructions
|
| - 0 bad jump targets
|
| - 0 illegal unprotected indirect jumps (including ret)
|
| - 0 instruction alignment defects
|
| - 0 segmentation errors
|
| - 0 bad prefix
|
| - 0 bad instruction length
|
| - 0 internal errors
|
| -@dis:
|
| - 00000000: 66 0f be 04 10 movsx %ax, %ds:[%eax+%edx*1]
|
| - 00000005: f4 hlt
|
| -@vdis:
|
| - 0: 66 0f be 04 10 movsx %eax, [%eax + %edx]
|
| - 5: f4 hlt
|
| -@rdfa_output:
|
| - return code: 0
|
|
|