GCC Middle and Back End API Reference
Public Types | Public Member Functions | Data Fields
dt_simplify Class Reference
Inheritance diagram for dt_simplify:
Inheritance graph
[legend]
Collaboration diagram for dt_simplify:
Collaboration graph
[legend]

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)
 
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 * > &)
 
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.

Member Function Documentation

◆ analyze()

void dt_node::analyze ( sinfo_map_t & map)
inherited 
Analyze the node and its children.

References as_a(), DT_SIMPLIFY, i, dt_simplify::info, kids, level, map, 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(), 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, 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(), 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_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(), expr::expr_type, fail_label, expr::force_leaf, capture_info::force_no_side_effects, fprintf_indent(), gcc_unreachable, gen_1(), operand::gen_transform(), get_operand_type(), i, id_base::id, indexes, capture_info::info, is_a(), NULL, operand::OP_C_EXPR, operand::OP_CAPTURE, operand::OP_EXPR, expr::operation, expr::ops, output_line_directive(), possible_noop_convert(), s, simplify::SIMPLIFY, operand::type, verbose, and warning_at().

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

◆ gen_kids()

void dt_node::gen_kids ( FILE * f,
int indent,
bool gimple,
int depth )
inherited 
Generate matching code for the children of the decision tree node.

References as_a(), DT_MATCH, DT_OPERAND, DT_SIMPLIFY, DT_TRUE, dyn_cast(), id_base::FN, fns_cmp(), gcc_unreachable, gen_kids_1(), i, expr::is_generic, kids, id_base::kind, dt_operand::op, operand::OP_PREDICATE, expr::operation, expr::ops, 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 )
inherited 
Generate matching code for the children of the decision tree node.

References as_a(), dyn_cast(), id_base::FN, fprintf_indent(), gcc_assert, gen(), i, id_base::id, id_base::kind, expr::match_phi, id_base::nargs, NULL, expr::operation, and expr::ops.

Referenced by gen_kids().

Field Documentation

◆ indexes

dt_operand** dt_simplify::indexes

Referenced by dt_simplify(), gen(), gen_1(), and decision_tree::print_node().

◆ info

sinfo* dt_simplify::info

Referenced by dt_node::analyze(), 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(), and decision_tree::print_node().

◆ s

simplify* dt_simplify::s

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

◆ total_size

unsigned dt_node::total_size
inherited

Referenced by analyze().

◆ 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(), and decision_tree::print_node().

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