Test ARMv8-ctrl-addr-write

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)