PresburgerSpace.cpp File Reference

#include "mlir/Analysis/Presburger/PresburgerSpace.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/raw_ostream.h"
#include <algorithm>
#include <cassert>

Go to the source code of this file.

Functions
static bool	areIdsEqual (const PresburgerSpace &spaceA, const PresburgerSpace &spaceB, VarKind kind)
	Checks if the number of ids of the given kind in the two spaces are equal and if the ids are equal. More...

Function Documentation

areIdsEqual()

static bool areIdsEqual ( const PresburgerSpace &  spaceA, const PresburgerSpace &  spaceB, VarKind  kind  )

static

Checks if the number of ids of the given kind in the two spaces are equal and if the ids are equal.

Assumes that both spaces are using ids.

Definition at line 245 of file PresburgerSpace.cpp.

References mlir::presburger::PresburgerSpace::getIds(), mlir::presburger::PresburgerSpace::getNumVarKind(), mlir::presburger::PresburgerSpace::isUsingIds(), kind, and mlir::presburger::Local.

Referenced by mlir::presburger::PresburgerSpace::isAligned().