[all-commits] [llvm/llvm-project] 1096fc: [MLIR][Presburger] Support computing volumes via h...
Arjun P via All-commits
all-commits at lists.llvm.org
Tue Feb 8 07:37:27 PST 2022
Author: Arjun P <arjunpitchanathan at gmail.com>
Date: 2022-02-08 (Tue, 08 Feb 2022)
[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
More information about the All-commits