[all-commits] [llvm/llvm-project] d222b6: [MLIR][Presburger] Add Identifier class to store i...

[Kunwar Grover via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d222b69093d69e034b7f01d9ceedce28d48fbb0c
      https://github.com/llvm/llvm-project/commit/d222b69093d69e034b7f01d9ceedce28d48fbb0c
  Author: Groverkss <groverkss at gmail.com>
  Date:   2023-09-05 (Tue, 05 Sep 2023)

  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 Identifier class to store identifiers and their type

This patch adds a new class Identifier to store identifiers in PresburgerSpace
and their types.

Identifiers were added earlier and were stored as a void pointer, and their type
in the form of mlir::TypeId in PresburgerSpace. To get an identifier, a user of
PresburgerSpace needed to know the type of identifiers. This was a problem for
users of PresburgerSpace like IntegerRelation, which want to work on
identifiers without knowing their type.

The Identifier class allows users like IntegerRelation to work on identifiers
without knowing their type, and also exposes an easier way to work with
Identifiers.

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D146909