aboutsummaryrefslogtreecommitdiff
path: root/sim
diff options
context:
space:
mode:
authorMike Frysinger <vapier@gentoo.org>2012-04-09 05:59:55 +0000
committerMike Frysinger <vapier@gentoo.org>2012-04-09 05:59:55 +0000
commit740d60f83d556840cca203033e3bf15b4ef2fe77 (patch)
treee76e9292cbd0d9603f91bd449cc8eaed5d092abb /sim
parentc0c463826f679c70950874dd07ecc3947ccff320 (diff)
downloadbinutils-740d60f83d556840cca203033e3bf15b4ef2fe77.zip
binutils-740d60f83d556840cca203033e3bf15b4ef2fe77.tar.gz
binutils-740d60f83d556840cca203033e3bf15b4ef2fe77.tar.bz2
sim: bfin: add shift astat tests
These are randomly generated tests to track down issues in ASTAT handling with shift insns. Signed-off-by: Robin Getz <robin.getz@analog.com> Signed-off-by: Mike Frysinger <vapier@gentoo.org>
Diffstat (limited to 'sim')
-rw-r--r--sim/testsuite/sim/bfin/ChangeLog4
-rw-r--r--sim/testsuite/sim/bfin/random_0017.S23
-rw-r--r--sim/testsuite/sim/bfin/random_0018.S69
-rw-r--r--sim/testsuite/sim/bfin/random_0025.S681
4 files changed, 777 insertions, 0 deletions
diff --git a/sim/testsuite/sim/bfin/ChangeLog b/sim/testsuite/sim/bfin/ChangeLog
index a23fe1d..03a9844 100644
--- a/sim/testsuite/sim/bfin/ChangeLog
+++ b/sim/testsuite/sim/bfin/ChangeLog
@@ -1,5 +1,9 @@
2012-04-09 Robin Getz <robin.getz@analog.com>
+ * random_0017.S, random_0018.S, random_0025.S: New ASTAT shift tests.
+
+2012-04-09 Robin Getz <robin.getz@analog.com>
+
* random_0036.S, random_0037.S: New astat tests.
2012-04-09 Mike Frysinger <vapier@gentoo.org>
diff --git a/sim/testsuite/sim/bfin/random_0017.S b/sim/testsuite/sim/bfin/random_0017.S
new file mode 100644
index 0000000..edfb650
--- /dev/null
+++ b/sim/testsuite/sim/bfin/random_0017.S
@@ -0,0 +1,23 @@
+# mach: bfin
+#include "test.h"
+.include "testutils.inc"
+
+ start
+
+ dmm32 ASTAT, (0x68000a10 | _VS | _V | _AV0S | _V_COPY | _AC0_COPY);
+ dmm32 A0.w, 0x2771851d;
+ dmm32 A0.x, 0xffffffc9;
+ A0 = A0 >>> 0x1b;
+ checkreg A0.w, 0xfffff924;
+ checkreg A0.x, 0xffffffff;
+ checkreg ASTAT, (0x68000a10 | _VS | _V | _AV0S | _V_COPY | _AC0_COPY | _AN);
+
+ dmm32 ASTAT, (0x74804c10 | _VS | _AC1 | _AC0 | _CC | _AN | _AZ);
+ dmm32 A1.w, 0xda2eb5c0;
+ dmm32 A1.x, 0xffffffff;
+ A1 = A1 >>> 0x11;
+ checkreg A1.w, 0xffffed17;
+ checkreg A1.x, 0xffffffff;
+ checkreg ASTAT, (0x74804c10 | _VS | _AC1 | _AC0 | _CC | _AN);
+
+ pass
diff --git a/sim/testsuite/sim/bfin/random_0018.S b/sim/testsuite/sim/bfin/random_0018.S
new file mode 100644
index 0000000..f6ec033
--- /dev/null
+++ b/sim/testsuite/sim/bfin/random_0018.S
@@ -0,0 +1,69 @@
+# mach: bfin
+#include "test.h"
+.include "testutils.inc"
+
+ start
+
+ dmm32 ASTAT, (0x40204090 | _AV1S | _AV0S | _AV0 | _AQ | _AN | _AZ);
+ imm32 R1, 0x33e91405;
+ imm32 R4, 0x3fa1377c;
+ R4.H = R1.H >>> 0x1d;
+ checkreg R4, 0x9f48377c;
+ checkreg ASTAT, (0x40204090 | _VS | _V | _AV1S | _AV0S | _AV0 | _AQ | _V_COPY | _AN);
+
+ dmm32 ASTAT, (0x64800010 | _VS | _AV1S | _AV0S | _AQ | _CC | _AC0_COPY);
+ imm32 R0, 0xf64722bc;
+ R0.L = R0.L >>> 0xd (S);
+ checkreg R0, 0xf6470001;
+ checkreg ASTAT, (0x64800010 | _VS | _AV1S | _AV0S | _AQ | _CC | _AC0_COPY);
+
+ dmm32 ASTAT, (0x70300e10 | _VS | _AQ | _AC0_COPY | _AN);
+ imm32 R5, 0x2a8771ff;
+ R5 = R5 >>> 0x1d (V);
+ checkreg R5, 0x54388ff8;
+ checkreg ASTAT, (0x70300e10 | _VS | _V | _AQ | _V_COPY | _AC0_COPY | _AN);
+
+ dmm32 ASTAT, (0x04600000 | _VS | _AV1S | _AC0 | _AQ | _CC | _AC0_COPY);
+ imm32 R6, 0x0c3a7fff;
+ imm32 R7, 0x03460f23;
+ R6.H = R7.L >>> 0x1f (S);
+ checkreg R6, 0x1e467fff;
+ checkreg ASTAT, (0x04600000 | _VS | _AV1S | _AC0 | _AQ | _CC | _AC0_COPY);
+
+ dmm32 ASTAT, (0x40704010 | _VS | _V | _AV1S | _AV0S | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
+ imm32 R3, 0xfa2cee19;
+ imm32 R5, 0xfa2cee17;
+ R3.L = R5.H >>> 0xd (S);
+ checkreg R3, 0xfa2cffff;
+ checkreg ASTAT, (0x40704010 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AC0_COPY | _AN);
+
+ dmm32 ASTAT, (0x20308c90 | _VS | _AV1S | _AV0S | _CC | _AN);
+ imm32 R2, 0xd4b70c2f;
+ imm32 R5, 0x0279838b;
+ R5.H = R2.H >>> 0x1f (S);
+ checkreg R5, 0xa96e838b;
+ checkreg ASTAT, (0x20308c90 | _VS | _AV1S | _AV0S | _CC | _AN);
+
+ dmm32 ASTAT, (0x10a08690 | _VS | _V | _AV0S | _AC1 | _AC0 | _AQ | _V_COPY | _AC0_COPY | _AN);
+ imm32 R4, 0x5cae64fc;
+ imm32 R6, 0x288e1461;
+ R4.H = R6.L >>> 0x1e (S);
+ checkreg R4, 0x518464fc;
+ checkreg ASTAT, (0x10a08690 | _VS | _AV0S | _AC1 | _AC0 | _AQ | _AC0_COPY);
+
+ dmm32 ASTAT, (0x48908010 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC);
+ imm32 R1, 0x4f8f004a;
+ imm32 R5, 0x7fff70c1;
+ R5.L = R1.L >>> 0x1e (S);
+ checkreg R5, 0x7fff0128;
+ checkreg ASTAT, (0x48908010 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC);
+
+ dmm32 ASTAT, (0x00f00490 | _VS | _AV0S | _AV0 | _AQ | _CC | _AC0_COPY | _AN);
+ dmm32 A0.w, 0x32b127c8;
+ dmm32 A0.x, 0x0000001a;
+ A0 = A0 >>> 0x6;
+ checkreg A0.w, 0x68cac49f;
+ checkreg A0.x, 0x00000000;
+ checkreg ASTAT, (0x00f00490 | _VS | _AV0S | _AQ | _CC | _AC0_COPY);
+
+ pass
diff --git a/sim/testsuite/sim/bfin/random_0025.S b/sim/testsuite/sim/bfin/random_0025.S
new file mode 100644
index 0000000..14cf049
--- /dev/null
+++ b/sim/testsuite/sim/bfin/random_0025.S
@@ -0,0 +1,681 @@
+# mach: bfin
+#include "test.h"
+.include "testutils.inc"
+
+ start
+
+ dmm32 ASTAT, (0x74f00490 | _VS | _V | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
+ imm32 R0, 0x10cfffff;
+ imm32 R6, 0x06a1ea20;
+ R0.H = R6.H >>> 0x1b;
+ checkreg R0, 0xd420ffff;
+ checkreg ASTAT, (0x74f00490 | _VS | _V | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
+
+ dmm32 ASTAT, (0x78704000 | _VS | _V | _AC0 | _V_COPY);
+ imm32 R3, 0x80007fff;
+ R3.L = R3.L >>> 0x1f;
+ checkreg R3, 0x8000fffe;
+ checkreg ASTAT, (0x78704000 | _VS | _V | _AC0 | _V_COPY | _AN);
+
+ dmm32 ASTAT, (0x5ce08c00 | _VS | _AV1S | _AQ | _CC | _AC0_COPY | _AN);
+ imm32 R3, 0xef9f04f4;
+ imm32 R6, 0x11037fff;
+ R3.L = R6.H >>> 0x1d;
+ checkreg R3, 0xef9f8818;
+ checkreg ASTAT, (0x5ce08c00 | _VS | _V | _AV1S | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
+
+ dmm32 ASTAT, (0x14904890 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
+ imm32 R2, 0x00af03a2;
+ imm32 R7, 0x0b470440;
+ R7.L = R2.L >>> 0x1a;
+ checkreg R7, 0x0b47e880;
+ checkreg ASTAT, (0x14904890 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
+
+ dmm32 ASTAT, (0x3040ca00 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AN);
+ imm32 R1, 0x3bd8d8ef;
+ imm32 R7, 0x7b15ffff;
+ R1.H = R7.H >>> 0x1f;
+ checkreg R1, 0xf62ad8ef;
+ checkreg ASTAT, (0x3040ca00 | _VS | _V | _AV1S | _AV0S | _AC0 | _CC | _V_COPY | _AN);
+
+ dmm32 ASTAT, (0x68404600 | _VS | _V | _AV0S | _AV0 | _V_COPY | _AZ);
+ imm32 R0, 0xfffffffc;
+ imm32 R1, 0x7ffffffe;
+ R0.H = R1.H >>> 0x1f;
+ checkreg R0, 0xfffefffc;
+ checkreg ASTAT, (0x68404600 | _VS | _V | _AV0S | _AV0 | _V_COPY | _AN);
+
+ dmm32 ASTAT, (0x54108890 | _VS | _V | _AV1S | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
+ imm32 R1, 0x30b38b8d;
+ imm32 R3, 0x1c830bb1;
+ R1.H = R3.L >>> 0x1c;
+ checkreg R1, 0xbb108b8d;
+ checkreg ASTAT, (0x54108890 | _VS | _V | _AV1S | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
+
+ dmm32 ASTAT, (0x3cc00e80 | _VS | _AV1S | _AC0);
+ imm32 R6, 0x1b42549c;
+ R6.L = R6.L >>> 0x1f;
+ checkreg R6, 0x1b42a938;
+ checkreg ASTAT, (0x3cc00e80 | _VS | _V | _AV1S | _AC0 | _V_COPY | _AN);
+
+ dmm32 ASTAT, (0x1ca04490 | _VS | _V | _AV0S | _AC1 | _CC | _V_COPY);
+ imm32 R0, 0x0b040a99;
+ imm32 R6, 0x2716ffff;
+ R6.H = R0.L >>> 0x1c;
+ checkreg R6, 0xa990ffff;
+ checkreg ASTAT, (0x1ca04490 | _VS | _V | _AV0S | _AC1 | _CC | _V_COPY | _AN);
+
+ dmm32 ASTAT, (0x14800880 | _VS | _AC0 | _AN | _AZ);
+ imm32 R2, 0x7fff7fff;
+ imm32 R7, 0x0a014f10;
+ R7 = R2 >>> 0x1f (V);
+ checkreg R7, 0xfffefffe;
+ checkreg ASTAT, (0x14800880 | _VS | _V | _AC0 | _V_COPY | _AN);
+
+ dmm32 ASTAT, (0x04a08000 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _CC | _AC0_COPY | _AZ);
+ imm32 R7, 0x7fffffff;
+ R7 = R7 >>> 0x10 (V);
+ checkreg R7, 0x0000ffff;
+ checkreg ASTAT, (0x04a08000 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _CC | _AC0_COPY | _AN | _AZ);
+
+ dmm32 ASTAT, (0x4c204090 | _VS | _AC1 | _AC0 | _AQ | _AC0_COPY);
+ imm32 R2, 0x00030003;
+ imm32 R6, 0x2c962c96;
+ R6 = R2 >>> 0x10 (V);
+ checkreg R6, 0x00000000;
+ checkreg ASTAT, (0x4c204090 | _VS | _AC1 | _AC0 | _AQ | _AC0_COPY | _AZ);
+
+ dmm32 ASTAT, (0x14400e00 | _AV1S | _AV1 | _AV0S | _AV0 | _AC1 | _AQ | _AC0_COPY);
+ imm32 R0, 0x3a567ee8;
+ imm32 R4, 0x7e163337;
+ R0 = R4 >>> 0x10 (V);
+ checkreg R0, 0x00000000;
+ checkreg ASTAT, (0x14400e00 | _AV1S | _AV1 | _AV0S | _AV0 | _AC1 | _AQ | _AC0_COPY | _AZ);
+
+ dmm32 ASTAT, (0x30200a10 | _VS | _AN);
+ imm32 R2, 0xffff0f44;
+ R2 = R2 >>> 0x1c (V);
+ checkreg R2, 0xfff0f440;
+ checkreg ASTAT, (0x30200a10 | _VS | _V | _V_COPY | _AN);
+
+ dmm32 ASTAT, (0x10c0c080 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AZ);
+ imm32 R1, 0x1d4571f3;
+ imm32 R2, 0x1d45ffff;
+ R2 = R1 >>> 0x10 (V);
+ checkreg R2, 0x00000000;
+ checkreg ASTAT, (0x10c0c080 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY | _AZ);
+
+ dmm32 ASTAT, (0x4cd08c90 | _VS | _AV1S | _AV0S | _CC);
+ imm32 R2, 0x8000ffff;
+ imm32 R3, 0x0f757fff;
+ R3 = R2 >>> 0x10 (V);
+ checkreg R3, 0xffffffff;
+ checkreg ASTAT, (0x4cd08c90 | _VS | _AV1S | _AV0S | _CC | _AN);
+
+ dmm32 ASTAT, (0x68004a00 | _VS | _AV0S | _AQ | _AN);
+ imm32 R6, 0x366a7fff;
+ imm32 R7, 0xe4ca366a;
+ R7 = R6 >>> 0x1f (V);
+ checkreg R7, 0x6cd4fffe;
+ checkreg ASTAT, (0x68004a00 | _VS | _V | _AV0S | _AQ | _V_COPY | _AN);
+
+ dmm32 ASTAT, (0x14c0ca80 | _VS | _AV1S | _AV0S | _AC0 | _AQ | _CC | _AC0_COPY);
+ imm32 R6, 0x3468e405;
+ imm32 R7, 0x0fd2ee59;
+ R7 = R6 >>> 0x10 (V);
+ checkreg R7, 0x0000ffff;
+ checkreg ASTAT, (0x14c0ca80 | _VS | _AV1S | _AV0S | _AC0 | _AQ | _CC | _AC0_COPY | _AN | _AZ);
+
+ dmm32 ASTAT, (0x1460cc90 | _VS | _V | _AV0S | _AV0 | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN | _AZ);
+ imm32 R3, 0x2b8ffe22;
+ imm32 R4, 0x2f17d9d2;
+ R4 = R3 >>> 0x1e (V);
+ checkreg R4, 0xae3cf888;
+ checkreg ASTAT, (0x1460cc90 | _VS | _V | _AV0S | _AV0 | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
+
+ dmm32 ASTAT, (0x30d04290 | _VS | _AC1 | _AQ | _CC);
+ imm32 R1, 0x3afe2bd0;
+ imm32 R4, 0x57e37450;
+ R4 = R1 >>> 0x10 (V);
+ checkreg R4, 0x00000000;
+ checkreg ASTAT, (0x30d04290 | _VS | _AC1 | _AQ | _CC | _AZ);
+
+ dmm32 ASTAT, (0x04600600 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AN);
+ imm32 R0, 0xedbbfffe;
+ imm32 R4, 0x169330ac;
+ R0 = R4 >>> 0x1e (V);
+ checkreg R0, 0x5a4cc2b0;
+ checkreg ASTAT, (0x04600600 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _V_COPY | _AN);
+
+ dmm32 ASTAT, (0x64c0c290 | _VS | _AV1 | _AV0S | _AV0 | _AC0 | _CC | _AN);
+ imm32 R1, 0x788b2d30;
+ imm32 R6, 0x78f61ce9;
+ R6 = R1 >>> 0x10 (V);
+ checkreg R6, 0x00000000;
+ checkreg ASTAT, (0x64c0c290 | _VS | _AV1 | _AV0S | _AV0 | _AC0 | _CC | _AZ);
+
+ dmm32 ASTAT, (0x74d04680 | _VS | _AV0S | _AC0 | _CC | _AC0_COPY);
+ imm32 R0, 0x0b7d1dc6;
+ imm32 R7, 0x3d27f3e5;
+ R7 = R0 >>> 0x10 (V);
+ checkreg R7, 0x00000000;
+ checkreg ASTAT, (0x74d04680 | _VS | _AV0S | _AC0 | _CC | _AC0_COPY | _AZ);
+
+ dmm32 ASTAT, (0x74900000 | _VS | _AV1S | _AV0S | _AC0 | _AQ | _CC);
+ imm32 R5, 0xffc70074;
+ imm32 R7, 0xf49916ce;
+ R5 = R7 >>> 0x10 (V);
+ checkreg R5, 0xffff0000;
+ checkreg ASTAT, (0x74900000 | _VS | _AV1S | _AV0S | _AC0 | _AQ | _CC | _AN | _AZ);
+
+ dmm32 ASTAT, (0x6ca0c400 | _VS | _AV0S | _AV0 | _AC0 | _AC0_COPY | _AN);
+ imm32 R0, 0x1e0287a7;
+ imm32 R4, 0x30aa2286;
+ R0 = R4 >>> 0x10 (V);
+ checkreg R0, 0x00000000;
+ checkreg ASTAT, (0x6ca0c400 | _VS | _AV0S | _AV0 | _AC0 | _AC0_COPY | _AZ);
+
+ dmm32 ASTAT, (0x10204a00 | _VS | _CC | _AN);
+ imm32 R5, 0xa6b04dd0;
+ imm32 R6, 0xfedb4cd8;
+ R5 = R6 >>> 0x1f (V);
+ checkreg R5, 0xfdb699b0;
+ checkreg ASTAT, (0x10204a00 | _VS | _V | _CC | _V_COPY | _AN);
+
+ dmm32 ASTAT, (0x30e04290 | _VS | _V | _AV1S | _AV0S | _AC1 | _V_COPY);
+ imm32 R2, 0x0c55766f;
+ imm32 R3, 0x28c00004;
+ R2 = R3 >>> 0x10 (V);
+ checkreg R2, 0x00000000;
+ checkreg ASTAT, (0x30e04290 | _VS | _AV1S | _AV0S | _AC1 | _AZ);
+
+ dmm32 ASTAT, (0x34b0c410 | _VS | _AQ | _CC);
+ imm32 R7, 0x0f7b2928;
+ R7 = R7 >>> 0x1e (V);
+ checkreg R7, 0x3deca4a0;
+ checkreg ASTAT, (0x34b0c410 | _VS | _V | _AQ | _CC | _V_COPY | _AN);
+
+ dmm32 ASTAT, (0x18504800 | _VS | _AV1S | _AC1 | _AC0_COPY);
+ imm32 R4, 0x0baad54f;
+ imm32 R7, 0x05bf0c50;
+ R4 = R7 >>> 0x10 (V);
+ checkreg R4, 0x00000000;
+ checkreg ASTAT, (0x18504800 | _VS | _AV1S | _AC1 | _AC0_COPY | _AZ);
+
+ dmm32 ASTAT, (0x2cd04290 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC0 | _V_COPY | _AC0_COPY);
+ imm32 R0, 0x1199ca48;
+ imm32 R7, 0x4ee24366;
+ R7 = R0 >>> 0x10 (V);
+ checkreg R7, 0x0000ffff;
+ checkreg ASTAT, (0x2cd04290 | _VS | _AV1S | _AV0S | _AV0 | _AC0 | _AC0_COPY | _AN | _AZ);
+
+ dmm32 ASTAT, (0x24304c90 | _VS | _AV0S | _AC1 | _AC0 | _CC);
+ imm32 R3, 0x528af4b6;
+ imm32 R6, 0x18d26b4a;
+ R3 = R6 >>> 0x10 (V);
+ checkreg R3, 0x00000000;
+ checkreg ASTAT, (0x24304c90 | _VS | _AV0S | _AC1 | _AC0 | _CC | _AZ);
+
+ dmm32 ASTAT, (0x70504200 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AC0_COPY | _AZ);
+ imm32 R1, 0x255f0000;
+ imm32 R4, 0x96e0e654;
+ imm32 R6, 0x255fd442;
+ R4 = ASHIFT R1 BY R6.L;
+ checkreg R4, 0x957c0000;
+ checkreg ASTAT, (0x70504200 | _VS | _V | _AV1S | _AV0S | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
+
+ dmm32 ASTAT, (0x10004210 | _VS | _AV1S | _AC1 | _AQ);
+ dmm32 A1.w, 0x00000000;
+ dmm32 A1.x, 0x00000000;
+ imm32 R3, 0x13f865f4;
+ A1 = ASHIFT A1 BY R3.L;
+ checkreg ASTAT, (0x10004210 | _VS | _AV1S | _AC1 | _AQ | _AZ);
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg R3, 0x13f865f4;
+
+ dmm32 ASTAT, (0x1c90c400 | _VS | _AV0S | _AC1 | _AZ);
+ dmm32 A0.w, 0x00000000;
+ dmm32 A0.x, 0x00000000;
+ imm32 R3, 0x00000000;
+ A0 = ASHIFT A0 BY R3.L;
+ checkreg ASTAT, (0x1c90c400 | _VS | _AV0S | _AC1 | _AZ);
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg R3, 0x00000000;
+
+ dmm32 ASTAT, (0x4820c280 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AN);
+ dmm32 A1.w, 0x00000001;
+ dmm32 A1.x, 0x00000000;
+ imm32 R3, 0x4a4a7fff;
+ A1 = LSHIFT A1 BY R3.L;
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg ASTAT, (0x4820c280 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AZ);
+
+ dmm32 ASTAT, (0x1c20cc10 | _VS | _AC1 | _AN);
+ dmm32 A1.w, 0x00000000;
+ dmm32 A1.x, 0x00000000;
+ imm32 R0, 0x00000000;
+ A1 = LSHIFT A1 BY R0.L;
+ checkreg ASTAT, (0x1c20cc10 | _VS | _AC1 | _AZ);
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg R0, 0x00000000;
+
+ dmm32 ASTAT, (0x1c608e90 | _VS | _AV1S | _AV0S | _AV0 | _AC1 | _AC0 | _AC0_COPY | _AZ);
+ dmm32 A0.w, 0x00000000;
+ dmm32 A0.x, 0x00000000;
+ imm32 R4, 0x10cb0000;
+ A0 = ASHIFT A0 BY R4.L;
+ checkreg ASTAT, (0x1c608e90 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AC0_COPY | _AZ);
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg R4, 0x10cb0000;
+
+ dmm32 ASTAT, (0x6870ce00 | _VS | _AC1 | _AC0_COPY | _AZ);
+ dmm32 A1.w, 0x00000000;
+ dmm32 A1.x, 0x00000000;
+ imm32 R4, 0x00000000;
+ A1 = LSHIFT A1 BY R4.L;
+ checkreg ASTAT, (0x6870ce00 | _VS | _AC1 | _AC0_COPY | _AZ);
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg R4, 0x00000000;
+
+ dmm32 ASTAT, (0x04200290 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AZ);
+ dmm32 A0.w, 0x00000000;
+ dmm32 A0.x, 0x00000000;
+ imm32 R2, 0x00000000;
+ A0 = LSHIFT A0 BY R2.L;
+ checkreg ASTAT, (0x04200290 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AZ);
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg R2, 0x00000000;
+
+ dmm32 ASTAT, (0x0c404e80 | _VS | _V | _V_COPY);
+ dmm32 A0.w, 0x00000000;
+ dmm32 A0.x, 0x00000000;
+ imm32 R7, 0xc400e200;
+ A0 = ASHIFT A0 BY R7.L;
+ checkreg ASTAT, (0x0c404e80 | _VS | _V | _V_COPY | _AZ);
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg R7, 0xc400e200;
+
+ dmm32 ASTAT, (0x04e00800 | _VS | _AV1S | _AV0S);
+ dmm32 A0.w, 0x00000000;
+ dmm32 A0.x, 0x00000000;
+ imm32 R0, 0xe603ffff;
+ A0 = LSHIFT A0 BY R0.L;
+ checkreg ASTAT, (0x04e00800 | _VS | _AV1S | _AV0S | _AZ);
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg R0, 0xe603ffff;
+
+ dmm32 ASTAT, (0x40904090 | _VS | _AV0S | _AC1 | _CC | _AZ);
+ dmm32 A1.w, 0x00000000;
+ dmm32 A1.x, 0x00000000;
+ imm32 R6, 0x00000000;
+ A1 = LSHIFT A1 BY R6.L;
+ checkreg ASTAT, (0x40904090 | _VS | _AV0S | _AC1 | _CC | _AZ);
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg R6, 0x00000000;
+
+ dmm32 ASTAT, (0x24f04c10 | _VS | _V | _AC1 | _V_COPY | _AC0_COPY | _AN);
+ dmm32 A0.w, 0x023d0ac0;
+ dmm32 A0.x, 0x00000000;
+ imm32 R2, 0xfffe05e0;
+ A0 = ASHIFT A0 BY R2.L;
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg ASTAT, (0x24f04c10 | _VS | _V | _AC1 | _V_COPY | _AC0_COPY | _AZ);
+
+ dmm32 ASTAT, (0x2860c410 | _VS | _AV1S | _AV0S | _AC1 | _AQ | _AC0_COPY);
+ dmm32 A1.w, 0x00000000;
+ dmm32 A1.x, 0x00000000;
+ imm32 R4, 0x00000000;
+ A1 = ASHIFT A1 BY R4.L;
+ checkreg ASTAT, (0x2860c410 | _VS | _AV1S | _AV0S | _AC1 | _AQ | _AC0_COPY | _AZ);
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg R4, 0x00000000;
+
+ dmm32 ASTAT, (0x40000a00 | _VS | _V | _AV0S | _AV0 | _AQ | _CC | _V_COPY | _AN);
+ imm32 R2, 0x4e59ffff;
+ imm32 R6, 0x2c450001;
+ R6 = ASHIFT R2 BY R6.L (V);
+ checkreg R6, 0x9cb2fffe;
+ checkreg ASTAT, (0x40000a00 | _VS | _V | _AV0S | _AV0 | _AQ | _CC | _V_COPY | _AN);
+
+ dmm32 ASTAT, (0x3c700410 | _VS | _V | _AV0S | _AV0 | _V_COPY | _AC0_COPY | _AZ);
+ dmm32 A0.w, 0x00000000;
+ dmm32 A0.x, 0x00000000;
+ imm32 R6, 0x0d1144c0;
+ A0 = LSHIFT A0 BY R6.L;
+ checkreg ASTAT, (0x3c700410 | _VS | _V | _AV0S | _V_COPY | _AC0_COPY | _AZ);
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg R6, 0x0d1144c0;
+
+ dmm32 ASTAT, (0x5c10ca80 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AC0_COPY | _AN | _AZ);
+ dmm32 A1.w, 0x80000000;
+ dmm32 A1.x, 0x00000000;
+ imm32 R7, 0x472d2397;
+ A1 = LSHIFT A1 BY R7.L;
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg ASTAT, (0x5c10ca80 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AC0_COPY | _AZ);
+
+ dmm32 ASTAT, (0x10004c00 | _VS | _AQ | _AZ);
+ dmm32 A1.w, 0x00000000;
+ dmm32 A1.x, 0x00000000;
+ imm32 R2, 0x80000000;
+ A1 = LSHIFT A1 BY R2.L;
+ checkreg ASTAT, (0x10004c00 | _VS | _AQ | _AZ);
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg R2, 0x80000000;
+
+ dmm32 ASTAT, (0x30308480 | _VS | _AV0S | _AQ);
+ dmm32 A0.w, 0x19b289d0;
+ dmm32 A0.x, 0x00000000;
+ imm32 R6, 0xffff0ce2;
+ A0 = LSHIFT A0 BY R6.L;
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg ASTAT, (0x30308480 | _VS | _AV0S | _AQ | _AZ);
+
+ dmm32 ASTAT, (0x28708280 | _VS | _AV1S | _AC1 | _AQ | _CC | _AC0_COPY);
+ dmm32 A0.w, 0x3f050000;
+ dmm32 A0.x, 0x00000000;
+ imm32 R6, 0xc0fb081a;
+ A0 = LSHIFT A0 BY R6.L;
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg ASTAT, (0x28708280 | _VS | _AV1S | _AC1 | _AQ | _CC | _AC0_COPY | _AZ);
+
+ dmm32 ASTAT, (0x18708280 | _VS | _AV1S | _AV0S | _AV0 | _AC1 | _AQ | _CC | _AN);
+ dmm32 A0.w, 0x00000000;
+ dmm32 A0.x, 0x00000000;
+ imm32 R3, 0xeca83337;
+ A0 = LSHIFT A0 BY R3.L;
+ checkreg ASTAT, (0x18708280 | _VS | _AV1S | _AV0S | _AC1 | _AQ | _CC | _AZ);
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg R3, 0xeca83337;
+
+ dmm32 ASTAT, (0x78b0c010 | _VS | _AV1S | _AC1 | _AC0 | _AN);
+ dmm32 A1.w, 0x00000000;
+ dmm32 A1.x, 0x00000000;
+ imm32 R5, 0x00000000;
+ A1 = ASHIFT A1 BY R5.L;
+ checkreg ASTAT, (0x78b0c010 | _VS | _AV1S | _AC1 | _AC0 | _AZ);
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg R5, 0x00000000;
+
+ dmm32 ASTAT, (0x50d00680 | _VS | _AV1S | _AV0S | _AC1 | _AQ);
+ dmm32 A1.w, 0x00000000;
+ dmm32 A1.x, 0x00000000;
+ imm32 R3, 0x05600000;
+ A1 = LSHIFT A1 BY R3.L;
+ checkreg ASTAT, (0x50d00680 | _VS | _AV1S | _AV0S | _AC1 | _AQ | _AZ);
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg R3, 0x05600000;
+
+ dmm32 ASTAT, (0x04108880 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC);
+ dmm32 A0.w, 0x046b40e7;
+ dmm32 A0.x, 0x00000000;
+ imm32 R3, 0x20a220a2;
+ A0 = ASHIFT A0 BY R3.L;
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg ASTAT, (0x04108880 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AZ);
+
+ dmm32 ASTAT, (0x6850cc80 | _VS | _AV1S | _AV0S | _AV0 | _AC0_COPY | _AN);
+ dmm32 A0.w, 0x00000000;
+ dmm32 A0.x, 0x00000000;
+ imm32 R1, 0x623d1bad;
+ A0 = ASHIFT A0 BY R1.L;
+ checkreg ASTAT, (0x6850cc80 | _VS | _AV1S | _AV0S | _AC0_COPY | _AZ);
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg R1, 0x623d1bad;
+
+ dmm32 ASTAT, (0x44d04a80 | _VS | _AC1 | _AC0 | _AQ | _AC0_COPY | _AN);
+ dmm32 A1.w, 0x00000000;
+ dmm32 A1.x, 0x00000000;
+ imm32 R4, 0x211b1629;
+ A1 = LSHIFT A1 BY R4.L;
+ checkreg ASTAT, (0x44d04a80 | _VS | _AC1 | _AC0 | _AQ | _AC0_COPY | _AZ);
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg R4, 0x211b1629;
+
+ dmm32 ASTAT, (0x1c304480 | _VS | _AV1S | _AV0S | _AV0 | _AC1 | _AQ | _AZ);
+ dmm32 A0.w, 0x00000000;
+ dmm32 A0.x, 0x00000000;
+ imm32 R1, 0xffffa0e5;
+ A0 = ASHIFT A0 BY R1.L;
+ checkreg ASTAT, (0x1c304480 | _VS | _AV1S | _AV0S | _AC1 | _AQ | _AZ);
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg R1, 0xffffa0e5;
+
+ dmm32 ASTAT, (0x54c00c90 | _VS | _AV0S | _AC1 | _CC | _AZ);
+ dmm32 A1.w, 0x01cdbb21;
+ dmm32 A1.x, 0x00000000;
+ imm32 R7, 0x696f3de3;
+ A1 = ASHIFT A1 BY R7.L;
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg ASTAT, (0x54c00c90 | _VS | _AV0S | _AC1 | _CC | _AZ);
+
+ dmm32 ASTAT, (0x7c30c690 | _VS | _AV1S | _AV0S | _AC1 | _AC0_COPY | _AN);
+ dmm32 A1.w, 0x00007400;
+ dmm32 A1.x, 0x00000000;
+ imm32 R4, 0x6fc3cc21;
+ A1 = LSHIFT A1 BY R4.L;
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg ASTAT, (0x7c30c690 | _VS | _AV1S | _AV0S | _AC1 | _AC0_COPY | _AZ);
+
+ dmm32 ASTAT, (0x1c404200 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AN);
+ imm32 R2, 0x1e000001;
+ imm32 R4, 0x037b7038;
+ imm32 R5, 0x57beffff;
+ R4.L = ASHIFT R5.H BY R2.L;
+ checkreg R4, 0x037baf7c;
+ checkreg ASTAT, (0x1c404200 | _VS | _V | _AV1S | _AV0S | _AC0 | _CC | _V_COPY | _AN);
+
+ dmm32 ASTAT, (0x24e08c80 | _VS | _AV1S | _CC);
+ dmm32 A0.w, 0x00000000;
+ dmm32 A0.x, 0x00000000;
+ imm32 R6, 0x11f23024;
+ A0 = LSHIFT A0 BY R6.L;
+ checkreg ASTAT, (0x24e08c80 | _VS | _AV1S | _CC | _AZ);
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg R6, 0x11f23024;
+
+ dmm32 ASTAT, (0x3ce04080 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY | _AZ);
+ dmm32 A0.w, 0x00000000;
+ dmm32 A0.x, 0x00000000;
+ imm32 R2, 0x00000000;
+ A0 = ASHIFT A0 BY R2.L;
+ checkreg ASTAT, (0x3ce04080 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY | _AZ);
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg R2, 0x00000000;
+
+ dmm32 ASTAT, (0x28800280 | _VS | _AV1S | _AV0S | _CC | _AZ);
+ dmm32 A0.w, 0x00000000;
+ dmm32 A0.x, 0x00000000;
+ imm32 R0, 0x00000000;
+ A0 = LSHIFT A0 BY R0.L;
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg ASTAT, (0x28800280 | _VS | _AV1S | _AV0S | _CC | _AZ);
+
+ dmm32 ASTAT, (0x68708810 | _VS | _V | _AV1S | _AV0S | _AV1 | _AV0 | _AC1 | _AQ | _V_COPY | _AC0_COPY | _AN);
+ dmm32 A1.w, 0x80000000;
+ dmm32 A1.x, 0xffffffea;
+ imm32 R2, 0x0121e8d9;
+ A1 = ASHIFT A1 BY R2.L;
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg ASTAT, (0x68708810 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC1 | _AQ | _V_COPY | _AC0_COPY | _AZ);
+
+ dmm32 ASTAT, (0x24c00890 | _VS | _V | _AV1S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AZ);
+ dmm32 A1.w, 0x00000000;
+ dmm32 A1.x, 0x00000000;
+ imm32 R0, 0x1b9411f4;
+ A1 = LSHIFT A1 BY R0.L;
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg ASTAT, (0x24c00890 | _VS | _V | _AV1S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AZ);
+
+ dmm32 ASTAT, (0x4480ce00 | _VS | _AC1);
+ dmm32 A1.w, 0x00000000;
+ dmm32 A1.x, 0x00000000;
+ A1 = A1 << 0x5;
+ checkreg ASTAT, (0x4480ce00 | _VS | _AC1 | _AZ);
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+
+ dmm32 ASTAT, (0x6cf0cc10 | _VS | _AC0 | _AQ | _CC | _AC0_COPY | _AN);
+ dmm32 A1.w, 0x00000000;
+ dmm32 A1.x, 0x00000000;
+ A1 = A1 >> 0x3b;
+ checkreg ASTAT, (0x6cf0cc10 | _VS | _AC0 | _AQ | _CC | _AC0_COPY | _AZ);
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+
+ dmm32 ASTAT, (0x50d00a80 | _VS | _AV1S | _AV0S | _AC1 | _AN);
+ dmm32 A1.w, 0x028ab5f4;
+ dmm32 A1.x, 0x00000000;
+ A1 = A1 >> 0x1f;
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg ASTAT, (0x50d00a80 | _VS | _AV1S | _AV0S | _AC1 | _AZ);
+
+ dmm32 ASTAT, (0x14c00490 | _VS | _V | _AV1S | _AV0S | _AC1 | _CC | _V_COPY | _AC0_COPY);
+ dmm32 A1.w, 0x0001f0f0;
+ dmm32 A1.x, 0x00000000;
+ A1 = A1 >> 0x14;
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+ checkreg ASTAT, (0x14c00490 | _VS | _V | _AV1S | _AV0S | _AC1 | _CC | _V_COPY | _AC0_COPY | _AZ);
+
+ dmm32 ASTAT, (0x14808a80 | _VS | _AV1S | _AV0S | _AC1 | _AN);
+ dmm32 A0.w, 0x000fc1a6;
+ dmm32 A0.x, 0x00000000;
+ A0 = A0 >> 0x1f;
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+ checkreg ASTAT, (0x14808a80 | _VS | _AV1S | _AV0S | _AC1 | _AZ);
+
+ dmm32 ASTAT, (0x3c80ca90 | _VS | _AV0S | _AC0 | _AQ | _CC | _AZ);
+ dmm32 A1.w, 0x00000000;
+ dmm32 A1.x, 0x00000000;
+ A1 = A1 >>> 0x1e;
+ checkreg ASTAT, (0x3c80ca90 | _VS | _AV0S | _AC0 | _AQ | _CC | _AZ);
+ checkreg A1.w, 0x00000000;
+ checkreg A1.x, 0x00000000;
+
+ dmm32 ASTAT, (0x4c200c90 | _VS | _AV1S | _AV0S | _AV0 | _AC1 | _AQ);
+ imm32 R2, 0xf1815f1a;
+ imm32 R7, 0x0a917fff;
+ R7.L = R2.L >>> 0x13;
+ checkreg R7, 0x0a914000;
+ checkreg ASTAT, (0x4c200c90 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC1 | _AQ | _V_COPY);
+
+ dmm32 ASTAT, (0x0cf0cc80 | _VS | _AV0S | _AC0_COPY | _AZ);
+ imm32 R0, 0x000081ad;
+ imm32 R2, 0x00000000;
+ R2.H = R0.L >>> 0x19;
+ checkreg R2, 0xd6800000;
+ checkreg ASTAT, (0x0cf0cc80 | _VS | _V | _AV0S | _V_COPY | _AC0_COPY | _AN);
+
+ dmm32 ASTAT, (0x04304c10 | _VS | _AV0S | _AC0 | _CC | _AC0_COPY | _AN);
+ imm32 R1, 0x33dd7fff;
+ imm32 R7, 0xae86a2f4;
+ R1 = R7 >>> 0x13 (V);
+ checkreg R1, 0xc0008000;
+ checkreg ASTAT, (0x04304c10 | _VS | _V | _AV0S | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
+
+ dmm32 ASTAT, (0x7850c800 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AN);
+ imm32 R4, 0x0000fffe;
+ imm32 R7, 0x5906fc4f;
+ R4.L = R7.H >>> 0x15;
+ checkreg R4, 0x00003000;
+ checkreg ASTAT, (0x7850c800 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _V_COPY);
+
+ dmm32 ASTAT, (0x64804c90 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AC0_COPY | _AN);
+ imm32 R1, 0x000009e3;
+ imm32 R4, 0x44418b70;
+ R1.H = R4.L >>> 0x17;
+ checkreg R1, 0xe00009e3;
+ checkreg ASTAT, (0x64804c90 | _VS | _V | _AV1S | _AV0S | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
+
+ dmm32 ASTAT, (0x2c508410 | _VS | _AV1 | _AV0S | _AC0 | _AQ | _AC0_COPY | _AZ);
+ imm32 R0, 0x43d731e2;
+ imm32 R4, 0x60995f48;
+ R0.L = R4.H >>> 0x17;
+ checkreg R0, 0x43d73200;
+ checkreg ASTAT, (0x2c508410 | _VS | _V | _AV1 | _AV0S | _AC0 | _AQ | _V_COPY | _AC0_COPY);
+
+ dmm32 ASTAT, (0x0c900010 | _VS | _AV1S | _AV0S | _AC1 | _CC | _AN);
+ dmm32 A0.w, 0x00000000;
+ dmm32 A0.x, 0x00000000;
+ A0 = A0 >>> 0xc;
+ checkreg ASTAT, (0x0c900010 | _VS | _AV1S | _AV0S | _AC1 | _CC | _AZ);
+ checkreg A0.w, 0x00000000;
+ checkreg A0.x, 0x00000000;
+
+ dmm32 ASTAT, (0x40c00e80 | _VS | _AV1 | _AV0S | _CC | _AN | _AZ);
+ imm32 R1, 0x0bf14680;
+ imm32 R3, 0x1875266d;
+ R3.H = R1.L >>> 0x1d;
+ checkreg R3, 0x3400266d;
+ checkreg ASTAT, (0x40c00e80 | _VS | _V | _AV1 | _AV0S | _CC | _V_COPY);
+
+ dmm32 ASTAT, (0x78100a00 | _VS | _AV1S | _AV0S | _AC1 | _CC | _AC0_COPY | _AN);
+ imm32 R4, 0x67c0a470;
+ imm32 R7, 0x000026c0;
+ R4 = R7 >>> 0x1d (V);
+ checkreg R4, 0x00003600;
+ checkreg ASTAT, (0x78100a00 | _VS | _V | _AV1S | _AV0S | _AC1 | _CC | _V_COPY | _AC0_COPY | _AZ);
+
+ dmm32 ASTAT, (0x6cd04610 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY);
+ imm32 R0, 0x0f9535a6;
+ imm32 R5, 0x31018b62;
+ R0 = R5 >>> 0x12 (V);
+ checkreg R0, 0x40008000;
+ checkreg ASTAT, (0x6cd04610 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
+
+ dmm32 ASTAT, (0x58a08800 | _VS | _V | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
+ imm32 R2, 0x023cffff;
+ imm32 R6, 0x0d6d8000;
+ R6.L = R2.H >>> 0x18;
+ checkreg R6, 0x0d6d3c00;
+ checkreg ASTAT, (0x58a08800 | _VS | _V | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY);
+
+ dmm32 ASTAT, (0x5cc00600 | _VS | _V | _AV0S | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY);
+ imm32 R2, 0xa9d7c2fd;
+ imm32 R4, 0xfffed266;
+ R2.L = R4.L >>> 0x12;
+ checkreg R2, 0xa9d78000;
+ checkreg ASTAT, (0x5cc00600 | _VS | _V | _AV0S | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
+
+ dmm32 ASTAT, (0x5c900400 | _VS | _AV0S | _AC0 | _CC | _AC0_COPY | _AN);
+ imm32 R1, 0xf37e61a8;
+ imm32 R4, 0x5522a41c;
+ R4 = R1 >>> 0x12 (V);
+ checkreg R4, 0x80000000;
+ checkreg ASTAT, (0x5c900400 | _VS | _V | _AV0S | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN | _AZ);
+
+ pass