AffineStructures.cpp File Reference

#include "mlir/Dialect/Affine/Analysis/AffineStructures.h"
#include "mlir/Analysis/Presburger/LinearTransform.h"
#include "mlir/Analysis/Presburger/Simplex.h"
#include "mlir/Analysis/Presburger/Utils.h"
#include "mlir/Dialect/Affine/IR/AffineOps.h"
#include "mlir/Dialect/Affine/IR/AffineValueMap.h"
#include "mlir/Dialect/Arith/IR/Arith.h"
#include "mlir/IR/AffineExprVisitor.h"
#include "mlir/IR/IntegerSet.h"
#include "mlir/Support/LLVM.h"
#include "mlir/Support/MathExtras.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
#include <optional>

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "affine-structures"

Functions
static void	turnSymbolIntoDim (FlatAffineValueConstraints *cst, Value value)

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "affine-structures"

Definition at line 31 of file AffineStructures.cpp.

Function Documentation

turnSymbolIntoDim()

static void turnSymbolIntoDim ( FlatAffineValueConstraints *  cst, Value  value  )

static

Definition at line 289 of file AffineStructures.cpp.

References mlir::FlatLinearValueConstraints::findVar(), mlir::presburger::IntegerRelation::getNumDimVars(), mlir::presburger::IntegerRelation::getNumSymbolVars(), mlir::presburger::IntegerRelation::setDimSymbolSeparation(), and mlir::FlatLinearValueConstraints::swapVar().

Referenced by mlir::affine::FlatAffineValueConstraints::convertLoopIVSymbolsToDims().