pointer_equiv_analyzer Class Reference

#include <value-pointer-equiv.h>

Collaboration diagram for pointer_equiv_analyzer:

Public Member Functions
	pointer_equiv_analyzer (gimple_ranger *r)
	~pointer_equiv_analyzer ()
void	enter (basic_block)
void	leave (basic_block)
void	visit_stmt (gimple *stmt)
tree	get_equiv (tree ssa)

Private Member Functions
void	visit_edge (edge e)
tree	get_equiv_expr (tree_code code, tree expr)
void	set_global_equiv (tree ssa, tree pointee)
void	set_cond_equiv (tree ssa, tree pointee)

Private Attributes
gimple_ranger *	m_ranger
auto_vec< tree >	m_global_points
class ssa_equiv_stack *	m_cond_points

Detailed Description

Header file for the context-aware pointer equivalence tracker.
   Copyright (C) 2020-2025 Free Software Foundation, Inc.
   Contributed by Aldy Hernandez <aldyh@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

pointer_equiv_analyzer()

pointer_equiv_analyzer::pointer_equiv_analyzer

(

gimple_ranger *

r

)

References m_cond_points, m_global_points, m_ranger, num_ssa_names, and r.

~pointer_equiv_analyzer()

pointer_equiv_analyzer::~pointer_equiv_analyzer

(

)

References m_cond_points.

Member Function Documentation

enter()

void pointer_equiv_analyzer::enter

(

basic_block

bb

)

References get_equiv(), gimple_phi_arg_def(), gimple_phi_num_args(), gimple_phi_result(), gsi_end_p(), gsi_next(), gsi_start_phis(), i, is_gimple_min_invariant(), m_cond_points, operand_equal_p(), POINTER_TYPE_P, set_global_equiv(), single_pred_edge_ignoring_loop_edges(), TREE_CODE, TREE_TYPE, and visit_edge().

get_equiv()

tree pointer_equiv_analyzer::get_equiv

(

tree

ssa

)

References m_cond_points, m_global_points, num_ssa_names, and SSA_NAME_VERSION.

Referenced by enter(), and get_equiv_expr().

get_equiv_expr()

tree pointer_equiv_analyzer::get_equiv_expr ( tree_code code, tree expr )

private

References get_equiv(), get_gimple_rhs_class(), GIMPLE_SINGLE_RHS, is_gimple_min_invariant(), and NULL.

Referenced by visit_stmt().

leave()

void pointer_equiv_analyzer::leave

(

basic_block

bb

)

References m_cond_points.

set_cond_equiv()

void pointer_equiv_analyzer::set_cond_equiv ( tree ssa, tree pointee )

private

References m_cond_points.

Referenced by visit_edge().

set_global_equiv()

void pointer_equiv_analyzer::set_global_equiv ( tree ssa, tree pointee )

private

References m_global_points, num_ssa_names, and SSA_NAME_VERSION.

Referenced by enter(), and visit_stmt().

visit_edge()

void pointer_equiv_analyzer::visit_edge ( edge e )

private

References gimple_cond_code(), gimple_cond_lhs(), gimple_cond_rhs(), gsi_last_bb(), POINTER_TYPE_P, safe_dyn_cast(), set_cond_equiv(), TREE_CODE, and TREE_TYPE.

Referenced by enter().

visit_stmt()

void pointer_equiv_analyzer::visit_stmt

(

gimple *

stmt

)

References get_equiv_expr(), gimple_assign_lhs(), gimple_assign_rhs1(), gimple_assign_rhs_code(), gimple_fold_stmt_to_constant_1(), m_ranger, pta_valueize(), set_global_equiv(), supported_pointer_equiv_p(), TREE_CODE, and x_fold_context.

Field Documentation

m_cond_points

class ssa_equiv_stack* pointer_equiv_analyzer::m_cond_points

private

Referenced by enter(), get_equiv(), leave(), pointer_equiv_analyzer(), set_cond_equiv(), and ~pointer_equiv_analyzer().

m_global_points

auto_vec<tree> pointer_equiv_analyzer::m_global_points

private

Referenced by get_equiv(), pointer_equiv_analyzer(), and set_global_equiv().

m_ranger

gimple_ranger* pointer_equiv_analyzer::m_ranger

private

Referenced by pointer_equiv_analyzer(), and visit_stmt().

---

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

• value-pointer-equiv.h
• value-pointer-equiv.cc