Specifies constraints for a value.
More...
|
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...
|
|
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.
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 1217 of file nodes.h.
Returns bound input of a Confirm node.
Returns relation attribute of a Confirm node.
Returns value input of a Confirm node.
ir_op* get_op_Confirm |
( |
void |
| ) |
|
Returns opcode for Confirm nodes.
int is_Confirm |
( |
const ir_node * |
node | ) |
|
Test if node is a Confirm.
- Returns
- 1 if the node is a Confirm node, 0 otherwise
Construct a Confirm node.
- Parameters
-
irn_value | value |
irn_bound | bound |
relation | relation of value to bound |
Construct a Confirm node.
- Parameters
-
dbgi | A pointer to debug information. |
irn_value | value |
irn_bound | bound |
relation | relation of value to bound |
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 |
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 |
Sets bound input of a Confirm node.
Sets relation attribute of a Confirm node.
Sets value input of a Confirm node.
Confirm opcode.
Definition at line 1283 of file nodes.h.