Home
last modified time | relevance | path

Searched refs:add_constraint (Results 1 – 25 of 27) sorted by relevance

12

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dregion-model.cc2010 m_constraints->add_constraint (fake_retval_sval, NE_EXPR, zero_sval); in on_longjmp()
2523 m_constraints->add_constraint (ptr_sval, NE_EXPR, null_ptr); in deref_rvalue()
3202 *out = add_constraint (inner_lhs, inner_op, inner_rhs, ctxt); in add_constraints_from_binop()
3214 bool sat1 = add_constraint (inner_lhs, NE_EXPR, false_sval, ctxt); in add_constraints_from_binop()
3215 bool sat2 = add_constraint (inner_rhs, NE_EXPR, false_sval, ctxt); in add_constraints_from_binop()
3229 bool sat1 = add_constraint (inner_lhs, EQ_EXPR, false_sval, ctxt); in add_constraints_from_binop()
3230 bool sat2 = add_constraint (inner_rhs, EQ_EXPR, false_sval, ctxt); in add_constraints_from_binop()
3244 region_model::add_constraint (tree lhs, enum tree_code op, tree rhs, in add_constraint() function in ana::region_model
3255 return add_constraint (lhs_sval, op, rhs_sval, ctxt); in add_constraint()
3264 region_model::add_constraint (const svalue *lhs, in add_constraint() function in ana::region_model
[all …]
H A Dregion-model-impl-calls.cc421 if (!add_constraint (status, EQ_EXPR, integer_zero_node, cd.get_ctxt ())) in impl_call_error()
667 if (!model->add_constraint (ptr_sval, NE_EXPR, null_ptr, in impl_call_realloc()
681 return model->add_constraint (ptr_sval, NE_EXPR, zero, cd.get_ctxt ()); in impl_call_realloc()
718 if (!model->add_constraint (new_ptr_sval, NE_EXPR, old_ptr_sval, in impl_call_realloc()
768 return model->add_constraint (new_ptr_sval, NE_EXPR, zero, in impl_call_realloc()
H A Dregion-model.h708 bool add_constraint (tree lhs, enum tree_code op, tree rhs,
710 bool add_constraint (tree lhs, enum tree_code op, tree rhs,
795 bool add_constraint (const svalue *lhs,
1328 bool sat = (MODEL).add_constraint (LHS, OP, RHS, NULL); \
1337 bool sat = (MODEL).add_constraint (LHS, OP, RHS, NULL); \
H A Dconstraint-manager.h437 bool add_constraint (const svalue *lhs,
441 bool add_constraint (equiv_class_id lhs_ec_id,
H A Dconstraint-manager.cc1759 constraint_manager::add_constraint (const svalue *lhs, in add_constraint() function in ana::constraint_manager
1819 if (!add_constraint (implied_lhs, implied_op, implied_rhs)) in add_constraint()
1837 constraint_manager::add_constraint (equiv_class_id lhs_ec_id, in add_constraint() function in ana::constraint_manager
2037 add_constraint (lhs_id, EQ_EXPR, rhs_id); in add_constraint_internal()
2061 add_constraint in add_constraint_internal()
2072 add_constraint (lhs_id, new_op, other->m_rhs); in add_constraint_internal()
2093 add_constraint in add_constraint_internal()
2104 add_constraint (other->m_lhs, new_op, rhs_id); in add_constraint_internal()
2915 bool sat = m_out->add_constraint (lhs, code, rhs); in on_fact()
2922 bool sat = m_out->add_constraint (lhs, code, rhs); in on_fact()
[all …]
H A DChangeLog577 * constraint-manager.cc (constraint_manager::add_constraint):
936 (constraint_manager::add_constraint): Handle SVAL + OFFSET
950 * region-model.cc (region_model::add_constraint): Fail if
951 constraint_manager::add_constraint fails.
1512 * region-model.cc (region_model::add_constraint): Use new subclass
1848 * constraint-manager.cc (constraint_manager::add_constraint): Use
2102 (region_model::add_constraint): Split out into a new overload
2113 (region_model::add_constraint): Add overload decl.
2489 (region_model::add_constraint): Unset dynamic extents when a
3759 * region-model.cc (region_model::add_constraint): New overload
[all …]
H A Dprogram-state.cc1537 model.add_constraint (x, EQ_EXPR, y, NULL); in test_sm_state_map()
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dconstraint-manager.h205 bool add_constraint (svalue_id lhs, enum tree_code op, svalue_id rhs);
207 bool add_constraint (equiv_class_id lhs_ec_id,
H A Dregion-model.cc4790 m_constraints->add_constraint (fake_retval_sid, NE_EXPR, zero_sid); in on_longjmp()
5315 m_constraints->add_constraint (sid, EQ_EXPR, new_ptr_sid); in maybe_cast_1()
5616 region_model::add_constraint (tree lhs, enum tree_code op, tree rhs, in add_constraint() function in ana::region_model
5639 m_constraints->add_constraint (lhs_sid, op, rhs_sid); in add_constraint()
5726 add_constraint (gimple_assign_rhs1 (assign), op, rhs, ctxt); in add_any_constraints_from_gassign()
5738 add_constraint (rhs1, NE_EXPR, boolean_false_node, ctxt); in add_any_constraints_from_gassign()
5739 add_constraint (rhs2, NE_EXPR, boolean_false_node, ctxt); in add_any_constraints_from_gassign()
5753 add_constraint (rhs1, EQ_EXPR, boolean_false_node, ctxt); in add_any_constraints_from_gassign()
5754 add_constraint (rhs2, EQ_EXPR, boolean_false_node, ctxt); in add_any_constraints_from_gassign()
5769 add_constraint (rhs1, rhs_code, rhs2, ctxt); in add_any_constraints_from_gassign()
[all …]
H A Dconstraint-manager.cc642 constraint_manager::add_constraint (svalue_id lhs, in add_constraint() function in ana::constraint_manager
648 return add_constraint (lhs_ec_id, op,rhs_ec_id); in add_constraint()
657 constraint_manager::add_constraint (equiv_class_id lhs_ec_id, in add_constraint() function in ana::constraint_manager
816 add_constraint (lhs_id, EQ_EXPR, rhs_id); in add_constraint_internal()
840 add_constraint in add_constraint_internal()
851 add_constraint (lhs_id, new_op, other->m_rhs); in add_constraint_internal()
872 add_constraint in add_constraint_internal()
883 add_constraint (other->m_lhs, new_op, rhs_id); in add_constraint_internal()
1337 bool sat = m_out->add_constraint (lhs, code, rhs); in on_fact()
H A Dregion-model.h1819 bool add_constraint (tree lhs, enum tree_code op, tree rhs,
2221 bool sat = (MODEL).add_constraint (LHS, OP, RHS, NULL); \
2230 bool sat = (MODEL).add_constraint (LHS, OP, RHS, NULL); \
H A Dprogram-state.cc1334 model.add_constraint (x, EQ_EXPR, y, NULL); in test_sm_state_map()
/netbsd-src/external/gpl3/gcc.old/dist/gcc/
H A Dgenpreds.c774 add_constraint (const char *name, const char *regclass, in add_constraint() function
962 add_constraint (XSTR (info->def, 0), 0, XEXP (info->def, 2), in process_define_constraint()
973 add_constraint (XSTR (info->def, 0), XSTR (info->def, 1), in process_define_register_constraint()
/netbsd-src/external/gpl3/gcc/dist/gcc/
H A Dgenpreds.cc777 add_constraint (const char *name, const char *regclass, in add_constraint() function
956 add_constraint (XSTR (info->def, 0), 0, XEXP (info->def, 2), in process_define_constraint()
968 add_constraint (XSTR (info->def, 0), XSTR (info->def, 1), in process_define_register_constraint()
H A DChangeLog-20068346 * genpreds.c (add_constraint): Don't remove anything from the
17924 (have_const_dbl_constraints, mangle, add_constraint)
H A DChangeLog-201522785 (add_constraint): Take a file_location rather than a line number.
31258 (add_constraint): Use compute_test_codes to determine whether
36037 (add_constraint): Use it to initialize maybe_allows_reg and
H A DChangeLog-201434895 (add_constraint): Map TARGET_MEM_CONSTRAINT to general_mem.
34923 (add_constraint): Don't set it.
35009 (add_constraint): Count the number of constraints.
H A DChangeLog-200815710 * genpreds.c (mangle, add_constraint): Likewise.
H A DChangeLog-202130730 (add_constraint): Add arg is_relaxed_memory. Check name for
/netbsd-src/external/gpl3/gcc.old/dist/gcc/cp/
H A Dconstraint.cc1009 add_constraint (tree t, hash& h) in add_constraint() function
1016 add_constraint (TREE_OPERAND (t, 0), h); in add_constraint()
1017 add_constraint (TREE_OPERAND (t, 1), h); in add_constraint()
1036 inchash::add_constraint (t, h); in iterative_hash_constraint()
/netbsd-src/external/gpl3/gcc/dist/gcc/cp/
H A Dconstraint.cc1063 add_constraint (tree t, hash& h) in add_constraint() function
1070 add_constraint (TREE_OPERAND (t, 0), h); in add_constraint()
1071 add_constraint (TREE_OPERAND (t, 1), h); in add_constraint()
1090 inchash::add_constraint (t, h); in iterative_hash_constraint()
H A DChangeLog-20191585 (inchash::add_constraint): New.
/netbsd-src/external/gpl3/gcc.old/dist/gcc/config/s390/
H A Dconstraints.md602 ;; in genpreds.c:add_constraint, we explicitly exclude reg, subreg and mem
/netbsd-src/external/gpl3/gcc/dist/gcc/config/s390/
H A Dconstraints.md602 ;; in genpreds.cc:add_constraint, we explicitly exclude reg, subreg and mem
/netbsd-src/external/mit/isl/dist/
H A Disl_input.c1992 static __isl_give isl_map *add_constraint(__isl_keep isl_stream *s, in add_constraint() function
2179 return add_constraint(s, v, map, rational); in read_conjunct()

12