| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # Case where we should conclude that the index register rsi in the second move
contains | |
| 3 # only 32 bits, and is set by the mov, so it is legal (i.e. it zero extends). | |
| 4 # That is, the two moves: | |
| 5 # mov %esi, %esi | |
| 6 # mov [%r15 + %rsi*1 + 0x8], %edx | |
| 7 89 f6 \\ | |
| 8 41 89 54 37 08 | |
| 9 @val: | |
| 10 VALIDATOR: Checking jump targets: 0 to 7 | |
| 11 VALIDATOR: Checking that basic blocks are aligned | |
| 12 *** <input> is safe *** | |
| 13 @rval: | |
| 14 VALIDATOR: Checking jump targets: 0 to 7 | |
| 15 VALIDATOR: Checking that basic blocks are aligned | |
| 16 *** <input> is safe *** | |
| 17 @rvald: | |
| 18 VALIDATOR: Checking block alignment and jump targets: 0 to 7 | |
| 19 *** <input> is safe *** | |
| 20 @vd-rval: | |
| 21 VALIDATOR: Checking jump targets: 0 to 7 | |
| 22 VALIDATOR: Checking that basic blocks are aligned | |
| 23 *** <input> is safe *** | |
| 24 @dis: | |
| 25 0000000000000000: 89 f6 mov %esi, %esi | |
| 26 0000000000000002: 41 89 54 37 08 mov [%r15+%rsi*
1+0x8], %edx | |
| 27 @vdis: | |
| 28 0000000000000000: 89 f6 mov %esi, %esi | |
| 29 0000000000000002: 41 89 54 37 08 mov [%r15+%rsi*
1+0x8], %edx | |
| 30 @rdfa_output: | |
| 31 return code: 0 | |
| OLD | NEW |