diff options
| author | Arjun P <arjunpitchanathan@gmail.com> | 2022-03-23 23:04:13 +0000 |
|---|---|---|
| committer | Arjun P <arjunpitchanathan@gmail.com> | 2022-03-24 00:41:17 +0000 |
| commit | 5630143af33f7e6e0dabdf38982cc9800140bb75 (patch) | |
| tree | 759ebd26abfc44f684b2aa32cd555516d73ce937 /llvm/lib/CodeGen/TargetLoweringObjectFileImpl.cpp | |
| parent | 08543a5a477c77bb9d0eb4d5808dd4abc41e6177 (diff) | |
| download | llvm-5630143af33f7e6e0dabdf38982cc9800140bb75.zip llvm-5630143af33f7e6e0dabdf38982cc9800140bb75.tar.gz llvm-5630143af33f7e6e0dabdf38982cc9800140bb75.tar.bz2 | |
[MLIR][Presburger] LexSimplex::addEquality: add equalities as fixed columns
In LexSimplex, instead of adding equalities as a pair of inequalities,
add them as a single row, move them into the basis, and keep them there.
There will always be a valid basis involving all non-redundant equalities. Such
equalities will then be ignored in some other operations, such as when looking
for pivot columns. This speeds them up a little bit.
More importantly, this is an important precursor patch to adding support for
symbolic integer lexmin, as this heuristic can sometimes make a big difference there.
Reviewed By: Groverkss
Differential Revision: https://reviews.llvm.org/D122165
Diffstat (limited to 'llvm/lib/CodeGen/TargetLoweringObjectFileImpl.cpp')
0 files changed, 0 insertions, 0 deletions