12.7.7 GIMPLE_COND

— GIMPLE function: gimple gimple_build_cond (enum tree_code pred_code, tree lhs, tree rhs, tree t_label, tree f_label)

Build a GIMPLE_COND statement. A GIMPLE_COND statement compares LHS and RHS and if the condition in PRED_CODE is true, jump to the label in t_label, otherwise jump to the label in f_label. PRED_CODE are relational operator tree codes like EQ_EXPR, LT_EXPR, LE_EXPR, NE_EXPR, etc.

— GIMPLE function: gimple gimple_build_cond_from_tree (tree cond, tree t_label, tree f_label)

Build a GIMPLE_COND statement from the conditional expression tree COND. T_LABEL and F_LABEL are as in gimple_build_cond.

— GIMPLE function: enum tree_code gimple_cond_code (gimple g)

Return the code of the predicate computed by conditional statement G.

— GIMPLE function: void gimple_cond_set_code (gimple g, enum tree_code code)

Set CODE to be the predicate code for the conditional statement G.

— GIMPLE function: tree gimple_cond_lhs (gimple g)

Return the LHS of the predicate computed by conditional statement G.

— GIMPLE function: void gimple_cond_set_lhs (gimple g, tree lhs)

Set LHS to be the LHS operand of the predicate computed by conditional statement G.

— GIMPLE function: tree gimple_cond_rhs (gimple g)

Return the RHS operand of the predicate computed by conditional G.

— GIMPLE function: void gimple_cond_set_rhs (gimple g, tree rhs)

Set RHS to be the RHS operand of the predicate computed by conditional statement G.

— GIMPLE function: tree gimple_cond_true_label (gimple g)

Return the label used by conditional statement G when its predicate evaluates to true.

— GIMPLE function: void gimple_cond_set_true_label (gimple g, tree label)

Set LABEL to be the label used by conditional statement G when its predicate evaluates to true.

— GIMPLE function: void gimple_cond_set_false_label (gimple g, tree label)

Set LABEL to be the label used by conditional statement G when its predicate evaluates to false.

— GIMPLE function: tree gimple_cond_false_label (gimple g)

Return the label used by conditional statement G when its predicate evaluates to false.

— GIMPLE function: void gimple_cond_make_false (gimple g)

Set the conditional COND_STMT to be of the form 'if (1 == 0)'.

— GIMPLE function: void gimple_cond_make_true (gimple g)

Set the conditional COND_STMT to be of the form 'if (1 == 1)'.