Confirm node

Specifies constraints for a value. More...

Enumerations
enum	n_Confirm { n_Confirm_value, n_Confirm_bound, n_Confirm_max = n_Confirm_bound }
	Input numbers for Confirm node. More...

Functions
ir_node *	new_rd_Confirm (dbg_info *dbgi, ir_node *block, ir_node *irn_value, ir_node *irn_bound, ir_relation relation)
	Construct a Confirm node. More...
ir_node *	new_r_Confirm (ir_node *block, ir_node *irn_value, ir_node *irn_bound, ir_relation relation)
	Construct a Confirm node. More...
ir_node *	new_d_Confirm (dbg_info *dbgi, ir_node *irn_value, ir_node *irn_bound, ir_relation relation)
	Construct a Confirm node. More...
ir_node *	new_Confirm (ir_node *irn_value, ir_node *irn_bound, ir_relation relation)
	Construct a Confirm node. More...
int	is_Confirm (const ir_node *node)
	Test if node is a Confirm. More...
ir_node *	get_Confirm_value (const ir_node *node)
	Returns value input of a Confirm node. More...
void	set_Confirm_value (ir_node *node, ir_node *value)
	Sets value input of a Confirm node. More...
ir_node *	get_Confirm_bound (const ir_node *node)
	Returns bound input of a Confirm node. More...
void	set_Confirm_bound (ir_node *node, ir_node *bound)
	Sets bound input of a Confirm node. More...
ir_relation	get_Confirm_relation (const ir_node *node)
	Returns relation attribute of a Confirm node. More...
void	set_Confirm_relation (ir_node *node, ir_relation relation)
	Sets relation attribute of a Confirm node. More...
ir_op *	get_op_Confirm (void)
	Returns opcode for Confirm nodes. More...

Variables
ir_op *	op_Confirm
	Confirm opcode. More...

Detailed Description

Specifies constraints for a value.

This allows explicit representation of path-sensitive properties. (Example: This value is always >= 0 on 1 if-branch then all users within that branch are rerouted to a confirm-node specifying this property).

A constraint is specified for the relation between value and bound. value is always returned. Note that this node does NOT check or assert the constraint, it merely specifies it.

Enumeration Type Documentation

enum n_Confirm

Input numbers for Confirm node.

Enumerator
n_Confirm_value	value to express a constraint for
n_Confirm_bound	value to compare against
n_Confirm_max

Definition at line 1220 of file nodes.h.

Function Documentation

ir_node* get_Confirm_bound

(

const ir_node *

node

)

Returns bound input of a Confirm node.

Definition at line 842 of file gen_irnode.c.

ir_relation get_Confirm_relation

(

const ir_node *

node

)

Returns relation attribute of a Confirm node.

Definition at line 3104 of file gen_irnode.c.

ir_node* get_Confirm_value

(

const ir_node *

node

)

Returns value input of a Confirm node.

Definition at line 832 of file gen_irnode.c.

ir_op* get_op_Confirm

(

void

)

Returns opcode for Confirm nodes.

Definition at line 852 of file gen_irnode.c.

References op_Confirm.

int is_Confirm

(

const ir_node *

node

)

Test if node is a Confirm.

Returns

1 if the node is a Confirm node, 0 otherwise

Definition at line 3099 of file gen_irnode.c.

ir_node* new_Confirm	(	ir_node *	irn_value,
		ir_node *	irn_bound,
		ir_relation	relation
	)

Construct a Confirm node.

Parameters

irn_value	value
irn_bound	bound
relation	relation of value to bound

Definition at line 827 of file gen_irnode.c.

References new_d_Confirm().

ir_node* new_d_Confirm	(	dbg_info *	dbgi,
		ir_node *	irn_value,
		ir_node *	irn_bound,
		ir_relation	relation
	)

Construct a Confirm node.

Parameters

dbgi	A pointer to debug information.
irn_value	value
irn_bound	bound
relation	relation of value to bound

Definition at line 820 of file gen_irnode.c.

References current_ir_graph, get_cur_block(), IR_GRAPH_CONSTRAINT_CONSTRUCTION, irg_is_constrained(), and new_rd_Confirm().

Referenced by new_Confirm().

ir_node* new_r_Confirm	(	ir_node *	block,
		ir_node *	irn_value,
		ir_node *	irn_bound,
		ir_relation	relation
	)

Construct a Confirm node.

Parameters

block	The IR block the node belongs to.
irn_value	value
irn_bound	bound
relation	relation of value to bound

Definition at line 815 of file gen_irnode.c.

References new_rd_Confirm().

ir_node* new_rd_Confirm	(	dbg_info *	dbgi,
		ir_node *	block,
		ir_node *	irn_value,
		ir_node *	irn_bound,
		ir_relation	relation
	)

Construct a Confirm node.

Parameters

dbgi	A pointer to debug information.
block	The IR block the node belongs to.
irn_value	value
irn_bound	bound
relation	relation of value to bound

Definition at line 798 of file gen_irnode.c.

References get_irn_irg(), get_irn_mode(), new_ir_node(), op_Confirm, optimize_node(), and verify_new_node().

Referenced by new_d_Confirm(), and new_r_Confirm().

void set_Confirm_bound	(	ir_node *	node,
		ir_node *	bound
	)

Sets bound input of a Confirm node.

Definition at line 847 of file gen_irnode.c.

void set_Confirm_relation	(	ir_node *	node,
		ir_relation	relation
	)

Sets relation attribute of a Confirm node.

Definition at line 3109 of file gen_irnode.c.

void set_Confirm_value	(	ir_node *	node,
		ir_node *	value
	)

Sets value input of a Confirm node.

Definition at line 837 of file gen_irnode.c.

Variable Documentation

ir_op* op_Confirm

Confirm opcode.

Definition at line 1286 of file nodes.h.

Referenced by get_op_Confirm(), and new_rd_Confirm().