Collaboration diagram for operands_scanner:

Public Member Functions
	operands_scanner (struct function fun, gimple statement)

void	build_ssa_operands ()

DEBUG_FUNCTION bool	verify_ssa_operands ()

Private Member Functions
	DISABLE_COPY_AND_ASSIGN (operands_scanner)

void	finalize_ssa_uses ()

void	cleanup_build_arrays ()

void	finalize_ssa_stmt_operands ()

void	start_ssa_stmt_operands ()

void	append_use (tree *use_p)

void	append_vdef (tree var)

void	append_vuse (tree var)

void	add_virtual_operand (int flags)

void	add_stmt_operand (tree *var_p, int flags)

void	get_mem_ref_operands (tree expr, int flags)

void	get_tmr_operands (tree expr, int flags)

void	maybe_add_call_vops (gcall *stmt)

void	get_asm_stmt_operands (gasm *stmt)

void	get_expr_operands (tree *expr_p, int flags)

void	parse_ssa_operands ()

void	finalize_ssa_defs ()

Private Attributes
auto_vec< tree *, 16 >	build_uses

tree	build_vdef

tree	build_vuse

struct function *	fn

gimple *	stmt

Detailed Description

Class containing temporary per-stmt state.

Constructor & Destructor Documentation

◆ operands_scanner()

operands_scanner::operands_scanner	(	struct function *	fun,
		gimple *	statement )

inline

References build_vdef, build_vuse, fn, NULL_TREE, and stmt.

Member Function Documentation

◆ add_stmt_operand()

void operands_scanner::add_stmt_operand	(	tree *	var_p,
		int	flags )

private

Add *VAR_P to the appropriate operand array for statement STMT.
FLAGS is as in get_expr_operands.  If *VAR_P is a GIMPLE register,
it will be added to the statement's real operands, otherwise it is
added to virtual operands.

References add_virtual_operand(), append_use(), DECL_P, fn, gcc_assert, function::gimple_df, gimple_set_has_volatile_ops(), is_gimple_reg(), opf_def, opf_no_vops, gimple_df::ssa_renaming_needed, SSA_VAR_P, stmt, TREE_CODE, and TREE_THIS_VOLATILE.

Referenced by get_expr_operands().

◆ add_virtual_operand()

void operands_scanner::add_virtual_operand ( int flags )

private

Add virtual operands for STMT.  FLAGS is as in get_expr_operands.

References append_vdef(), append_vuse(), fn, gcc_assert, gimple_vop(), is_gimple_debug(), opf_def, opf_no_vops, and stmt.

Referenced by add_stmt_operand(), get_asm_stmt_operands(), get_mem_ref_operands(), get_tmr_operands(), maybe_add_call_vops(), and parse_ssa_operands().

◆ append_use()

void operands_scanner::append_use ( tree * use_p )

inlineprivate

Add USE_P to the list of pointers to operands.

References build_uses.

Referenced by add_stmt_operand().

◆ append_vdef()

void operands_scanner::append_vdef ( tree var )

inlineprivate

Add VAR to the set of variables that require a VDEF operator.

References build_vdef, build_vuse, gcc_assert, and NULL_TREE.

Referenced by add_virtual_operand().

◆ append_vuse()

void operands_scanner::append_vuse ( tree var )

inlineprivate

Add VAR to the set of variables that require a VUSE operator.

References build_vuse, gcc_assert, and NULL_TREE.

Referenced by add_virtual_operand(), and parse_ssa_operands().

◆ build_ssa_operands()

void operands_scanner::build_ssa_operands ( )

Create an operands cache for STMT.

References finalize_ssa_stmt_operands(), gimple_set_has_volatile_ops(), parse_ssa_operands(), start_ssa_stmt_operands(), and stmt.

Referenced by update_stmt_operands().

◆ cleanup_build_arrays()

void operands_scanner::cleanup_build_arrays ( )

inlineprivate

Clear the in_list bits and empty the build array for VDEFs and
VUSEs.

References build_uses, build_vdef, build_vuse, and NULL_TREE.

Referenced by finalize_ssa_stmt_operands(), and verify_ssa_operands().

◆ DISABLE_COPY_AND_ASSIGN()

operands_scanner::DISABLE_COPY_AND_ASSIGN ( operands_scanner )

private

◆ finalize_ssa_defs()

void operands_scanner::finalize_ssa_defs ( )

inlineprivate

Takes elements from build_defs and turns them into def operands of STMT.
TODO -- Make build_defs vec of tree *.

