45 extern FILE* ref_file;
55   fprintf(ref_file, "\n\nInteger (non-NEON) intrinsics\n");  in exec_integer()
62     fprintf(ref_file, "__clz(%#x) = %d\n", (unsigned int)uvar, clz);  in exec_integer()
72   fprintf(ref_file, "__qadd(%#x, %#x) = %#x sat %d\n",  in exec_integer()
79   fprintf(ref_file, "__qadd(%#x, %#x) = %#x sat %d\n",  in exec_integer()
86   fprintf(ref_file, "__qadd(%#x, %#x) = %#x sat %d\n",  in exec_integer()
93   fprintf(ref_file, "__qadd(%#x, %#x) = %#x sat %d\n",  in exec_integer()
100   fprintf(ref_file, "__qadd(%#x, %#x) = %#x sat %d\n",  in exec_integer()
107   fprintf(ref_file, "__qadd(%#x, %#x) = %#x sat %d\n",  in exec_integer()
114   fprintf(ref_file, "__qadd(%#x, %#x) = %#x sat %d\n",  in exec_integer()
122   fprintf(ref_file, "__qdbl(%#x) = %#x sat %d\n",  in exec_integer()
128   fprintf(ref_file, "__qdbl(%#x) = %#x sat %d\n",  in exec_integer()
134   fprintf(ref_file, "__qdbl(%#x) = %#x sat %d\n",  in exec_integer()
140   fprintf(ref_file, "__qdbl(%#x) = %#x sat %d\n",  in exec_integer()
149   fprintf(ref_file, "__qsub(%#x, %#x) = %#x sat %d\n",  in exec_integer()
156   fprintf(ref_file, "__qsub(%#x, %#x) = %#x sat %d\n",  in exec_integer()
163   fprintf(ref_file, "__qsub(%#x, %#x) = %#x sat %d\n",  in exec_integer()
170   fprintf(ref_file, "__qsub(%#x, %#x) = %#x sat %d\n",  in exec_integer()
177   fprintf(ref_file, "__qsub(%#x, %#x) = %#x sat %d\n",  in exec_integer()
184   fprintf(ref_file, "__qsub(%#x, %#x) = %#x sat %d\n",  in exec_integer()
191   fprintf(ref_file, "__qsub(%#x, %#x) = %#x sat %d\n",  in exec_integer()
198   fprintf(ref_file, "__qsub(%#x, %#x) = %#x sat %d\n",  in exec_integer()
205   fprintf(ref_file, "__rbit(%#x) = %#x\n",  in exec_integer()
212   fprintf(ref_file, "__rev(%#x) = %#x\n",  in exec_integer()
220   fprintf(ref_file, "__ssat(%#x, 30) = %#x sat %d\n",  in exec_integer()
226   fprintf(ref_file, "__ssat(%#x, 19) = %#x sat %d\n",  in exec_integer()
232   fprintf(ref_file, "__ssat(%#x, 29) = %#x sat %d\n",  in exec_integer()
238   fprintf(ref_file, "__ssat(%#x, 12) = %#x sat %d\n",  in exec_integer()
244   fprintf(ref_file, "__ssat(%#x, 32) = %#x sat %d\n",  in exec_integer()
250   fprintf(ref_file, "__ssat(%#x, 1) = %#x sat %d\n",  in exec_integer()
258   fprintf(ref_file, "__usat(%#x, 30) = %#x sat %d\n",  in exec_integer()
264   fprintf(ref_file, "__usat(%#x, 19) = %#x sat %d\n",  in exec_integer()
270   fprintf(ref_file, "__usat(%#x, 29) = %#x sat %d\n",  in exec_integer()
276   fprintf(ref_file, "__usat(%#x, 12) = %#x sat %d\n",  in exec_integer()
282   fprintf(ref_file, "__usat(%#x, 31) = %#x sat %d\n",  in exec_integer()
288   fprintf(ref_file, "__usat(%#x, 0) = %#x sat %d\n",  in exec_integer()