Lines Matching refs:vex_printf
586 vex_printf("\nTotal calls: calc_all=%u calc_cond=%u calc_c=%u\n",
589 vex_printf(" cSLOW cFAST O NO B NB Z NZ BE NBE"
591 vex_printf(" -----------------------------------------------------"
605 vex_printf("%2d%c: ", op, ch);
606 vex_printf("%6u ", tabc_slow[op]);
607 vex_printf("%6u ", tabc_fast[op]);
611 vex_printf(" %3dK", n / 1000);
614 vex_printf(" %3d ", n );
616 vex_printf(" ");
619 vex_printf("\n");
621 vex_printf("\n");
740 vex_printf("amd64g_calculate_rflags_all_WRK(AMD64)"
885 vex_printf("amd64g_calculate_condition"
1005 vex_printf("spec request:\n");
1006 vex_printf(" %s ", function_name);
1008 vex_printf(" ");
1011 vex_printf("\n");
1741 vex_printf("CFLAG "); ppIRExpr(cc_op); vex_printf("\n");
1780 /* vex_printf("calculate_FXAM ( %d, %llx ) .. ", tag, dbl ); */
1788 /* vex_printf("Empty\n"); */
1805 /* vex_printf("Zero\n"); */
1813 /* vex_printf("Denormal\n"); */
1821 /* vex_printf("Inf\n"); */
1829 /* vex_printf("NaN\n"); */
1836 /* vex_printf("normal\n"); */
