1# mach: bfin
2#include "test.h"
3.include "testutils.inc"
4
5	start
6
7	dmm32 ASTAT, (0x74f00490 | _VS | _V | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
8	imm32 R0, 0x10cfffff;
9	imm32 R6, 0x06a1ea20;
10	R0.H = R6.H >>> 0x1b;
11	checkreg R0, 0xd420ffff;
12	checkreg ASTAT, (0x74f00490 | _VS | _V | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
13
14	dmm32 ASTAT, (0x78704000 | _VS | _V | _AC0 | _V_COPY);
15	imm32 R3, 0x80007fff;
16	R3.L = R3.L >>> 0x1f;
17	checkreg R3, 0x8000fffe;
18	checkreg ASTAT, (0x78704000 | _VS | _V | _AC0 | _V_COPY | _AN);
19
20	dmm32 ASTAT, (0x5ce08c00 | _VS | _AV1S | _AQ | _CC | _AC0_COPY | _AN);
21	imm32 R3, 0xef9f04f4;
22	imm32 R6, 0x11037fff;
23	R3.L = R6.H >>> 0x1d;
24	checkreg R3, 0xef9f8818;
25	checkreg ASTAT, (0x5ce08c00 | _VS | _V | _AV1S | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
26
27	dmm32 ASTAT, (0x14904890 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
28	imm32 R2, 0x00af03a2;
29	imm32 R7, 0x0b470440;
30	R7.L = R2.L >>> 0x1a;
31	checkreg R7, 0x0b47e880;
32	checkreg ASTAT, (0x14904890 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
33
34	dmm32 ASTAT, (0x3040ca00 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AN);
35	imm32 R1, 0x3bd8d8ef;
36	imm32 R7, 0x7b15ffff;
37	R1.H = R7.H >>> 0x1f;
38	checkreg R1, 0xf62ad8ef;
39	checkreg ASTAT, (0x3040ca00 | _VS | _V | _AV1S | _AV0S | _AC0 | _CC | _V_COPY | _AN);
40
41	dmm32 ASTAT, (0x68404600 | _VS | _V | _AV0S | _AV0 | _V_COPY | _AZ);
42	imm32 R0, 0xfffffffc;
43	imm32 R1, 0x7ffffffe;
44	R0.H = R1.H >>> 0x1f;
45	checkreg R0, 0xfffefffc;
46	checkreg ASTAT, (0x68404600 | _VS | _V | _AV0S | _AV0 | _V_COPY | _AN);
47
48	dmm32 ASTAT, (0x54108890 | _VS | _V | _AV1S | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
49	imm32 R1, 0x30b38b8d;
50	imm32 R3, 0x1c830bb1;
51	R1.H = R3.L >>> 0x1c;
52	checkreg R1, 0xbb108b8d;
53	checkreg ASTAT, (0x54108890 | _VS | _V | _AV1S | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
54
55	dmm32 ASTAT, (0x3cc00e80 | _VS | _AV1S | _AC0);
56	imm32 R6, 0x1b42549c;
57	R6.L = R6.L >>> 0x1f;
58	checkreg R6, 0x1b42a938;
59	checkreg ASTAT, (0x3cc00e80 | _VS | _V | _AV1S | _AC0 | _V_COPY | _AN);
60
61	dmm32 ASTAT, (0x1ca04490 | _VS | _V | _AV0S | _AC1 | _CC | _V_COPY);
62	imm32 R0, 0x0b040a99;
63	imm32 R6, 0x2716ffff;
64	R6.H = R0.L >>> 0x1c;
65	checkreg R6, 0xa990ffff;
66	checkreg ASTAT, (0x1ca04490 | _VS | _V | _AV0S | _AC1 | _CC | _V_COPY | _AN);
67
68	dmm32 ASTAT, (0x14800880 | _VS | _AC0 | _AN | _AZ);
69	imm32 R2, 0x7fff7fff;
70	imm32 R7, 0x0a014f10;
71	R7 = R2 >>> 0x1f (V);
72	checkreg R7, 0xfffefffe;
73	checkreg ASTAT, (0x14800880 | _VS | _V | _AC0 | _V_COPY | _AN);
74
75	dmm32 ASTAT, (0x04a08000 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _CC | _AC0_COPY | _AZ);
76	imm32 R7, 0x7fffffff;
77	R7 = R7 >>> 0x10 (V);
78	checkreg R7, 0x0000ffff;
79	checkreg ASTAT, (0x04a08000 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _CC | _AC0_COPY | _AN | _AZ);
80
81	dmm32 ASTAT, (0x4c204090 | _VS | _AC1 | _AC0 | _AQ | _AC0_COPY);
82	imm32 R2, 0x00030003;
83	imm32 R6, 0x2c962c96;
84	R6 = R2 >>> 0x10 (V);
85	checkreg R6, 0x00000000;
86	checkreg ASTAT, (0x4c204090 | _VS | _AC1 | _AC0 | _AQ | _AC0_COPY | _AZ);
87
88	dmm32 ASTAT, (0x14400e00 | _AV1S | _AV1 | _AV0S | _AV0 | _AC1 | _AQ | _AC0_COPY);
89	imm32 R0, 0x3a567ee8;
90	imm32 R4, 0x7e163337;
91	R0 = R4 >>> 0x10 (V);
92	checkreg R0, 0x00000000;
93	checkreg ASTAT, (0x14400e00 | _AV1S | _AV1 | _AV0S | _AV0 | _AC1 | _AQ | _AC0_COPY | _AZ);
94
95	dmm32 ASTAT, (0x30200a10 | _VS | _AN);
96	imm32 R2, 0xffff0f44;
97	R2 = R2 >>> 0x1c (V);
98	checkreg R2, 0xfff0f440;
99	checkreg ASTAT, (0x30200a10 | _VS | _V | _V_COPY | _AN);
100
101	dmm32 ASTAT, (0x10c0c080 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AZ);
102	imm32 R1, 0x1d4571f3;
103	imm32 R2, 0x1d45ffff;
104	R2 = R1 >>> 0x10 (V);
105	checkreg R2, 0x00000000;
106	checkreg ASTAT, (0x10c0c080 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY | _AZ);
107
108	dmm32 ASTAT, (0x4cd08c90 | _VS | _AV1S | _AV0S | _CC);
109	imm32 R2, 0x8000ffff;
110	imm32 R3, 0x0f757fff;
111	R3 = R2 >>> 0x10 (V);
112	checkreg R3, 0xffffffff;
113	checkreg ASTAT, (0x4cd08c90 | _VS | _AV1S | _AV0S | _CC | _AN);
114
115	dmm32 ASTAT, (0x68004a00 | _VS | _AV0S | _AQ | _AN);
116	imm32 R6, 0x366a7fff;
117	imm32 R7, 0xe4ca366a;
118	R7 = R6 >>> 0x1f (V);
119	checkreg R7, 0x6cd4fffe;
120	checkreg ASTAT, (0x68004a00 | _VS | _V | _AV0S | _AQ | _V_COPY | _AN);
121
122	dmm32 ASTAT, (0x14c0ca80 | _VS | _AV1S | _AV0S | _AC0 | _AQ | _CC | _AC0_COPY);
123	imm32 R6, 0x3468e405;
124	imm32 R7, 0x0fd2ee59;
125	R7 = R6 >>> 0x10 (V);
126	checkreg R7, 0x0000ffff;
127	checkreg ASTAT, (0x14c0ca80 | _VS | _AV1S | _AV0S | _AC0 | _AQ | _CC | _AC0_COPY | _AN | _AZ);
128
129	dmm32 ASTAT, (0x1460cc90 | _VS | _V | _AV0S | _AV0 | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN | _AZ);
130	imm32 R3, 0x2b8ffe22;
131	imm32 R4, 0x2f17d9d2;
132	R4 = R3 >>> 0x1e (V);
133	checkreg R4, 0xae3cf888;
134	checkreg ASTAT, (0x1460cc90 | _VS | _V | _AV0S | _AV0 | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
135
136	dmm32 ASTAT, (0x30d04290 | _VS | _AC1 | _AQ | _CC);
137	imm32 R1, 0x3afe2bd0;
138	imm32 R4, 0x57e37450;
139	R4 = R1 >>> 0x10 (V);
140	checkreg R4, 0x00000000;
141	checkreg ASTAT, (0x30d04290 | _VS | _AC1 | _AQ | _CC | _AZ);
142
143	dmm32 ASTAT, (0x04600600 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AN);
144	imm32 R0, 0xedbbfffe;
145	imm32 R4, 0x169330ac;
146	R0 = R4 >>> 0x1e (V);
147	checkreg R0, 0x5a4cc2b0;
148	checkreg ASTAT, (0x04600600 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _V_COPY | _AN);
149
150	dmm32 ASTAT, (0x64c0c290 | _VS | _AV1 | _AV0S | _AV0 | _AC0 | _CC | _AN);
151	imm32 R1, 0x788b2d30;
152	imm32 R6, 0x78f61ce9;
153	R6 = R1 >>> 0x10 (V);
154	checkreg R6, 0x00000000;
155	checkreg ASTAT, (0x64c0c290 | _VS | _AV1 | _AV0S | _AV0 | _AC0 | _CC | _AZ);
156
157	dmm32 ASTAT, (0x74d04680 | _VS | _AV0S | _AC0 | _CC | _AC0_COPY);
158	imm32 R0, 0x0b7d1dc6;
159	imm32 R7, 0x3d27f3e5;
160	R7 = R0 >>> 0x10 (V);
161	checkreg R7, 0x00000000;
162	checkreg ASTAT, (0x74d04680 | _VS | _AV0S | _AC0 | _CC | _AC0_COPY | _AZ);
163
164	dmm32 ASTAT, (0x74900000 | _VS | _AV1S | _AV0S | _AC0 | _AQ | _CC);
165	imm32 R5, 0xffc70074;
166	imm32 R7, 0xf49916ce;
167	R5 = R7 >>> 0x10 (V);
168	checkreg R5, 0xffff0000;
169	checkreg ASTAT, (0x74900000 | _VS | _AV1S | _AV0S | _AC0 | _AQ | _CC | _AN | _AZ);
170
171	dmm32 ASTAT, (0x6ca0c400 | _VS | _AV0S | _AV0 | _AC0 | _AC0_COPY | _AN);
172	imm32 R0, 0x1e0287a7;
173	imm32 R4, 0x30aa2286;
174	R0 = R4 >>> 0x10 (V);
175	checkreg R0, 0x00000000;
176	checkreg ASTAT, (0x6ca0c400 | _VS | _AV0S | _AV0 | _AC0 | _AC0_COPY | _AZ);
177
178	dmm32 ASTAT, (0x10204a00 | _VS | _CC | _AN);
179	imm32 R5, 0xa6b04dd0;
180	imm32 R6, 0xfedb4cd8;
181	R5 = R6 >>> 0x1f (V);
182	checkreg R5, 0xfdb699b0;
183	checkreg ASTAT, (0x10204a00 | _VS | _V | _CC | _V_COPY | _AN);
184
185	dmm32 ASTAT, (0x30e04290 | _VS | _V | _AV1S | _AV0S | _AC1 | _V_COPY);
186	imm32 R2, 0x0c55766f;
187	imm32 R3, 0x28c00004;
188	R2 = R3 >>> 0x10 (V);
189	checkreg R2, 0x00000000;
190	checkreg ASTAT, (0x30e04290 | _VS | _AV1S | _AV0S | _AC1 | _AZ);
191
192	dmm32 ASTAT, (0x34b0c410 | _VS | _AQ | _CC);
193	imm32 R7, 0x0f7b2928;
194	R7 = R7 >>> 0x1e (V);
195	checkreg R7, 0x3deca4a0;
196	checkreg ASTAT, (0x34b0c410 | _VS | _V | _AQ | _CC | _V_COPY | _AN);
197
198	dmm32 ASTAT, (0x18504800 | _VS | _AV1S | _AC1 | _AC0_COPY);
199	imm32 R4, 0x0baad54f;
200	imm32 R7, 0x05bf0c50;
201	R4 = R7 >>> 0x10 (V);
202	checkreg R4, 0x00000000;
203	checkreg ASTAT, (0x18504800 | _VS | _AV1S | _AC1 | _AC0_COPY | _AZ);
204
205	dmm32 ASTAT, (0x2cd04290 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC0 | _V_COPY | _AC0_COPY);
206	imm32 R0, 0x1199ca48;
207	imm32 R7, 0x4ee24366;
208	R7 = R0 >>> 0x10 (V);
209	checkreg R7, 0x0000ffff;
210	checkreg ASTAT, (0x2cd04290 | _VS | _AV1S | _AV0S | _AV0 | _AC0 | _AC0_COPY | _AN | _AZ);
211
212	dmm32 ASTAT, (0x24304c90 | _VS | _AV0S | _AC1 | _AC0 | _CC);
213	imm32 R3, 0x528af4b6;
214	imm32 R6, 0x18d26b4a;
215	R3 = R6 >>> 0x10 (V);
216	checkreg R3, 0x00000000;
217	checkreg ASTAT, (0x24304c90 | _VS | _AV0S | _AC1 | _AC0 | _CC | _AZ);
218
219	dmm32 ASTAT, (0x70504200 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AC0_COPY | _AZ);
220	imm32 R1, 0x255f0000;
221	imm32 R4, 0x96e0e654;
222	imm32 R6, 0x255fd442;
223	R4 = ASHIFT R1 BY R6.L;
224	checkreg R4, 0x957c0000;
225	checkreg ASTAT, (0x70504200 | _VS | _V | _AV1S | _AV0S | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
226
227	dmm32 ASTAT, (0x10004210 | _VS | _AV1S | _AC1 | _AQ);
228	dmm32 A1.w, 0x00000000;
229	dmm32 A1.x, 0x00000000;
230	imm32 R3, 0x13f865f4;
231	A1 = ASHIFT A1 BY R3.L;
232	checkreg ASTAT, (0x10004210 | _VS | _AV1S | _AC1 | _AQ | _AZ);
233	checkreg A1.w, 0x00000000;
234	checkreg A1.x, 0x00000000;
235	checkreg R3, 0x13f865f4;
236
237	dmm32 ASTAT, (0x1c90c400 | _VS | _AV0S | _AC1 | _AZ);
238	dmm32 A0.w, 0x00000000;
239	dmm32 A0.x, 0x00000000;
240	imm32 R3, 0x00000000;
241	A0 = ASHIFT A0 BY R3.L;
242	checkreg ASTAT, (0x1c90c400 | _VS | _AV0S | _AC1 | _AZ);
243	checkreg A0.w, 0x00000000;
244	checkreg A0.x, 0x00000000;
245	checkreg R3, 0x00000000;
246
247	dmm32 ASTAT, (0x4820c280 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AN);
248	dmm32 A1.w, 0x00000001;
249	dmm32 A1.x, 0x00000000;
250	imm32 R3, 0x4a4a7fff;
251	A1 = LSHIFT A1 BY R3.L;
252	checkreg A1.w, 0x00000000;
253	checkreg A1.x, 0x00000000;
254	checkreg ASTAT, (0x4820c280 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AZ);
255
256	dmm32 ASTAT, (0x1c20cc10 | _VS | _AC1 | _AN);
257	dmm32 A1.w, 0x00000000;
258	dmm32 A1.x, 0x00000000;
259	imm32 R0, 0x00000000;
260	A1 = LSHIFT A1 BY R0.L;
261	checkreg ASTAT, (0x1c20cc10 | _VS | _AC1 | _AZ);
262	checkreg A1.w, 0x00000000;
263	checkreg A1.x, 0x00000000;
264	checkreg R0, 0x00000000;
265
266	dmm32 ASTAT, (0x1c608e90 | _VS | _AV1S | _AV0S | _AV0 | _AC1 | _AC0 | _AC0_COPY | _AZ);
267	dmm32 A0.w, 0x00000000;
268	dmm32 A0.x, 0x00000000;
269	imm32 R4, 0x10cb0000;
270	A0 = ASHIFT A0 BY R4.L;
271	checkreg ASTAT, (0x1c608e90 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AC0_COPY | _AZ);
272	checkreg A0.w, 0x00000000;
273	checkreg A0.x, 0x00000000;
274	checkreg R4, 0x10cb0000;
275
276	dmm32 ASTAT, (0x6870ce00 | _VS | _AC1 | _AC0_COPY | _AZ);
277	dmm32 A1.w, 0x00000000;
278	dmm32 A1.x, 0x00000000;
279	imm32 R4, 0x00000000;
280	A1 = LSHIFT A1 BY R4.L;
281	checkreg ASTAT, (0x6870ce00 | _VS | _AC1 | _AC0_COPY | _AZ);
282	checkreg A1.w, 0x00000000;
283	checkreg A1.x, 0x00000000;
284	checkreg R4, 0x00000000;
285
286	dmm32 ASTAT, (0x04200290 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AZ);
287	dmm32 A0.w, 0x00000000;
288	dmm32 A0.x, 0x00000000;
289	imm32 R2, 0x00000000;
290	A0 = LSHIFT A0 BY R2.L;
291	checkreg ASTAT, (0x04200290 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AZ);
292	checkreg A0.w, 0x00000000;
293	checkreg A0.x, 0x00000000;
294	checkreg R2, 0x00000000;
295
296	dmm32 ASTAT, (0x0c404e80 | _VS | _V | _V_COPY);
297	dmm32 A0.w, 0x00000000;
298	dmm32 A0.x, 0x00000000;
299	imm32 R7, 0xc400e200;
300	A0 = ASHIFT A0 BY R7.L;
301	checkreg ASTAT, (0x0c404e80 | _VS | _V | _V_COPY | _AZ);
302	checkreg A0.w, 0x00000000;
303	checkreg A0.x, 0x00000000;
304	checkreg R7, 0xc400e200;
305
306	dmm32 ASTAT, (0x04e00800 | _VS | _AV1S | _AV0S);
307	dmm32 A0.w, 0x00000000;
308	dmm32 A0.x, 0x00000000;
309	imm32 R0, 0xe603ffff;
310	A0 = LSHIFT A0 BY R0.L;
311	checkreg ASTAT, (0x04e00800 | _VS | _AV1S | _AV0S | _AZ);
312	checkreg A0.w, 0x00000000;
313	checkreg A0.x, 0x00000000;
314	checkreg R0, 0xe603ffff;
315
316	dmm32 ASTAT, (0x40904090 | _VS | _AV0S | _AC1 | _CC | _AZ);
317	dmm32 A1.w, 0x00000000;
318	dmm32 A1.x, 0x00000000;
319	imm32 R6, 0x00000000;
320	A1 = LSHIFT A1 BY R6.L;
321	checkreg ASTAT, (0x40904090 | _VS | _AV0S | _AC1 | _CC | _AZ);
322	checkreg A1.w, 0x00000000;
323	checkreg A1.x, 0x00000000;
324	checkreg R6, 0x00000000;
325
326	dmm32 ASTAT, (0x24f04c10 | _VS | _V | _AC1 | _V_COPY | _AC0_COPY | _AN);
327	dmm32 A0.w, 0x023d0ac0;
328	dmm32 A0.x, 0x00000000;
329	imm32 R2, 0xfffe05e0;
330	A0 = ASHIFT A0 BY R2.L;
331	checkreg A0.w, 0x00000000;
332	checkreg A0.x, 0x00000000;
333	checkreg ASTAT, (0x24f04c10 | _VS | _V | _AC1 | _V_COPY | _AC0_COPY | _AZ);
334
335	dmm32 ASTAT, (0x2860c410 | _VS | _AV1S | _AV0S | _AC1 | _AQ | _AC0_COPY);
336	dmm32 A1.w, 0x00000000;
337	dmm32 A1.x, 0x00000000;
338	imm32 R4, 0x00000000;
339	A1 = ASHIFT A1 BY R4.L;
340	checkreg ASTAT, (0x2860c410 | _VS | _AV1S | _AV0S | _AC1 | _AQ | _AC0_COPY | _AZ);
341	checkreg A1.w, 0x00000000;
342	checkreg A1.x, 0x00000000;
343	checkreg R4, 0x00000000;
344
345	dmm32 ASTAT, (0x40000a00 | _VS | _V | _AV0S | _AV0 | _AQ | _CC | _V_COPY | _AN);
346	imm32 R2, 0x4e59ffff;
347	imm32 R6, 0x2c450001;
348	R6 = ASHIFT R2 BY R6.L (V);
349	checkreg R6, 0x9cb2fffe;
350	checkreg ASTAT, (0x40000a00 | _VS | _V | _AV0S | _AV0 | _AQ | _CC | _V_COPY | _AN);
351
352	dmm32 ASTAT, (0x3c700410 | _VS | _V | _AV0S | _AV0 | _V_COPY | _AC0_COPY | _AZ);
353	dmm32 A0.w, 0x00000000;
354	dmm32 A0.x, 0x00000000;
355	imm32 R6, 0x0d1144c0;
356	A0 = LSHIFT A0 BY R6.L;
357	checkreg ASTAT, (0x3c700410 | _VS | _V | _AV0S | _V_COPY | _AC0_COPY | _AZ);
358	checkreg A0.w, 0x00000000;
359	checkreg A0.x, 0x00000000;
360	checkreg R6, 0x0d1144c0;
361
362	dmm32 ASTAT, (0x5c10ca80 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AC0_COPY | _AN | _AZ);
363	dmm32 A1.w, 0x80000000;
364	dmm32 A1.x, 0x00000000;
365	imm32 R7, 0x472d2397;
366	A1 = LSHIFT A1 BY R7.L;
367	checkreg A1.w, 0x00000000;
368	checkreg A1.x, 0x00000000;
369	checkreg ASTAT, (0x5c10ca80 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AC0_COPY | _AZ);
370
371	dmm32 ASTAT, (0x10004c00 | _VS | _AQ | _AZ);
372	dmm32 A1.w, 0x00000000;
373	dmm32 A1.x, 0x00000000;
374	imm32 R2, 0x80000000;
375	A1 = LSHIFT A1 BY R2.L;
376	checkreg ASTAT, (0x10004c00 | _VS | _AQ | _AZ);
377	checkreg A1.w, 0x00000000;
378	checkreg A1.x, 0x00000000;
379	checkreg R2, 0x80000000;
380
381	dmm32 ASTAT, (0x30308480 | _VS | _AV0S | _AQ);
382	dmm32 A0.w, 0x19b289d0;
383	dmm32 A0.x, 0x00000000;
384	imm32 R6, 0xffff0ce2;
385	A0 = LSHIFT A0 BY R6.L;
386	checkreg A0.w, 0x00000000;
387	checkreg A0.x, 0x00000000;
388	checkreg ASTAT, (0x30308480 | _VS | _AV0S | _AQ | _AZ);
389
390	dmm32 ASTAT, (0x28708280 | _VS | _AV1S | _AC1 | _AQ | _CC | _AC0_COPY);
391	dmm32 A0.w, 0x3f050000;
392	dmm32 A0.x, 0x00000000;
393	imm32 R6, 0xc0fb081a;
394	A0 = LSHIFT A0 BY R6.L;
395	checkreg A0.w, 0x00000000;
396	checkreg A0.x, 0x00000000;
397	checkreg ASTAT, (0x28708280 | _VS | _AV1S | _AC1 | _AQ | _CC | _AC0_COPY | _AZ);
398
399	dmm32 ASTAT, (0x18708280 | _VS | _AV1S | _AV0S | _AV0 | _AC1 | _AQ | _CC | _AN);
400	dmm32 A0.w, 0x00000000;
401	dmm32 A0.x, 0x00000000;
402	imm32 R3, 0xeca83337;
403	A0 = LSHIFT A0 BY R3.L;
404	checkreg ASTAT, (0x18708280 | _VS | _AV1S | _AV0S | _AC1 | _AQ | _CC | _AZ);
405	checkreg A0.w, 0x00000000;
406	checkreg A0.x, 0x00000000;
407	checkreg R3, 0xeca83337;
408
409	dmm32 ASTAT, (0x78b0c010 | _VS | _AV1S | _AC1 | _AC0 | _AN);
410	dmm32 A1.w, 0x00000000;
411	dmm32 A1.x, 0x00000000;
412	imm32 R5, 0x00000000;
413	A1 = ASHIFT A1 BY R5.L;
414	checkreg ASTAT, (0x78b0c010 | _VS | _AV1S | _AC1 | _AC0 | _AZ);
415	checkreg A1.w, 0x00000000;
416	checkreg A1.x, 0x00000000;
417	checkreg R5, 0x00000000;
418
419	dmm32 ASTAT, (0x50d00680 | _VS | _AV1S | _AV0S | _AC1 | _AQ);
420	dmm32 A1.w, 0x00000000;
421	dmm32 A1.x, 0x00000000;
422	imm32 R3, 0x05600000;
423	A1 = LSHIFT A1 BY R3.L;
424	checkreg ASTAT, (0x50d00680 | _VS | _AV1S | _AV0S | _AC1 | _AQ | _AZ);
425	checkreg A1.w, 0x00000000;
426	checkreg A1.x, 0x00000000;
427	checkreg R3, 0x05600000;
428
429	dmm32 ASTAT, (0x04108880 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC);
430	dmm32 A0.w, 0x046b40e7;
431	dmm32 A0.x, 0x00000000;
432	imm32 R3, 0x20a220a2;
433	A0 = ASHIFT A0 BY R3.L;
434	checkreg A0.w, 0x00000000;
435	checkreg A0.x, 0x00000000;
436	checkreg ASTAT, (0x04108880 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AZ);
437
438	dmm32 ASTAT, (0x6850cc80 | _VS | _AV1S | _AV0S | _AV0 | _AC0_COPY | _AN);
439	dmm32 A0.w, 0x00000000;
440	dmm32 A0.x, 0x00000000;
441	imm32 R1, 0x623d1bad;
442	A0 = ASHIFT A0 BY R1.L;
443	checkreg ASTAT, (0x6850cc80 | _VS | _AV1S | _AV0S | _AC0_COPY | _AZ);
444	checkreg A0.w, 0x00000000;
445	checkreg A0.x, 0x00000000;
446	checkreg R1, 0x623d1bad;
447
448	dmm32 ASTAT, (0x44d04a80 | _VS | _AC1 | _AC0 | _AQ | _AC0_COPY | _AN);
449	dmm32 A1.w, 0x00000000;
450	dmm32 A1.x, 0x00000000;
451	imm32 R4, 0x211b1629;
452	A1 = LSHIFT A1 BY R4.L;
453	checkreg ASTAT, (0x44d04a80 | _VS | _AC1 | _AC0 | _AQ | _AC0_COPY | _AZ);
454	checkreg A1.w, 0x00000000;
455	checkreg A1.x, 0x00000000;
456	checkreg R4, 0x211b1629;
457
458	dmm32 ASTAT, (0x1c304480 | _VS | _AV1S | _AV0S | _AV0 | _AC1 | _AQ | _AZ);
459	dmm32 A0.w, 0x00000000;
460	dmm32 A0.x, 0x00000000;
461	imm32 R1, 0xffffa0e5;
462	A0 = ASHIFT A0 BY R1.L;
463	checkreg ASTAT, (0x1c304480 | _VS | _AV1S | _AV0S | _AC1 | _AQ | _AZ);
464	checkreg A0.w, 0x00000000;
465	checkreg A0.x, 0x00000000;
466	checkreg R1, 0xffffa0e5;
467
468	dmm32 ASTAT, (0x54c00c90 | _VS | _AV0S | _AC1 | _CC | _AZ);
469	dmm32 A1.w, 0x01cdbb21;
470	dmm32 A1.x, 0x00000000;
471	imm32 R7, 0x696f3de3;
472	A1 = ASHIFT A1 BY R7.L;
473	checkreg A1.w, 0x00000000;
474	checkreg A1.x, 0x00000000;
475	checkreg ASTAT, (0x54c00c90 | _VS | _AV0S | _AC1 | _CC | _AZ);
476
477	dmm32 ASTAT, (0x7c30c690 | _VS | _AV1S | _AV0S | _AC1 | _AC0_COPY | _AN);
478	dmm32 A1.w, 0x00007400;
479	dmm32 A1.x, 0x00000000;
480	imm32 R4, 0x6fc3cc21;
481	A1 = LSHIFT A1 BY R4.L;
482	checkreg A1.w, 0x00000000;
483	checkreg A1.x, 0x00000000;
484	checkreg ASTAT, (0x7c30c690 | _VS | _AV1S | _AV0S | _AC1 | _AC0_COPY | _AZ);
485
486	dmm32 ASTAT, (0x1c404200 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AN);
487	imm32 R2, 0x1e000001;
488	imm32 R4, 0x037b7038;
489	imm32 R5, 0x57beffff;
490	R4.L = ASHIFT R5.H BY R2.L;
491	checkreg R4, 0x037baf7c;
492	checkreg ASTAT, (0x1c404200 | _VS | _V | _AV1S | _AV0S | _AC0 | _CC | _V_COPY | _AN);
493
494	dmm32 ASTAT, (0x24e08c80 | _VS | _AV1S | _CC);
495	dmm32 A0.w, 0x00000000;
496	dmm32 A0.x, 0x00000000;
497	imm32 R6, 0x11f23024;
498	A0 = LSHIFT A0 BY R6.L;
499	checkreg ASTAT, (0x24e08c80 | _VS | _AV1S | _CC | _AZ);
500	checkreg A0.w, 0x00000000;
501	checkreg A0.x, 0x00000000;
502	checkreg R6, 0x11f23024;
503
504	dmm32 ASTAT, (0x3ce04080 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY | _AZ);
505	dmm32 A0.w, 0x00000000;
506	dmm32 A0.x, 0x00000000;
507	imm32 R2, 0x00000000;
508	A0 = ASHIFT A0 BY R2.L;
509	checkreg ASTAT, (0x3ce04080 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY | _AZ);
510	checkreg A0.w, 0x00000000;
511	checkreg A0.x, 0x00000000;
512	checkreg R2, 0x00000000;
513
514	dmm32 ASTAT, (0x28800280 | _VS | _AV1S | _AV0S | _CC | _AZ);
515	dmm32 A0.w, 0x00000000;
516	dmm32 A0.x, 0x00000000;
517	imm32 R0, 0x00000000;
518	A0 = LSHIFT A0 BY R0.L;
519	checkreg A0.w, 0x00000000;
520	checkreg A0.x, 0x00000000;
521	checkreg ASTAT, (0x28800280 | _VS | _AV1S | _AV0S | _CC | _AZ);
522
523	dmm32 ASTAT, (0x68708810 | _VS | _V | _AV1S | _AV0S | _AV1 | _AV0 | _AC1 | _AQ | _V_COPY | _AC0_COPY | _AN);
524	dmm32 A1.w, 0x80000000;
525	dmm32 A1.x, 0xffffffea;
526	imm32 R2, 0x0121e8d9;
527	A1 = ASHIFT A1 BY R2.L;
528	checkreg A1.w, 0x00000000;
529	checkreg A1.x, 0x00000000;
530	checkreg ASTAT, (0x68708810 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC1 | _AQ | _V_COPY | _AC0_COPY | _AZ);
531
532	dmm32 ASTAT, (0x24c00890 | _VS | _V | _AV1S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AZ);
533	dmm32 A1.w, 0x00000000;
534	dmm32 A1.x, 0x00000000;
535	imm32 R0, 0x1b9411f4;
536	A1 = LSHIFT A1 BY R0.L;
537	checkreg A1.w, 0x00000000;
538	checkreg A1.x, 0x00000000;
539	checkreg ASTAT, (0x24c00890 | _VS | _V | _AV1S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AZ);
540
541	dmm32 ASTAT, (0x4480ce00 | _VS | _AC1);
542	dmm32 A1.w, 0x00000000;
543	dmm32 A1.x, 0x00000000;
544	A1 = A1 << 0x5;
545	checkreg ASTAT, (0x4480ce00 | _VS | _AC1 | _AZ);
546	checkreg A1.w, 0x00000000;
547	checkreg A1.x, 0x00000000;
548
549	dmm32 ASTAT, (0x6cf0cc10 | _VS | _AC0 | _AQ | _CC | _AC0_COPY | _AN);
550	dmm32 A1.w, 0x00000000;
551	dmm32 A1.x, 0x00000000;
552	A1 = A1 >> 0x3b;
553	checkreg ASTAT, (0x6cf0cc10 | _VS | _AC0 | _AQ | _CC | _AC0_COPY | _AZ);
554	checkreg A1.w, 0x00000000;
555	checkreg A1.x, 0x00000000;
556
557	dmm32 ASTAT, (0x50d00a80 | _VS | _AV1S | _AV0S | _AC1 | _AN);
558	dmm32 A1.w, 0x028ab5f4;
559	dmm32 A1.x, 0x00000000;
560	A1 = A1 >> 0x1f;
561	checkreg A1.w, 0x00000000;
562	checkreg A1.x, 0x00000000;
563	checkreg ASTAT, (0x50d00a80 | _VS | _AV1S | _AV0S | _AC1 | _AZ);
564
565	dmm32 ASTAT, (0x14c00490 | _VS | _V | _AV1S | _AV0S | _AC1 | _CC | _V_COPY | _AC0_COPY);
566	dmm32 A1.w, 0x0001f0f0;
567	dmm32 A1.x, 0x00000000;
568	A1 = A1 >> 0x14;
569	checkreg A1.w, 0x00000000;
570	checkreg A1.x, 0x00000000;
571	checkreg ASTAT, (0x14c00490 | _VS | _V | _AV1S | _AV0S | _AC1 | _CC | _V_COPY | _AC0_COPY | _AZ);
572
573	dmm32 ASTAT, (0x14808a80 | _VS | _AV1S | _AV0S | _AC1 | _AN);
574	dmm32 A0.w, 0x000fc1a6;
575	dmm32 A0.x, 0x00000000;
576	A0 = A0 >> 0x1f;
577	checkreg A0.w, 0x00000000;
578	checkreg A0.x, 0x00000000;
579	checkreg ASTAT, (0x14808a80 | _VS | _AV1S | _AV0S | _AC1 | _AZ);
580
581	dmm32 ASTAT, (0x3c80ca90 | _VS | _AV0S | _AC0 | _AQ | _CC | _AZ);
582	dmm32 A1.w, 0x00000000;
583	dmm32 A1.x, 0x00000000;
584	A1 = A1 >>> 0x1e;
585	checkreg ASTAT, (0x3c80ca90 | _VS | _AV0S | _AC0 | _AQ | _CC | _AZ);
586	checkreg A1.w, 0x00000000;
587	checkreg A1.x, 0x00000000;
588
589	dmm32 ASTAT, (0x4c200c90 | _VS | _AV1S | _AV0S | _AV0 | _AC1 | _AQ);
590	imm32 R2, 0xf1815f1a;
591	imm32 R7, 0x0a917fff;
592	R7.L = R2.L >>> 0x13;
593	checkreg R7, 0x0a914000;
594	checkreg ASTAT, (0x4c200c90 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC1 | _AQ | _V_COPY);
595
596	dmm32 ASTAT, (0x0cf0cc80 | _VS | _AV0S | _AC0_COPY | _AZ);
597	imm32 R0, 0x000081ad;
598	imm32 R2, 0x00000000;
599	R2.H = R0.L >>> 0x19;
600	checkreg R2, 0xd6800000;
601	checkreg ASTAT, (0x0cf0cc80 | _VS | _V | _AV0S | _V_COPY | _AC0_COPY | _AN);
602
603	dmm32 ASTAT, (0x04304c10 | _VS | _AV0S | _AC0 | _CC | _AC0_COPY | _AN);
604	imm32 R1, 0x33dd7fff;
605	imm32 R7, 0xae86a2f4;
606	R1 = R7 >>> 0x13 (V);
607	checkreg R1, 0xc0008000;
608	checkreg ASTAT, (0x04304c10 | _VS | _V | _AV0S | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
609
610	dmm32 ASTAT, (0x7850c800 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AN);
611	imm32 R4, 0x0000fffe;
612	imm32 R7, 0x5906fc4f;
613	R4.L = R7.H >>> 0x15;
614	checkreg R4, 0x00003000;
615	checkreg ASTAT, (0x7850c800 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _V_COPY);
616
617	dmm32 ASTAT, (0x64804c90 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AC0_COPY | _AN);
618	imm32 R1, 0x000009e3;
619	imm32 R4, 0x44418b70;
620	R1.H = R4.L >>> 0x17;
621	checkreg R1, 0xe00009e3;
622	checkreg ASTAT, (0x64804c90 | _VS | _V | _AV1S | _AV0S | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
623
624	dmm32 ASTAT, (0x2c508410 | _VS | _AV1 | _AV0S | _AC0 | _AQ | _AC0_COPY | _AZ);
625	imm32 R0, 0x43d731e2;
626	imm32 R4, 0x60995f48;
627	R0.L = R4.H >>> 0x17;
628	checkreg R0, 0x43d73200;
629	checkreg ASTAT, (0x2c508410 | _VS | _V | _AV1 | _AV0S | _AC0 | _AQ | _V_COPY | _AC0_COPY);
630
631	dmm32 ASTAT, (0x0c900010 | _VS | _AV1S | _AV0S | _AC1 | _CC | _AN);
632	dmm32 A0.w, 0x00000000;
633	dmm32 A0.x, 0x00000000;
634	A0 = A0 >>> 0xc;
635	checkreg ASTAT, (0x0c900010 | _VS | _AV1S | _AV0S | _AC1 | _CC | _AZ);
636	checkreg A0.w, 0x00000000;
637	checkreg A0.x, 0x00000000;
638
639	dmm32 ASTAT, (0x40c00e80 | _VS | _AV1 | _AV0S | _CC | _AN | _AZ);
640	imm32 R1, 0x0bf14680;
641	imm32 R3, 0x1875266d;
642	R3.H = R1.L >>> 0x1d;
643	checkreg R3, 0x3400266d;
644	checkreg ASTAT, (0x40c00e80 | _VS | _V | _AV1 | _AV0S | _CC | _V_COPY);
645
646	dmm32 ASTAT, (0x78100a00 | _VS | _AV1S | _AV0S | _AC1 | _CC | _AC0_COPY | _AN);
647	imm32 R4, 0x67c0a470;
648	imm32 R7, 0x000026c0;
649	R4 = R7 >>> 0x1d (V);
650	checkreg R4, 0x00003600;
651	checkreg ASTAT, (0x78100a00 | _VS | _V | _AV1S | _AV0S | _AC1 | _CC | _V_COPY | _AC0_COPY | _AZ);
652
653	dmm32 ASTAT, (0x6cd04610 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY);
654	imm32 R0, 0x0f9535a6;
655	imm32 R5, 0x31018b62;
656	R0 = R5 >>> 0x12 (V);
657	checkreg R0, 0x40008000;
658	checkreg ASTAT, (0x6cd04610 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
659
660	dmm32 ASTAT, (0x58a08800 | _VS | _V | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
661	imm32 R2, 0x023cffff;
662	imm32 R6, 0x0d6d8000;
663	R6.L = R2.H >>> 0x18;
664	checkreg R6, 0x0d6d3c00;
665	checkreg ASTAT, (0x58a08800 | _VS | _V | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY);
666
667	dmm32 ASTAT, (0x5cc00600 | _VS | _V | _AV0S | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY);
668	imm32 R2, 0xa9d7c2fd;
669	imm32 R4, 0xfffed266;
670	R2.L = R4.L >>> 0x12;
671	checkreg R2, 0xa9d78000;
672	checkreg ASTAT, (0x5cc00600 | _VS | _V | _AV0S | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
673
674	dmm32 ASTAT, (0x5c900400 | _VS | _AV0S | _AC0 | _CC | _AC0_COPY | _AN);
675	imm32 R1, 0xf37e61a8;
676	imm32 R4, 0x5522a41c;
677	R4 = R1 >>> 0x12 (V);
678	checkreg R4, 0x80000000;
679	checkreg ASTAT, (0x5c900400 | _VS | _V | _AV0S | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN | _AZ);
680
681	pass
682