AArch64 CSEL-COND (* Dependency chain through the conditiobal argument of CSEL *) { 0:X1=x; 0:X3=y; 1:X1=y; 1:X4=z; 1:X6=a; 1:X9=x; 1:X11=0; 1:X10=0; } P0 | P1 ; MOV W0,#1 | LDR W0,[X1] ; STR W0,[X1] | AND W2,W0,#128 ; DMB ST | LDR W3,[X4,W2,SXTW] ; MOV W2,#1 | CMP W3,#0 ; STR W2,[X3] | CSEL W7,W10,W11,NE ; | LDR W8,[X9,W7,SXTW] ; Observed 1:X8=0; 1:X0=1;