diff options
| author | Bharathi Ramana Joshi <joshibharathiramana@gmail.com> | 2024-04-18 21:56:53 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-18 21:56:53 +0530 |
| commit | 24da7fa029f999c0faf5c90de351237a273f385f (patch) | |
| tree | 19f582782e6da8cabe550e6be7e474f09f643554 /llvm/lib/Target/WebAssembly/Disassembler/WebAssemblyDisassembler.cpp | |
| parent | 6870ac201f9f50a13313213fea7a14b198d7280a (diff) | |
| download | llvm-24da7fa029f999c0faf5c90de351237a273f385f.zip llvm-24da7fa029f999c0faf5c90de351237a273f385f.tar.gz llvm-24da7fa029f999c0faf5c90de351237a273f385f.tar.bz2 | |
[MLIR][Presburger] Use Identifiers outside Presburger library (#77316)
The pull request includes the following changes.
1. Refactors the interface to `PresburgerSpace::identifiers` to `setId` and a
const `getId`, instead of previous `getId` which returned a mutable
reference. `resetIds` does not need to be called to use identifiers, `setId`
calls `resetIds` if identifiers are not enabled.
2. Deprecates `FlatAffineRelation` by refactoring all usages of
`FlatAffineRelation` to `IntegerRelation`. To achieve this,
`FlatAffineRelation::compose` is refactored into
`IntegerRelation::mergeAndCompose`.
3. Deletes unneeded overrides of virtual functions `hasConsistentState`,
`clearAndCopyFrom` and `fourierMotzkinEliminate` from
`FlatLinearValueConstraints` as these were only used through
`FlatAffineRelation` and we now use `IntegerRelation`'s member functions
instead.
4. Fixes an existing bug in FlatLinearValueConstraints' constructor
which caused
identifiers set by superclass FlatLinearConstraints' constructor to be
erased.
5. Fixes `IntegerRelation::convertVarKind` not preserving identifiers.
Diffstat (limited to 'llvm/lib/Target/WebAssembly/Disassembler/WebAssemblyDisassembler.cpp')
0 files changed, 0 insertions, 0 deletions