Searched refs:branch_strategy_str_short (Results 1 – 4 of 4) sorted by relevance
129 string branch_strategy_str_short = "vsx"; variable
1989 << " " << std::setw(4) << branch_strategy_str_short in print_restart_stats_base()2367 branch_strategy_str_short = select[which].descr_short; in set_branch_strategy()