Lines Matching refs:res
52 int res;
57 res = -x;
58 if (!VERIFY_SHORT(res))
59 fprintf (stderr, "NEG16: output is not short: %d\n", (int)res);
61 return res;
65 long long res;
70 res = -x;
71 if (!VERIFY_INT(res))
72 fprintf (stderr, "NEG16: output is not int: %d\n", (int)res);
74 return res;
80 int res;
85 res = x;
87 return res;
93 int res;
98 res = x;
100 return res;
106 int res;
111 res = a>>shift;
112 if (!VERIFY_SHORT(res))
113 fprintf (stderr, "SHR16: output is not short: %d in %s: line %d\n", res, file, line);
115 return res;
120 int res;
125 res = a<<shift;
126 if (!VERIFY_SHORT(res))
127 fprintf (stderr, "SHL16: output is not short: %d in %s: line %d\n", res, file, line);
129 return res;
134 long long res;
139 res = a>>shift;
140 if (!VERIFY_INT(res))
142 fprintf (stderr, "SHR32: output is not int: %d\n", (int)res);
145 return res;
149 long long res;
154 res = a<<shift;
155 if (!VERIFY_INT(res))
157 fprintf (stderr, "SHL32: output is not int: %d\n", (int)res);
160 return res;
176 int res;
181 res = a+b;
182 if (!VERIFY_SHORT(res))
184 fprintf (stderr, "ADD16: output is not short: %d+%d=%d in %s: line %d\n", a,b,res, file, line);
187 return res;
193 int res;
198 res = a-b;
199 if (!VERIFY_SHORT(res))
200 fprintf (stderr, "SUB16: output is not short: %d in %s: line %d\n", res, file, line);
202 return res;
208 long long res;
213 res = a+b;
214 if (!VERIFY_INT(res))
216 fprintf (stderr, "ADD32: output is not int: %d in %s: line %d\n", (int)res, file, line);
219 return res;
224 long long res;
229 res = a-b;
230 if (!VERIFY_INT(res))
231 fprintf (stderr, "SUB32: output is not int: %d\n", (int)res);
233 return res;
241 int res;
246 res = a*b;
247 if (!VERIFY_SHORT(res))
248 fprintf (stderr, "MULT16_16_16: output is not short: %d\n", res);
250 return res;
256 long long res;
261 res = ((long long)a)*b;
262 if (!VERIFY_INT(res))
263 fprintf (stderr, "MULT16_16: output is not int: %d in %s: line %d\n", (int)res, file, line);
265 return res;
277 long long res;
284 res = (((long long)a)*(long long)b) >> Q;
285 if (!VERIFY_INT(res))
286 fprintf (stderr, "MULT16_32_Q%d: output is not int: %d*%d=%d in %s: line %d\n", Q, (int)a, (int)b,(int)res, file, line);
288 return res;
293 long long res;
300 res = ((((long long)a)*(long long)b) + ((EXTEND32(1)<<Q)>>1))>> Q;
301 if (!VERIFY_INT(res))
302 fprintf (stderr, "MULT16_32_P%d: output is not int: %d*%d=%d\n", Q, (int)a, (int)b,(int)res);
304 return res;
328 long long res;
333 res = ((long long)a)*b;
334 res >>= 11;
335 if (!VERIFY_INT(res))
336 fprintf (stderr, "MULT16_16_Q11: output is not short: %d*%d=%d\n", (int)a, (int)b, (int)res);
338 return res;
342 long long res;
347 res = ((long long)a)*b;
348 res >>= 13;
349 if (!VERIFY_SHORT(res))
350 fprintf (stderr, "MULT16_16_Q13: output is not short: %d*%d=%d\n", a, b, (int)res);
352 return res;
356 long long res;
361 res = ((long long)a)*b;
362 res >>= 14;
363 if (!VERIFY_SHORT(res))
364 fprintf (stderr, "MULT16_16_Q14: output is not short: %d\n", (int)res);
366 return res;
370 long long res;
375 res = ((long long)a)*b;
376 res >>= 15;
377 if (!VERIFY_SHORT(res))
379 fprintf (stderr, "MULT16_16_Q15: output is not short: %d\n", (int)res);
382 return res;
387 long long res;
392 res = ((long long)a)*b;
393 res += 4096;
394 if (!VERIFY_INT(res))
395 fprintf (stderr, "MULT16_16_P13: overflow: %d*%d=%d\n", a, b, (int)res);
396 res >>= 13;
397 if (!VERIFY_SHORT(res))
398 fprintf (stderr, "MULT16_16_P13: output is not short: %d*%d=%d\n", a, b, (int)res);
400 return res;
404 long long res;
409 res = ((long long)a)*b;
410 res += 8192;
411 if (!VERIFY_INT(res))
412 fprintf (stderr, "MULT16_16_P14: overflow: %d*%d=%d\n", a, b, (int)res);
413 res >>= 14;
414 if (!VERIFY_SHORT(res))
415 fprintf (stderr, "MULT16_16_P14: output is not short: %d*%d=%d\n", a, b, (int)res);
417 return res;
421 long long res;
426 res = ((long long)a)*b;
427 res += 16384;
428 if (!VERIFY_INT(res))
429 fprintf (stderr, "MULT16_16_P15: overflow: %d*%d=%d\n", a, b, (int)res);
430 res >>= 15;
431 if (!VERIFY_SHORT(res))
432 fprintf (stderr, "MULT16_16_P15: output is not short: %d*%d=%d\n", a, b, (int)res);
434 return res;
441 long long res;
451 res = a/b;
452 if (!VERIFY_SHORT(res))
454 fprintf (stderr, "DIV32_16: output is not short: %d / %d = %d in %s: line %d\n", (int)a,(int)b,(int)res, file, line);
455 if (res>32767)
456 res = 32767;
457 if (res<-32768)
458 res = -32768;
461 return res;
467 long long res;
478 res = a/b;
479 if (!VERIFY_INT(res))
480 fprintf (stderr, "DIV32: output is not int: %d in %s: line %d\n", (int)res, file, line);
482 return res;
