Test CoRW

	Model	Tegra2	APQ8060	A5X	A6X	Exynos5250	Tegra3	Exynos4412	Exynos5410	APQ8064
CoRW	Forbid	Ok, 0/34G	Ok, 0/33G	Ok, 0/9.1G	Ok, 0/13G	Ok, 0/8.3G	Ok, 0/62G	Ok, 0/22G	Ok, 0/6.3G	Ok, 0/4.5G

Executions for behaviour: "0:R2=2 ; x=2"

ARM CoRW ()
"CoRW"
{
P0:R5=x; P1:R5=x;
}
P0        | P1          ;
ldr R2,R5 |             ;
mov R1,1  |mov R1,2      ;
str R1,R5 |str R1,R5 ;
~exists (x=2 /\ P0:R2=2)