MLIR  19.0.0git
Classes | Namespaces | Functions
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

 mlir
 Include the generated interface declarations.
 
 mlir::presburger
 
 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. More...
 
LogicalResult mlir::affine::getRelationFromMap (const AffineValueMap &map, presburger::IntegerRelation &rel)