Test SCA-04

Executions for behaviour: "1:X0=0x303030302020202 ; x=0x101010102020202"

AArch64 SCA-04
{
uint64_t x; uint64_t 1:X0;

0:X0=0x101010101010101; 0:X1=x; 0:X2=0x2020202;
1:X1=x; 1:X2=0x3030303;
}
 P0          | P1             ;
 STR X0,[X1] | STR W2,[X1,#4] ;
 STR W2,[X1] | LDR X0,[X1]    ;
Observed
    x=0x101010102020202; 1:X0=0x303030302020202;