Lines Matching defs:constraint

70     const Constraint &constraint) const {
71   const auto *it = typeConstraints.find(constraint);
72   assert(it != typeConstraints.end() && "expected to find a type constraint");
76 // Find a uniqued attribute constraint. Since not all attribute constraints can
79     const Constraint &constraint) const {
80   const auto *it = attrConstraints.find(constraint);
86     const Constraint &constraint) const {
87   const auto *it = successorConstraints.find(constraint);
89          "expected to find a sucessor constraint");
94     const Constraint &constraint) const {
95   const auto *it = regionConstraints.find(constraint);
97          "expected to find a region constraint");
107 /// {0}: The unique constraint name.
108 /// {1}: The constraint code.
109 /// {2}: The constraint description.
111 /// Code for a type constraint. These may be called on the type of either
125 /// Code for an attribute constraint. These may be called from ops only.
136         << "' failed to satisfy constraint: {2}";
147 /// Code for a successor constraint.
154         << successorName << ")' failed to verify constraint: {2}";
160 /// Code for a region constraint. Callers will need to pass in the region's name
169         << "failed to verify constraint: {2}";
175 /// Code for a pattern type or attribute constraint.
238 /// An attribute constraint that references anything other than itself and the
260                                                       Constraint constraint) {
261   auto [it, inserted] = map.try_emplace(constraint);
271         collectConstraint(typeConstraints, "type", value.constraint);
288       if (!successor.constraint.getPredicate().isNull()) {
290                           successor.constraint);
295       if (!region.constraint.getPredicate().isNull())
296         collectConstraint(regionConstraints, "region", region.constraint);