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 |