| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # Models a jump to the begining of an atomic instruction sequence. | |
| 3 # jmp 0x2 | |
| 4 EB 00 | |
| 5 # and %edx, 0xe0 | |
| 6 83 e2 e0 \\ | |
| 7 # add %rdx, %r15 | |
| 8 4c 01 fa \\ | |
| 9 # jmp %rdx | |
| 10 ff e2 | |
| 11 @val: | |
| 12 VALIDATOR: Checking jump targets: 0 to a | |
| 13 VALIDATOR: Checking that basic blocks are aligned | |
| 14 *** <input> is safe *** | |
| 15 @rval: | |
| 16 VALIDATOR: Checking jump targets: 0 to a | |
| 17 VALIDATOR: Checking that basic blocks are aligned | |
| 18 *** <input> is safe *** | |
| 19 @rvald: | |
| 20 VALIDATOR: Checking block alignment and jump targets: 0 to a | |
| 21 *** <input> is safe *** | |
| 22 @vd-rval: | |
| 23 VALIDATOR: Checking jump targets: 0 to a | |
| 24 VALIDATOR: Checking that basic blocks are aligned | |
| 25 *** <input> is safe *** | |
| 26 @dis: | |
| 27 0000000000000000: eb 00 jmp 0x2 | |
| 28 0000000000000002: 83 e2 e0 and %edx, 0xe0 | |
| 29 0000000000000005: 4c 01 fa add %rdx, %r15 | |
| 30 0000000000000008: ff e2 jmp %rdx | |
| 31 @vdis: | |
| 32 0000000000000000: eb 00 [P] dontcarejum
p %rip (s), 0x2 (u) | |
| 33 0000000000000002: 83 e2 e0 and %edx, 0xe0 | |
| 34 0000000000000005: 4c 01 fa add %rdx, %r15 | |
| 35 0000000000000008: ff e2 [P] dontcarejum
p %rip (s), %rdx (u) | |
| 36 @rdfa_output: | |
| 37 return code: 0 | |
| OLD | NEW |