| 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
|
|
|