AffineStructures.h File Reference

#include "mlir/Analysis/FlatLinearValueConstraints.h"
#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::affine::FlatAffineValueConstraints
	FlatAffineValueConstraints is an extension of FlatLinearValueConstraints with helper functions for Affine dialect ops. More...
class	mlir::affine::FlatAffineRelation
	A FlatAffineRelation represents a set of ordered pairs (domain -> range) where "domain" and "range" are tuples of variables. More...

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

Functions
LogicalResult	mlir::affine::getRelationFromMap (AffineMap &map, presburger::IntegerRelation &rel)
	Builds a relation from the given AffineMap/AffineValueMap map, containing all pairs of the form operands -> result that satisfy map.
LogicalResult	mlir::affine::getRelationFromMap (const AffineValueMap &map, presburger::IntegerRelation &rel)