AArch64 S+poxp+popx+SYS2 "PodWWXP Rfe PodRWPX WseXX" Cycle=Rfe PodRWPX WseXX PodWWXP Relax=WseXX Safe=Rfe PodWW PodRW Prefetch=0:x=F,0:y=W,1:y=F,1:x=W Com=Rf Ws Orig=PodWWXP Rfe PodRWPX WseXX { 0:X0=x; 0:X5=y; 1:X1=y; 1:X2=x; } P0 | P1 ; MOV W1,#2 | LDR W0,[X1] ; LDXR W2,[X0] | MOV W3,#1 ; STXR W3,W1,[X0] | LDXR W4,[X2] ; MOV W4,#1 | STXR W5,W3,[X2] ; STR W4,[X5] | ; Observed x=1; 1:X5=0; 1:X4=0; 1:X0=1; 0:X3=1; 0:X2=1;