AArch64 MP+CSEL-rfi-addr-rfi-addr
{
0:X10=x; 1:X10=x;
0:X2=y; 1:X2=y;
1:X6=z; 1:X12=v ;
1:X4=4; 1:X5=5;
}
P0 | P1 ;
MOV W9,#1 | LDR W1, [X2] ;
STR W9,[X10] | CMP W1, #1 ;
MOV W11,#1 | CSEL W3, W4, W5, EQ;
STLR W11,[X2] | STR W3, [X6] ;
| LDR W9, [X6] ;
| EOR W11, W9, W9 ;
| MOV W8,#2 ;
| STR W8,[X12, W11, SXTW] ;
| LDR W13, [X12];
| EOR W14, W13, W13 ;
| LDR W16, [X10,W14,SXTW];
Observed
1:X16=0; 1:X1=1;