MLIR
18.0.0git
|
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... | |
|
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 235 of file PresburgerSpace.cpp.
Referenced by mlir::presburger::PresburgerSpace::isAligned().