back_threader Class Reference

Collaboration diagram for back_threader:

Public Member Functions
	back_threader (function *fun, unsigned flags, bool first)
	~back_threader ()
unsigned	thread_blocks ()

Private Member Functions
void	maybe_thread_block (basic_block bb)
bool	debug_counter ()
edge	maybe_register_path (back_threader_profitability &)
void	maybe_register_path_dump (edge taken_edge)
void	find_paths_to_names (basic_block bb, bitmap imports, unsigned, back_threader_profitability &)
edge	find_taken_edge (const vec< basic_block > &path)
edge	find_taken_edge_cond (const vec< basic_block > &path, gcond *)
edge	find_taken_edge_switch (const vec< basic_block > &path, gswitch *)
edge	find_taken_edge_goto (const vec< basic_block > &path, ggoto *)
virtual void	debug ()
virtual void	dump (FILE *out)

Private Attributes
back_threader_registry	m_registry
auto_vec< basic_block >	m_path
auto_bb_flag	m_visited_flag
auto_bitmap	m_imports
gimple *	m_last_stmt
function *	m_fun
gimple_ranger *	m_ranger
path_range_query *	m_solver
unsigned	m_flags
bool	m_first

Static Private Attributes
static const edge	UNREACHABLE_EDGE = (edge) -1

Constructor & Destructor Documentation

back_threader()

back_threader::back_threader	(	function *	fun,
		unsigned	flags,
		bool	first )

References AVOID_CFG_MODIFICATIONS, BT_RESOLVE, BT_SPEED, loop_optimizer_init(), LOOPS_HAVE_PREHEADERS, LOOPS_HAVE_SIMPLE_LATCHES, m_first, m_flags, m_fun, m_last_stmt, m_ranger, m_solver, m_visited_flag, mark_dfs_back_edges(), and NULL.

~back_threader()

back_threader::~back_threader

(

)

References loop_optimizer_finalize(), m_ranger, and m_solver.

Member Function Documentation

debug()

void back_threader::debug ( )

privatevirtual

References dump().

debug_counter()

bool back_threader::debug_counter ( )

private

References BT_RESOLVE, BT_SPEED, dbg_cnt(), m_first, and m_flags.

Referenced by maybe_register_path().

dump()

void back_threader::dump ( FILE * out )

privatevirtual

References EXECUTE_IF_SET_IN_BITMAP, i, m_imports, print_generic_expr(), ssa_name, and TDF_NONE.

Referenced by debug().

find_paths_to_names()

void back_threader::find_paths_to_names ( basic_block bb, bitmap imports, unsigned overall_paths, back_threader_profitability & profit )

private

References bitmap_clear_bit(), bitmap_empty_p(), bitmap_set_bit, dump_file, dump_flags, dyn_cast(), EDGE_COUNT, ENTRY_BLOCK, EXECUTE_IF_SET_IN_BITMAP, find_paths_to_names(), basic_block_def::flags, FOR_EACH_EDGE, gimple_bb(), gimple_range_ssa_names(), i, loop_exits_from_bb_p(), basic_block_def::loop_father, m_imports, m_path, m_visited_flag, maybe_register_path(), PHI_ARG_DEF_FROM_EDGE, back_threader_profitability::pop_bb(), back_threader_profitability::possibly_profitable_path_p(), basic_block_def::preds, back_threader_profitability::push_bb(), ssa_name, SSA_NAME_DEF_STMT, SSA_NAME_VERSION, TDF_DETAILS, TREE_CODE, and worklist.

Referenced by find_paths_to_names(), and maybe_thread_block().

find_taken_edge()

edge back_threader::find_taken_edge ( const vec< basic_block > & path )

private

References as_a(), find_taken_edge_cond(), find_taken_edge_goto(), find_taken_edge_switch(), gcc_checking_assert, m_last_stmt, NULL, and path.

Referenced by maybe_register_path().

find_taken_edge_cond()

edge back_threader::find_taken_edge_cond ( const vec< basic_block > & path, gcond * cond )

private

References extract_true_false_edges_from_block(), gimple_bb(), m_imports, m_solver, NULL, path, r, range_false(), range_true(), and UNREACHABLE_EDGE.

