| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # Sample valid (write sandboxed) store using an and mask. | |
| 3 # and %ecx, 0xe0 | |
| 4 # mov [%r15+%rcx*8+0x36], %rax | |
| 5 83 e1 e0 \\ | |
| 6 49 89 44 CF 36 | |
| 7 @val: | |
| 8 VALIDATOR: Checking jump targets: 0 to 8 | |
| 9 VALIDATOR: Checking that basic blocks are aligned | |
| 10 *** <input> is safe *** | |
| 11 @rval: | |
| 12 VALIDATOR: Checking jump targets: 0 to 8 | |
| 13 VALIDATOR: Checking that basic blocks are aligned | |
| 14 *** <input> is safe *** | |
| 15 @rvald: | |
| 16 VALIDATOR: Checking block alignment and jump targets: 0 to 8 | |
| 17 *** <input> is safe *** | |
| 18 @vd-rval: | |
| 19 VALIDATOR: Checking jump targets: 0 to 8 | |
| 20 VALIDATOR: Checking that basic blocks are aligned | |
| 21 *** <input> is safe *** | |
| 22 @dis: | |
| 23 0000000000000000: 83 e1 e0 and %ecx, 0xe0 | |
| 24 0000000000000003: 49 89 44 cf 36 mov [%r15+%rcx*
8+0x36], %rax | |
| 25 @vdis: | |
| 26 0000000000000000: 83 e1 e0 and %ecx, 0xe0 | |
| 27 0000000000000003: 49 89 44 cf 36 mov [%r15+%rcx*
8+0x36], %rax | |
| 28 @rdfa_output: | |
| 29 return code: 0 | |
| OLD | NEW |