dt_simplify Class Reference

Inheritance diagram for dt_simplify:

Collaboration diagram for dt_simplify:

Public Types
enum	dt_type {   DT_NODE , DT_OPERAND , DT_TRUE , DT_MATCH ,   DT_SIMPLIFY }

Public Member Functions
	dt_simplify (simplify *s_, unsigned pattern_no_, dt_operand **indexes_)
void	gen_1 (FILE *, int, bool, operand *)
void	gen (FILE *f, int, bool, int) final override
dt_node *	append_node (dt_node *)
dt_node *	append_op (operand *, dt_node *parent, unsigned pos)
dt_node *	append_true_op (operand *, dt_node *parent, unsigned pos)
dt_node *	append_match_op (operand *, dt_operand *, dt_node *parent, unsigned pos)
dt_node *	append_simplify (simplify *, unsigned, dt_operand **)
void	gen_kids (FILE *, int, bool, int, bool, fn_splitter *=NULL)
void	gen_kids_1 (FILE *, int, bool, int, const vec< dt_operand * > &, const vec< dt_operand * > &, const vec< dt_operand * > &, const vec< dt_operand * > &, const vec< dt_operand * > &, const vec< dt_node * > &, bool, fn_splitter *=NULL)
void	analyze (sinfo_map_t &)

Data Fields
simplify *	s
unsigned	pattern_no
dt_operand **	indexes
sinfo *	info
enum dt_type	type
unsigned	level
dt_node *	parent
vec< dt_node * >	kids
unsigned	num_leafs
unsigned	total_size
unsigned	max_level

Detailed Description

Leaf node of the decision tree, used for DT_SIMPLIFY.   

Member Enumeration Documentation

dt_type

enum dt_node::dt_type

inherited

Enumerator
DT_NODE
DT_OPERAND
DT_TRUE
DT_MATCH
DT_SIMPLIFY

Constructor & Destructor Documentation

dt_simplify()

dt_simplify::dt_simplify ( simplify * s_, unsigned pattern_no_, dt_operand ** indexes_ )

inline

References dt_node::dt_node(), dt_node::DT_SIMPLIFY, indexes, info, NULL, pattern_no, and s.

Referenced by dt_node::append_simplify().

Member Function Documentation

analyze()

void dt_node::analyze ( sinfo_map_t & map )

inherited

Analyze the node and its children.   

References as_a(), DT_SIMPLIFY, ordered_hash_map< KeyId, Value, Traits >::get_or_insert(), i, kids, level, MAX, max_level, NULL, num_leafs, si, total_size, and type.

append_match_op()

dt_node * dt_node::append_match_op ( operand * op, dt_operand * match_dop, dt_node * parent, unsigned pos )

inherited

Append a DT_MATCH decision tree node.   

References append_node(), as_a(), DT_MATCH, dt_node(), dt_operand::dt_operand(), and parent.

Referenced by decision_tree::insert_operand().

append_node()

dt_node * dt_node::append_node ( dt_node * n )

inherited

Append N to the decision tree if it there is not already an existing
identical child.   

References dt_node(), decision_tree::find_node(), kids, and level.

Referenced by append_match_op(), append_op(), append_simplify(), and append_true_op().

append_op()

dt_node * dt_node::append_op ( operand * op, dt_node * parent, unsigned pos )

inherited

Append OP to the decision tree.   

References append_node(), dt_node(), DT_OPERAND, dt_operand::dt_operand(), parent, and safe_as_a().

Referenced by decision_tree::insert_operand().

append_simplify()

dt_node * dt_node::append_simplify ( simplify * s, unsigned pattern_no, dt_operand ** indexes )

inherited

Append S to the decision tree.   

References append_node(), dt_simplify::dt_simplify(), dyn_cast(), i, kids, operand::location, simplify::match, print_operand(), dt_simplify::s, verbose, and warning_at().

Referenced by decision_tree::insert().

append_true_op()

dt_node * dt_node::append_true_op ( operand * op, dt_node * parent, unsigned pos )

inherited

Append a DT_TRUE decision tree node.   

References append_node(), dt_node(), dt_operand::dt_operand(), DT_TRUE, parent, and safe_as_a().

Referenced by decision_tree::insert_operand().

gen()

void dt_simplify::gen ( FILE * f, int indent, bool gimple, int depth )

finaloverridevirtual

Generate code for the '(if ...)', '(with ..)' and actual transform
step of a '(simplify ...)' or '(match ...)'.  This handles everything
that is not part of the decision tree (simplify->match).   

Reimplemented from dt_node.

References fprintf_indent(), gcc_unreachable, gen_1(), get_name(), i, indexes, info, is_a(), output_line_directive(), and s.