References build_vdef, fn, function::gimple_df, gimple_set_vdef(), gimple_vdef(), NULL_TREE, release_ssa_name_fn(), gimple_df::rename_vops, SSA_NAME_VAR, gimple_df::ssa_renaming_needed, stmt, TREE_CODE, and unlink_stmt_vdef().

Referenced by finalize_ssa_stmt_operands().

◆ finalize_ssa_stmt_operands()

void operands_scanner::finalize_ssa_stmt_operands ( )

inlineprivate

Finalize all the build vectors, fill the new ones into INFO.

References cleanup_build_arrays(), finalize_ssa_defs(), and finalize_ssa_uses().

Referenced by build_ssa_operands().

◆ finalize_ssa_uses()

void operands_scanner::finalize_ssa_uses ( )

inlineprivate

Takes elements from build_uses and turns them into use operands of STMT.

References add_use_op(), build_uses, build_vdef, build_vuse, delink_imm_use(), fn, ssa_operands::free_uses, function::gimple_df, gimple_set_use_ops(), gimple_set_vuse(), gimple_ssa_operands(), gimple_use_ops(), gimple_vop(), gimple_vuse(), gimple_vuse_ptr(), last, use_optype_d::next, NULL, NULL_TREE, gimple_df::rename_vops, SSA_NAME_VAR, gimple_df::ssa_renaming_needed, stmt, TREE_CODE, and USE_OP_PTR.

Referenced by finalize_ssa_stmt_operands().

◆ get_asm_stmt_operands()

void operands_scanner::get_asm_stmt_operands ( gasm * stmt )

private

Scan operands in the ASM_EXPR stmt referred to in INFO.

References add_virtual_operand(), alloca, gcc_assert, get_expr_operands(), gimple_asm_clobbers_memory_p(), gimple_asm_input_op(), gimple_asm_ninputs(), gimple_asm_noutputs(), gimple_asm_output_op(), i, mark_address_taken(), opf_def, opf_not_non_addressable, parse_input_constraint(), parse_output_constraint(), stmt, TREE_PURPOSE, TREE_STRING_POINTER, and TREE_VALUE.

Referenced by parse_ssa_operands().

◆ get_expr_operands()

void operands_scanner::get_expr_operands	(	tree *	expr_p,
		int	flags )

private

Recursively scan the expression pointed to by EXPR_P in statement
STMT.  FLAGS is one of the OPF_* constants modifying how to
interpret the operands found.

References add_stmt_operand(), CONSTRUCTOR_ELTS, debug_tree(), gcc_assert, gcc_unreachable, get_expr_operands(), get_mem_ref_operands(), get_tmr_operands(), gimple_debug_bind_p(), gimple_set_has_volatile_ops(), is_gimple_debug(), mark_address_taken(), NULL, opf_address_taken, opf_no_vops, opf_non_addressable, opf_not_non_addressable, opf_use, stmt, tcc_binary, tcc_comparison, tcc_constant, tcc_type, tcc_unary, TREE_CODE, TREE_CODE_CLASS, TREE_OPERAND, TREE_THIS_VOLATILE, constructor_elt::value, and vec_safe_iterate().

Referenced by get_asm_stmt_operands(), get_expr_operands(), get_mem_ref_operands(), get_tmr_operands(), and parse_ssa_operands().

◆ get_mem_ref_operands()

void operands_scanner::get_mem_ref_operands	(	tree	expr,
		int	flags )

private

A subroutine of get_expr_operands to handle MEM_REF.

STMT is the statement being processed, EXPR is the MEM_REF
   that got us here.

FLAGS is as in get_expr_operands.

References add_virtual_operand(), get_expr_operands(), gimple_set_has_volatile_ops(), opf_no_vops, opf_non_addressable, opf_not_non_addressable, opf_use, stmt, TREE_OPERAND, and TREE_THIS_VOLATILE.

Referenced by get_expr_operands().

◆ get_tmr_operands()

void operands_scanner::get_tmr_operands	(	tree	expr,
		int	flags )

private

A subroutine of get_expr_operands to handle TARGET_MEM_REF.

References add_virtual_operand(), get_expr_operands(), gimple_set_has_volatile_ops(), opf_no_vops, opf_non_addressable, opf_not_non_addressable, opf_use, stmt, TMR_BASE, TMR_INDEX, TMR_INDEX2, and TREE_THIS_VOLATILE.

Referenced by get_expr_operands().

◆ maybe_add_call_vops()

void operands_scanner::maybe_add_call_vops ( gcall * stmt )

private

