MLIR  20.0.0git
mlir::ValueBoundsConstraintSet Member List

This is the complete list of members for mlir::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::ValueBoundsConstraintSetstatic
areEquivalentSlices(MLIRContext *ctx, HyperrectangularSlice slice1, HyperrectangularSlice slice2)mlir::ValueBoundsConstraintSetstatic
areOverlappingSlices(MLIRContext *ctx, HyperrectangularSlice slice1, HyperrectangularSlice slice2)mlir::ValueBoundsConstraintSetstatic
bound(Value value)mlir::ValueBoundsConstraintSetinline
buildermlir::ValueBoundsConstraintSetprotected
compare(const Variable &lhs, ComparisonOperator cmp, const Variable &rhs)mlir::ValueBoundsConstraintSetstatic
comparePos(int64_t lhsPos, ComparisonOperator cmp, int64_t rhsPos)mlir::ValueBoundsConstraintSetprotected
ComparisonOperator enum namemlir::ValueBoundsConstraintSet
computeBound(AffineMap &resultMap, ValueDimList &mapOperands, presburger::BoundType type, const Variable &var, StopConditionFn stopCondition, bool closedUB=false)mlir::ValueBoundsConstraintSetstatic
computeConstantBound(presburger::BoundType type, const Variable &var, StopConditionFn stopCondition=nullptr, bool closedUB=false)mlir::ValueBoundsConstraintSetstatic
computeConstantDelta(Value value1, Value value2, std::optional< int64_t > dim1=std::nullopt, std::optional< int64_t > dim2=std::nullopt)mlir::ValueBoundsConstraintSetstatic
computeDependentBound(AffineMap &resultMap, ValueDimList &mapOperands, presburger::BoundType type, const Variable &var, ValueDimList dependencies, bool closedUB=false)mlir::ValueBoundsConstraintSetstatic
computeIndependentBound(AffineMap &resultMap, ValueDimList &mapOperands, presburger::BoundType type, const Variable &var, ValueRange independencies, bool closedUB=false)mlir::ValueBoundsConstraintSetstatic
cstrmlir::ValueBoundsConstraintSetprotected
dump() constmlir::ValueBoundsConstraintSet
EQ enum valuemlir::ValueBoundsConstraintSet
GE enum valuemlir::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) constmlir::ValueBoundsConstraintSetprotected
getPosExpr(int64_t pos)mlir::ValueBoundsConstraintSetprotected
GT enum valuemlir::ValueBoundsConstraintSet
IDmlir::ValueBoundsConstraintSetstatic
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::ValueBoundsConstraintSet
LT enum valuemlir::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::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::ValueBoundsConstraintSet
ValueBoundsConstraintSet(MLIRContext *ctx, StopConditionFn stopCondition, bool addConservativeSemiAffineBounds=false)mlir::ValueBoundsConstraintSetprotected
ValueDim typedefmlir::ValueBoundsConstraintSetprotected
valueDimToPositionmlir::ValueBoundsConstraintSetprotected
worklistmlir::ValueBoundsConstraintSetprotected