Index: src/trusted/validator_x86/testdata/64/update-rsp-b32.test |
diff --git a/src/trusted/validator_x86/testdata/64/update-rsp-b32.test b/src/trusted/validator_x86/testdata/64/update-rsp-b32.test |
deleted file mode 100644 |
index cc576d66433c5655e2c35f2dde3c410aad66372d..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/64/update-rsp-b32.test |
+++ /dev/null |
@@ -1,15 +0,0 @@ |
-@hex: |
- # Subtract a 32-bit bounded value from esp and then update rsp. |
- # 0000000000000000: 81 ec 20 00 00 00 sub %esp, 0x20 |
- # 0000000000000006: 4c 01 fc add %rsp, %r15 |
- 81 ec 20 00 00 00 \\ |
- 4c 01 fc |
-@rval: |
- VALIDATOR: Checking jump targets: 0 to 9 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@dis: |
- 0000000000000000: 81 ec 20 00 00 00 sub %esp, 0x20 |
- 0000000000000006: 4c 01 fc add %rsp, %r15 |
-@rdfa_output: |
- return code: 0 |