Lines Matching defs:Variable

76 ValueBoundsConstraintSet::Variable::Variable(OpFoldResult ofr)
77 : Variable(ofr, std::nullopt) {}
79 ValueBoundsConstraintSet::Variable::Variable(Value indexValue)
80 : Variable(static_cast<OpFoldResult>(indexValue)) {}
82 ValueBoundsConstraintSet::Variable::Variable(Value shapedValue, int64_t dim)
83 : Variable(static_cast<OpFoldResult>(shapedValue), std::optional(dim)) {}
85 ValueBoundsConstraintSet::Variable::Variable(OpFoldResult ofr,
107 ValueBoundsConstraintSet::Variable::Variable(AffineMap map,
108 ArrayRef<Variable> mapOperands) {
148 ValueBoundsConstraintSet::Variable::Variable(AffineMap map,
150 : Variable(map, llvm::map_to_vector(mapOperands,
151 [](Value v) { return Variable(v); })) {}
327 int64_t ValueBoundsConstraintSet::insert(const Variable &var, bool isSymbol) {
466 const Variable &var, StopConditionFn stopCondition, bool closedUB) {
587 const Variable &var, ValueDimList dependencies, bool closedUB) {
598 const Variable &var, ValueRange independencies, bool closedUB) {
631 presburger::BoundType type, const Variable &var,
689 Variable(map, {{value1, dim1}, {value2, dim2}}));
739 bool ValueBoundsConstraintSet::populateAndCompare(const Variable &lhs,
741 const Variable &rhs) {
747 bool ValueBoundsConstraintSet::compare(const Variable &lhs,
749 const Variable &rhs) {
766 FailureOr<bool> ValueBoundsConstraintSet::areEqual(const Variable &var1,
767 const Variable &var2) {
807 presburger::BoundType::EQ, Variable(foldedMap, valueOperands));
824 presburger::BoundType::EQ, Variable(foldedMap, valueOperands));