Test CoWR

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

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

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