Bad node

Bad nodes indicate invalid input, which is values which should never be computed. More...

Functions
ir_node *	new_rd_Bad (dbg_info *dbgi, ir_graph *irg, ir_mode *mode)
	Construct a Bad node. More...
ir_node *	new_r_Bad (ir_graph *irg, ir_mode *mode)
	Construct a Bad node. More...
ir_node *	new_d_Bad (dbg_info *dbgi, ir_mode *mode)
	Construct a Bad node. More...
ir_node *	new_Bad (ir_mode *mode)
	Construct a Bad node. More...
int	is_Bad (const ir_node *node)
	Test if node is a Bad. More...
ir_op *	get_op_Bad (void)
	Returns opcode for Bad nodes. More...

Variables
ir_op *	op_Bad
	Bad opcode. More...

Detailed Description

Bad nodes indicate invalid input, which is values which should never be computed.

The typical use case for the Bad node is removing unreachable code. Frontends should set the current_block to Bad when it is clear that following code must be unreachable (i.e. after a goto or return statement). Optimizations also set block predecessors to Bad when it becomes clear, that a control flow edge can never be executed.

The gigo optimizations ensures that nodes with Bad as their block, get replaced by Bad themselves. Nodes with at least 1 Bad input get exchanged with Bad too. Exception to this rule are Block, Phi, Tuple and End node; This is because removing inputs from a Block is hairy operation (requiring, Phis to be shortened too for example). So instead of removing block inputs they are set to Bad, and the actual removal is left to the control flow optimization phase. Block, Phi, Tuple with only Bad inputs however are replaced by Bad right away.

In the future we may use the Bad node to model poison values that arise from undefined behaviour like reading uninitialized local variables in C.

Function Documentation

get_op_Bad()

ir_op* get_op_Bad

(

void

)

Returns opcode for Bad nodes.

is_Bad()

int is_Bad

(

const ir_node *

node

)

Test if node is a Bad.

Returns

1 if the node is a Bad node, 0 otherwise

new_Bad()

ir_node* new_Bad

(

ir_mode *

mode

)

Construct a Bad node.

Parameters

mode	mode of the operations result

new_d_Bad()

ir_node* new_d_Bad	(	dbg_info *	dbgi,
		ir_mode *	mode
	)

Construct a Bad node.

Parameters

dbgi	A pointer to debug information.
mode	mode of the operations result

new_r_Bad()

ir_node* new_r_Bad	(	ir_graph *	irg,
		ir_mode *	mode
	)

Construct a Bad node.

Parameters

irg	The IR graph the node belongs to.
mode	mode of the operations result

new_rd_Bad()

ir_node* new_rd_Bad	(	dbg_info *	dbgi,
		ir_graph *	irg,
		ir_mode *	mode
	)

Construct a Bad node.

Parameters

dbgi	A pointer to debug information.
irg	The IR graph the node belongs to.
mode	mode of the operations result

Variable Documentation

op_Bad

ir_op* op_Bad

Bad opcode.

Definition at line 736 of file nodes.h.