jt_state Class Reference

#include <tree-ssa-threadedge.h>

Inheritance diagram for jt_state:

Collaboration diagram for jt_state:

Public Member Functions
virtual	~jt_state ()
virtual void	push (edge)
virtual void	pop ()
virtual void	register_equiv (tree dest, tree src, bool update_range)
virtual void	register_equivs_edge (edge e)
virtual void	register_equivs_stmt (gimple *, basic_block, class jt_simplifier *)
virtual void	record_ranges_from_stmt (gimple *stmt, bool temporary)
void	get_path (vec< basic_block > &)
void	append_path (basic_block)
void	dump (FILE *)
void	debug ()

Private Attributes
auto_vec< basic_block >	m_blocks

Static Private Attributes
static const basic_block	BB_MARKER = (basic_block) -1

Detailed Description

Header file for SSA jump threading.
   Copyright (C) 2013-2024 Free Software Foundation, Inc.

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

~jt_state()

virtual jt_state::~jt_state ( )

inlinevirtual

Member Function Documentation

append_path()

void jt_state::append_path

(

basic_block

bb

)

References gcc_checking_assert, and m_blocks.

Referenced by jump_threader::thread_around_empty_blocks(), and jump_threader::thread_through_normal_block().

debug()

void jt_state::debug

(

)

References dump(), ggc_alloc(), and TDF_DETAILS.

dump()

void jt_state::dump

(

FILE *

out

)

References dump_ranger(), get_path(), m_blocks, and path.

Referenced by debug().

get_path()

void jt_state::get_path

(

vec< basic_block > &

path

)

References BB_MARKER, i, and m_blocks.

Referenced by dump().

pop()

void jt_state::pop ( )

virtual

Reimplemented in dom_jt_state.

References BB_MARKER, and m_blocks.

Referenced by dom_jt_state::pop(), and jump_threader::thread_across_edge().

push()

void jt_state::push ( edge e )

virtual

Reimplemented in dom_jt_state.

References BB_MARKER, and m_blocks.

Referenced by dom_jt_state::push(), and jump_threader::thread_across_edge().

record_ranges_from_stmt()

void jt_state::record_ranges_from_stmt ( gimple * stmt, bool temporary )

virtual

Referenced by jump_threader::record_temporary_equivalences_from_stmts_at_dest().

register_equiv()

void jt_state::register_equiv ( tree dest, tree src, bool update_range )

virtual

Reimplemented in dom_jt_state.

Referenced by jump_threader::record_temporary_equivalences_from_phis(), and register_equivs_stmt().

register_equivs_edge()

void jt_state::register_equivs_edge ( edge e )

virtual

Reimplemented in dom_jt_state.

Referenced by jump_threader::thread_through_normal_block().

register_equivs_stmt()

void jt_state::register_equivs_stmt ( gimple * stmt, basic_block bb, class jt_simplifier * simplifier )

virtual

Reimplemented in hybrid_jt_state.

References FOR_EACH_SSA_USE_OPERAND, ggc_alloc(), gimple_assign_rhs1(), gimple_assign_single_p(), gimple_fold_stmt_to_constant_1(), gimple_get_lhs(), i, is_gimple_min_invariant(), NULL, NUM_SSA_OPERANDS, register_equiv(), SET_USE, SSA_NAME_VALUE, SSA_OP_ALL_USES, threadedge_valueize(), TREE_CODE, and USE_FROM_PTR.

Referenced by jump_threader::record_temporary_equivalences_from_stmts_at_dest().

Field Documentation

BB_MARKER

const basic_block jt_state::BB_MARKER = (basic_block) -1

staticprivate

Referenced by get_path(), pop(), and push().

m_blocks

auto_vec<basic_block> jt_state::m_blocks

private

Referenced by append_path(), dump(), get_path(), pop(), and push().

---

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

• tree-ssa-threadedge.h
• tree-ssa-threadedge.cc