diff options
Diffstat (limited to 'gcc/tree.def')
| -rw-r--r-- | gcc/tree.def | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/tree.def b/gcc/tree.def index 08e28068167..3806f5b0043 100644 --- a/gcc/tree.def +++ b/gcc/tree.def @@ -899,6 +899,20 @@ DEFTREECODE (STATEMENT_LIST, "statement_list", tcc_exceptional, 0) the same value, they will be assigned the same value handle. */ DEFTREECODE (VALUE_HANDLE, "value_handle", tcc_exceptional, 0) +/* Predicate assertion. Artificial expression generated by the optimizers + to keep track of predicate values. This expression may only appear on + the RHS of assignments. + + Given X = ASSERT_EXPR <Y, EXPR>, the optimizers can infer + two things: + + 1- X is a copy of Y. + 2- EXPR is a GIMPLE conditional expression (as defined by + is_gimple_condexpr) and is known to be true. + + The type of the expression is the same as Y. */ +DEFTREECODE (ASSERT_EXPR, "assert_expr", tcc_expression, 2) + /* Base class information. Holds information about a class as a baseclass of itself or another class. */ DEFTREECODE (TREE_BINFO, "tree_binfo", tcc_exceptional, 0) |