AArch64 amo-al-ops-are-not-fully-ordered
""
{
0:X1=x; 0:X3=y;
1:X1=x; 1:X3=y;
}
 P0                   | P1                  ;
 MOV X0, #1           | MOV X0, #1          ;
 LDSETAL X0, X2, [X1] | LDSETAL X0, X2, [X3];
 LDR X4, [X3]         | LDR X4, [X1]        ;
exists (0:X4=0 /\ 1:X4=0)