GIMPLE_COND#
-
gcond *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 comparesLHS
andRHS
and if the condition inPRED_CODE
is true, jump to the label int_label
, otherwise jump to the label inf_label
.PRED_CODE
are relational operator tree codes likeEQ_EXPR
,LT_EXPR
,LE_EXPR
,NE_EXPR
, etc.
-
gcond *gimple_build_cond_from_tree(tree cond, tree t_label, tree f_label)#
Build a
GIMPLE_COND
statement from the conditional expression treeCOND
.T_LABEL
andF_LABEL
are as ingimple_build_cond
.
-
enum tree_code gimple_cond_code(gimple g)#
Return the code of the predicate computed by conditional statement
G
.
-
void gimple_cond_set_code(gcond *g, enum tree_code code)#
Set
CODE
to be the predicate code for the conditional statementG
.
-
tree gimple_cond_lhs(gimple g)#
Return the
LHS
of the predicate computed by conditional statementG
.
-
void gimple_cond_set_lhs(gcond *g, tree lhs)#
Set
LHS
to be theLHS
operand of the predicate computed by conditional statementG
.
-
tree gimple_cond_rhs(gimple g)#
Return the
RHS
operand of the predicate computed by conditionalG
.
-
void gimple_cond_set_rhs(gcond *g, tree rhs)#
Set
RHS
to be theRHS
operand of the predicate computed by conditional statementG
.
-
tree gimple_cond_true_label(const gcond *g)#
Return the label used by conditional statement
G
when its predicate evaluates to true.
-
void gimple_cond_set_true_label(gcond *g, tree label)#
Set
LABEL
to be the label used by conditional statementG
when its predicate evaluates to true.
-
void gimple_cond_set_false_label(gcond *g, tree label)#
Set
LABEL
to be the label used by conditional statementG
when its predicate evaluates to false.
-
tree gimple_cond_false_label(const gcond *g)#
Return the label used by conditional statement
G
when its predicate evaluates to false.
-
void gimple_cond_make_false(gcond *g)#
Set the conditional
COND_STMT
to be of the form ‘if (1 == 0)’.
-
void gimple_cond_make_true(gcond *g)#
Set the conditional
COND_STMT
to be of the form ‘if (1 == 1)’.