Lines Matching full:line
78 static inline short _EXTRACT16(int x, char *file, int line)
83 fprintf (stderr, "EXTRACT16: input is not short: %d in %s: line %d\n", x, file, line);
91 static inline int _EXTEND32(int x, char *file, int line)
96 fprintf (stderr, "EXTEND32: input is not short: %d in %s: line %d\n", x, file, line);
104 static inline short _SHR16(int a, int shift, char *file, int line)
109 fprintf (stderr, "SHR16: inputs are not short: %d >> %d in %s: line %d\n", a, shift, file, line);
113 fprintf (stderr, "SHR16: output is not short: %d in %s: line %d\n", res, file, line);
118 static inline short _SHL16(int a, int shift, char *file, int line)
123 fprintf (stderr, "SHL16: inputs are not short: %d %d in %s: line %d\n", a, shift, file, line);
127 fprintf (stderr, "SHL16: output is not short: %d in %s: line %d\n", res, file, line);
174 static inline short _ADD16(int a, int b, char *file, int line)
179 fprintf (stderr, "ADD16: inputs are not short: %d %d in %s: line %d\n", a, b, file, line);
184 fprintf (stderr, "ADD16: output is not short: %d+%d=%d in %s: line %d\n", a,b,res, file, line);
191 static inline short _SUB16(int a, int b, char *file, int line)
196 fprintf (stderr, "SUB16: inputs are not short: %d %d in %s: line %d\n", a, b, file, line);
200 fprintf (stderr, "SUB16: output is not short: %d in %s: line %d\n", res, file, line);
206 static inline int _ADD32(long long a, long long b, char *file, int line)
211 fprintf (stderr, "ADD32: inputs are not int: %d %d in %s: line %d\n", (int)a, (int)b, file, line);
216 fprintf (stderr, "ADD32: output is not int: %d in %s: line %d\n", (int)res, file, line);
254 static inline int _MULT16_16(int a, int b, char *file, int line)
259 fprintf (stderr, "MULT16_16: inputs are not short: %d %d in %s: line %d\n", a, b, file, line);
263 fprintf (stderr, "MULT16_16: output is not int: %d in %s: line %d\n", (int)res, file, line);
275 static inline int _MULT16_32_QX(int a, long long b, int Q, char *file, int line)
280 fprintf (stderr, "MULT16_32_Q%d: inputs are not short+int: %d %d in %s: line %d\n", Q, (int)a, (int)b, file, line);
283 fprintf (stderr, "MULT16_32_Q%d: second operand too large: %d %d in %s: line %d\n", Q, (int)a, (int)b, file, line);
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);
439 static inline int _DIV32_16(long long a, long long b, char *file, int line)
444 fprintf(stderr, "DIV32_16: divide by zero: %d/%d in %s: line %d\n", (int)a, (int)b, file, line);
449 fprintf (stderr, "DIV32_16: inputs are not int/short: %d %d in %s: line %d\n", (int)a, (int)b, file, line);
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);
465 static inline int _DIV32(long long a, long long b, char *file, int line)
470 fprintf(stderr, "DIV32: divide by zero: %d/%d in %s: line %d\n", (int)a, (int)b, file, line);
476 fprintf (stderr, "DIV32: inputs are not int/short: %d %d in %s: line %d\n", (int)a, (int)b, file, line);
480 fprintf (stderr, "DIV32: output is not int: %d in %s: line %d\n", (int)res, file, line);