gen_1()

void dt_simplify::gen_1	(	FILE *	f,
		int	indent,
		bool	gimple,
		operand *	result )

Generate code for the '(if ...)', '(with ..)' and actual transform
step of a '(simplify ...)' or '(match ...)'.  This handles everything
that is not part of the decision tree (simplify->match).
Main recursive worker.   

References as_a(), dyn_cast(), emit_logging_call(), fail_label, capture_info::force_no_side_effects, fprintf_indent(), gcc_unreachable, gen_1(), c_code_id::gen_checking(), operand::gen_transform(), get_operand_type(), i, id_base::id, indexes, capture_info::info, is_a(), c_code_id::m_code_only, NULL, operand::OP_C_EXPR, operand::OP_CAPTURE, operand::OP_EXPR, output_line_directive(), possible_noop_convert(), s, simplify::SIMPLIFY, operand::type, verbose, and warning_at().

Referenced by gen(), and gen_1().

gen_kids()

void dt_node::gen_kids ( FILE * f, int indent, bool gimple, int depth, bool in_gcond, fn_splitter * sp = NULL )

inherited

Generate matching code for the children of the decision tree node.  If SP
is not null, it splits the matcher between functions.   

References as_a(), DT_MATCH, DT_OPERAND, DT_SIMPLIFY, DT_TRUE, dyn_cast(), fn_splitter::emit_alternatives(), id_base::FN, gcc_assert, gcc_unreachable, gen_kids_1(), i, kids, dt_operand::op, operand::OP_PREDICATE, id_base::PREDICATE, user_id::substitutes, type, and operand::type.

Referenced by decision_tree::gen(), dt_operand::gen(), dt_operand::gen_phi_on_cond(), and write_predicate().

gen_kids_1()

void dt_node::gen_kids_1 ( FILE * f, int indent, bool gimple, int depth, const vec< dt_operand * > & gimple_exprs, const vec< dt_operand * > & generic_exprs, const vec< dt_operand * > & fns, const vec< dt_operand * > & generic_fns, const vec< dt_operand * > & preds, const vec< dt_node * > & others, bool in_gcond, fn_splitter * sp = NULL )

inherited

Generate matching code for the children of the decision tree node.  If SP
is not null, call the function that holds a group in place of emitting its
body.   

References fn_splitter::ALT_FNS, fn_splitter::ALT_GENERIC_EXPRS, fn_splitter::ALT_GENERIC_FNS, fn_splitter::ALT_GIMPLE_EXPRS, as_a(), dt_operand_group::cases, c_expr::code, collect_operand_groups(), fn_splitter::emit_dispatch(), emit_expr_group(), emit_fn_group(), emit_group_labels(), fprintf_indent(), gcc_checking_assert, gen(), i, id_base::id, id_base::nargs, NULL, dt_operand_group::operands, phi_cond_group_p(), fn_splitter::same_chunk_p(), fn_splitter::split_out_p(), and ssa_name_group_p().

Referenced by gen_kids().

Field Documentation

indexes

dt_operand** dt_simplify::indexes

Referenced by dt_simplify(), gen(), and gen_1().

info

sinfo* dt_simplify::info

Referenced by dt_simplify(), and gen().

kids

vec<dt_node *> dt_node::kids

inherited

Referenced by analyze(), append_node(), append_simplify(), dt_node(), gen_kids(), decision_tree::insert_operand(), and decision_tree::print_node().

level

unsigned dt_node::level

inherited

Referenced by analyze(), append_node(), dt_node(), dt_operand::gen_opname(), and decision_tree::print_node().

max_level

unsigned dt_node::max_level

inherited

Referenced by analyze().

num_leafs

unsigned dt_node::num_leafs

inherited

Referenced by analyze().

parent

dt_node* dt_node::parent

inherited

Referenced by append_match_op(), append_op(), append_true_op(), dt_node(), dt_operand::gen_opname(), dt_operand::get_name(), and decision_tree::print_node().

pattern_no

unsigned dt_simplify::pattern_no

Referenced by dt_simplify().

s

simplify* dt_simplify::s

Referenced by dt_node::append_simplify(), dt_simplify(), gen(), and gen_1().

total_size

unsigned dt_node::total_size

inherited

Referenced by analyze(), and decision_tree::gen().

type

enum dt_type dt_node::type

inherited

Referenced by analyze(), decision_tree::cmp_node(), dt_node(), dt_operand::dt_operand(), decision_tree::find_node(), dt_operand::gen(), gen_kids(), decision_tree::insert_operand(), nodes_overlap_p(), and decision_tree::print_node().

---

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

• genmatch.cc