| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # Check that the start address of the segment is 32 byte aligned. | |
| 3 90 | |
| 4 @val: | |
| 5 VALIDATOR: Checking jump targets: 0 to 1 | |
| 6 VALIDATOR: Checking that basic blocks are aligned | |
| 7 *** <input> is safe *** | |
| 8 @rval: | |
| 9 VALIDATOR: Checking jump targets: 0 to 1 | |
| 10 VALIDATOR: Checking that basic blocks are aligned | |
| 11 *** <input> is safe *** | |
| 12 @rvald: | |
| 13 VALIDATOR: Checking block alignment and jump targets: 0 to 1 | |
| 14 *** <input> is safe *** | |
| 15 @vd-rval: | |
| 16 VALIDATOR: Checking jump targets: 0 to 1 | |
| 17 VALIDATOR: Checking that basic blocks are aligned | |
| 18 *** <input> is safe *** | |
| 19 @dis: | |
| 20 0000000000000000: 90 nop | |
| 21 @vdis: | |
| 22 0000000000000000: 90 [P] dontcare | |
| 23 @rdfa_output: | |
| 24 return code: 0 | |
| OLD | NEW |