Referenced by find_taken_edge().

find_taken_edge_goto()

edge back_threader::find_taken_edge_goto ( const vec< basic_block > & path, ggoto * stmt )

private

References gimple_bb(), gimple_goto_dest(), m_imports, m_solver, NULL, path, r, TREE_CODE, and UNREACHABLE_EDGE.

Referenced by find_taken_edge().

find_taken_edge_switch()

edge back_threader::find_taken_edge_switch ( const vec< basic_block > & path, gswitch * sw )

private

References CASE_LABEL, cfun, find_case_label_range(), find_edge(), gimple_bb(), gimple_switch_index(), label_to_block(), m_imports, m_solver, NULL, path, r, and UNREACHABLE_EDGE.

Referenced by find_taken_edge().

maybe_register_path()

edge back_threader::maybe_register_path ( back_threader_profitability & profit )

private

References debug_counter(), dump_file, dump_flags, find_taken_edge(), m_path, m_registry, maybe_register_path_dump(), NULL, back_threader_profitability::profitable_path_p(), TDF_DETAILS, UNREACHABLE_EDGE, and vect_free_loop_info_assumptions().

Referenced by find_paths_to_names().

maybe_register_path_dump()

void back_threader::maybe_register_path_dump ( edge taken_edge )

private

References dump_file, dump_path(), m_path, and UNREACHABLE_EDGE.

Referenced by maybe_register_path().

maybe_thread_block()

void back_threader::maybe_thread_block ( basic_block bb )

private

References bitmap_clear(), bitmap_copy(), bitmap_set_bit, BT_SPEED, EDGE_COUNT, find_paths_to_names(), FOR_EACH_SSA_TREE_OPERAND, gimple_range_ssa_p(), gsi_last_bb(), m_flags, m_imports, m_last_stmt, m_path, SSA_NAME_VERSION, SSA_OP_USE, and basic_block_def::succs.

Referenced by thread_blocks().

thread_blocks()

unsigned int back_threader::thread_blocks

(

)

References BT_SPEED, changed, EDGE_COUNT, FOR_EACH_BB_FN, m_flags, m_fun, m_registry, maybe_thread_block(), basic_block_def::succs, and TODO_cleanup_cfg.

Field Documentation

m_first

bool back_threader::m_first

private

Referenced by back_threader(), and debug_counter().

m_flags

unsigned back_threader::m_flags

private

Referenced by back_threader(), debug_counter(), maybe_thread_block(), and thread_blocks().

m_fun

function* back_threader::m_fun

private

Referenced by back_threader(), and thread_blocks().

m_imports

auto_bitmap back_threader::m_imports

private

Referenced by dump(), find_paths_to_names(), find_taken_edge_cond(), find_taken_edge_goto(), find_taken_edge_switch(), and maybe_thread_block().

m_last_stmt

gimple* back_threader::m_last_stmt

private

Referenced by back_threader(), find_taken_edge(), and maybe_thread_block().

m_path

auto_vec<basic_block> back_threader::m_path

private

Referenced by find_paths_to_names(), maybe_register_path(), maybe_register_path_dump(), and maybe_thread_block().

m_ranger

gimple_ranger* back_threader::m_ranger

private

Referenced by back_threader(), and ~back_threader().

m_registry

back_threader_registry back_threader::m_registry

private

Referenced by maybe_register_path(), and thread_blocks().

m_solver

path_range_query* back_threader::m_solver

private

Referenced by back_threader(), find_taken_edge_cond(), find_taken_edge_goto(), find_taken_edge_switch(), and ~back_threader().

m_visited_flag

auto_bb_flag back_threader::m_visited_flag

private

Referenced by back_threader(), and find_paths_to_names().

UNREACHABLE_EDGE

const edge back_threader::UNREACHABLE_EDGE = (edge) -1

staticprivate

Referenced by find_taken_edge_cond(), find_taken_edge_goto(), find_taken_edge_switch(), maybe_register_path(), and maybe_register_path_dump().

---

The documentation for this class was generated from the following file:

• tree-ssa-threadbackward.cc