Collaboration diagram for capture_info:

Data Structures
struct	cinfo

Public Member Functions
	capture_info (simplify s, operand , bool)

void	walk_match (operand *o, unsigned toplevel_arg, bool, bool)

bool	walk_result (operand o, bool, operand )

void	walk_c_expr (c_expr *)

Data Fields
auto_vec< cinfo >	info

unsigned long	force_no_side_effects

bool	gimple

Detailed Description

For GENERIC we have to take care of wrapping multiple-used
expressions with side-effects in save_expr and preserve side-effects
of expressions with omit_one_operand.  Analyze captures in
match, result and with expressions and perform early-outs
on the outermost match expression operands for cases we cannot
handle.

Constructor & Destructor Documentation

◆ capture_info()

capture_info::capture_info	(	simplify *	s,
		operand *	result,
		bool	gimple_ )

Analyze captures in S.

References simplify::capture_max, ggc_alloc(), i, simplify::kind, simplify::MATCH, simplify::match, expr::operation, expr::ops, and simplify::result.

Member Function Documentation

◆ walk_c_expr()

void capture_info::walk_c_expr ( c_expr * e )

Look for captures in the C expr E.

References c_expr::capture_ids, c_expr::code, fatal_at(), hash_map< KeyId, Value, Traits >::get(), get_operator(), ggc_alloc(), i, NULL, verbose, and warning_at().

◆ walk_match()

void capture_info::walk_match	(	operand *	o,
		unsigned	toplevel_arg,
		bool	conditional_p,
		bool	cond_expr_cond_p )

Analyze captures in the match expression piece O.

References fatal_at(), expr::force_single_use, gcc_unreachable, ggc_alloc(), i, expr::ops, verbose, and warning_at().

◆ walk_result()

bool capture_info::walk_result	(	operand *	o,
		bool	conditional_p,
		operand *	result )

Analyze captures in the result expression piece O.  Return true
if RESULT was visited in one of the children.  Only visit
non-if/with children if they are rooted on RESULT.

References gcc_unreachable, ggc_alloc(), and i.