simplify Class Reference

Collaboration diagram for simplify:

Public Types
enum	simplify_kind { SIMPLIFY , MATCH }

Public Member Functions
	simplify (simplify_kind kind_, unsigned id_, operand *match_, operand *result_, vec< vec< user_id * > > for_vec_, cid_map_t *capture_ids_)

Data Fields
simplify_kind	kind
unsigned	id
operand *	match
class operand *	result
vec< vec< user_id * > >	for_vec
vec< std::pair< user_id *, id_base * > >	for_subst_vec
cid_map_t *	capture_ids
int	capture_max

Detailed Description

The main class of a pattern and its transform.  This is used to
represent both (simplify ...) and (match ...) kinds.  The AST
duplicates all outer 'if' and 'for' expressions here so each
simplify can exist in isolation.   

Member Enumeration Documentation

simplify_kind

enum simplify::simplify_kind

Enumerator
SIMPLIFY
MATCH

Constructor & Destructor Documentation

simplify()

simplify::simplify ( simplify_kind kind_, unsigned id_, operand * match_, operand * result_, vec< vec< user_id * > > for_vec_, cid_map_t * capture_ids_ )

inline

References capture_ids, capture_max, for_subst_vec, for_vec, id, kind, match, result, and vNULL.

Field Documentation

capture_ids

cid_map_t* simplify::capture_ids

Referenced by lower_commutative(), lower_cond(), lower_for(), lower_opt(), and simplify().

capture_max

int simplify::capture_max

Referenced by capture_info::capture_info(), decision_tree::insert(), decision_tree::print_node(), and simplify().

for_subst_vec

vec<std::pair<user_id *, id_base *> > simplify::for_subst_vec

Referenced by decision_tree::gen(), lower_cond(), lower_for(), and simplify().

for_vec

vec<vec<user_id *> > simplify::for_vec

Referenced by lower_commutative(), lower_cond(), lower_opt(), and simplify().

id

unsigned simplify::id

Referenced by decision_tree::insert(), lower_commutative(), lower_cond(), lower_for(), lower_opt(), and simplify().

kind

simplify_kind simplify::kind

Referenced by capture_info::capture_info(), emit_logging_call(), lower_commutative(), lower_cond(), lower_for(), lower_opt(), and simplify().

match

operand* simplify::match

Referenced by dt_node::append_simplify(), capture_info::capture_info(), emit_logging_call(), decision_tree::gen(), decision_tree::insert(), lower_commutative(), lower_cond(), lower_for(), lower_opt(), print_matches(), and simplify().

result

class operand* simplify::result

Referenced by capture_info::capture_info(), decision_tree::gen(), lower_commutative(), lower_cond(), lower_for(), lower_opt(), and simplify().

---

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

• genmatch.cc