AArch64 T11 { 0:X1=x; 0:X3=y; 1:X1=y; 1:X11=x; 1:X5=za; } P0 | P1 ; MOV W0,#2 | LDR W0,[X1] ; STR W0,[X1] | CMP W0,#1 ; MOV W2,#1 | CSEL W2,W3,W4,EQ ; STLR W2,[X3] | STR W2,[X5] ; | LDXR W6,[X5] ; | STXR W7,W8,[X5] ; | LDR W9,[X5] ; | ORR W10,W9,#1 ; | STR W10,[X11] ; Observed x=2; 1:X7=0; 1:X0=1;