MLIR
20.0.0git
|
This is the complete list of members for mlir::ValueBoundsConstraintSet, including all inherited members.
addBound(presburger::BoundType type, int64_t pos, AffineExpr expr) | mlir::ValueBoundsConstraintSet | protected |
addConservativeSemiAffineBounds | mlir::ValueBoundsConstraintSet | protected |
areEqual(const Variable &var1, const Variable &var2) | mlir::ValueBoundsConstraintSet | static |
areEquivalentSlices(MLIRContext *ctx, HyperrectangularSlice slice1, HyperrectangularSlice slice2) | mlir::ValueBoundsConstraintSet | static |
areOverlappingSlices(MLIRContext *ctx, HyperrectangularSlice slice1, HyperrectangularSlice slice2) | mlir::ValueBoundsConstraintSet | static |
bound(Value value) | mlir::ValueBoundsConstraintSet | inline |
builder | mlir::ValueBoundsConstraintSet | protected |
compare(const Variable &lhs, ComparisonOperator cmp, const Variable &rhs) | mlir::ValueBoundsConstraintSet | static |
comparePos(int64_t lhsPos, ComparisonOperator cmp, int64_t rhsPos) | mlir::ValueBoundsConstraintSet | protected |
ComparisonOperator enum name | mlir::ValueBoundsConstraintSet | |
computeBound(AffineMap &resultMap, ValueDimList &mapOperands, presburger::BoundType type, const Variable &var, StopConditionFn stopCondition, bool closedUB=false) | mlir::ValueBoundsConstraintSet | static |
computeConstantBound(presburger::BoundType type, const Variable &var, StopConditionFn stopCondition=nullptr, bool closedUB=false) | mlir::ValueBoundsConstraintSet | static |
computeConstantDelta(Value value1, Value value2, std::optional< int64_t > dim1=std::nullopt, std::optional< int64_t > dim2=std::nullopt) | mlir::ValueBoundsConstraintSet | static |
computeDependentBound(AffineMap &resultMap, ValueDimList &mapOperands, presburger::BoundType type, const Variable &var, ValueDimList dependencies, bool closedUB=false) | mlir::ValueBoundsConstraintSet | static |
computeIndependentBound(AffineMap &resultMap, ValueDimList &mapOperands, presburger::BoundType type, const Variable &var, ValueRange independencies, bool closedUB=false) | mlir::ValueBoundsConstraintSet | static |
cstr | mlir::ValueBoundsConstraintSet | protected |
dump() const | mlir::ValueBoundsConstraintSet | |
EQ enum value | mlir::ValueBoundsConstraintSet | |
GE enum value | mlir::ValueBoundsConstraintSet | |
getExpr(Value value, std::optional< int64_t > dim=std::nullopt) | mlir::ValueBoundsConstraintSet | |
getExpr(OpFoldResult ofr) | mlir::ValueBoundsConstraintSet | |
getExpr(int64_t constant) | mlir::ValueBoundsConstraintSet | |
getPos(Value value, std::optional< int64_t > dim=std::nullopt) const | mlir::ValueBoundsConstraintSet | protected |
getPosExpr(int64_t pos) | mlir::ValueBoundsConstraintSet | protected |
GT enum value | mlir::ValueBoundsConstraintSet | |
ID | mlir::ValueBoundsConstraintSet | static |
insert(Value value, std::optional< int64_t > dim, bool isSymbol=true, bool addToWorklist=true) | mlir::ValueBoundsConstraintSet | protected |
insert(bool isSymbol=true) | mlir::ValueBoundsConstraintSet | protected |
insert(AffineMap map, ValueDimList operands, bool isSymbol=true) | mlir::ValueBoundsConstraintSet | protected |
insert(const Variable &var, bool isSymbol=true) | mlir::ValueBoundsConstraintSet | protected |
isMapped(Value value, std::optional< int64_t > dim=std::nullopt) const | mlir::ValueBoundsConstraintSet | protected |
kIndexValue | mlir::ValueBoundsConstraintSet | protectedstatic |
LE enum value | mlir::ValueBoundsConstraintSet | |
LT enum value | mlir::ValueBoundsConstraintSet | |
populateAndCompare(const Variable &lhs, ComparisonOperator cmp, const Variable &rhs) | mlir::ValueBoundsConstraintSet | |
populateConstraints(Value value, std::optional< int64_t > dim) | mlir::ValueBoundsConstraintSet | |
populateConstraints(AffineMap map, ValueDimList mapOperands) | mlir::ValueBoundsConstraintSet | protected |
positionToValueDim | mlir::ValueBoundsConstraintSet | protected |
processWorklist() | mlir::ValueBoundsConstraintSet | protected |
projectOut(int64_t pos) | mlir::ValueBoundsConstraintSet | protected |
projectOut(function_ref< bool(ValueDim)> condition) | mlir::ValueBoundsConstraintSet | protected |
projectOutAnonymous(std::optional< int64_t > except=std::nullopt) | mlir::ValueBoundsConstraintSet | protected |
stopCondition | mlir::ValueBoundsConstraintSet | protected |
StopConditionFn typedef | mlir::ValueBoundsConstraintSet | |
ValueBoundsConstraintSet(MLIRContext *ctx, StopConditionFn stopCondition, bool addConservativeSemiAffineBounds=false) | mlir::ValueBoundsConstraintSet | protected |
ValueDim typedef | mlir::ValueBoundsConstraintSet | protected |
valueDimToPosition | mlir::ValueBoundsConstraintSet | protected |
worklist | mlir::ValueBoundsConstraintSet | protected |