/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
H A D | region-model.cc | 2010 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 D | region-model-impl-calls.cc | 421 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 D | region-model.h | 708 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 D | constraint-manager.h | 437 bool add_constraint (const svalue *lhs, 441 bool add_constraint (equiv_class_id lhs_ec_id,
|
H A D | constraint-manager.cc | 1759 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 D | ChangeLog | 577 * 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 D | program-state.cc | 1537 model.add_constraint (x, EQ_EXPR, y, NULL); in test_sm_state_map()
|
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
H A D | constraint-manager.h | 205 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 D | region-model.cc | 4790 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 D | constraint-manager.cc | 642 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 D | region-model.h | 1819 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 D | program-state.cc | 1334 model.add_constraint (x, EQ_EXPR, y, NULL); in test_sm_state_map()
|
/netbsd-src/external/gpl3/gcc.old/dist/gcc/ |
H A D | genpreds.c | 774 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 D | genpreds.cc | 777 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 D | ChangeLog-2006 | 8346 * genpreds.c (add_constraint): Don't remove anything from the 17924 (have_const_dbl_constraints, mangle, add_constraint)
|
H A D | ChangeLog-2015 | 22785 (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 D | ChangeLog-2014 | 34895 (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 D | ChangeLog-2008 | 15710 * genpreds.c (mangle, add_constraint): Likewise.
|
H A D | ChangeLog-2021 | 30730 (add_constraint): Add arg is_relaxed_memory. Check name for
|
/netbsd-src/external/gpl3/gcc.old/dist/gcc/cp/ |
H A D | constraint.cc | 1009 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 D | constraint.cc | 1063 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 D | ChangeLog-2019 | 1585 (inchash::add_constraint): New.
|
/netbsd-src/external/gpl3/gcc.old/dist/gcc/config/s390/ |
H A D | constraints.md | 602 ;; in genpreds.c:add_constraint, we explicitly exclude reg, subreg and mem
|
/netbsd-src/external/gpl3/gcc/dist/gcc/config/s390/ |
H A D | constraints.md | 602 ;; in genpreds.cc:add_constraint, we explicitly exclude reg, subreg and mem
|
/netbsd-src/external/mit/isl/dist/ |
H A D | isl_input.c | 1992 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()
|