Lines Matching refs:vex_printf
517 vex_printf("\nTotal calls: calc_all=%u calc_cond=%u calc_c=%u\n",
520 vex_printf(" cSLOW cFAST O NO B NB Z NZ BE NBE"
522 vex_printf(" -----------------------------------------------------"
536 vex_printf("%2d%c: ", op, ch);
537 vex_printf("%6u ", tabc_slow[op]);
538 vex_printf("%6u ", tabc_fast[op]);
542 vex_printf(" %3dK", n / 1000);
545 vex_printf(" %3d ", n );
547 vex_printf(" ");
550 vex_printf("\n");
552 vex_printf("\n");
659 vex_printf("amd64g_calculate_rflags_all_WRK(AMD64)"
804 vex_printf("amd64g_calculate_condition"
887 vex_printf("spec request:\n");
888 vex_printf(" %s ", function_name);
890 vex_printf(" ");
893 vex_printf("\n");
1404 vex_printf("CFLAG "); ppIRExpr(cc_op); vex_printf("\n");
1443 /* vex_printf("calculate_FXAM ( %d, %llx ) .. ", tag, dbl ); */
1451 /* vex_printf("Empty\n"); */
1468 /* vex_printf("Zero\n"); */
1476 /* vex_printf("Denormal\n"); */
1484 /* vex_printf("Inf\n"); */
1492 /* vex_printf("NaN\n"); */
1499 /* vex_printf("normal\n"); */
