AArch64 S+rel+dep-csel-else { 0:X1=x; 0:X3=y; 1:X0=y; 1:X3=x; int z=0; 1:X5=z; } P0 | P1 ; MOV W0,#2 | MOV W7,#1 ; STR W0,[X1] | LDR W4,[X5] ; MOV W2,#1 | LDR W1,[X0] ; STLR W2,[X3] | CMP W4,WZR ; | CSEL W6,W1,W7,NE ; | STR W6,[X3] ; Observed x=2; 1:X1=1;