#include <ipa-modref.h>

Collaboration diagram for modref_summary:

Public Member Functions
	modref_summary ()

	~modref_summary ()

void	dump (FILE *) const

bool	useful_p (int ecf_flags, bool check_flags=true)

void	finalize (tree)

Data Fields
modref_records *	loads

modref_records *	stores

auto_vec< modref_access_node >	kills

auto_vec< eaf_flags_t >	arg_flags

eaf_flags_t	retslot_flags

eaf_flags_t	static_chain_flags

unsigned	writes_errno: 1

unsigned	side_effects: 1

unsigned	nondeterministic: 1

unsigned	calls_interposable: 1

unsigned int	load_accesses

unsigned	global_memory_read: 1

unsigned	global_memory_written: 1

unsigned	try_dse: 1

Detailed Description

Single function summary.

Constructor & Destructor Documentation

◆ modref_summary()

modref_summary::modref_summary ( )

Summary for a single function which this pass produces.

◆ ~modref_summary()

modref_summary::~modref_summary ( )

References ggc_delete(), loads, and stores.

Member Function Documentation

◆ dump()

void modref_summary::dump ( FILE * out ) const

Dump summary.

References arg_flags, calls_interposable, dump_records(), global_memory_read, global_memory_written, i, kill, kills, loads, nondeterministic, retslot_flags, side_effects, static_chain_flags, stores, try_dse, and writes_errno.

Referenced by ipa_merge_modref_summary_after_inlining().

◆ finalize()

void modref_summary::finalize ( tree fun )

Called after summary is produced and before it is used by local analysis.
Can be called multiple times in case summary needs to update signature.
FUN is decl of function summary is attached to.

References modref_ref_node< T >::accesses, modref_tree< T >::bases, modref_tree< T >::every_base, modref_base_node< T >::every_ref, FOR_EACH_VEC_SAFE_ELT, modref_tree< T >::global_access_p(), global_memory_read, global_memory_written, i, load_accesses, loads, opt_for_fn, modref_access_node::parm_offset_known, modref_base_node< T >::refs, side_effects, stores, try_dse, and writes_errno.

◆ useful_p()

bool modref_summary::useful_p	(	int	ecf_flags,
		bool	check_flags = true )

Return true if summary is potentially useful for optimization.
If CHECK_FLAGS is false assume that arg_flags are useful.

References arg_flags, eaf_flags_useful_p(), ECF_CONST, ECF_LOOPING_CONST_OR_PURE, ECF_PURE, modref_tree< T >::every_base, kills, loads, nondeterministic, remove_useless_eaf_flags(), retslot_flags, side_effects, static_chain_flags, and stores.

Referenced by ipa_merge_modref_summary_after_inlining().

Field Documentation

◆ arg_flags

auto_vec<eaf_flags_t> modref_summary::arg_flags

Referenced by dump(), modref_summaries::duplicate(), gimple_call_arg_flags(), ipa_merge_modref_summary_after_inlining(), and useful_p().

◆ calls_interposable

unsigned modref_summary::calls_interposable

Referenced by determine_global_memory_access(), dump(), modref_summaries::duplicate(), and ref_maybe_used_by_call_p_1().

◆ global_memory_read

unsigned modref_summary::global_memory_read

Referenced by determine_global_memory_access(), dump(), finalize(), and visit_reference_op_call().

◆ global_memory_written

unsigned modref_summary::global_memory_written

Referenced by determine_global_memory_access(), dump(), and finalize().

◆ kills

auto_vec<modref_access_node> modref_summary::kills

Referenced by clear_bytes_written_by(), dump(), modref_summaries::duplicate(), stmt_kills_ref_p(), and useful_p().

◆ load_accesses

unsigned int modref_summary::load_accesses

Referenced by finalize(), and visit_reference_op_call().

◆ loads

modref_records* modref_summary::loads

Referenced by dump(), modref_summaries::duplicate(), finalize(), ipa_merge_modref_summary_after_inlining(), ref_maybe_used_by_call_p_1(), useful_p(), visit_reference_op_call(), and ~modref_summary().

◆ nondeterministic

unsigned modref_summary::nondeterministic

Referenced by dump(), modref_summaries::duplicate(), ipa_merge_modref_summary_after_inlining(), and useful_p().

◆ retslot_flags

eaf_flags_t modref_summary::retslot_flags

Referenced by dump(), modref_summaries::duplicate(), gimple_call_retslot_flags(), ipa_merge_modref_summary_after_inlining(), and useful_p().

◆ side_effects

unsigned modref_summary::side_effects

Referenced by dump(), modref_summaries::duplicate(), finalize(), ipa_merge_modref_summary_after_inlining(), stmt_may_terminate_function_p(), and useful_p().

◆ static_chain_flags

eaf_flags_t modref_summary::static_chain_flags

Referenced by dump(), modref_summaries::duplicate(), gimple_call_static_chain_flags(), ipa_merge_modref_summary_after_inlining(), and useful_p().

◆ stores

modref_records* modref_summary::stores

Referenced by call_may_clobber_ref_p_1(), dse_optimize_call(), dump(), modref_summaries::duplicate(), finalize(), ipa_merge_modref_summary_after_inlining(), useful_p(), and ~modref_summary().

◆ try_dse

unsigned modref_summary::try_dse

Referenced by dse_optimize_call(), dump(), and finalize().

◆ writes_errno

unsigned modref_summary::writes_errno

Referenced by call_may_clobber_ref_p_1(), dump(), modref_summaries::duplicate(), and finalize().

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

Public Member Functions

Data Fields