projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5630143) | patch
[MLIR][Presburger] PWMAFunction::valueAt: support local ids
authorArjun P <arjunpitchanathan@gmail.com>
Wed, 23 Mar 2022 23:11:28 +0000 (23:11 +0000)
committerArjun P <arjunpitchanathan@gmail.com>
Thu, 24 Mar 2022 00:42:21 +0000 (00:42 +0000)
commit4418669f1e6c429b679a942f971a7ae148cdccc8
treedf521842c1680014035847e0deba2ce58472bf8etree | snapshot
parent5630143af33f7e6e0dabdf38982cc9800140bb75commit | diff
[MLIR][Presburger] PWMAFunction::valueAt: support local ids

Add a baseline implementation of support for local ids for `PWMAFunction::valueAt`. This can be made more efficient later if needed by handling locals with known div representations separately.

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D122144
mlir/include/mlir/Analysis/Presburger/IntegerRelation.h diff | blob | history
mlir/include/mlir/Analysis/Presburger/PWMAFunction.h diff | blob | history
mlir/lib/Analysis/Presburger/IntegerRelation.cpp diff | blob | history
mlir/lib/Analysis/Presburger/PWMAFunction.cpp diff | blob | history
mlir/unittests/Analysis/Presburger/IntegerPolyhedronTest.cpp diff | blob | history
mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp diff | blob | history
Domain: System / Toolchain;