AArch64 WRC+wmb+acq "RfeOnceOnce FenceWmbdRWOnceOnce RfeOnceAcquire PodRRAcquireOnce FreOnceOnce" Mapping=1:X0=r0,2:X2=r1,2:X0=r0 Hash=c1a3c5deaec592b3f813dab25346a64f Prefetch=1:x=F,1:y=W,2:y=F,2:x=T Com=Rf Rf Fr Orig=RfeOnceOnce FenceWmbdRWOnceOnce RfeOnceAcquire PodRRAcquireOnce FreOnceOnce {0:X0=x; 1:X2=y; 1:X1=x; 2:X3=x; 2:X1=y;} P0 | P1 | P2 ; MOV W1,#1 | LDR W0,[X1] | LDAR W0,[X1] ; STR W1,[X0] | DMB ST | LDR W2,[X3] ; | MOV W3,#1 | ; | STR W3,[X2] | ; Observed 2:X2=0; 2:X0=1; 1:X0=1;