MLIR  20.0.0git
mlir::vector::detail::ValueBoundsConstraintSet Member List

This is the complete list of members for mlir::vector::detail::ValueBoundsConstraintSet, including all inherited members.

addBound(presburger::BoundType type, int64_t pos, AffineExpr expr)mlir::ValueBoundsConstraintSetprotected
addConservativeSemiAffineBoundsmlir::ValueBoundsConstraintSetprotected
areEqual(const Variable &var1, const Variable &var2)mlir::ValueBoundsConstraintSetprotectedstatic
areEquivalentSlices(MLIRContext *ctx, HyperrectangularSlice slice1, HyperrectangularSlice slice2)mlir::ValueBoundsConstraintSetprotectedstatic
areOverlappingSlices(MLIRContext *ctx, HyperrectangularSlice slice1, HyperrectangularSlice slice2)mlir::ValueBoundsConstraintSetprotectedstatic
bound(Value value)mlir::ValueBoundsConstraintSetinlineprotected
buildermlir::ValueBoundsConstraintSetprotected
compare(const Variable &lhs, ComparisonOperator cmp, const Variable &rhs)mlir::ValueBoundsConstraintSetprotectedstatic
comparePos(int64_t lhsPos, ComparisonOperator cmp, int64_t rhsPos)mlir::ValueBoundsConstraintSetprotected
ComparisonOperator enum namemlir::ValueBoundsConstraintSetprotected
computeBound(AffineMap &resultMap, ValueDimList &mapOperands, presburger::BoundType type, const Variable &var, StopConditionFn stopCondition, bool closedUB=false)mlir::ValueBoundsConstraintSetprotectedstatic
computeConstantBound(presburger::BoundType type, const Variable &var, StopConditionFn stopCondition=nullptr, bool closedUB=false)mlir::ValueBoundsConstraintSetprotectedstatic
computeConstantDelta(Value value1, Value value2, std::optional< int64_t > dim1=std::nullopt, std::optional< int64_t > dim2=std::nullopt)mlir::ValueBoundsConstraintSetprotectedstatic
computeDependentBound(AffineMap &resultMap, ValueDimList &mapOperands, presburger::BoundType type, const Variable &var, ValueDimList dependencies, bool closedUB=false)mlir::ValueBoundsConstraintSetprotectedstatic
computeIndependentBound(AffineMap &resultMap, ValueDimList &mapOperands, presburger::BoundType type, const Variable &var, ValueRange independencies, bool closedUB=false)mlir::ValueBoundsConstraintSetprotectedstatic
cstrmlir::ValueBoundsConstraintSetprotected
dump() constmlir::ValueBoundsConstraintSetprotected
EQ enum valuemlir::ValueBoundsConstraintSetprotected
GE enum valuemlir::ValueBoundsConstraintSetprotected
getExpr(Value value, std::optional< int64_t > dim=std::nullopt)mlir::ValueBoundsConstraintSetprotected
getExpr(OpFoldResult ofr)mlir::ValueBoundsConstraintSetprotected
getExpr(int64_t constant)mlir::ValueBoundsConstraintSetprotected
getPos(Value value, std::optional< int64_t > dim=std::nullopt) constmlir::ValueBoundsConstraintSetprotected
getPosExpr(int64_t pos)mlir::ValueBoundsConstraintSetprotected
GT enum valuemlir::ValueBoundsConstraintSetprotected
IDmlir::ValueBoundsConstraintSetprotectedstatic
insert(Value value, std::optional< int64_t > dim, bool isSymbol=true, bool addToWorklist=true)mlir::ValueBoundsConstraintSetprotected
insert(bool isSymbol=true)mlir::ValueBoundsConstraintSetprotected
insert(AffineMap map, ValueDimList operands, bool isSymbol=true)mlir::ValueBoundsConstraintSetprotected
insert(const Variable &var, bool isSymbol=true)mlir::ValueBoundsConstraintSetprotected
isMapped(Value value, std::optional< int64_t > dim=std::nullopt) constmlir::ValueBoundsConstraintSetprotected
kIndexValuemlir::ValueBoundsConstraintSetprotectedstatic
LE enum valuemlir::ValueBoundsConstraintSetprotected
LT enum valuemlir::ValueBoundsConstraintSetprotected
populateAndCompare(const Variable &lhs, ComparisonOperator cmp, const Variable &rhs)mlir::ValueBoundsConstraintSetprotected
populateConstraints(Value value, std::optional< int64_t > dim)mlir::ValueBoundsConstraintSetprotected
populateConstraints(AffineMap map, ValueDimList mapOperands)mlir::ValueBoundsConstraintSetprotected
positionToValueDimmlir::ValueBoundsConstraintSetprotected
processWorklist()mlir::ValueBoundsConstraintSetprotected
projectOut(int64_t pos)mlir::ValueBoundsConstraintSetprotected
projectOut(function_ref< bool(ValueDim)> condition)mlir::ValueBoundsConstraintSetprotected
projectOutAnonymous(std::optional< int64_t > except=std::nullopt)mlir::ValueBoundsConstraintSetprotected
stopConditionmlir::ValueBoundsConstraintSetprotected
StopConditionFn typedefmlir::ValueBoundsConstraintSetprotected
ValueBoundsConstraintSet(MLIRContext *ctx, StopConditionFn stopCondition, bool addConservativeSemiAffineBounds=false)mlir::ValueBoundsConstraintSetprotected
ValueDim typedefmlir::ValueBoundsConstraintSetprotected
valueDimToPositionmlir::ValueBoundsConstraintSetprotected
worklistmlir::ValueBoundsConstraintSetprotected