1# mach: bfin
2#include "test.h"
3.include "testutils.inc"
4
5	start
6
7	dmm32 ASTAT, (0x2090c600 | _VS | _AC1 | _AQ | _CC | _AN);
8	dmm32 A0.w, 0xf041e418;
9	dmm32 A0.x, 0xffffffff;
10	imm32 R4, 0x51296cc2;
11	imm32 R7, 0xca05cb74;
12	R4.L = (A0 += R7.H * R4.L) (TFU);
13	checkreg R4, 0x5129ffff;
14	checkreg A0.w, 0xffffffff;
15	checkreg A0.x, 0xffffffff;
16	checkreg ASTAT, (0x2090c600 | _VS | _V | _AV0S | _AV0 | _AC1 | _AQ | _CC | _V_COPY | _AN);
17
18	dmm32 ASTAT, (0x68508090 | _VS | _AV0S | _AC1 | _AC0_COPY);
19	dmm32 A1.w, 0xf934c2ea;
20	dmm32 A1.x, 0xffffffff;
21	imm32 R0, 0x4c8c85a2;
22	imm32 R1, 0x13507fff;
23	imm32 R7, 0x1bd0df6a;
24	R0.H = (A1 += R7.L * R1.L) (TFU);
25	checkreg R0, 0xffff85a2;
26	checkreg A1.w, 0xffffffff;
27	checkreg A1.x, 0xffffffff;
28	checkreg ASTAT, (0x68508090 | _VS | _V | _AV1S | _AV1 | _AV0S | _AC1 | _V_COPY | _AC0_COPY);
29
30	dmm32 ASTAT, (0x54e0c200 | _VS | _AV0S | _AC1 | _AC0 | _AQ | _CC | _AC0_COPY);
31	dmm32 A0.w, 0xed4a5c88;
32	dmm32 A0.x, 0xffffffff;
33	imm32 R1, 0x1332a428;
34	imm32 R4, 0x59fd2452;
35	imm32 R6, 0x001fffc3;
36	R4.L = (A0 += R1.H * R6.L) (TFU);
37	checkreg R4, 0x59fdffff;
38	checkreg A0.w, 0xffffffff;
39	checkreg A0.x, 0xffffffff;
40	checkreg ASTAT, (0x54e0c200 | _VS | _V | _AV0S | _AV0 | _AC1 | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY);
41
42	dmm32 ASTAT, (0x70500000 | _VS | _AV1S | _AV0S | _AC1 | _CC | _AN);
43	dmm32 A0.w, 0xb959adf4;
44	dmm32 A0.x, 0xffffffff;
45	imm32 R0, 0xffc20000;
46	imm32 R4, 0x9b83ffff;
47	R0.L = (A0 += R4.L * R4.H) (TFU);
48	checkreg R0, 0xffc2ffff;
49	checkreg A0.w, 0xffffffff;
50	checkreg A0.x, 0xffffffff;
51	checkreg ASTAT, (0x70500000 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC1 | _CC | _V_COPY | _AN);
52
53	dmm32 ASTAT, (0x58f04890 | _VS | _AV0S | _AC1 | _AC0 | _CC | _AC0_COPY | _AN);
54	dmm32 A0.w, 0xfd1277cc;
55	dmm32 A0.x, 0xffffffff;
56	imm32 R5, 0xfffdffe2;
57	imm32 R7, 0x1a9bcac8;
58	R5.L = (A0 += R5.H * R7.L) (TFU);
59	checkreg R5, 0xfffdffff;
60	checkreg A0.w, 0xffffffff;
61	checkreg A0.x, 0xffffffff;
62	checkreg ASTAT, (0x58f04890 | _VS | _V | _AV0S | _AV0 | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
63
64	dmm32 ASTAT, (0x2840ce90 | _VS | _AV0S | _AC1 | _AC0 | _AC0_COPY);
65	dmm32 A1.w, 0x1543f138;
66	dmm32 A1.x, 0xffffffce;
67	imm32 R3, 0xf4620000;
68	imm32 R4, 0x80008000;
69	imm32 R7, 0x0d156000;
70	R4.H = (A1 -= R3.L * R7.L) (M, TFU);
71	checkreg R4, 0x80008000;
72	checkreg A1.w, 0x1543f138;
73	checkreg A1.x, 0xffffffce;
74	checkreg ASTAT, (0x2840ce90 | _VS | _V | _AV0S | _AC1 | _AC0 | _V_COPY | _AC0_COPY);
75
76	dmm32 ASTAT, (0x04000c90 | _AV0S | _AC0 | _AC0_COPY | _AN);
77	dmm32 A1.w, 0x7c7b42a9;
78	dmm32 A1.x, 0x00000027;
79	imm32 R2, 0x28454c31;
80	imm32 R5, 0xf220f1b0;
81	imm32 R6, 0x257ab18b;
82	R2.H = (A1 -= R5.L * R6.L) (M, TFU);
83	checkreg R2, 0x7fff4c31;
84	checkreg A1.w, 0x86685819;
85	checkreg A1.x, 0x00000027;
86	checkreg ASTAT, (0x04000c90 | _VS | _V | _AV0S | _AC0 | _V_COPY | _AC0_COPY | _AN);
87
88	dmm32 ASTAT, (0x6810ce80 | _VS | _AV1S | _AV0S | _AQ | _CC | _AC0_COPY | _AN);
89	dmm32 A1.w, 0x00000000;
90	dmm32 A1.x, 0x00000000;
91	imm32 R0, 0x00008000;
92	imm32 R6, 0x5857bcbe;
93	R6.H = (A1 = R6.L * R0.L) (M, TFU);
94	checkreg R6, 0xde5fbcbe;
95	checkreg A1.w, 0xde5f0000;
96	checkreg A1.x, 0xffffffff;
97	checkreg ASTAT, (0x6810ce80 | _VS | _AV1S | _AV0S | _AQ | _CC | _AC0_COPY | _AN);
98
99	dmm32 ASTAT, (0x78c00c80 | _VS | _V | _AC0 | _V_COPY | _AN);
100	dmm32 A1.w, 0x63391186;
101	dmm32 A1.x, 0x0000005e;
102	imm32 R2, 0x34a8b6ef;
103	imm32 R7, 0x7c8142e2;
104	R7.H = (A1 = R2.L * R2.H) (M, TFU);
105	checkreg R7, 0xf0f842e2;
106	checkreg A1.w, 0xf0f898d8;
107	checkreg A1.x, 0xffffffff;
108	checkreg ASTAT, (0x78c00c80 | _VS | _AC0 | _AN);
109
110	dmm32 ASTAT, (0x70704410 | _VS | _V | _AV0S | _AC0 | _AQ | _CC | _V_COPY | _AC0_COPY);
111	dmm32 A1.w, 0x3fff0001;
112	dmm32 A1.x, 0x00000000;
113	imm32 R0, 0xffffffff;
114	imm32 R7, 0x80007fff;
115	R7.H = (A1 = R0.L * R7.L) (M, TFU);
116	checkreg R7, 0xffff7fff;
117	checkreg A1.w, 0xffff8001;
118	checkreg A1.x, 0xffffffff;
119	checkreg ASTAT, (0x70704410 | _VS | _AV0S | _AC0 | _AQ | _CC | _AC0_COPY);
120
121	dmm32 ASTAT, (0x00b08610 | _VS | _V | _AV1S | _AV0S | _AV0 | _AQ | _V_COPY | _AC0_COPY | _AN);
122	dmm32 A1.w, 0xe75e6c55;
123	dmm32 A1.x, 0xffffffff;
124	imm32 R1, 0x5073b60d;
125	imm32 R3, 0x1c5eecaf;
126	R1.H = (A1 = R3.L * R3.H) (M, TFU);
127	checkreg R1, 0xfddcb60d;
128	checkreg A1.w, 0xfddc0c42;
129	checkreg A1.x, 0xffffffff;
130	checkreg ASTAT, (0x00b08610 | _VS | _AV1S | _AV0S | _AV0 | _AQ | _AC0_COPY | _AN);
131
132	dmm32 ASTAT, (0x00304690 | _AV1 | _AV0S | _AV0 | _AQ | _AZ);
133	dmm32 A1.w, 0x2ef1b58e;
134	dmm32 A1.x, 0xffffffd7;
135	imm32 R3, 0x37807856;
136	imm32 R4, 0x2cd7d02c;
137	imm32 R5, 0x4435ba51;
138	R4.H = (A1 -= R3.L * R5.L) (M, TFU);
139	checkreg R4, 0x8000d02c;
140	checkreg A1.w, 0xd75d2658;
141	checkreg A1.x, 0xffffffd6;
142	checkreg ASTAT, (0x00304690 | _VS | _V | _AV0S | _AV0 | _AQ | _V_COPY | _AZ);
143
144	dmm32 ASTAT, (0x74c0c600 | _VS | _AV1 | _AV0S | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
145	dmm32 A1.w, 0x4325067d;
146	dmm32 A1.x, 0xffffffee;
147	imm32 R0, 0x35ca7288;
148	imm32 R5, 0x5ec6e257;
149	R0.H = (A1 += R0.L * R5.H) (M, TFU);
150	checkreg R0, 0x80007288;
151	checkreg A1.w, 0x6d8b8bad;
152	checkreg A1.x, 0xffffffee;
153	checkreg ASTAT, (0x74c0c600 | _VS | _V | _AV0S | _AC1 | _AC0 | _CC | _V_COPY | _AC0_COPY | _AN);
154
155	dmm32 ASTAT, (0x50704690 | _VS | _AQ);
156	dmm32 A1.w, 0xd0cea2a8;
157	dmm32 A1.x, 0xffffffff;
158	imm32 R0, 0x11b4e24e;
159	imm32 R2, 0xecd6793c;
160	imm32 R7, 0x329c2dd6;
161	R0.H = (A1 -= R7.L * R2.L) (M, TFU);
162	checkreg R0, 0xbb19e24e;
163	checkreg A1.w, 0xbb19be80;
164	checkreg A1.x, 0xffffffff;
165	checkreg ASTAT, (0x50704690 | _VS | _AQ);
166
167	dmm32 ASTAT, (0x10d08000 | _VS | _AC1 | _AN);
168	dmm32 A1.w, 0x32dd86a1;
169	dmm32 A1.x, 0xffffffd7;
170	imm32 R1, 0xb2310000;
171	imm32 R3, 0xd63992d2;
172	imm32 R5, 0x2b93b27f;
173	R5.H = (A1 += R3.L * R1.L) (M, TFU);
174	checkreg R5, 0x8000b27f;
175	checkreg A1.w, 0x32dd86a1;
176	checkreg A1.x, 0xffffffd7;
177	checkreg ASTAT, (0x10d08000 | _VS | _V | _AC1 | _V_COPY | _AN);
178
179	dmm32 ASTAT, (0x3010c600 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC0 | _AQ | _V_COPY | _AC0_COPY);
180	dmm32 A1.w, 0xf99eabd6;
181	dmm32 A1.x, 0xffffffff;
182	imm32 R2, 0x0c196618;
183	imm32 R5, 0x00008000;
184	imm32 R6, 0x6617ffff;
185	R5.H = (A1 -= R6.L * R2.L) (M, TFU);
186	checkreg R5, 0xf99f8000;
187	checkreg A1.w, 0xf99f11ee;
188	checkreg A1.x, 0xffffffff;
189	checkreg ASTAT, (0x3010c600 | _VS | _AV1S | _AV0S | _AV0 | _AC0 | _AQ | _AC0_COPY);
190
191	dmm32 ASTAT, (0x30f0ca80 | _VS | _V | _AV1S | _AV0S | _AC0 | _V_COPY | _AN);
192	dmm32 A0.w, 0x74ea7d56;
193	dmm32 A0.x, 0xffffffff;
194	imm32 R0, 0x29abffff;
195	imm32 R2, 0xade1ffff;
196	imm32 R7, 0x20ada3b8;
197	R0.L = (A0 += R2.L * R7.L) (TFU);
198	checkreg A0.w, 0xffffffff;
199	checkreg A0.x, 0xffffffff;
200	checkreg ASTAT, (0x30f0ca80 | _VS | _V | _AV1S | _AV0S | _AV0 | _AC0 | _V_COPY | _AN);
201
202	dmm32 ASTAT, (0x48608210 | _VS | _V | _AV1S | _AV0S | _CC | _V_COPY | _AN);
203	dmm32 A0.w, 0x120f0000;
204	dmm32 A0.x, 0xffffffff;
205	imm32 R3, 0xfeacf0c4;
206	R3.L = (A0 += R3.H * R3.H) (TFU);
207	checkreg R3, 0xfeacffff;
208	checkreg A0.w, 0xffffffff;
209	checkreg A0.x, 0xffffffff;
210	checkreg ASTAT, (0x48608210 | _VS | _V | _AV1S | _AV0S | _AV0 | _CC | _V_COPY | _AN);
211
212	pass
213