| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # mov %ebx, %ebx | |
| 3 # cmpxchg %eax, %nacl:(%r15, %rbx) | |
| 4 89 DB 41 0F B1 04 1F | |
| 5 # mov %ebx, %ebx | |
| 6 # cmpxchg8b %nacl:(%r15, %rbx) | |
| 7 89 DB 41 0F C7 0C 1F | |
| 8 # mov %ebx, %ebx | |
| 9 # cmpxchg16b %nacl:(%r15, %rbx) | |
| 10 89 DB 49 0F C7 0C 1F | |
| 11 @rval: | |
| 12 VALIDATOR: Checking jump targets: 0 to 15 | |
| 13 VALIDATOR: Checking that basic blocks are aligned | |
| 14 *** <input> is safe *** | |
| 15 @rvald: | |
| 16 VALIDATOR: Checking block alignment and jump targets: 0 to 15 | |
| 17 *** <input> is safe *** | |
| 18 @vd-rval: | |
| 19 VALIDATOR: Checking jump targets: 0 to 15 | |
| 20 VALIDATOR: Checking that basic blocks are aligned | |
| 21 *** <input> is safe *** | |
| 22 @dis: | |
| 23 0000000000000000: 89 db mov %ebx, %ebx | |
| 24 0000000000000002: 41 0f b1 04 1f cmpxchg [%r15+%
rbx*1], %eax | |
| 25 0000000000000007: 89 db mov %ebx, %ebx | |
| 26 0000000000000009: 41 0f c7 0c 1f cmpxchg8b [%r15
+%rbx*1] | |
| 27 000000000000000e: 89 db mov %ebx, %ebx | |
| 28 0000000000000010: 49 0f c7 0c 1f cmpxchg16b [%r1
5+%rbx*1] | |
| 29 @vdis: | |
| 30 0000000000000000: 89 db mov %ebx, %ebx | |
| 31 0000000000000002: 41 0f b1 04 1f [P] dontcare %e
ax (su), [%r15+%rbx*1] (su), %eax (su) | |
| 32 0000000000000007: 89 db mov %ebx, %ebx | |
| 33 0000000000000009: 41 0f c7 0c 1f [P] dontcare %e
dx (su), %eax (su), [%r15+%rbx*1] (su) | |
| 34 000000000000000e: 89 db mov %ebx, %ebx | |
| 35 0000000000000010: 49 0f c7 0c 1f [P] dontcare %r
dx (su), %eax (su), [%r15+%rbx*1] (su) | |
| 36 @rdfa_output: | |
| 37 return code: 0 | |
| OLD | NEW |