If STMT is a call that may clobber globals and other symbols that
escape, add them to the VDEF/VUSE lists for it.

References add_virtual_operand(), ECF_CONST, ECF_NOVOPS, ECF_PURE, gimple_call_flags(), opf_def, opf_use, and stmt.

Referenced by parse_ssa_operands().

◆ parse_ssa_operands()

void operands_scanner::parse_ssa_operands ( )

private

Parse STMT looking for operands.  When finished, the various
build_* operand vectors will have potential operands in them.

References add_virtual_operand(), append_vuse(), as_a(), fn, get_asm_stmt_operands(), get_expr_operands(), gimple_debug_bind_get_value_ptr(), gimple_debug_bind_has_value_p(), gimple_debug_bind_p(), gimple_num_ops(), gimple_op_ptr(), gimple_vop(), i, maybe_add_call_vops(), opf_def, opf_no_vops, opf_use, and stmt.

Referenced by build_ssa_operands(), and verify_ssa_operands().

◆ start_ssa_stmt_operands()

void operands_scanner::start_ssa_stmt_operands ( )

inlineprivate

Start the process of building up operands vectors in INFO.

References build_uses, build_vdef, build_vuse, gcc_assert, and NULL_TREE.

Referenced by build_ssa_operands(), and verify_ssa_operands().

◆ verify_ssa_operands()

DEBUG_FUNCTION bool operands_scanner::verify_ssa_operands ( )

Verifies SSA statement operands.

References build_uses, build_vdef, build_vuse, cleanup_build_arrays(), debug_generic_expr(), DEF_FROM_PTR, error(), FOR_EACH_SSA_USE_OPERAND, FOR_EACH_VEC_ELT, gimple_has_volatile_ops(), gimple_set_has_volatile_ops(), gimple_vdef(), gimple_vdef_op(), gimple_vuse(), gimple_vuse_op(), i, NULL, NULL_DEF_OPERAND_P, NULL_USE_OPERAND_P, parse_ssa_operands(), SSA_NAME_VAR, SSA_OP_USE, start_ssa_stmt_operands(), stmt, TREE_CODE, ssa_use_operand_t::use, and USE_FROM_PTR.

Referenced by verify_ssa_operands().

Field Documentation

◆ build_uses

auto_vec<tree *, 16> operands_scanner::build_uses

private

Referenced by append_use(), cleanup_build_arrays(), finalize_ssa_uses(), start_ssa_stmt_operands(), and verify_ssa_operands().

◆ build_vdef

tree operands_scanner::build_vdef

private

Referenced by append_vdef(), cleanup_build_arrays(), finalize_ssa_defs(), finalize_ssa_uses(), operands_scanner(), start_ssa_stmt_operands(), and verify_ssa_operands().

◆ build_vuse

tree operands_scanner::build_vuse

private

Referenced by append_vdef(), append_vuse(), cleanup_build_arrays(), finalize_ssa_uses(), operands_scanner(), start_ssa_stmt_operands(), and verify_ssa_operands().

◆ fn

struct function* operands_scanner::fn

private

Referenced by add_stmt_operand(), add_virtual_operand(), finalize_ssa_defs(), finalize_ssa_uses(), operands_scanner(), and parse_ssa_operands().

◆ stmt

gimple* operands_scanner::stmt

private

Referenced by add_stmt_operand(), add_virtual_operand(), build_ssa_operands(), finalize_ssa_defs(), finalize_ssa_uses(), get_asm_stmt_operands(), get_expr_operands(), get_mem_ref_operands(), get_tmr_operands(), maybe_add_call_vops(), operands_scanner(), parse_ssa_operands(), and verify_ssa_operands().

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

tree-ssa-operands.cc

Public Member Functions

Private Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ operands_scanner()

Member Function Documentation

◆ add_stmt_operand()

◆ add_virtual_operand()

◆ append_use()

◆ append_vdef()

◆ append_vuse()

◆ build_ssa_operands()

◆ cleanup_build_arrays()

◆ DISABLE_COPY_AND_ASSIGN()

◆ finalize_ssa_defs()

◆ finalize_ssa_stmt_operands()

◆ finalize_ssa_uses()

◆ get_asm_stmt_operands()

◆ get_expr_operands()

◆ get_mem_ref_operands()

◆ get_tmr_operands()

◆ maybe_add_call_vops()

◆ parse_ssa_operands()

◆ start_ssa_stmt_operands()

◆ verify_ssa_operands()

Field Documentation

◆ build_uses

◆ build_vdef

◆ build_vuse

◆ fn

◆ stmt