50   int32_t svar1, svar2, sacc, sres;  in exec_dsp()  local
59   svar2 = 2;  in exec_dsp()
61   sres = qadd(svar1, svar2);  in exec_dsp()
62   fprintf(ref_file, "qadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
65   svar2 = -2;  in exec_dsp()
67   sres = qadd(svar1, svar2);  in exec_dsp()
68   fprintf(ref_file, "qadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
71   svar2 = 2;  in exec_dsp()
73   sres = qadd(svar1, svar2);  in exec_dsp()
74   fprintf(ref_file, "qadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
77   svar2 = 0x7000;  in exec_dsp()
79   sres = qadd(svar1, svar2);  in exec_dsp()
80   fprintf(ref_file, "qadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
83   svar2 = 0x8FFF;  in exec_dsp()
85   sres = qadd(svar1, svar2);  in exec_dsp()
86   fprintf(ref_file, "qadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
89   svar2 = 0x70000000;  in exec_dsp()
91   sres = qadd(svar1, svar2);  in exec_dsp()
92   fprintf(ref_file, "qadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
95   svar2 = 0x8FFFFFFF;  in exec_dsp()
97   sres = qadd(svar1, svar2);  in exec_dsp()
98   fprintf(ref_file, "qadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
103   svar2 = 2;  in exec_dsp()
105   sres = qsub(svar1, svar2);  in exec_dsp()
106   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
109   svar2 = -2;  in exec_dsp()
111   sres = qsub(svar1, svar2);  in exec_dsp()
112   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
115   svar2 = 2;  in exec_dsp()
117   sres = qsub(svar1, svar2);  in exec_dsp()
118   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
121   svar2 = 0xFFFF9000;  in exec_dsp()
123   sres = qsub(svar1, svar2);  in exec_dsp()
124   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
127   svar2 = 0xFFFF7001;  in exec_dsp()
129   sres = qsub(svar1, svar2);  in exec_dsp()
130   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
133   svar2 = 0x90000000;  in exec_dsp()
135   sres = qsub(svar1, svar2);  in exec_dsp()
136   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
139   svar2 = 0x70000001;  in exec_dsp()
141   sres = qsub(svar1, svar2);  in exec_dsp()
142   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
145   svar2 = 0x80000000;  in exec_dsp()
147   sres = qsub(svar1, svar2);  in exec_dsp()
148   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
154   svar2 = 2;  in exec_dsp()
156   sres = qdadd(svar1, svar2);  in exec_dsp()
157   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
160   svar2 = -2;  in exec_dsp()
162   sres = qdadd(svar1, svar2);  in exec_dsp()
163   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
166   svar2 = 2;  in exec_dsp()
168   sres = qdadd(svar1, svar2);  in exec_dsp()
169   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
172   svar2 = 0x7000;  in exec_dsp()
174   sres = qdadd(svar1, svar2);  in exec_dsp()
175   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
178   svar2 = 0x8FFF;  in exec_dsp()
180   sres = qdadd(svar1, svar2);  in exec_dsp()
181   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
184   svar2 = 0x70000000;  in exec_dsp()
186   sres = qdadd(svar1, svar2);  in exec_dsp()
187   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
190   svar2 = 0x70000000;  in exec_dsp()
192   sres = qdadd(svar1, svar2);  in exec_dsp()
193   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
196   svar2 = 0x8FFFFFFF;  in exec_dsp()
198   sres = qdadd(svar1, svar2);  in exec_dsp()
199   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
202   svar2 = 0x8FFFFFFF;  in exec_dsp()
204   sres = qdadd(svar1, svar2);  in exec_dsp()
205   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
210   svar2 = 2;  in exec_dsp()
212   sres = qdsub(svar1, svar2);  in exec_dsp()
213   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
216   svar2 = -2;  in exec_dsp()
218   sres = qdsub(svar1, svar2);  in exec_dsp()
219   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
222   svar2 = 2;  in exec_dsp()
224   sres = qdsub(svar1, svar2);  in exec_dsp()
225   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
228   svar2 = 0xFFFF9000;  in exec_dsp()
230   sres = qdsub(svar1, svar2);  in exec_dsp()
231   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
234   svar2 = 0xFFFF7001;  in exec_dsp()
236   sres = qdsub(svar1, svar2);  in exec_dsp()
237   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
240   svar2 = 0x90000000;  in exec_dsp()
242   sres = qdsub(svar1, svar2);  in exec_dsp()
243   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
246   svar2 = 0x90000000;  in exec_dsp()
248   sres = qdsub(svar1, svar2);  in exec_dsp()
249   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
252   svar2 = 0x70000001;  in exec_dsp()
254   sres = qdsub(svar1, svar2);  in exec_dsp()
255   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
258   svar2 = 0x70000001;  in exec_dsp()
260   sres = qdsub(svar1, svar2);  in exec_dsp()
261   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
267   svar2 = 0x12345678;  in exec_dsp()
268   sres = smulbb(svar1, svar2);  in exec_dsp()
269   fprintf(ref_file, "smulbb(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
270   sres = smulbt(svar1, svar2);  in exec_dsp()
271   fprintf(ref_file, "smulbt(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
272   sres = smultb(svar1, svar2);  in exec_dsp()
273   fprintf(ref_file, "smultb(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
274   sres = smultt(svar1, svar2);  in exec_dsp()
275   fprintf(ref_file, "smultt(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
278   svar2 = 0xF123F456;  in exec_dsp()
279   sres = smulbb(svar1, svar2);  in exec_dsp()
280   fprintf(ref_file, "smulbb(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
281   sres = smulbt(svar1, svar2);  in exec_dsp()
282   fprintf(ref_file, "smulbt(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
283   sres = smultb(svar1, svar2);  in exec_dsp()
284   fprintf(ref_file, "smultb(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
285   sres = smultt(svar1, svar2);  in exec_dsp()
286   fprintf(ref_file, "smultt(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
293   svar2 = 0x12345678;  in exec_dsp()
294   sres = smlabb(svar1, svar2, sacc);  in exec_dsp()
295   fprintf(ref_file, "smlabb(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
296   sres = smlabt(svar1, svar2, sacc);  in exec_dsp()
297   fprintf(ref_file, "smlabt(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
298   sres = smlatb(svar1, svar2, sacc);  in exec_dsp()
299   fprintf(ref_file, "smlatb(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
300   sres = smlatt(svar1, svar2, sacc);  in exec_dsp()
301   fprintf(ref_file, "smlatt(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
304   svar2 = 0xF123F456;  in exec_dsp()
305   sres = smlabb(svar1, svar2, sacc);  in exec_dsp()
306   fprintf(ref_file, "smlabb(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
307   sres = smlabt(svar1, svar2, sacc);  in exec_dsp()
308   fprintf(ref_file, "smlabt(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
309   sres = smlatb(svar1, svar2, sacc);  in exec_dsp()
310   fprintf(ref_file, "smlatb(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
311   sres = smlatt(svar1, svar2, sacc);  in exec_dsp()
312   fprintf(ref_file, "smlatt(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
318   svar2 = 0x12345678;  in exec_dsp()
321   fprintf(ref_file, "smlalbb(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
322   smlalbb(&lo, &hi, svar1, svar2);  in exec_dsp()
326   fprintf(ref_file, "smlalbt(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
327   smlalbt(&lo, &hi, svar1, svar2);  in exec_dsp()
331   fprintf(ref_file, "smlaltb(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
332   smlaltb(&lo, &hi, svar1, svar2);  in exec_dsp()
336   fprintf(ref_file, "smlaltt(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
337   smlaltt(&lo, &hi, svar1, svar2);  in exec_dsp()
341   svar2 = 0xF123F456;  in exec_dsp()
344   fprintf(ref_file, "smlalbb(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
345   smlalbb(&lo, &hi, svar1, svar2);  in exec_dsp()
349   fprintf(ref_file, "smlalbt(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
350   smlalbt(&lo, &hi, svar1, svar2);  in exec_dsp()
354   fprintf(ref_file, "smlaltb(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
355   smlaltb(&lo, &hi, svar1, svar2);  in exec_dsp()
359   fprintf(ref_file, "smlaltt(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
360   smlaltt(&lo, &hi, svar1, svar2);  in exec_dsp()
364   svar2 = 0x7FFF7FFF;  in exec_dsp()
367   fprintf(ref_file, "smlalbb(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
368   smlalbb(&lo, &hi, svar1, svar2);  in exec_dsp()
372   fprintf(ref_file, "smlalbt(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
373   smlalbt(&lo, &hi, svar1, svar2);  in exec_dsp()
377   fprintf(ref_file, "smlaltb(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
378   smlaltb(&lo, &hi, svar1, svar2);  in exec_dsp()
382   fprintf(ref_file, "smlaltt(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
383   smlaltt(&lo, &hi, svar1, svar2);  in exec_dsp()
390   svar2 = 0x12345678;  in exec_dsp()
391   sres = smulwb(svar1, svar2);  in exec_dsp()
392   fprintf(ref_file, "smulwb(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
393   sres = smulwt(svar1, svar2);  in exec_dsp()
394   fprintf(ref_file, "smulwt(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
397   svar2 = 0xF123F456;  in exec_dsp()
398   sres = smulwb(svar1, svar2);  in exec_dsp()
399   fprintf(ref_file, "smulwb(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
400   sres = smulwt(svar1, svar2);  in exec_dsp()
401   fprintf(ref_file, "smulwt(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
408   svar2 = 0x12345678;  in exec_dsp()
409   sres = smlawb(svar1, svar2, sacc);  in exec_dsp()
410   fprintf(ref_file, "smlawb(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
411   sres = smlawt(svar1, svar2, sacc);  in exec_dsp()
412   fprintf(ref_file, "smlawt(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
415   svar2 = 0xF123F456;  in exec_dsp()
416   sres = smlawb(svar1, svar2, sacc);  in exec_dsp()
417   fprintf(ref_file, "smlawb(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
418   sres = smlawt(svar1, svar2, sacc);  in exec_dsp()
419   fprintf(ref_file, "smlawt(%#x, %#x, %#X) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()