1//Original:/testcases/core/c_dsp32mult_pair_s/c_dsp32mult_pair_s.dsp
2// Spec Reference: dsp32mult pair s
3# mach: bfin
4
5.include "testutils.inc"
6	start
7
8imm32 r0, 0x8b235625;
9imm32 r1, 0x93ba5127;
10imm32 r2, 0xa3446725;
11imm32 r3, 0x00050027;
12imm32 r4, 0xb0ab6d29;
13imm32 r5, 0x10ace72b;
14imm32 r6, 0xc00c008d;
15imm32 r7, 0xd2467029;
16R1 = R0.L * R0.L, R0 = R0.L * R0.L (S2RND);
17R3 = R0.L * R1.L, R2 = R0.L * R1.H (S2RND);
18R5 = R1.L * R0.L, R4 = R1.H * R0.L (S2RND);
19R7 = R1.L * R1.L, R6 = R1.H * R1.H (S2RND);
20CHECKREG r0, 0x73F38564;
21CHECKREG r1, 0x73F38564;
22CHECKREG r2, 0x80000000;
23CHECKREG r3, 0x7FFFFFFF;
24CHECKREG r4, 0x80000000;
25CHECKREG r5, 0x7FFFFFFF;
26CHECKREG r6, 0x7FFFFFFF;
27CHECKREG r7, 0x7FFFFFFF;
28
29imm32 r0, 0x5b33a635;
30imm32 r1, 0x6fbe5137;
31imm32 r2, 0x1324b735;
32imm32 r3, 0x9006d037;
33imm32 r4, 0x80abcb39;
34imm32 r5, 0xb0acef3b;
35imm32 r6, 0xa00c00dd;
36imm32 r7, 0x12469003;
37R1 = R2.L * R2.L, R0 = R2.L * R2.L (S2RND);
38R3 = R2.L * R3.L, R2 = R2.L * R3.H (S2RND);
39R5 = R3.L * R2.L, R4 = R3.H * R2.L (S2RND);
40R7 = R3.L * R3.L, R6 = R3.H * R3.H (S2RND);
41CHECKREG r0, 0x52CB43E4;
42CHECKREG r1, 0x52CB43E4;
43CHECKREG r2, 0x7F5C6CF8;
44CHECKREG r3, 0x3659B18C;
45CHECKREG r4, 0x5C88C8E0;
46CHECKREG r5, 0x80000000;
47CHECKREG r6, 0x2E26ABC4;
48CHECKREG r7, 0x602B9240;
49
50imm32 r0, 0x1b235655;
51imm32 r1, 0xc4ba5157;
52imm32 r2, 0x63246755;
53imm32 r3, 0x00060055;
54imm32 r4, 0x90abc509;
55imm32 r5, 0x10acef5b;
56imm32 r6, 0xb00c005d;
57imm32 r7, 0x1246705f;
58R1 = R4.L * R4.L, R0 = R4.L * R4.L (S2RND);
59R3 = R4.L * R5.L, R2 = R4.L * R5.H (S2RND);
60R5 = R5.L * R4.L, R4 = R5.H * R4.L (S2RND);
61R7 = R5.L * R5.L, R6 = R5.H * R5.H (S2RND);
62CHECKREG r0, 0x36536944;
63CHECKREG r1, 0x36536944;
64CHECKREG r2, 0xF0A3C830;
65CHECKREG r3, 0x0F55C4CC;
66CHECKREG r4, 0xF0A3C830;
67CHECKREG r5, 0x0F55C4CC;
68CHECKREG r6, 0x03AC48E4;
69CHECKREG r7, 0x36C40A40;
70
71imm32 r0, 0xab235666;
72imm32 r1, 0xeaba5166;
73imm32 r2, 0x13d48766;
74imm32 r3, 0xf00b0066;
75imm32 r4, 0x90ab9d69;
76imm32 r5, 0x10ac5f6b;
77imm32 r6, 0x800cb66d;
78imm32 r7, 0x1246707f;
79R1 = R6.L * R6.L, R0 = R6.L * R6.L (S2RND);
80R3 = R6.L * R7.L, R2 = R6.L * R7.H (S2RND);
81R5 = R7.L * R6.L, R4 = R7.H * R6.L (S2RND);
82R7 = R7.L * R7.L, R6 = R7.H * R7.H (S2RND);
83CHECKREG r0, 0x5494A9A4;
84CHECKREG r1, 0x5494A9A4;
85CHECKREG r2, 0xEAFE2F38;
86CHECKREG r3, 0x80000000;
87CHECKREG r4, 0xEAFE2F38;
88CHECKREG r5, 0x80000000;
89CHECKREG r6, 0x0537AC90;
90CHECKREG r7, 0x7FFFFFFF;
91
92
93// mix order
94imm32 r0, 0xab23a675;
95imm32 r1, 0xcfba5127;
96imm32 r2, 0x13246705;
97imm32 r3, 0x00060007;
98imm32 r4, 0x90abcd09;
99imm32 r5, 0x10acdfdb;
100imm32 r6, 0x000c000d;
101imm32 r7, 0x1246f00f;
102R1 = R3.L * R2.L (M), R0 = R3.L * R2.H (S2RND);
103R3 = R1.L * R0.H, R2 = R1.H * R0.L (S2RND);
104R5 = R7.H * R4.L, R4 = R7.H * R4.L (S2RND);
105R7 = R5.L * R6.L (M), R6 = R5.H * R6.L (S2RND);
106CHECKREG r0, 0x000217F0;
107CHECKREG r1, 0x0005A246;
108CHECKREG r2, 0x0001DEC0;
109CHECKREG r3, 0xFFFD1230;
110CHECKREG r4, 0xF172C9D8;
111CHECKREG r5, 0xF172C9D8;
112CHECKREG r6, 0xFFFD0B28;
113CHECKREG r7, 0xFFFA7FF0;
114
115imm32 r0, 0x9b235a75;
116imm32 r1, 0xc9ba5127;
117imm32 r2, 0x13946905;
118imm32 r3, 0x00090007;
119imm32 r4, 0x90ab9d09;
120imm32 r5, 0x10ace9db;
121imm32 r6, 0x000c0d9d;
122imm32 r7, 0x12467009;
123R3 = R6.L * R5.L, R2 = R6.L * R5.H (S2RND);
124R1 = R3.L * R0.H (M), R0 = R3.H * R0.L (S2RND);
125R5 = R1.L * R4.L (M), R4 = R1.H * R4.L (S2RND);
126R7 = R2.H * R7.L, R6 = R2.H * R7.L (S2RND);
127CHECKREG r0, 0xF9577348;
128CHECKREG r1, 0x31F9EE68;
129CHECKREG r2, 0x038BD5F0;
130CHECKREG r3, 0xFB4A293C;
131CHECKREG r4, 0xB2B9DB04;
132CHECKREG r5, 0xEA6A5350;
133CHECKREG r6, 0x0633BF8C;
134CHECKREG r7, 0x0633BF8C;
135
136imm32 r0, 0x8b235675;
137imm32 r1, 0xc8ba5127;
138imm32 r2, 0x13846705;
139imm32 r3, 0x00080007;
140imm32 r4, 0x90ab8d09;
141imm32 r5, 0x10ace8db;
142imm32 r6, 0x000c008d;
143imm32 r7, 0x12467008;
144R3 = R6.H * R5.L, R2 = R6.L * R5.H (S2RND);
145R7 = R2.L * R0.H (M), R6 = R2.H * R0.L (S2RND);
146R5 = R1.L * R3.L (M), R4 = R1.H * R3.L (S2RND);
147R1 = R2.H * R7.L, R0 = R2.L * R7.H (S2RND);
148CHECKREG r0, 0x510340C0;
149CHECKREG r1, 0xFFDAAA00;
150CHECKREG r2, 0x0024BAF0;
151CHECKREG r3, 0xFFFBA910;
152CHECKREG r4, 0x4B155680;
153CHECKREG r5, 0x6B2FA2E0;
154CHECKREG r6, 0x0030A1D0;
155CHECKREG r7, 0xB4EDBDA0;
156
157imm32 r0, 0xeb235675;
158imm32 r1, 0xceba5127;
159imm32 r2, 0x13e46705;
160imm32 r3, 0x000e0007;
161imm32 r4, 0x90abed09;
162imm32 r5, 0x10aceedb;
163imm32 r6, 0x000c00ed;
164imm32 r7, 0x1246700e;
165R1 = R1.H * R4.L, R0 = R1.H * R4.L (S2RND);
166R3 = R2.L * R5.L, R2 = R2.L * R5.H (S2RND);
167R5 = R3.H * R6.L, R4 = R3.L * R6.L (S2RND);
168R7 = R4.L * R0.H, R6 = R4.H * R0.L (S2RND);
169CHECKREG r0, 0x0E99DA28;
170CHECKREG r1, 0x0E99DA28;
171CHECKREG r2, 0x1AD61D70;
172CHECKREG r3, 0xE4671D1C;
173CHECKREG r4, 0x006BCBB0;
174CHECKREG r5, 0xFF99CD6C;
175CHECKREG r6, 0xFFC0BAE0;
176CHECKREG r7, 0xF41170C0;
177
178
179
180pass
181