51   int32_t lo, hi;  in exec_dsp()  local
319   hi = 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()
323   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
324   hi = 0x12345678;  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()
328   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
329   hi = 0x12345678;  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()
333   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
334   hi = 0x12345678;  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()
338   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
342   hi = 0x12345678;  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()
346   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
347   hi = 0x12345678;  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()
351   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
352   hi = 0x12345678;  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()
356   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
357   hi = 0x12345678;  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()
361   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
365   hi = 0x12345678;  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()
369   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
370   hi = 0x12345678;  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()
374   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
375   hi = 0x12345678;  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()
379   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()
380   hi = 0x12345678;  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()
384   fprintf(ref_file, "%#x%#x\n", hi, lo);  in exec_dsp()