AArch64 CSEL-BOTH-02 (* Dependency chain through the selected or non-selected 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:X13=w; 2:X1=w; } P0 | P1 | P2 ; MOV W0,#1 | LDR W0,[X1] | MOV W0,#1 ; STR W0,[X1] | AND W2,W0,#128 | STR W0,[X1] ; DMB ST | LDR W12,[X13] | ; MOV W2,#1 | CMP W12,#0 | ; STR W2,[X3] | CSEL W7,W11,W2,NE | ; | LDR W8,[X9,W7,SXTW] | ; locations [1:X12;] exists (1:X0=1 /\ 1:X8=0)