Transforms.h File Reference

#include "mlir/Interfaces/ValueBoundsOpInterface.h"

Go to the source code of this file.

Namespaces
	mlir
	Include the generated interface declarations.
	mlir::presburger
	mlir::arith

Functions
FailureOr< OpFoldResult >	mlir::arith::reifyValueBound (OpBuilder &b, Location loc, presburger::BoundType type, const ValueBoundsConstraintSet::Variable &var, ValueBoundsConstraintSet::StopConditionFn stopCondition, bool closedUB=false)
	Reify a bound for the given variable in terms of SSA values for which stopCondition is met. More...
FailureOr< OpFoldResult >	mlir::arith::reifyIndexValueBound (OpBuilder &b, Location loc, presburger::BoundType type, Value value, ValueBoundsConstraintSet::StopConditionFn stopCondition=nullptr, bool closedUB=false)
	Reify a bound for the given index-typed value in terms of SSA values for which stopCondition is met. More...
FailureOr< OpFoldResult >	mlir::arith::reifyShapedValueDimBound (OpBuilder &b, Location loc, presburger::BoundType type, Value value, int64_t dim, ValueBoundsConstraintSet::StopConditionFn stopCondition=nullptr, bool closedUB=false)
	Reify a bound for the specified dimension of the given shaped value in terms of SSA values for which stopCondition is met. More...