AArch64 LB+popxs+SYS2 "PodRWPX RfeXP PodRWPX RfeXP" Cycle=PodRWPX RfeXP PodRWPX RfeXP Relax=RfeXP Safe=PodRW Prefetch=0:x=F,0:y=W,1:y=F,1:x=W Com=Rf Rf Orig=PodRWPX RfeXP PodRWPX RfeXP { 0:X1=x; 0:X2=y; 1:X1=y; 1:X2=x; } P0 | P1 ; LDR W0,[X1] | LDR W0,[X1] ; MOV W3,#1 | MOV W3,#1 ; LDXR W4,[X2] | LDXR W4,[X2] ; STXR W5,W3,[X2] | STXR W5,W3,[X2] ; Observed y=1; x=1; 1:X5=0; 1:X4=0; 1:X0=1; 0:X5=0; 0:X4=0; 0:X0=1;