50   int32_t svar1, svar2, sacc, sres;  in exec_dsp()  local
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
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()