Test R+h0-b0+b1-b1

Executions for behaviour: "1:X2=0x33 ; 1:X3=0x3322 ; x=0x1122"
AArch64 R+h0-b0+b1-b1
{
uint16_t x; uint16_t 1:X3; uint16_t 1:X2;

0:X0=0x1111; 0:X1=x; 0:X2=0x22;
1:X0=0x33; 1:X1=x;
}
 P0           | P1              ;
 STRH W0,[X1] | STRB W0,[X1,#1] ;
 STRB W2,[X1] | LDRB W2,[X1,#1] ;
              | LDRH W3,[X1]    ;
Observed
    x=0x1122; 1:X3=0x3322; 1:X2=0x33;