X86_64 W+WW+WR+wsiw0w0+rfih2w0+Aw0 "WseAw0w0 Wsiw0w0 Wsew0h2 Rfih2w0 Frew0Aw0" Cycle=Rfih2w0 Frew0Aw0 WseAw0w0 Wsiw0w0 Wsew0h2 Generator=diyone7 (version 7.54+05(dev)) Com=Ws Ws Fr Orig=WseAw0w0 Wsiw0w0 Wsew0h2 Rfih2w0 Frew0Aw0 { 0:rax=0x1010101; 1:rax=0x2020202; 1:rbx=0x3030303; 2:rax=x; } P0 | P1 | P2 ; movl %eax,%ebx | movl %eax,(x) | movw $1028,2(%rax) ; xchgl (x),%ebx | movl %ebx,(x) | movl (x),%ebx ; Observed x=0x1010101; 2:rbx=0x4040202; 0:rbx=0x4040303; and x=0x4040101; 2:rbx=0x4040202; 0:rbx=0x3030303; and x=0x4040303; 2:rbx=0x4040202; 0:rbx=0x2020202; and x=0x3030303; 2:rbx=0x4040202; 0:rbx=0x2020202;