Lines Matching refs:armg_calculate_flag_v
352 UInt armg_calculate_flag_v ( UInt cc_op, UInt cc_dep1,
424 vex_printf("armg_calculate_flag_v"
427 vpanic("armg_calculate_flag_v");
447 f = armg_calculate_flag_v(cc_op, cc_dep1, cc_dep2, cc_dep3);
502 vf = armg_calculate_flag_v(cc_op, cc_dep1, cc_dep2, cc_dep3);
514 vf = armg_calculate_flag_v(cc_op, cc_dep1, cc_dep2, cc_dep3);
520 vf = armg_calculate_flag_v
810 /* --------- specialising "armg_calculate_flag_v" --------- */
813 if (vex_streq(function_name, "armg_calculate_flag_v")) {
815 /* specialise calls to the "armg_calculate_flag_v" function.
