diff options
| author | Arjun P <arjunpitchanathan@gmail.com> | 2022-06-21 06:30:11 +0200 |
|---|---|---|
| committer | Arjun P <arjunpitchanathan@gmail.com> | 2022-06-25 14:23:32 +0100 |
| commit | 8a7ead691bad29b86017d9e42fa63a57c8c0d629 (patch) | |
| tree | 07b278b9f0fecead7c01990e9f2a914ba21c292c /llvm/unittests/Support/SourceMgrTest.cpp | |
| parent | 1452e2e5cbfe69cd6622a3c9e80dd485f1fb542b (diff) | |
| download | llvm-8a7ead691bad29b86017d9e42fa63a57c8c0d629.zip llvm-8a7ead691bad29b86017d9e42fa63a57c8c0d629.tar.gz llvm-8a7ead691bad29b86017d9e42fa63a57c8c0d629.tar.bz2 | |
[MLIR][Presburger] Support computing a representation of a set that only has locals that are divs
This paves the way for integer-exact projection, and for supporting
non-division locals in subtraction, complement, and equality checks.
Reviewed By: Groverkss
Differential Revision: https://reviews.llvm.org/D127463
Diffstat (limited to 'llvm/unittests/Support/SourceMgrTest.cpp')
0 files changed, 0 insertions, 0 deletions