Index: src/trusted/validator_x86/testdata/64/return.test |
diff --git a/src/trusted/validator_x86/testdata/64/return.test b/src/trusted/validator_x86/testdata/64/return.test |
deleted file mode 100644 |
index 851a9d7e3120efca43a3c69f570265c98e9da9d2..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/64/return.test |
+++ /dev/null |
@@ -1,37 +0,0 @@ |
-@hex: |
- # Sample hex code for a return. |
- # pop %r11 |
- 41 5b |
- # and %r11d, 0xe0 |
- 41 83 e3 e0 \\ |
- # add %r11, %r15 |
- 4d 01 fb \\ |
- # jmp %r11 |
- 41 ff e3 |
-@val: |
- VALIDATOR: Checking jump targets: 0 to c |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@rval: |
- VALIDATOR: Checking jump targets: 0 to c |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@rvald: |
- VALIDATOR: Checking block alignment and jump targets: 0 to c |
- *** <input> is safe *** |
-@vd-rval: |
- VALIDATOR: Checking jump targets: 0 to c |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@dis: |
- 0000000000000000: 41 5b pop %r11 |
- 0000000000000002: 41 83 e3 e0 and %r11d, 0xe0 |
- 0000000000000006: 4d 01 fb add %r11, %r15 |
- 0000000000000009: 41 ff e3 jmp %r11 |
-@vdis: |
- 0000000000000000: 41 5b pop %r11 |
- 0000000000000002: 41 83 e3 e0 and %r11d, 0xe0 |
- 0000000000000006: 4d 01 fb add %r11, %r15 |
- 0000000000000009: 41 ff e3 [P] dontcarejump %rip (s), %r11 (u) |
-@rdfa_output: |
- return code: 0 |