Lines Matching refs:vex_printf
439 vex_printf("\nTotal calls: calc_all=%u calc_cond=%u calc_c=%u\n",
442 vex_printf(" cSLOW cFAST O NO B NB Z NZ BE NBE"
444 vex_printf(" -----------------------------------------------------"
456 vex_printf("%2d%c: ", op, ch);
457 vex_printf("%6u ", tabc_slow[op]);
458 vex_printf("%6u ", tabc_fast[op]);
462 vex_printf(" %3dK", n / 1000);
465 vex_printf(" %3d ", n );
467 vex_printf(" ");
470 vex_printf("\n");
472 vex_printf("\n");
564 vex_printf("x86g_calculate_eflags_all_WRK(X86)"
707 vex_printf("x86g_calculate_condition( %u, %u, 0x%x, 0x%x, 0x%x )\n",
789 vex_printf("spec request:\n");
790 vex_printf(" %s ", function_name);
792 vex_printf(" ");
795 vex_printf("\n");
1284 vex_printf("CFLAG "); ppIRExpr(cc_op); vex_printf("\n");
1376 /* vex_printf("calculate_FXAM ( %d, %llx ) .. ", tag, dbl ); */
1384 /* vex_printf("Empty\n"); */
1401 /* vex_printf("Zero\n"); */
1409 /* vex_printf("Denormal\n"); */
1417 /* vex_printf("Inf\n"); */
1425 /* vex_printf("NaN\n"); */
1432 /* vex_printf("normal\n"); */
2579 vex_printf("x86h_use_seg_selector: "
2639 vex_printf("x86h_use_seg_selector: "
