remove_unreachable Class Reference

Collaboration diagram for remove_unreachable:

Public Member Functions
	remove_unreachable (gimple_ranger &r, bool all)
	~remove_unreachable ()
void	handle_early (gimple *s, edge e)
void	maybe_register (gimple *s)
bool	remove_and_update_globals ()

Data Fields
vec< std::pair< int, int > >	m_list
gimple_ranger &	m_ranger
bool	final_p

Detailed Description

Support routines for Value Range Propagation (VRP).
   Copyright (C) 2005-2024 Free Software Foundation, Inc.
   Contributed by Diego Novillo <dnovillo@redhat.com>.

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3, or (at your option)
any later version.

GCC is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.   

Constructor & Destructor Documentation

remove_unreachable()

remove_unreachable::remove_unreachable ( gimple_ranger & r, bool all )

inline

References m_list.

~remove_unreachable()

remove_unreachable::~remove_unreachable ( )

inline

References m_list.

Member Function Documentation

handle_early()

void remove_unreachable::handle_early	(	gimple *	s,
		edge	e )

References bitmap_set_bit, dump_file, final_p, FOR_EACH_GORI_EXPORT_NAME, fputc(), fully_replaceable(), gcc_checking_assert, ggc_alloc(), gimple_bb(), gimple_cond_lhs(), gimple_cond_make_false(), gimple_cond_make_true(), gimple_cond_rhs(), gimple_outgoing_range_stmt_p(), gimple_range_global(), gimple_ranger::gori(), m_ranger, print_generic_expr(), r, gimple_ranger::range_on_entry(), set_range_info(), simple_dce_from_worklist(), SSA_NAME_DEF_STMT, SSA_NAME_VERSION, TDF_SLIM, TREE_CODE, TREE_TYPE, and update_stmt().

Referenced by maybe_register().

maybe_register()

void remove_unreachable::maybe_register

(

gimple *

s

)

References bb_seq(), EDGE_COUNT, EDGE_SUCC, final_p, gcc_checking_assert, ggc_alloc(), gimple_bb(), gimple_cond_lhs(), gimple_cond_rhs(), gimple_seq_unreachable_p(), handle_early(), m_list, and TREE_CODE.

Referenced by rvrp_folder::pre_fold_stmt().

remove_and_update_globals()

bool remove_unreachable::remove_and_update_globals

(

)

References BASIC_BLOCK_FOR_FN, bitmap_clear_bit(), bitmap_copy(), bitmap_empty_p(), bitmap_ior_into(), cfun, dump_file, EXECUTE_IF_SET_IN_BITMAP, EXIT_BLOCK_PTR_FOR_FN, gori_map::exports(), final_p, find_edge(), FOR_EACH_GORI_EXPORT_NAME, FOR_EACH_IMM_USE_FAST, fputc(), gcc_checking_assert, ggc_alloc(), gimple_cond_make_false(), gimple_cond_make_true(), gimple_outgoing_range_stmt_p(), gimple_range_global(), gimple_ranger::gori(), i, is_gimple_debug(), m_list, m_ranger, print_generic_expr(), r, gimple_ranger::range_of_expr(), gimple_ranger::range_on_entry(), scev_reset(), set_range_info(), simple_dce_from_worklist(), ssa_name, SSA_NAME_IN_FREE_LIST, SSA_NAME_IS_DEFAULT_DEF, TDF_SLIM, TREE_TYPE, update_stmt(), and USE_STMT.

Field Documentation

final_p

bool remove_unreachable::final_p

Referenced by handle_early(), maybe_register(), and remove_and_update_globals().

m_list

vec<std::pair<int, int> > remove_unreachable::m_list

Referenced by maybe_register(), remove_and_update_globals(), remove_unreachable(), and ~remove_unreachable().

m_ranger

gimple_ranger& remove_unreachable::m_ranger

Referenced by handle_early(), and remove_and_update_globals().

---

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

• tree-vrp.cc