projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73c273c) | patch
[MLIR][Presburger] Add values to PresburgerSpace
authorGroverkss <groverkss@gmail.com>
Tue, 14 Jun 2022 17:41:30 +0000 (23:11 +0530)
committerGroverkss <groverkss@gmail.com>
Tue, 14 Jun 2022 17:45:10 +0000 (23:15 +0530)
commit127780e5b70d6bf087c30c7d47606f7fd20b6c07
treea1cad26ed5018ea59a3604c29f5890cf051def3etree | snapshot
parent73c273c97a41d51ff45518445660d4808f43a244commit | diff
[MLIR][Presburger] Add values to PresburgerSpace

This patch allows attaching user information, called "values" to each
identifier. The values are used to carry information along with variables and
are also used to determine if two variables are identical.

This patch is part of a series of patches to allow attaching user information
with variables in Presburger library.

Reviewed By: ftynse

Differential Revision: https://reviews.llvm.org/D127347
mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h diff | blob | history
mlir/lib/Analysis/Presburger/PresburgerSpace.cpp diff | blob | history
mlir/unittests/Analysis/Presburger/PresburgerSpaceTest.cpp diff | blob | history
Domain: System / Toolchain;