AArch64 R+wsi-popl+rfilp-ctrlpa "Wsi PodWWPL WseLL RfiLP DpCtrldRPA FreAP" Cycle=Wsi PodWWPL WseLL RfiLP DpCtrldRPA FreAP Relax=FreAP WseLL Safe=Rfi Wsi PodWW DpCtrldR Prefetch=0:x=F,0:y=W,1:y=F,1:x=T Com=Ws Fr Orig=Wsi PodWWPL WseLL RfiLP DpCtrldRPA FreAP { 0:X1=x; 0:X4=y; 1:X1=y; 1:X4=x; } P0 | P1 ; MOV W0,#1 | MOV W0,#2 ; STR W0,[X1] | STLR W0,[X1] ; MOV W2,#2 | LDR W2,[X1] ; STR W2,[X1] | CBNZ W2,LC00 ; MOV W3,#1 | LC00: ; STLR W3,[X4] | LDAR W3,[X4] ; LDR W5,[X4] | ; Observed y=1; x=2; 1:X3=1; 1:X2=1; 0:X5=1;