Lines Matching refs:armg_calculate_flag_v
353 UInt armg_calculate_flag_v ( UInt cc_op, UInt cc_dep1,
425 vex_printf("armg_calculate_flag_v"
428 vpanic("armg_calculate_flag_v");
448 f = armg_calculate_flag_v(cc_op, cc_dep1, cc_dep2, cc_dep3);
503 vf = armg_calculate_flag_v(cc_op, cc_dep1, cc_dep2, cc_dep3);
515 vf = armg_calculate_flag_v(cc_op, cc_dep1, cc_dep2, cc_dep3);
521 armg_calculate_flag_v(cc_op, cc_dep1, cc_dep2, cc_dep3);
811 /* --------- specialising "armg_calculate_flag_v" --------- */
814 if (vex_streq(function_name, "armg_calculate_flag_v")) {
816 /* specialise calls to the "armg_calculate_flag_v" function.