AArch64 ARMv8-ctrl-addr-write { 0:X7=x; 0:X8=y; 0:X9=u; 1:X7=x; 1:X8=y; } P0 | P1 ; LDR W1,[X7] | ; CBNZ W1,Lelse | LDR W3,[X8] ; ADD X2,X9,#0 | DMB SY ; B Lexit | MOV W2,#1 ; Lelse: | STR W2,[X7] ; ADD X2,X8,#0 | ; Lexit: | ; MOV W3,#1 | ; STR W3,[X2] | ; locations [0:X2*;] exists (0:X1=1 /\ 1:X3=1)