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 |