[all-commits] [llvm/llvm-project] 127780: [MLIR][Presburger] Add values to PresburgerSpace
Kunwar Shaanjeet Singh Grover via All-commits
all-commits at lists.llvm.org
Tue Jun 14 10:46:13 PDT 2022
Author: Groverkss <groverkss at gmail.com>
Date: 2022-06-14 (Tue, 14 Jun 2022)
[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
More information about the All-commits