Index: src/trusted/validator_x86/testdata/64/direct-cond-jump-32.test |
diff --git a/src/trusted/validator_x86/testdata/64/direct-cond-jump-32.test b/src/trusted/validator_x86/testdata/64/direct-cond-jump-32.test |
deleted file mode 100644 |
index 058510d3fb8281f623fb890adaec033e0c27cdc5..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/64/direct-cond-jump-32.test |
+++ /dev/null |
@@ -1,19 +0,0 @@ |
-@hex: |
- # This file tests how we handle a 32-bit conditional direct jump. |
- # |
- # Define direct (32-bit) conditional jump |
- 0f 84 01 00 00 00 |
- |
- # Padding so that there is a valid target for the jump |
- 90 |
- 90 |
-@rval: |
- VALIDATOR: Checking jump targets: 0 to 8 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@dis: |
- 0000000000000000: 0f 84 01 00 00 00 jz 0x7 |
- 0000000000000006: 90 nop |
- 0000000000000007: 90 nop |
-@rdfa_output: |
- return code: 0 |