Lines Matching refs:stderr
67 fprintf (stderr, "NEG16: input is not short: %d\n", (int)x);
75 fprintf (stderr, "NEG16: output is not short: %d\n", (int)res);
88 fprintf (stderr, "NEG16: input is not int: %d\n", (int)x);
96 fprintf (stderr, "NEG16: output is not int: %d\n", (int)res);
111 fprintf (stderr, "EXTRACT16: input is not short: %d in %s: line %d\n", x, file, line);
127 fprintf (stderr, "EXTEND32: input is not short: %d in %s: line %d\n", x, file, line);
143 fprintf (stderr, "SHR16: inputs are not short: %d >> %d in %s: line %d\n", a, shift, file, line);
151 fprintf (stderr, "SHR16: output is not short: %d in %s: line %d\n", res, file, line);
165 fprintf (stderr, "SHL16: inputs are not short: %d %d in %s: line %d\n", a, shift, file, line);
173 fprintf (stderr, "SHL16: output is not short: %d in %s: line %d\n", res, file, line);
187 fprintf (stderr, "SHR32: inputs are not int: %d %d\n", (int)a, shift);
195 fprintf (stderr, "SHR32: output is not int: %d\n", (int)res);
209 fprintf (stderr, "SHL32: inputs are not int: %lld %d in %s: line %d\n", a, shift, file, line);
217 fprintf (stderr, "SHL32: output is not int: %lld<<%d = %lld in %s: line %d\n", a, shift, res, file, line);
242 fprintf (stderr, "ADD16: inputs are not short: %d %d in %s: line %d\n", a, b, file, line);
250 fprintf (stderr, "ADD16: output is not short: %d+%d=%d in %s: line %d\n", a,b,res, file, line);
265 fprintf (stderr, "SUB16: inputs are not short: %d %d in %s: line %d\n", a, b, file, line);
273 fprintf (stderr, "SUB16: output is not short: %d in %s: line %d\n", res, file, line);
288 fprintf (stderr, "ADD32: inputs are not int: %d %d in %s: line %d\n", (int)a, (int)b, file, line);
296 fprintf (stderr, "ADD32: output is not int: %d in %s: line %d\n", (int)res, file, line);
311 fprintf (stderr, "SUB32: inputs are not int: %d %d in %s: line %d\n", (int)a, (int)b, file, line);
319 fprintf (stderr, "SUB32: output is not int: %d in %s: line %d\n", (int)res, file, line);
335 fprintf (stderr, "UADD32: inputs are not uint32: %llu %llu in %s: line %d\n", a, b, file, line);
343 fprintf (stderr, "UADD32: output is not uint32: %llu in %s: line %d\n", res, file, line);
359 fprintf (stderr, "USUB32: inputs are not uint32: %llu %llu in %s: line %d\n", a, b, file, line);
366 fprintf (stderr, "USUB32: inputs underflow: %llu < %llu in %s: line %d\n", a, b, file, line);
374 fprintf (stderr, "USUB32: output is not uint32: %llu - %llu = %llu in %s: line %d\n", a, b, res, file, line);
389 fprintf (stderr, "MULT16_16_16: inputs are not short: %d %d\n", a, b);
397 fprintf (stderr, "MULT16_16_16: output is not short: %d\n", res);
412 fprintf (stderr, "MULT16_16: inputs are not short: %d %d in %s: line %d\n", a, b, file, line);
420 fprintf (stderr, "MULT16_16: output is not int: %d in %s: line %d\n", (int)res, file, line);
437 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);
444 fprintf (stderr, "MULT16_32_Q%d: second operand too large: %d %d in %s: line %d\n", Q, (int)a, (int)b, file, line);
452 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);
470 fprintf (stderr, "MULT16_32_P%d: inputs are not short+int: %d %d in %s: line %d\n\n", Q, (int)a, (int)b, file, line);
477 fprintf (stderr, "MULT16_32_Q%d: second operand too large: %d %d in %s: line %d\n\n", Q, (int)a, (int)b,file, line);
485 fprintf (stderr, "MULT16_32_P%d: output is not int: %d*%d=%d in %s: line %d\n\n", Q, (int)a, (int)b,(int)res, file, line);
525 fprintf (stderr, "MULT16_16_Q11: inputs are not short: %d %d\n", a, b);
534 fprintf (stderr, "MULT16_16_Q11: output is not short: %d*%d=%d\n", (int)a, (int)b, (int)res);
547 fprintf (stderr, "MULT16_16_Q13: inputs are not short: %d %d\n", a, b);
556 fprintf (stderr, "MULT16_16_Q13: output is not short: %d*%d=%d\n", a, b, (int)res);
569 fprintf (stderr, "MULT16_16_Q14: inputs are not short: %d %d\n", a, b);
578 fprintf (stderr, "MULT16_16_Q14: output is not short: %d\n", (int)res);
593 fprintf (stderr, "MULT16_16_Q15: inputs are not short: %d %d in %s: line %d\n", a, b, file, line);
602 fprintf (stderr, "MULT16_16_Q15: output is not short: %d in %s: line %d\n", (int)res, file, line);
616 fprintf (stderr, "MULT16_16_P13: inputs are not short: %d %d\n", a, b);
625 fprintf (stderr, "MULT16_16_P13: overflow: %d*%d=%d\n", a, b, (int)res);
633 fprintf (stderr, "MULT16_16_P13: output is not short: %d*%d=%d\n", a, b, (int)res);
646 fprintf (stderr, "MULT16_16_P14: inputs are not short: %d %d\n", a, b);
655 fprintf (stderr, "MULT16_16_P14: overflow: %d*%d=%d\n", a, b, (int)res);
663 fprintf (stderr, "MULT16_16_P14: output is not short: %d*%d=%d\n", a, b, (int)res);
676 fprintf (stderr, "MULT16_16_P15: inputs are not short: %d %d\n", a, b);
685 fprintf (stderr, "MULT16_16_P15: overflow: %d*%d=%d\n", a, b, (int)res);
693 fprintf (stderr, "MULT16_16_P15: output is not short: %d*%d=%d\n", a, b, (int)res);
709 fprintf(stderr, "DIV32_16: divide by zero: %d/%d in %s: line %d\n", (int)a, (int)b, file, line);
717 fprintf (stderr, "DIV32_16: inputs are not int/short: %d %d in %s: line %d\n", (int)a, (int)b, file, line);
725 fprintf (stderr, "DIV32_16: output is not short: %d / %d = %d in %s: line %d\n", (int)a,(int)b,(int)res, file, line);
744 fprintf(stderr, "DIV32: divide by zero: %d/%d in %s: line %d\n", (int)a, (int)b, file, line);
753 fprintf (stderr, "DIV32: inputs are not int/short: %d %d in %s: line %d\n", (int)a, (int)b, file, line);
761 fprintf (stderr, "DIV32: output is not int: %d in %s: line %d\n", (int)res, file, line);
