55       fprintf (stderr, "NEG16: input is not short: %d\n", (int)x);  in NEG16()
59       fprintf (stderr, "NEG16: output is not short: %d\n", (int)res);  in NEG16()
68       fprintf (stderr, "NEG16: input is not int: %d\n", (int)x);  in NEG32()
72       fprintf (stderr, "NEG16: output is not int: %d\n", (int)res);  in NEG32()
83       fprintf (stderr, "EXTRACT16: input is not short: %d in %s: line %d\n", x, file, line);  in _EXTRACT16()
96       fprintf (stderr, "EXTEND32: input is not short: %d in %s: line %d\n", x, file, line);  in _EXTEND32()
109 …  fprintf (stderr, "SHR16: inputs are not short: %d >> %d in %s: line %d\n", a, shift, file, line);  in _SHR16()
113       fprintf (stderr, "SHR16: output is not short: %d in %s: line %d\n", res, file, line);  in _SHR16()
123       fprintf (stderr, "SHL16: inputs are not short: %d %d in %s: line %d\n", a, shift, file, line);  in _SHL16()
127       fprintf (stderr, "SHL16: output is not short: %d in %s: line %d\n", res, file, line);  in _SHL16()
137       fprintf (stderr, "SHR32: inputs are not int: %d %d\n", (int)a, shift);  in SHR32()
142       fprintf (stderr, "SHR32: output is not int: %d\n", (int)res);  in SHR32()
152       fprintf (stderr, "SHL32: inputs are not int: %d %d\n", (int)a, shift);  in SHL32()
157       fprintf (stderr, "SHL32: output is not int: %d\n", (int)res);  in SHL32()
179       fprintf (stderr, "ADD16: inputs are not short: %d %d in %s: line %d\n", a, b, file, line);  in _ADD16()
184 …    fprintf (stderr, "ADD16: output is not short: %d+%d=%d in %s: line %d\n", a,b,res, file, line);  in _ADD16()
196       fprintf (stderr, "SUB16: inputs are not short: %d %d in %s: line %d\n", a, b, file, line);  in _SUB16()
200       fprintf (stderr, "SUB16: output is not short: %d in %s: line %d\n", res, file, line);  in _SUB16()
211 … fprintf (stderr, "ADD32: inputs are not int: %d %d in %s: line %d\n", (int)a, (int)b, file, line);  in _ADD32()
216       fprintf (stderr, "ADD32: output is not int: %d in %s: line %d\n", (int)res, file, line);  in _ADD32()
227       fprintf (stderr, "SUB32: inputs are not int: %d %d\n", (int)a, (int)b);  in SUB32()
231       fprintf (stderr, "SUB32: output is not int: %d\n", (int)res);  in SUB32()
244       fprintf (stderr, "MULT16_16_16: inputs are not short: %d %d\n", a, b);  in MULT16_16_16()
248       fprintf (stderr, "MULT16_16_16: output is not short: %d\n", res);  in MULT16_16_16()
259       fprintf (stderr, "MULT16_16: inputs are not short: %d %d in %s: line %d\n", a, b, file, line);  in _MULT16_16()
263       fprintf (stderr, "MULT16_16: output is not int: %d in %s: line %d\n", (int)res, file, line);  in _MULT16_16()
280 …fprintf (stderr, "MULT16_32_Q%d: inputs are not short+int: %d %d in %s: line %d\n", Q, (int)a, (in…  in _MULT16_32_QX()
283 …fprintf (stderr, "MULT16_32_Q%d: second operand too large: %d %d in %s: line %d\n", Q, (int)a, (in…  in _MULT16_32_QX()
286 …fprintf (stderr, "MULT16_32_Q%d: output is not int: %d*%d=%d in %s: line %d\n", Q, (int)a, (int)b,…  in _MULT16_32_QX()
296       fprintf (stderr, "MULT16_32_P%d: inputs are not short+int: %d %d\n", Q, (int)a, (int)b);  in MULT16_32_PX()
299       fprintf (stderr, "MULT16_32_Q%d: second operand too large: %d %d\n", Q, (int)a, (int)b);        in MULT16_32_PX()
302       fprintf (stderr, "MULT16_32_P%d: output is not int: %d*%d=%d\n", Q, (int)a, (int)b,(int)res);  in MULT16_32_PX()
331       fprintf (stderr, "MULT16_16_Q11: inputs are not short: %d %d\n", a, b);  in MULT16_16_Q11_32()
336       fprintf (stderr, "MULT16_16_Q11: output is not short: %d*%d=%d\n", (int)a, (int)b, (int)res);  in MULT16_16_Q11_32()
345       fprintf (stderr, "MULT16_16_Q13: inputs are not short: %d %d\n", a, b);  in MULT16_16_Q13()
350       fprintf (stderr, "MULT16_16_Q13: output is not short: %d*%d=%d\n", a, b, (int)res);  in MULT16_16_Q13()
359       fprintf (stderr, "MULT16_16_Q14: inputs are not short: %d %d\n", a, b);  in MULT16_16_Q14()
364       fprintf (stderr, "MULT16_16_Q14: output is not short: %d\n", (int)res);  in MULT16_16_Q14()
373       fprintf (stderr, "MULT16_16_Q15: inputs are not short: %d %d\n", a, b);  in MULT16_16_Q15()
379       fprintf (stderr, "MULT16_16_Q15: output is not short: %d\n", (int)res);  in MULT16_16_Q15()
390       fprintf (stderr, "MULT16_16_P13: inputs are not short: %d %d\n", a, b);  in MULT16_16_P13()
395       fprintf (stderr, "MULT16_16_P13: overflow: %d*%d=%d\n", a, b, (int)res);  in MULT16_16_P13()
398       fprintf (stderr, "MULT16_16_P13: output is not short: %d*%d=%d\n", a, b, (int)res);  in MULT16_16_P13()
407       fprintf (stderr, "MULT16_16_P14: inputs are not short: %d %d\n", a, b);  in MULT16_16_P14()
412       fprintf (stderr, "MULT16_16_P14: overflow: %d*%d=%d\n", a, b, (int)res);  in MULT16_16_P14()
415       fprintf (stderr, "MULT16_16_P14: output is not short: %d*%d=%d\n", a, b, (int)res);  in MULT16_16_P14()
424       fprintf (stderr, "MULT16_16_P15: inputs are not short: %d %d\n", a, b);  in MULT16_16_P15()
429       fprintf (stderr, "MULT16_16_P15: overflow: %d*%d=%d\n", a, b, (int)res);  in MULT16_16_P15()
432       fprintf (stderr, "MULT16_16_P15: output is not short: %d*%d=%d\n", a, b, (int)res);  in MULT16_16_P15()
444 …   fprintf(stderr, "DIV32_16: divide by zero: %d/%d in %s: line %d\n", (int)a, (int)b, file, line);  in _DIV32_16()
449 …fprintf (stderr, "DIV32_16: inputs are not int/short: %d %d in %s: line %d\n", (int)a, (int)b, fil…  in _DIV32_16()
454 …fprintf (stderr, "DIV32_16: output is not short: %d / %d = %d in %s: line %d\n", (int)a,(int)b,(in…  in _DIV32_16()
470       fprintf(stderr, "DIV32: divide by zero: %d/%d in %s: line %d\n", (int)a, (int)b, file, line);  in _DIV32()
476 …fprintf (stderr, "DIV32: inputs are not int/short: %d %d in %s: line %d\n", (int)a, (int)b, file, …  in _DIV32()
480       fprintf (stderr, "DIV32: output is not int: %d in %s: line %d\n", (int)res, file, line);  in _DIV32()