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));