1 # Contains instructions for which nacl and xed disagree (in x86-64), but we still
4 # The following are cases where xed doesn't assume a nop, but nacl does.
7 #**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop
8 # XED: 0000000000001000: 40 87 c0 xchg eax, eax
9 # NaCl: 0000000000001000: 40 87 c0 xchg %eax, %eax
12 #**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop
13 # XED: 0000000000001000: 42 87 c0 xchg eax, eax
14 # NaCl: 0000000000001000: 42 87 c0 xchg %eax, %eax
17 #**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop
18 # XED: 0000000000001000: 48 87 c0 xchg rax, rax
19 # NaCl: 0000000000001000: 48 87 c0 xchg %rax, %rax
22 #**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop
23 # XED: 0000000000001000: 4a 87 c0 xchg rax, rax
24 # NaCl: 0000000000001000: 4a 87 c0 xchg %rax, %rax
27 #**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop
28 # XED: 0000000000001000: 87 c0 xchg eax, eax
29 # NaCl: 0000000000001000: 87 c0 xchg %eax, %eax
32 #**** ERROR: MNEMONIC MISMATCH: (xed) xchg != (nacl) nop
33 # XED: 0000000000001000: 87 c0 xchg eax, eax
34 # NaCl: 0000000000001000: 87 c0 xchg %eax, %eax