Index: src/trusted/validator_x86/testdata/64/tzcnt.test |
diff --git a/src/trusted/validator_x86/testdata/64/tzcnt.test b/src/trusted/validator_x86/testdata/64/tzcnt.test |
deleted file mode 100644 |
index ba6f4d6c703ca7ae90d41d4f54313b8b1bd12643..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/64/tzcnt.test |
+++ /dev/null |
@@ -1,11 +0,0 @@ |
-@hex: |
- # Test if we recognize tzcnt as a bsf with REP prefix. |
- f3 0f bc c3 |
-@rval: |
- VALIDATOR: Checking jump targets: 0 to 4 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@dis: |
- 0000000000000000: f3 0f bc c3 tzcnt %eax, %ebx |
-@rdfa_output: |
- return code: 0 |