FlatLinearValueConstraints.h File Reference

#include "mlir/Analysis/Presburger/IntegerRelation.h"
#include "mlir/Analysis/Presburger/Matrix.h"
#include "mlir/IR/AffineExpr.h"
#include "mlir/IR/OpDefinition.h"
#include <optional>

Go to the source code of this file.

Classes
class	mlir::FlatLinearConstraints
	FlatLinearConstraints is an extension of IntegerPolyhedron. More...
class	mlir::FlatLinearValueConstraints
	FlatLinearValueConstraints represents an extension of FlatLinearConstraints where each non-local variable can have an SSA Value attached to it. More...

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

Functions
LogicalResult	mlir::getFlattenedAffineExpr (AffineExpr expr, unsigned numDims, unsigned numSymbols, SmallVectorImpl< int64_t > *flattenedExpr, FlatLinearConstraints *cst=nullptr, bool addConservativeSemiAffineBounds=false)
	Flattens 'expr' into 'flattenedExpr', which contains the coefficients of the dimensions, symbols, and additional variables that represent floor divisions of dimensions, symbols, and in turn other floor divisions.
LogicalResult	mlir::getFlattenedAffineExprs (AffineMap map, std::vector< SmallVector< int64_t, 8 > > *flattenedExprs, FlatLinearConstraints *cst=nullptr, bool addConservativeSemiAffineBounds=false)
	Flattens the result expressions of the map to their corresponding flattened forms and set in 'flattenedExprs'.
LogicalResult	mlir::getFlattenedAffineExprs (IntegerSet set, std::vector< SmallVector< int64_t, 8 > > *flattenedExprs, FlatLinearConstraints *cst=nullptr)
LogicalResult	mlir::getMultiAffineFunctionFromMap (AffineMap map, presburger::MultiAffineFunction &multiAff)
AffineMap	mlir::alignAffineMapWithValues (AffineMap map, ValueRange operands, ValueRange dims, ValueRange syms, SmallVector< Value > *newSyms=nullptr)
	Re-indexes the dimensions and symbols of an affine map with given operands values to align with dims and syms values.