…
AArch64 WRC+poss
"Rfe PosRW Rfe PosRR Fre"
Cycle=Rfe PosRW Rfe PosRR Fre
Relax=
Safe=Rfe Fre PosRW PosRR
Prefetch=
Com=Rf Rf Fr
Orig=Rfe PosRW Rfe PosRR Fre
{
0:X1=x;
1:X1=x;
2:X1=x;
}
P0 | P1 | P2 ;
MOV W0,#1 | LDR W0,[X1] | LDR W0,[X1] ;
STR W0,[X1] | MOV W2,#2 | LDR W2,[X1] ;
| STR W2,[X1] | ;
Observed
x=2; 2:X2=0; 2:X0=2; 1:X0=1;
and x=2; 2:X2=0; 2:X0=1; 1:X0=1;
and x=2; 2:X2=0; 2:X0=2; 1:X0=0;
and x=1; 2:X2=0; 2:X0=2; 1:X0=0;
and x=1; 2:X2=2; 2:X0=1; 1:X0=0;
and x=2; 2:X2=0; 2:X0=1; 1:X0=0;
and x=1; 2:X2=0; 2:X0=1; 1:X0=0;