MLIR  19.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
areEqual(Value value1, Value value2, std::optional< int64_t > dim1=std::nullopt, std::optional< int64_t > dim2=std::nullopt)mlir::ValueBoundsConstraintSetstatic
areEqual(OpFoldResult ofr1, OpFoldResult ofr2)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
computeBound(AffineMap &resultMap, ValueDimList &mapOperands, presburger::BoundType type, Value value, std::optional< int64_t > dim, StopConditionFn stopCondition, bool closedUB=false)mlir::ValueBoundsConstraintSetstatic
computeConstantBound(presburger::BoundType type, Value value, std::optional< int64_t > dim=std::nullopt, StopConditionFn stopCondition=nullptr, bool closedUB=false)mlir::ValueBoundsConstraintSetstatic
computeConstantBound(presburger::BoundType type, AffineMap map, ValueDimList mapOperands, StopConditionFn stopCondition=nullptr, bool closedUB=false)mlir::ValueBoundsConstraintSetstatic
computeConstantBound(presburger::BoundType type, AffineMap map, ArrayRef< Value > mapOperands, 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, Value value, std::optional< int64_t > dim, ValueDimList dependencies, bool closedUB=false)mlir::ValueBoundsConstraintSetstatic
computeIndependentBound(AffineMap &resultMap, ValueDimList &mapOperands, presburger::BoundType type, Value value, std::optional< int64_t > dim, ValueRange independencies, bool closedUB=false)mlir::ValueBoundsConstraintSetstatic
cstrmlir::ValueBoundsConstraintSetprotected
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
insert(Value value, std::optional< int64_t > dim, bool isSymbol=true)mlir::ValueBoundsConstraintSetprotected
insert(bool isSymbol=true)mlir::ValueBoundsConstraintSetprotected
kIndexValuemlir::ValueBoundsConstraintSetprotectedstatic
positionToValueDimmlir::ValueBoundsConstraintSetprotected
processWorklist(StopConditionFn stopCondition)mlir::ValueBoundsConstraintSetprotected
projectOut(int64_t pos)mlir::ValueBoundsConstraintSetprotected
projectOut(function_ref< bool(ValueDim)> condition)mlir::ValueBoundsConstraintSetprotected
StopConditionFn typedefmlir::ValueBoundsConstraintSet
ValueBoundsConstraintSet(MLIRContext *ctx)mlir::ValueBoundsConstraintSetprotected
ValueDim typedefmlir::ValueBoundsConstraintSetprotected
valueDimToPositionmlir::ValueBoundsConstraintSetprotected
worklistmlir::ValueBoundsConstraintSetprotected