Lines Matching defs:constraint

93   // Emit C++ function call to static type/attribute constraint function.
106   // bound name and the constraint of the operand respectively.
341   // The DagLeaf which contains type or attr constraint.
419   // constraint at the same time. In this case, we will rename those operands
539     auto constraint = leaf.getAsConstraint();
550                 "constraint: "
553                 escapeString(constraint.getSummary()))
685   // If a constraint is specified, we need to generate C++ statements to
686   // check the constraint.
695     Constraint constraint = operandMatcher.getAsConstraint();
696     if (operand->constraint != constraint) {
708               "\"operand {0} of op '{1}' failed to satisfy constraint: '{2}'\"",
710               escapeString(constraint.getSummary()))
905     // If a constraint is specified, we need to generate function call to its
922         formatv("\"op '{0}' attribute '{1}' failed to satisfy constraint: "
961     auto &constraint = appliedConstraint.constraint;
964     auto condition = constraint.getConditionTemplate();
965     if (isa<TypeConstraint>(constraint)) {
967         PrintFatalError(loc, "type constraint requires exactly one argument");
973           formatv("\"value entity '{0}' failed to satisfy constraint: '{1}'\"",
974                   entities.front(), escapeString(constraint.getSummary())));
976     } else if (isa<AttrConstraint>(constraint)) {
997                      formatv("\"entities '{0}' failed to satisfy constraint: "
1000                              escapeString(constraint.getSummary())));
1005   // to enforce equality constraint on those.
1553   // If the argument is a type constraint, then its an operand. Check if the
1945     std::optional<StringRef> constraint =
1947     assert(constraint && "attribute constraint was not uniqued");
1948     return *constraint;