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 "mlir/Support/LogicalResult.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
	mlir
	Include the generated interface declarations.
	mlir::presburger

Functions
LogicalResult	mlir::getFlattenedAffineExpr (AffineExpr expr, unsigned numDims, unsigned numSymbols, SmallVectorImpl< int64_t > *flattenedExpr, FlatLinearConstraints *cst=nullptr)
	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. More...
LogicalResult	mlir::getFlattenedAffineExprs (AffineMap map, std::vector< SmallVector< int64_t, 8 >> *flattenedExprs, FlatLinearConstraints *cst=nullptr)
	Flattens the result expressions of the map to their corresponding flattened forms and set in 'flattenedExprs'. More...
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. More...