Test CoRW1

	Model	Tegra2	APQ8060	A5X	A6X	Exynos5250	Tegra3	Exynos4412	Exynos5410	APQ8064
CoRW1	Forbid	Ok, 0/60G	Ok, 0/63G	Ok, 0/14G	Ok, 0/26G	Ok, 0/17G	Ok, 0/118G	Ok, 0/44G	Ok, 0/13G	Ok, 0/9.0G

Executions for behaviour: "0:R2=1"

ARM CoRW1
"ARM uniproc, basic reject (rf)"
{
0:R5=x;
}
P0           ;
LDR R2,R5    ;
MOV R1,#1    ;
STR R1,R5    ;
~exists (0:R2=1)