diff options
| author | Arjun P <arjunpitchanathan@gmail.com> | 2020-10-07 17:16:11 +0200 |
|---|---|---|
| committer | Alex Zinenko <zinenko@google.com> | 2020-10-07 17:31:06 +0200 |
| commit | 63dead2096cd6a2190ba11071938b937be8bf159 (patch) | |
| tree | 7b7ba68542b7b85defe82405635a49b9bd91fd76 /llvm/lib/Support/JSON.cpp | |
| parent | bcd8422d75069624dc2daf7e5ff4b4f6cbcd6b71 (diff) | |
| download | llvm-63dead2096cd6a2190ba11071938b937be8bf159.zip llvm-63dead2096cd6a2190ba11071938b937be8bf159.tar.gz llvm-63dead2096cd6a2190ba11071938b937be8bf159.tar.bz2 | |
Introduce subtraction for FlatAffineConstraints
Subtraction is a foundational arithmetic operation that is often used when computing, for example, data transfer sets or cache hits. Since the result of subtraction need not be a convex polytope, a new class `PresburgerSet` is introduced to represent unions of convex polytopes.
Reviewed By: ftynse, bondhugula
Differential Revision: https://reviews.llvm.org/D87068
Diffstat (limited to 'llvm/lib/Support/JSON.cpp')
0 files changed, 0 insertions, 0 deletions