| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # Test if we disallow bsf to zero-extend (i.e. mask) a memory reference. | |
| 3 0f bc c3 | |
| 4 49 89 14 07 | |
| 5 @rval: | |
| 6 VALIDATOR: 0000000000000003: 49 89 14 07 mov
[%r15+%rax*1], %rdx | |
| 7 VALIDATOR: ERROR: Invalid index register in memory offset | |
| 8 VALIDATOR: Checking jump targets: 0 to 7 | |
| 9 VALIDATOR: Checking that basic blocks are aligned | |
| 10 *** <input> IS UNSAFE *** | |
| 11 @rvald: | |
| 12 VALIDATOR: 0000000000000003: 49 89 14 07 mov
[%r15+%rax*1], %rdx | |
| 13 VALIDATOR: ERROR: Invalid index register in memory offset | |
| 14 VALIDATOR: Checking block alignment and jump targets: 0 to 7 | |
| 15 *** <input> IS UNSAFE *** | |
| 16 @vd-rval: | |
| 17 VALIDATOR: 0000000000000003: 49 89 14 07 mov
[%r15+%rax*1], %rdx | |
| 18 VALIDATOR: ERROR: Invalid index register in memory offset | |
| 19 VALIDATOR: Checking jump targets: 0 to 7 | |
| 20 VALIDATOR: Checking that basic blocks are aligned | |
| 21 *** <input> IS UNSAFE *** | |
| 22 @dis: | |
| 23 0000000000000000: 0f bc c3 bsf %eax, %ebx | |
| 24 0000000000000003: 49 89 14 07 mov [%r15+%rax*
1], %rdx | |
| 25 @vdis: | |
| 26 0000000000000000: 0f bc c3 [P] dontcare %e
ax (s), %ebx (u) | |
| 27 0000000000000003: 49 89 14 07 mov [%r15+%rax*
1], %rdx | |
| 28 @rdfa_output: | |
| 29 3: [0] improper memory address - bad index | |
| 30 return code: 1 | |
| OLD | NEW |