Executions for behaviour:
"1:R0=1 ; 1:R1=0 ; 1:R4=1 ; x=1"
Executions for behaviour:
"1:R0=2 ; 1:R1=0 ; 1:R4=1 ; x=1"
Executions for behaviour:
"1:R0=1 ; 1:R1=0 ; 1:R4=1 ; x=2"
Executions for behaviour:
"1:R0=2 ; 1:R1=0 ; 1:R4=1 ; x=2"
Executions for behaviour:
"1:R0=1 ; 1:R1=0 ; 1:R4=2 ; x=2"
Executions for behaviour:
"1:R0=2 ; 1:R1=0 ; 1:R4=2 ; x=2"
Executions for behaviour:
"1:R0=2 ; 1:R1=0 ; 1:R4=3 ; x=2"
Executions for behaviour:
"1:R0=1 ; 1:R1=0 ; 1:R4=1 ; x=3"
Executions for behaviour:
"1:R0=2 ; 1:R1=0 ; 1:R4=1 ; x=3"
Executions for behaviour:
"1:R0=1 ; 1:R1=2 ; 1:R4=1 ; x=3"
Executions for behaviour:
"1:R0=2 ; 1:R1=0 ; 1:R4=2 ; x=3"
Executions for behaviour:
"1:R0=2 ; 1:R1=0 ; 1:R4=3 ; x=3"
ARM DETOUR0768 "DMBdWW Rfe DetourR DpAddrdW DetourW Fre" Cycle=Rfe DetourR DpAddrdW DetourW Fre DMBdWW Prefetch=0:x=F,0:y=W,1:y=F,1:x=T Com=Rf Fr Orig=DMBdWW Rfe DetourR DpAddrdW DetourW Fre { %x0=x; %y0=y; %y1=y; %x1=x; %y2=y; %x3=x; } P0 | P1 | P2 | P3 ; MOV R0,#3 | LDR R0,[%y1] | MOV R0,#2 | MOV R0,#2 ; STR R0,[%x0] | LDR R1,[%y1] | STR R0,[%y2] | STR R0,[%x3] ; DMB | EOR R2,R1,R1 | | ; MOV R1,#1 | MOV R3,#1 | | ; STR R1,[%y0] | STR R3,[R2,%x1] | | ; | LDR R4,[%x1] | | ; Observed 1:R0=1; 1:R1=0; 1:R4=1; x=1; and 1:R0=2; 1:R1=0; 1:R4=1; x=1; and 1:R0=1; 1:R1=0; 1:R4=1; x=2; and 1:R0=2; 1:R1=0; 1:R4=1; x=2; and 1:R0=1; 1:R1=0; 1:R4=2; x=2; and 1:R0=2; 1:R1=0; 1:R4=2; x=2; and 1:R0=2; 1:R1=0; 1:R4=3; x=2; and 1:R0=1; 1:R1=0; 1:R4=1; x=3; and 1:R0=2; 1:R1=0; 1:R4=1; x=3; and 1:R0=1; 1:R1=2; 1:R4=1; x=3; and 1:R0=2; 1:R1=0; 1:R4=2; x=3; and 1:R0=2; 1:R1=0; 1:R4=3; x=3;