diff options
| author | Arjun P <arjunpitchanathan@gmail.com> | 2022-02-08 21:06:24 +0530 |
|---|---|---|
| committer | Arjun P <arjunpitchanathan@gmail.com> | 2022-02-08 21:06:49 +0530 |
| commit | 1096fcff7d1061f0fcb04196f4ee2ec59033c6bc (patch) | |
| tree | 083ccadc5518eb1ae75e94b856f2cf1e03673813 /clang/lib/Frontend/InitPreprocessor.cpp | |
| parent | ae9414d5621f6de5060007ee12c3face233a98c1 (diff) | |
| download | llvm-1096fcff7d1061f0fcb04196f4ee2ec59033c6bc.zip llvm-1096fcff7d1061f0fcb04196f4ee2ec59033c6bc.tar.gz llvm-1096fcff7d1061f0fcb04196f4ee2ec59033c6bc.tar.bz2 | |
[MLIR][Presburger] Support computing volumes via hyperrectangular overapproximation
Add support for computing an overapproximation of the number of integer points
in a polyhedron. The returned result is actually the number of integer points
one gets by computing the "rational shadow" obtained by projecting out the
local IDs, finding the minimal axis-parallel hyperrectangular approximation
of the shadow, and returning the number of integer points in that. This does
not currently support symbols.
Reviewed By: Groverkss
Differential Revision: https://reviews.llvm.org/D119228
Diffstat (limited to 'clang/lib/Frontend/InitPreprocessor.cpp')
0 files changed, 0 insertions, 0 deletions