diff options
| author | Arjun P <arjunpitchanathan@gmail.com> | 2022-04-12 13:07:25 +0100 |
|---|---|---|
| committer | Arjun P <arjunpitchanathan@gmail.com> | 2022-04-15 20:34:06 +0100 |
| commit | ef8b2a7cea2e12653d812f173370fda7b955fd22 (patch) | |
| tree | 4e62497f1afd95d2a1e1fe91d6c89e339302587e /llvm/lib/Bitcode/Writer/BitcodeWriter.cpp | |
| parent | aed923b1246ac38335b222b89594516fcf0d6385 (diff) | |
| download | llvm-ef8b2a7cea2e12653d812f173370fda7b955fd22.zip llvm-ef8b2a7cea2e12653d812f173370fda7b955fd22.tar.gz llvm-ef8b2a7cea2e12653d812f173370fda7b955fd22.tar.bz2 | |
[MLIR][Presburger] addSymbolicCut: fix the integral symbols heuristic to match the docs
Previously this checked if the entire symbolic numerator was divisible by the
denominator, which is never the case when this function is called. Fixed this to
check only the non-const coefficients in the numerator, which was what was
intended and documented.
Reviewed By: Groverkss
Differential Revision: https://reviews.llvm.org/D123592
Diffstat (limited to 'llvm/lib/Bitcode/Writer/BitcodeWriter.cpp')
0 files changed, 0 insertions, 0 deletions