Lines Matching refs:constraint
74 const Constraint &constraint) const { in getTypeConstraintFn()
75 auto it = typeConstraints.find(constraint); in getTypeConstraintFn()
83 const Constraint &constraint) const { in getAttrConstraintFn()
84 auto it = attrConstraints.find(constraint); in getAttrConstraintFn()
90 const Constraint &constraint) const { in getSuccessorConstraintFn()
91 auto it = successorConstraints.find(constraint); in getSuccessorConstraintFn()
98 const Constraint &constraint) const { in getRegionConstraintFn()
99 auto it = regionConstraints.find(constraint); in getRegionConstraintFn()
140 << "' failed to satisfy constraint: {2}";
153 << successorName << ")' failed to verify constraint: {2}";
168 << "failed to verify constraint: {2}";
259 Constraint constraint) { in collectConstraint() argument
260 auto it = map.find(constraint); in collectConstraint()
262 map.insert({constraint, getUniqueName(kind, map.size())}); in collectConstraint()
270 collectConstraint(typeConstraints, "type", value.constraint); in collectOpConstraints()
287 if (!successor.constraint.getPredicate().isNull()) { in collectOpConstraints()
289 successor.constraint); in collectOpConstraints()
294 if (!region.constraint.getPredicate().isNull()) in collectOpConstraints()
295 collectConstraint(regionConstraints, "region", region.constraint); in collectOpConstraints()