Index: src/trusted/validator_x86/testdata/64/mv_ebp_add_crossing.test |
diff --git a/src/trusted/validator_x86/testdata/64/mv_ebp_add_crossing.test b/src/trusted/validator_x86/testdata/64/mv_ebp_add_crossing.test |
deleted file mode 100644 |
index 92f3f5cd72721a92151a6951a65d8250d98fda06..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/64/mv_ebp_add_crossing.test |
+++ /dev/null |
@@ -1,102 +0,0 @@ |
-@hex: |
- # Show that atomic sequences can't cross block boundaries. |
- # Example: |
- # mov %ebp, %r11d |
- # add %rbp, %r15" |
- # where add is in new block. |
- 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 |
- 90 90 90 90 90 90 90 90 90 90 90 90 90 |
- 44 89 dd 4c 01 fd |
- |
-@val: |
- VALIDATOR: Checking jump targets: 0 to 23 |
- VALIDATOR: Checking that basic blocks are aligned |
- VALIDATOR: ERROR: 20: Bad basic block alignment. |
- *** <input> IS UNSAFE *** |
-@rval: |
- VALIDATOR: Checking jump targets: 0 to 23 |
- VALIDATOR: Checking that basic blocks are aligned |
- VALIDATOR: ERROR: 20: Bad basic block alignment. |
- *** <input> IS UNSAFE *** |
-@rvala: |
- VALIDATOR: Checking jump targets: 0 to 23 |
- VALIDATOR: Checking that basic blocks are aligned |
- VALIDATOR: 20: Bad basic block alignment. |
- *** <input> IS UNSAFE *** |
-@rvald: |
- VALIDATOR: Checking block alignment and jump targets: 0 to 23 |
- VALIDATOR: 0000000000000020: 4c 01 fd add %rbp, %r15 |
- VALIDATOR: ERROR: Instruction begins basic block, but in middle of nacl pattern |
- *** <input> IS UNSAFE *** |
-@vd-rval: |
- VALIDATOR: Checking jump targets: 0 to 23 |
- VALIDATOR: Checking that basic blocks are aligned |
- VALIDATOR: ERROR: 20: Bad basic block alignment. |
- *** <input> IS UNSAFE *** |
-@dis: |
- 0000000000000000: 90 nop |
- 0000000000000001: 90 nop |
- 0000000000000002: 90 nop |
- 0000000000000003: 90 nop |
- 0000000000000004: 90 nop |
- 0000000000000005: 90 nop |
- 0000000000000006: 90 nop |
- 0000000000000007: 90 nop |
- 0000000000000008: 90 nop |
- 0000000000000009: 90 nop |
- 000000000000000a: 90 nop |
- 000000000000000b: 90 nop |
- 000000000000000c: 90 nop |
- 000000000000000d: 90 nop |
- 000000000000000e: 90 nop |
- 000000000000000f: 90 nop |
- 0000000000000010: 90 nop |
- 0000000000000011: 90 nop |
- 0000000000000012: 90 nop |
- 0000000000000013: 90 nop |
- 0000000000000014: 90 nop |
- 0000000000000015: 90 nop |
- 0000000000000016: 90 nop |
- 0000000000000017: 90 nop |
- 0000000000000018: 90 nop |
- 0000000000000019: 90 nop |
- 000000000000001a: 90 nop |
- 000000000000001b: 90 nop |
- 000000000000001c: 90 nop |
- 000000000000001d: 44 89 dd mov %ebp, %r11d |
- 0000000000000020: 4c 01 fd add %rbp, %r15 |
-@vdis: |
- 0000000000000000: 90 [P] dontcare |
- 0000000000000001: 90 [P] dontcare |
- 0000000000000002: 90 [P] dontcare |
- 0000000000000003: 90 [P] dontcare |
- 0000000000000004: 90 [P] dontcare |
- 0000000000000005: 90 [P] dontcare |
- 0000000000000006: 90 [P] dontcare |
- 0000000000000007: 90 [P] dontcare |
- 0000000000000008: 90 [P] dontcare |
- 0000000000000009: 90 [P] dontcare |
- 000000000000000a: 90 [P] dontcare |
- 000000000000000b: 90 [P] dontcare |
- 000000000000000c: 90 [P] dontcare |
- 000000000000000d: 90 [P] dontcare |
- 000000000000000e: 90 [P] dontcare |
- 000000000000000f: 90 [P] dontcare |
- 0000000000000010: 90 [P] dontcare |
- 0000000000000011: 90 [P] dontcare |
- 0000000000000012: 90 [P] dontcare |
- 0000000000000013: 90 [P] dontcare |
- 0000000000000014: 90 [P] dontcare |
- 0000000000000015: 90 [P] dontcare |
- 0000000000000016: 90 [P] dontcare |
- 0000000000000017: 90 [P] dontcare |
- 0000000000000018: 90 [P] dontcare |
- 0000000000000019: 90 [P] dontcare |
- 000000000000001a: 90 [P] dontcare |
- 000000000000001b: 90 [P] dontcare |
- 000000000000001c: 90 [P] dontcare |
- 000000000000001d: 44 89 dd mov %ebp, %r11d |
- 0000000000000020: 4c 01 fd add %rbp, %r15 |
-@rdfa_output: |
- 20: [0] improper %rbp sandboxing |
- return code: 1 |