46 extern FILE* ref_file;
54   fprintf(ref_file, "\n\nDSP (non-NEON) intrinsics\n");  in exec_dsp()
62   fprintf(ref_file, "qadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
68   fprintf(ref_file, "qadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
74   fprintf(ref_file, "qadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
80   fprintf(ref_file, "qadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
86   fprintf(ref_file, "qadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
92   fprintf(ref_file, "qadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
98   fprintf(ref_file, "qadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
106   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
112   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
118   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
124   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
130   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
136   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
142   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
148   fprintf(ref_file, "qsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
157   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
163   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
169   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
175   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
181   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
187   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
193   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
199   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
205   fprintf(ref_file, "qdadd(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
213   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
219   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
225   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
231   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
237   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
243   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
249   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
255   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
261   fprintf(ref_file, "qdsub(%#x, %#x) = %#x sat %d\n", svar1, svar2, sres, Overflow);  in exec_dsp()
269   fprintf(ref_file, "smulbb(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
271   fprintf(ref_file, "smulbt(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
273   fprintf(ref_file, "smultb(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
275   fprintf(ref_file, "smultt(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
280   fprintf(ref_file, "smulbb(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
282   fprintf(ref_file, "smulbt(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
284   fprintf(ref_file, "smultb(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
286   fprintf(ref_file, "smultt(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
295   fprintf(ref_file, "smlabb(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
297   fprintf(ref_file, "smlabt(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
299   fprintf(ref_file, "smlatb(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
301   fprintf(ref_file, "smlatt(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
306   fprintf(ref_file, "smlabb(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
308   fprintf(ref_file, "smlabt(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
310   fprintf(ref_file, "smlatb(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
312   fprintf(ref_file, "smlatt(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
321   fprintf(ref_file, "smlalbb(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
323   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
326   fprintf(ref_file, "smlalbt(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
328   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
331   fprintf(ref_file, "smlaltb(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
333   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
336   fprintf(ref_file, "smlaltt(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
338   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
344   fprintf(ref_file, "smlalbb(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
346   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
349   fprintf(ref_file, "smlalbt(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
351   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
354   fprintf(ref_file, "smlaltb(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
356   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
359   fprintf(ref_file, "smlaltt(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
361   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
367   fprintf(ref_file, "smlalbb(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
369   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
372   fprintf(ref_file, "smlalbt(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
374   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
377   fprintf(ref_file, "smlaltb(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
379   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
382   fprintf(ref_file, "smlaltt(&%#x, &%#x, %#x, %#x) = ", lo, hi, svar1, svar2);  in exec_dsp()
384   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
392   fprintf(ref_file, "smulwb(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
394   fprintf(ref_file, "smulwt(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
399   fprintf(ref_file, "smulwb(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
401   fprintf(ref_file, "smulwt(%#x, %#x) = %#x\n", svar1, svar2, sres);  in exec_dsp()
410   fprintf(ref_file, "smlawb(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
412   fprintf(ref_file, "smlawt(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
417   fprintf(ref_file, "smlawb(%#x, %#x, %#x) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()
419   fprintf(ref_file, "smlawt(%#x, %#x, %#X) = %#x\n", svar1, svar2, sacc, sres);  in exec_dsp()