Test CO-IRIW

Executions for behaviour: "1:R0=1 ; 1:R1=0 ; 3:R0=0 ; 3:R1=0"

Executions for behaviour: "1:R0=2 ; 1:R1=0 ; 3:R0=0 ; 3:R1=0"

Executions for behaviour: "1:R0=0 ; 1:R1=0 ; 3:R0=1 ; 3:R1=0"

Executions for behaviour: "1:R0=1 ; 1:R1=0 ; 3:R0=1 ; 3:R1=0"

Executions for behaviour: "1:R0=2 ; 1:R1=0 ; 3:R0=1 ; 3:R1=0"

Executions for behaviour: "1:R0=0 ; 1:R1=1 ; 3:R0=1 ; 3:R1=0"

Executions for behaviour: "1:R0=1 ; 1:R1=1 ; 3:R0=1 ; 3:R1=0"

Executions for behaviour: "1:R0=2 ; 1:R1=1 ; 3:R0=1 ; 3:R1=0"

Executions for behaviour: "1:R0=0 ; 1:R1=2 ; 3:R0=1 ; 3:R1=0"

Executions for behaviour: "1:R0=1 ; 1:R1=2 ; 3:R0=1 ; 3:R1=0"

Executions for behaviour: "1:R0=2 ; 1:R1=2 ; 3:R0=1 ; 3:R1=0"

Executions for behaviour: "1:R0=0 ; 1:R1=0 ; 3:R0=2 ; 3:R1=0"

Executions for behaviour: "1:R0=1 ; 1:R1=0 ; 3:R0=2 ; 3:R1=0"

Executions for behaviour: "1:R0=2 ; 1:R1=0 ; 3:R0=2 ; 3:R1=0"

Executions for behaviour: "1:R0=0 ; 1:R1=1 ; 3:R0=2 ; 3:R1=0"

Executions for behaviour: "1:R0=1 ; 1:R1=1 ; 3:R0=2 ; 3:R1=0"

Executions for behaviour: "1:R0=2 ; 1:R1=1 ; 3:R0=2 ; 3:R1=0"

Executions for behaviour: "1:R0=0 ; 1:R1=2 ; 3:R0=2 ; 3:R1=0"

Executions for behaviour: "1:R0=1 ; 1:R1=2 ; 3:R0=2 ; 3:R1=0"

Executions for behaviour: "1:R0=2 ; 1:R1=2 ; 3:R0=2 ; 3:R1=0"

Executions for behaviour: "1:R0=1 ; 1:R1=0 ; 3:R0=0 ; 3:R1=1"

Executions for behaviour: "1:R0=2 ; 1:R1=0 ; 3:R0=0 ; 3:R1=1"

Executions for behaviour: "1:R0=1 ; 1:R1=0 ; 3:R0=1 ; 3:R1=1"

Executions for behaviour: "1:R0=2 ; 1:R1=0 ; 3:R0=1 ; 3:R1=1"

Executions for behaviour: "1:R0=1 ; 1:R1=0 ; 3:R0=2 ; 3:R1=1"

Executions for behaviour: "1:R0=2 ; 1:R1=0 ; 3:R0=2 ; 3:R1=1"

Executions for behaviour: "1:R0=1 ; 1:R1=2 ; 3:R0=2 ; 3:R1=1"

Executions for behaviour: "1:R0=1 ; 1:R1=0 ; 3:R0=0 ; 3:R1=2"

Executions for behaviour: "1:R0=2 ; 1:R1=0 ; 3:R0=0 ; 3:R1=2"

Executions for behaviour: "1:R0=1 ; 1:R1=0 ; 3:R0=1 ; 3:R1=2"

Executions for behaviour: "1:R0=2 ; 1:R1=0 ; 3:R0=1 ; 3:R1=2"

Executions for behaviour: "1:R0=2 ; 1:R1=1 ; 3:R0=1 ; 3:R1=2"

Executions for behaviour: "1:R0=1 ; 1:R1=0 ; 3:R0=2 ; 3:R1=2"

Executions for behaviour: "1:R0=2 ; 1:R1=0 ; 3:R0=2 ; 3:R1=2"

ARM CO-IRIW

{0:R1=x; 1:R2=x; 2:R1=x; 3:R2=x;}

 P0          | P1          | P2          | P3          ;
 MOV R0,#1   | LDR R0,[R2] | MOV R0,#2   | LDR R0,[R2] ;
 STR R0,[R1] | LDR R1,[R2] | STR R0,[R1] | LDR R1,[R2] ;

Observed
    1:R0=1; 1:R1=0; 3:R0=0; 3:R1=0;
and 1:R0=2; 1:R1=0; 3:R0=0; 3:R1=0;
and 1:R0=0; 1:R1=0; 3:R0=1; 3:R1=0;
and 1:R0=1; 1:R1=0; 3:R0=1; 3:R1=0;
and 1:R0=2; 1:R1=0; 3:R0=1; 3:R1=0;
and 1:R0=0; 1:R1=1; 3:R0=1; 3:R1=0;
and 1:R0=1; 1:R1=1; 3:R0=1; 3:R1=0;
and 1:R0=2; 1:R1=1; 3:R0=1; 3:R1=0;
and 1:R0=0; 1:R1=2; 3:R0=1; 3:R1=0;
and 1:R0=1; 1:R1=2; 3:R0=1; 3:R1=0;
and 1:R0=2; 1:R1=2; 3:R0=1; 3:R1=0;
and 1:R0=0; 1:R1=0; 3:R0=2; 3:R1=0;
and 1:R0=1; 1:R1=0; 3:R0=2; 3:R1=0;
and 1:R0=2; 1:R1=0; 3:R0=2; 3:R1=0;
and 1:R0=0; 1:R1=1; 3:R0=2; 3:R1=0;
and 1:R0=1; 1:R1=1; 3:R0=2; 3:R1=0;
and 1:R0=2; 1:R1=1; 3:R0=2; 3:R1=0;
and 1:R0=0; 1:R1=2; 3:R0=2; 3:R1=0;
and 1:R0=1; 1:R1=2; 3:R0=2; 3:R1=0;
and 1:R0=2; 1:R1=2; 3:R0=2; 3:R1=0;
and 1:R0=1; 1:R1=0; 3:R0=0; 3:R1=1;
and 1:R0=2; 1:R1=0; 3:R0=0; 3:R1=1;
and 1:R0=1; 1:R1=0; 3:R0=1; 3:R1=1;
and 1:R0=2; 1:R1=0; 3:R0=1; 3:R1=1;
and 1:R0=1; 1:R1=0; 3:R0=2; 3:R1=1;
and 1:R0=2; 1:R1=0; 3:R0=2; 3:R1=1;
and 1:R0=1; 1:R1=2; 3:R0=2; 3:R1=1;
and 1:R0=1; 1:R1=0; 3:R0=0; 3:R1=2;
and 1:R0=2; 1:R1=0; 3:R0=0; 3:R1=2;
and 1:R0=1; 1:R1=0; 3:R0=1; 3:R1=2;
and 1:R0=2; 1:R1=0; 3:R0=1; 3:R1=2;
and 1:R0=2; 1:R1=1; 3:R0=1; 3:R1=2;
and 1:R0=1; 1:R1=0; 3:R0=2; 3:R1=2;
and 1:R0=2; 1:R1=0; 3:R0=2; 3:R1=2;