Lines Matching defs:comp_code
1155 fprintf (file, "] %s ", get_tree_code_name (assert.comp_code));
1185 /* Push the assert info for NAME, EXPR, COMP_CODE and VAL to ASSERTS. */
1189 tree name, tree expr, enum tree_code comp_code, tree val)
1192 info.comp_code = comp_code;
1202 name, expr, op_symbol_code (comp_code), val);
1219 enum tree_code comp_code;
1229 comp_code = swap_tree_comparison (cond_code);
1236 comp_code = cond_code;
1244 comp_code = invert_tree_comparison (comp_code, 0);
1255 if ((comp_code == GT_EXPR || comp_code == LT_EXPR)
1261 if (comp_code == GT_EXPR
1266 if (comp_code == LT_EXPR
1271 *code_p = comp_code;
1427 enum tree_code comp_code;
1432 invert, &comp_code, &val))
1437 if (overflow_comparison_p (comp_code, name, val, false, &x))
1439 enum tree_code new_code = ((comp_code == GT_EXPR || comp_code == GE_EXPR)
1443 add_assert_info (asserts, name, name, comp_code, val);
1449 if ((comp_code == LE_EXPR
1450 || comp_code == GT_EXPR)
1491 add_assert_info (asserts, name3, tmp, comp_code, val);
1508 add_assert_info (asserts, name2, tmp, comp_code, val);
1518 if ((comp_code == NE_EXPR
1519 || comp_code == EQ_EXPR)
1551 if (comp_code == NE_EXPR
1562 add_assert_info (asserts, name2, name2, comp_code, cst);
1566 if (TREE_CODE_CLASS (comp_code) == tcc_comparison
1582 if ((comp_code == EQ_EXPR || comp_code == NE_EXPR)
1595 add_assert_info (asserts, op0, op0, comp_code, op1);
1602 && (comp_code == LE_EXPR || comp_code == LT_EXPR
1603 || comp_code == GT_EXPR || comp_code == GE_EXPR)
1612 && (comp_code == LE_EXPR || comp_code == GT_EXPR
1617 enum tree_code new_comp_code = comp_code;
1625 if (comp_code == LT_EXPR || comp_code == GE_EXPR)
1627 new_comp_code = comp_code == LT_EXPR ? LE_EXPR : GT_EXPR;
1659 enum tree_code new_comp_code = comp_code;
1663 if (comp_code == EQ_EXPR || comp_code == NE_EXPR)
1673 new_comp_code = comp_code == EQ_EXPR ? LE_EXPR : GT_EXPR;
1675 else if (comp_code == LT_EXPR || comp_code == GE_EXPR)
1708 && (comp_code == NE_EXPR
1709 || comp_code == EQ_EXPR
1712 || ((comp_code == LE_EXPR
1713 || comp_code == LT_EXPR)
1715 || ((comp_code == GE_EXPR
1716 || comp_code == GT_EXPR)
1735 comp_code, fold_convert (TREE_TYPE (rhs1), val));
1791 enum tree_code ccode = comp_code;
2140 enum tree_code comp_code;
2151 &comp_code, &val))
2166 if ((comp_code == EQ_EXPR && integer_onep (val))
2167 || (comp_code == NE_EXPR && integer_zerop (val)))
2188 if ((comp_code == EQ_EXPR && integer_zerop (val))
2189 || (comp_code == NE_EXPR
2212 if ((comp_code == EQ_EXPR || comp_code == NE_EXPR)
2217 if (is_masked_range_test (name, val, comp_code, &name, &low,
2528 enum tree_code comp_code;
2628 'EXPR COMP_CODE VAL' at a location that dominates block BB or
2630 for ASSERT_EXPR <NAME, EXPR COMP_CODE VAL>.
2638 enum tree_code comp_code,
2724 fprintf (file, " %s ", get_tree_code_name (loc->comp_code));
2748 'EXPR COMP_CODE VAL' at a location that dominates block BB or
2750 for ASSERT_EXPR <NAME, EXPR COMP_CODE VAL>.
2760 enum tree_code comp_code,
2798 /* If NAME already has an ASSERT_EXPR registered for COMP_CODE and
2808 COMP_CODE and VAL could be implemented. */
2813 if (loc->comp_code == comp_code
2839 NAME COMP_CODE VAL, add a new one at the end of the list of
2845 n->comp_code = comp_code;
2870 asserts[i].comp_code, asserts[i].val,
3199 enum tree_code comp_code;
3209 if (infer_value_range (stmt, op, &comp_code, &value))
3217 if (comp_code == NE_EXPR && integer_zerop (value))
3237 register_new_assert_for (t, t, comp_code, value,
3242 register_new_assert_for (op, op, comp_code, value, bb, NULL, si);
3361 /* Build the comparison expression NAME_i COMP_CODE VAL. */
3372 cond = build2 (loc->comp_code, boolean_type_node, loc->expr, loc->val);
3455 /* Sort after comp_code. */
3456 if (a->comp_code > b->comp_code)
3458 else if (a->comp_code < b->comp_code)
3523 || loc->comp_code != common->comp_code
Indexes created Sun Sep 13 00:25:22 UTC 2026