1# mach: bfin
2#include "test.h"
3.include "testutils.inc"
4
5	start
6
7	dmm32 ASTAT, (0x0cb08810 | _AV0S | _AC0 | _AQ | _CC | _AC0_COPY);
8	dmm32 A1.w, 0xfcdbede4;
9	dmm32 A1.x, 0xffffffff;
10		imm32 R5, 0x14c5c1c7;
11		imm32 R7, 0x006a5040;
12	R5 = (A1 += R7.L * R7.H) (M, IU);
13		checkreg R5, 0xfcfd2864;
14		checkreg A1.w, 0xfcfd2864;
15		checkreg A1.x, 0xffffffff;
16		checkreg ASTAT, (0x0cb08810 | _AV0S | _AC0 | _AQ | _CC | _AC0_COPY);
17
18	dmm32 ASTAT, (0x6c508a90 | _VS | _V | _AV0S | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY);
19	dmm32 A1.w, 0x0bcd165c;
20	dmm32 A1.x, 0x00000000;
21		imm32 R0, 0x439a7ef1;
22		imm32 R3, 0x47670015;
23		imm32 R6, 0x00008000;
24	R3 = (A1 += R6.L * R0.L) (M, IU);
25		checkreg R3, 0xcc54965c;
26		checkreg A1.w, 0xcc54965c;
27		checkreg A1.x, 0xffffffff;
28		checkreg ASTAT, (0x6c508a90 | _VS | _AV0S | _AC1 | _AC0 | _CC | _AC0_COPY);
29
30	dmm32 ASTAT, (0x38900480 | _VS | _AV0S | _AN);
31	dmm32 A1.w, 0x00000000;
32	dmm32 A1.x, 0x00000000;
33		imm32 R1, 0x8000ffff;
34		imm32 R3, 0x0000ffff;
35		imm32 R6, 0xcb2cf810;
36	R3 = (A1 += R6.L * R1.L) (M, IU);
37		checkreg R3, 0xf81007f0;
38		checkreg A1.w, 0xf81007f0;
39		checkreg A1.x, 0xffffffff;
40		checkreg ASTAT, (0x38900480 | _VS | _AV0S | _AN);
41
42	dmm32 ASTAT, (0x20100610 | _VS | _AC1 | _AQ | _AN);
43	dmm32 A1.w, 0x36491cf0;
44	dmm32 A1.x, 0x00000000;
45		imm32 R1, 0x10771108;
46		imm32 R2, 0x7fb14fe2;
47		imm32 R7, 0x3649ffff;
48	R1 = (A1 = R7.L * R2.H) (M, IU);
49		checkreg R1, 0xffff804f;
50		checkreg A1.w, 0xffff804f;
51		checkreg A1.x, 0xffffffff;
52		checkreg ASTAT, (0x20100610 | _VS | _AC1 | _AQ | _AN);
53
54	dmm32 ASTAT, (0x6c304400 | _VS | _AV1S | _AC1 | _AQ);
55	dmm32 A1.w, 0xd831c3b7;
56	dmm32 A1.x, 0xffffffff;
57		imm32 R3, 0x3a98144b;
58		imm32 R7, 0xd831c3b7;
59	R7 = (A1 -= R3.L * R3.H) (M, IU);
60		checkreg R7, 0xd38cb92f;
61		checkreg A1.w, 0xd38cb92f;
62		checkreg A1.x, 0xffffffff;
63		checkreg ASTAT, (0x6c304400 | _VS | _AV1S | _AC1 | _AQ);
64
65	dmm32 ASTAT, (0x3c50c810 | _VS | _AV1S | _AN | _AZ);
66	dmm32 A0.w, 0x13cd1c6c;
67	dmm32 A0.x, 0x00000000;
68		imm32 R2, 0x4000e935;
69		imm32 R3, 0xe0b313cd;
70	R3.L = (A0 += R3.H * R2.L) (IU);
71		checkreg R3, 0xe0b3ffff;
72		checkreg A0.w, 0xe07e8c7b;
73		checkreg A0.x, 0x00000000;
74		checkreg ASTAT, (0x3c50c810 | _VS | _V | _AV1S | _V_COPY | _AN | _AZ);
75
76	dmm32 ASTAT, (0x7c900280 | _AV1S | _AV0S | _AC1 | _AQ);
77	dmm32 A0.w, 0x057e5874;
78	dmm32 A0.x, 0x00000000;
79		imm32 R0, 0x1c0af520;
80		imm32 R6, 0x7caea317;
81		imm32 R7, 0x107e8ce4;
82	R6.L = (A0 += R7.L * R0.L) (IU);
83		checkreg R6, 0x7caeffff;
84		checkreg A0.w, 0x8c6628f4;
85		checkreg A0.x, 0x00000000;
86		checkreg ASTAT, (0x7c900280 | _VS | _V | _AV1S | _AV0S | _AC1 | _AQ | _V_COPY);
87
88	dmm32 ASTAT, (0x6cf04090 | _VS | _AV1S | _AV0S | _AC1 | _AZ);
89	dmm32 A0.w, 0xdc7d7b8c;
90	dmm32 A0.x, 0x00000000;
91		imm32 R0, 0x788e00d2;
92		imm32 R6, 0x03666070;
93	R0.L = (A0 -= R6.H * R6.H) (IU);
94		checkreg R0, 0x788effff;
95		checkreg A0.w, 0xdc71eee8;
96		checkreg A0.x, 0x00000000;
97		checkreg ASTAT, (0x6cf04090 | _VS | _V | _AV1S | _AV0S | _AC1 | _V_COPY | _AZ);
98
99	dmm32 ASTAT, (0x4cc04c80 | _VS | _CC);
100	dmm32 A1.w, 0x41620ea7;
101	dmm32 A1.x, 0x00000057;
102		imm32 R1, 0xf611262c;
103		imm32 R3, 0x7fff7fff;
104		imm32 R4, 0x247ee19c;
105	R1 = (A1 += R4.L * R3.L) (IU);
106		checkreg R1, 0xffffffff;
107		checkreg A1.w, 0xb22f2d0b;
108		checkreg A1.x, 0x00000057;
109		checkreg ASTAT, (0x4cc04c80 | _VS | _V | _CC | _V_COPY);
110
111	dmm32 ASTAT, (0x28e04610 | _VS | _AV0S | _AC1 | _AC0 | _AN);
112	dmm32 A0.w, 0xe1753d16;
113	dmm32 A0.x, 0xffffffff;
114		imm32 R0, 0x7fffffff;
115		imm32 R5, 0x2792ffff;
116		imm32 R7, 0xffffd6fa;
117	R7.L = (A0 = R0.L * R5.L) (IU);
118		checkreg R7, 0xffffffff;
119		checkreg A0.w, 0xfffe0001;
120		checkreg A0.x, 0x00000000;
121		checkreg ASTAT, (0x28e04610 | _VS | _V | _AV0S | _AC1 | _AC0 | _V_COPY | _AN);
122
123	dmm32 ASTAT, (0x7c900280 | _AV1S | _AV0S | _AC1 | _AQ);
124	dmm32 A0.w, 0x057e5874;
125	dmm32 A0.x, 0x00000000;
126		imm32 R0, 0x1c0af520;
127		imm32 R6, 0x7caea317;
128		imm32 R7, 0x107e8ce4;
129	R6.L = (A0 += R7.L * R0.L) (IU);
130		checkreg R6, 0x7caeffff;
131		checkreg A0.w, 0x8c6628f4;
132		checkreg A0.x, 0x00000000;
133		checkreg ASTAT, (0x7c900280 | _VS | _V | _AV1S | _AV0S | _AC1 | _AQ | _V_COPY);
134
135	dmm32 ASTAT, (0x00304000 | _VS | _AV1S | _AQ | _AZ);
136	dmm32 A0.w, 0x615bac86;
137	dmm32 A0.x, 0x00000000;
138		imm32 R2, 0x6d2cbec6;
139		imm32 R3, 0xe09db667;
140	R3.L = (A0 += R3.H * R2.H) (IU);
141		checkreg R3, 0xe09dffff;
142		checkreg A0.w, 0xc1252082;
143		checkreg A0.x, 0x00000000;
144		checkreg ASTAT, (0x00304000 | _VS | _V | _AV1S | _AQ | _V_COPY | _AZ);
145
146	dmm32 ASTAT, (0x5cc00080 | _VS | _AV1S | _AC0 | _CC);
147	dmm32 A1.w, 0x70d9985a;
148	dmm32 A1.x, 0xffffffd6;
149		imm32 R1, 0x8000fdeb;
150		imm32 R2, 0x20e07e89;
151	R1.H = (A1 += R2.L * R1.L) (M, IU);
152		checkreg A1.w, 0xee5b251d;
153		checkreg A1.x, 0xffffffd6;
154		checkreg ASTAT, (0x5cc00080 | _VS | _V | _AV1S | _AC0 | _CC | _V_COPY);
155
156	dmm32 ASTAT, (0x60e0ce80 | _VS | _AC0 | _AQ | _CC);
157	dmm32 A1.w, 0x67798cf6;
158	dmm32 A1.x, 0x00000044;
159	imm32 R0, 0x00000000;
160	imm32 R1, 0x00008e16;
161	imm32 R7, 0x00000000;
162	R7 = (A1 -= R0.L * R1.L) (M, IU);
163	checkreg R7, 0x7fffffff;
164	checkreg A1.w, 0x67798cf6;
165	checkreg A1.x, 0x00000044;
166	checkreg ASTAT, (0x60e0ce80 | _VS | _V | _AC0 | _AQ | _CC | _V_COPY);
167
168	dmm32 ASTAT, (0x00500210 | _VS | _V | _AV1S | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY);
169	dmm32 A1.w, 0x6f47fe74;
170	dmm32 A1.x, 0x00000022;
171		imm32 R5, 0x3482aa64;
172		imm32 R6, 0x48320cd9;
173	R5.H = (A1 -= R6.L * R5.L) (M, IU);
174		checkreg R5, 0x7fffaa64;
175		checkreg A1.w, 0x66badfb0;
176		checkreg A1.x, 0x00000022;
177		checkreg ASTAT, (0x00500210 | _VS | _V | _AV1S | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY);
178
179	dmm32 ASTAT, (0x60f04890 | _VS | _V | _AV1S | _AC1 | _V_COPY | _AC0_COPY);
180	dmm32 A1.w, 0x43fdb94f;
181	dmm32 A1.x, 0xffffff97;
182		imm32 R1, 0x80000000;
183		imm32 R7, 0x0f9b234b;
184	R1.H = (A1 += R7.L * R1.H) (M, IU);
185		checkreg A1.w, 0x55a3394f;
186		checkreg A1.x, 0xffffff97;
187		checkreg ASTAT, (0x60f04890 | _VS | _V | _AV1S | _AC1 | _V_COPY | _AC0_COPY);
188
189	dmm32 ASTAT, (0x60f0c280 | _V | _AV1S | _AV1 | _AC1 | _AQ | _V_COPY | _AC0_COPY | _AN | _AZ);
190	dmm32 A1.w, 0x33205f9e;
191	dmm32 A1.x, 0xfffffffc;
192		imm32 R3, 0x39e0545d;
193		imm32 R6, 0x0e133731;
194	R3 = (A1 -= R3.L * R6.H) (M, IU);
195		checkreg R3, 0x80000000;
196		checkreg A1.w, 0x2e7d06b7;
197		checkreg A1.x, 0xfffffffc;
198		checkreg ASTAT, (0x60f0c280 | _VS | _V | _AV1S | _AC1 | _AQ | _V_COPY | _AC0_COPY | _AN | _AZ);
199
200	dmm32 ASTAT, (0x6c300490 | _VS | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY | _AN);
201	dmm32 A1.w, 0x2a477a36;
202	dmm32 A1.x, 0xfffffff8;
203		imm32 R0, 0xff020000;
204		imm32 R5, 0x00000000;
205		imm32 R7, 0xffff8000;
206	R5.H = (A1 -= R0.L * R7.H) (M, IU);
207		checkreg R5, 0x80000000;
208		checkreg ASTAT, (0x6c300490 | _VS | _V | _AV1S | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
209
210	dmm32 ASTAT, (0x1400c210 | _VS | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AN);
211	dmm32 A1.w, 0x68033dca;
212	dmm32 A1.x, 0xffffffff;
213		imm32 R1, 0x00000000;
214		imm32 R3, 0x00a36a42;
215		imm32 R7, 0x3afd7fff;
216	R3.H = (A1 -= R1.L * R7.H) (M, IU);
217		checkreg R3, 0x80006a42;
218		checkreg ASTAT, (0x1400c210 | _VS | _V | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AN);
219
220	dmm32 ASTAT, (0x00104810 | _VS | _AV0S | _AC1 | _AQ | _AC0_COPY | _AN);
221	dmm32 A1.w, 0xeb4e9a1d;
222	dmm32 A1.x, 0xffffff8c;
223		imm32 R1, 0xffffec05;
224		imm32 R5, 0x80000000;
225		imm32 R6, 0x5ffa604a;
226	R1.H = (A1 += R6.L * R5.H) (M, IU);
227		checkreg R1, 0x8000ec05;
228		checkreg A1.w, 0x1b739a1d;
229		checkreg A1.x, 0xffffff8d;
230		checkreg ASTAT, (0x00104810 | _VS | _V | _AV0S | _AC1 | _AQ | _V_COPY | _AC0_COPY | _AN);
231
232	dmm32 ASTAT, (0x48600280 | _VS | _AV1S | _AV0 | _AC1 | _CC | _AC0_COPY);
233	dmm32 A1.w, 0x54463e5f;
234	dmm32 A1.x, 0xffffff94;
235		imm32 R1, 0x2e0d6820;
236		imm32 R4, 0x37855c3d;
237		imm32 R6, 0x7b3ca7a0;
238	R6.H = (A1 += R4.L * R1.L) (M, IU);
239		checkreg R6, 0x8000a7a0;
240		checkreg A1.w, 0x79ca8dff;
241		checkreg A1.x, 0xffffff94;
242		checkreg ASTAT, (0x48600280 | _VS | _V | _AV1S | _AV0 | _AC1 | _CC | _V_COPY | _AC0_COPY);
243
244	dmm32 ASTAT, (0x3c008480 | _VS | _AV1S | _AC1 | _AC0 | _CC);
245	dmm32 A0.w, 0xcdff712a;
246	dmm32 A0.x, 0xffffffff;
247		imm32 R0, 0x2f3dfc31;
248		imm32 R2, 0x1b1a4b4c;
249		imm32 R6, 0x7cbed409;
250	R2 = (A0 += R6.H * R0.L) (IU);
251		checkreg R2, 0xffffffff;
252		checkreg A0.w, 0xffffffff;
253		checkreg A0.x, 0xffffffff;
254		checkreg ASTAT, (0x3c008480 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC1 | _AC0 | _CC | _V_COPY);
255
256	dmm32 ASTAT, (0x4ce0ce80 | _VS | _AC1 | _AC0 | _CC);
257	dmm32 A0.w, 0xfefe27a4;
258	dmm32 A0.x, 0xffffffff;
259		imm32 R0, 0x08270055;
260		imm32 R1, 0x0000ffc2;
261		imm32 R6, 0x5ca7213b;
262	R6.L = (A0 += R1.L * R0.H) (IU);
263		checkreg R6, 0x5ca7ffff;
264		checkreg A0.w, 0xffffffff;
265		checkreg A0.x, 0xffffffff;
266		checkreg ASTAT, (0x4ce0ce80 | _VS | _V | _AV0S | _AV0 | _AC1 | _AC0 | _CC | _V_COPY);
267
268	dmm32 ASTAT, (0x7020ca10 | _VS | _AV1S | _AV0S | _AC0 | _AC0_COPY);
269	dmm32 A0.w, 0xec60b144;
270	dmm32 A0.x, 0xffffffff;
271		imm32 R0, 0x147e9190;
272		imm32 R1, 0x2b813e9e;
273		imm32 R4, 0xab65ffff;
274	R0 = (A0 += R1.L * R4.H) (IU);
275		checkreg R0, 0xffffffff;
276		checkreg A0.w, 0xffffffff;
277		checkreg A0.x, 0xffffffff;
278		checkreg ASTAT, (0x7020ca10 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC0 | _V_COPY | _AC0_COPY);
279
280	dmm32 ASTAT, (0x28e08210 | _VS | _AQ | _AN);
281	dmm32 A0.w, 0xe650ec98;
282	dmm32 A0.x, 0xffffffff;
283		imm32 R1, 0xcca1b6ef;
284		imm32 R2, 0xd762b783;
285		imm32 R3, 0xef34e465;
286	R2 = (A0 += R3.L * R1.H) (IU);
287		checkreg R2, 0xffffffff;
288		checkreg A0.w, 0xffffffff;
289		checkreg A0.x, 0xffffffff;
290		checkreg ASTAT, (0x28e08210 | _VS | _V | _AV0S | _AV0 | _AQ | _V_COPY | _AN);
291
292	dmm32 ASTAT, (0x58904e00 | _VS | _AC1 | _AC0 | _CC | _AC0_COPY | _AN);
293	dmm32 A0.w, 0xb84b0e88;
294	dmm32 A0.x, 0xffffffff;
295		imm32 R0, 0x8367ffff;
296		imm32 R1, 0xb6a1af0a;
297	R1.L = (A0 += R0.H * R1.H) (IU);
298		checkreg R1, 0xb6a1ffff;
299		checkreg A0.w, 0xffffffff;
300		checkreg A0.x, 0xffffffff;
301		checkreg ASTAT, (0x58904e00 | _VS | _V | _AV0S | _AV0 | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
302
303	dmm32 ASTAT, (0x30900810 | _VS | _AV1S | _AC1 | _AQ | _CC);
304	dmm32 A1.w, 0xd0762eff;
305	dmm32 A1.x, 0xffffffff;
306		imm32 R0, 0x00000000;
307		imm32 R1, 0x1d9b7fff;
308		imm32 R3, 0xf32bf32b;
309	R0.H = (A1 += R1.L * R3.L) (M, IU);
310		checkreg R0, 0x7fff0000;
311		checkreg A1.w, 0x4a0abbd4;
312		checkreg A1.x, 0x00000000;
313		checkreg ASTAT, (0x30900810 | _VS | _V | _AV1S | _AC1 | _AQ | _CC | _V_COPY);
314
315	dmm32 ASTAT, (0x74408290 | _VS | _V | _AV1S | _AV0S | _AQ | _CC | _V_COPY);
316	dmm32 A1.w, 0xf1008000;
317	dmm32 A1.x, 0xffffffff;
318		imm32 R3, 0x0bb78001;
319		imm32 R5, 0x0be78000;
320		imm32 R7, 0x17cd9a40;
321	R3.H = (A1 += R7.L * R5.L) (M, IU);
322		checkreg R3, 0x80008001;
323		checkreg A1.w, 0xbe208000;
324		checkreg A1.x, 0xffffffff;
325		checkreg ASTAT, (0x74408290 | _VS | _V | _AV1S | _AV0S | _AQ | _CC | _V_COPY);
326
327	dmm32 ASTAT, (0x40900490 | _VS | _AV1S);
328	dmm32 A1.w, 0xa9d97d12;
329	dmm32 A1.x, 0xffffffff;
330		imm32 R0, 0x4e01ffff;
331		imm32 R3, 0x12abdd35;
332		imm32 R7, 0xa9d966d6;
333	R7.H = (A1 += R0.L * R3.L) (M, IU);
334		checkreg R7, 0x800066d6;
335		checkreg A1.w, 0xa9d89fdd;
336		checkreg A1.x, 0xffffffff;
337		checkreg ASTAT, (0x40900490 | _VS | _V | _AV1S | _V_COPY);
338
339	dmm32 ASTAT, (0x20a04290 | _VS | _V | _AV1S | _AQ | _V_COPY | _AN);
340	dmm32 A1.w, 0xe552d880;
341	dmm32 A1.x, 0xffffffff;
342		imm32 R3, 0xfe6bf901;
343		imm32 R5, 0xfae40000;
344		imm32 R6, 0x3917f106;
345	R5.H = (A1 += R6.L * R3.H) (M, IU);
346		checkreg R5, 0x80000000;
347		checkreg A1.w, 0xd6708a02;
348		checkreg A1.x, 0xffffffff;
349		checkreg ASTAT, (0x20a04290 | _VS | _V | _AV1S | _AQ | _V_COPY | _AN);
350
351	dmm32 ASTAT, (0x2050c490 | _VS | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY | _AN);
352	dmm32 A1.w, 0xfcd2b056;
353	dmm32 A1.x, 0xffffffff;
354		imm32 R2, 0xff36c118;
355		imm32 R4, 0xfffe0001;
356		imm32 R7, 0x7fff00f4;
357	R7.H = (A1 += R2.L * R4.H) (M, IU);
358		checkreg R7, 0x800000f4;
359		checkreg A1.w, 0xbdeb2e26;
360		checkreg A1.x, 0xffffffff;
361		checkreg ASTAT, (0x2050c490 | _VS | _V | _AV0S | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY | _AN);
362
363	dmm32 ASTAT, (0x30708290 | _VS | _V | _AV1S | _AV0S | _AC1 | _CC | _V_COPY | _AC0_COPY | _AN | _AZ);
364	dmm32 A1.w, 0x391f1bbc;
365	dmm32 A1.x, 0x0000004d;
366		imm32 R3, 0xae387ec2;
367		imm32 R4, 0x7fff99ff;
368		imm32 R5, 0x46730cf4;
369	R5 = (A1 += R4.L * R3.H) (M, IU);
370		checkreg R5, 0x7fffffff;
371		checkreg A1.w, 0xf3b41d84;
372		checkreg A1.x, 0x0000004c;
373		checkreg ASTAT, (0x30708290 | _VS | _V | _AV1S | _AV0S | _AC1 | _CC | _V_COPY | _AC0_COPY | _AN | _AZ);
374
375	dmm32 ASTAT, (0x60d00200 | _VS | _AV1S | _CC);
376	dmm32 A1.w, 0x002b5780;
377	dmm32 A1.x, 0x00000000;
378		imm32 R1, 0xa07dffff;
379		imm32 R2, 0xf90db994;
380		imm32 R4, 0x46150060;
381	R2.H = (A1 -= R1.L * R4.L) (M, IU);
382		checkreg R2, 0x7fffb994;
383		checkreg A1.w, 0x002b57e0;
384		checkreg A1.x, 0x00000000;
385		checkreg ASTAT, (0x60d00200 | _VS | _V | _AV1S | _CC | _V_COPY);
386
387	dmm32 ASTAT, (0x5c600a80 | _VS | _V | _AV1S | _AV1 | _AV0 | _AQ | _V_COPY | _AC0_COPY | _AN);
388	dmm32 A1.w, 0x52768086;
389	dmm32 A1.x, 0x00000035;
390		imm32 R2, 0x1e89d049;
391		imm32 R6, 0x5312dd14;
392		imm32 R7, 0x02e3d1f4;
393	R7 = (A1 += R2.L * R6.L) (M, IU);
394		checkreg R7, 0x7fffffff;
395		checkreg A1.w, 0x2941cb3a;
396		checkreg A1.x, 0x00000035;
397		checkreg ASTAT, (0x5c600a80 | _VS | _V | _AV1S | _AV0 | _AQ | _V_COPY | _AC0_COPY | _AN);
398
399	dmm32 ASTAT, (0x60908080 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AC0_COPY | _AZ);
400	dmm32 A1.w, 0x00005d96;
401	dmm32 A1.x, 0x00000000;
402		imm32 R1, 0x00006828;
403		imm32 R5, 0xfffe5480;
404		imm32 R7, 0x40000009;
405	R5 = (A1 -= R1.L * R7.H) (M, IU);
406		checkreg R5, 0xe5f65d96;
407		checkreg A1.w, 0xe5f65d96;
408		checkreg A1.x, 0xffffffff;
409		checkreg ASTAT, (0x60908080 | _VS | _AV1S | _AV0S | _AC0 | _CC | _AC0_COPY | _AZ);
410
411	dmm32 ASTAT, (0x3cb08080 | _VS | _AC1 | _CC | _AC0_COPY | _AZ);
412	dmm32 A1.w, 0x8b063fca;
413	dmm32 A1.x, 0xffffffa2;
414		imm32 R3, 0x5f5b566b;
415		imm32 R4, 0x800022e6;
416		imm32 R5, 0x741acdad;
417	R3 = (A1 += R5.L * R4.L) (M, IU);
418		checkreg R3, 0x80000000;
419		checkreg A1.w, 0x842a0338;
420		checkreg A1.x, 0xffffffa2;
421		checkreg ASTAT, (0x3cb08080 | _VS | _V | _AC1 | _CC | _V_COPY | _AC0_COPY | _AZ);
422
423	dmm32 ASTAT, (0x60d08a00 | _VS | _AC0 | _AQ | _AN);
424	dmm32 A1.w, 0x54eebd9e;
425	dmm32 A1.x, 0x00000000;
426		imm32 R5, 0x05fa881c;
427		imm32 R7, 0xb0728448;
428	R5 = (A1 -= R7.L * R5.L) (M, IU);
429		checkreg R5, 0x7fffffff;
430		checkreg A1.w, 0x96b605be;
431		checkreg A1.x, 0x00000000;
432		checkreg ASTAT, (0x60d08a00 | _VS | _V | _AC0 | _AQ | _V_COPY | _AN);
433
434	pass
435