[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

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 127780e5b70d6bf087c30c7d47606f7fd20b6c07
  Author: Groverkss <groverkss at gmail.com>
  Date:   2022-06-14 (Tue, 14 Jun 2022)

  Changed paths:
    M mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h
    M mlir/lib/Analysis/Presburger/PresburgerSpace.cpp
    M mlir/unittests/Analysis/Presburger/PresburgerSpaceTest.cpp

  Log Message:
  [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 mailing list