| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # Example of a 32-bit segment address assignment. | |
| 3 67 ab | |
| 4 @val: | |
| 5 VALIDATOR: 0000000000000000: 67 ab stos
d [%edi] | |
| 6 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client | |
| 7 VALIDATOR: 0000000000000000: 67 ab stos
d [%edi] | |
| 8 VALIDATOR: ERROR: Assignment to non-64 bit segment address | |
| 9 VALIDATOR: Checking jump targets: 0 to 2 | |
| 10 VALIDATOR: Checking that basic blocks are aligned | |
| 11 *** <input> IS UNSAFE *** | |
| 12 @rval: | |
| 13 VALIDATOR: 0000000000000000: 67 ab stos
d [%edi] | |
| 14 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client | |
| 15 VALIDATOR: 0000000000000000: 67 ab stos
d [%edi] | |
| 16 VALIDATOR: ERROR: Assignment to non-64 bit segment address | |
| 17 VALIDATOR: Checking jump targets: 0 to 2 | |
| 18 VALIDATOR: Checking that basic blocks are aligned | |
| 19 *** <input> IS UNSAFE *** | |
| 20 @rvald: | |
| 21 VALIDATOR: 0000000000000000: 67 ab stos
d [%edi] | |
| 22 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client | |
| 23 VALIDATOR: 0000000000000000: 67 ab stos
d [%edi] | |
| 24 VALIDATOR: ERROR: Assignment to non-64 bit segment address | |
| 25 VALIDATOR: Checking block alignment and jump targets: 0 to 2 | |
| 26 *** <input> IS UNSAFE *** | |
| 27 @vd-rval: | |
| 28 VALIDATOR: 0000000000000000: 67 ab [P]
dontcare [%edi] (s), %eax (u) | |
| 29 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client | |
| 30 VALIDATOR: 0000000000000000: 67 ab [P]
dontcare [%edi] (s), %eax (u) | |
| 31 VALIDATOR: ERROR: Assignment to non-64 bit segment address | |
| 32 VALIDATOR: Checking jump targets: 0 to 2 | |
| 33 VALIDATOR: Checking that basic blocks are aligned | |
| 34 *** <input> IS UNSAFE *** | |
| 35 @dis: | |
| 36 0000000000000000: 67 ab stosd [%edi] | |
| 37 @vdis: | |
| 38 0000000000000000: 67 ab [P] dontcare [%
edi] (s), %eax (u) | |
| 39 @rdfa_output: | |
| 40 0: [0] unrecognized instruction | |
| 41 return code: 1 | |
| OLD | NEW |