[all-commits] [llvm/llvm-project] 11462a: [MLIR] FlatAffineConstraints: Allow extraction of ...

[Kunwar Shaanjeet Singh Grover via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 11462a82c5fbef879ae75add682274b652ae9aa9
      https://github.com/llvm/llvm-project/commit/11462a82c5fbef879ae75add682274b652ae9aa9
  Author: Groverkss <groverkss at gmail.com>
  Date:   2021-11-16 (Tue, 16 Nov 2021)

  Changed paths:
    M mlir/include/mlir/Analysis/AffineStructures.h
    M mlir/lib/Analysis/AffineStructures.cpp
    M mlir/lib/Analysis/PresburgerSet.cpp
    M mlir/unittests/Analysis/AffineStructuresTest.cpp

  Log Message:
  -----------
  [MLIR] FlatAffineConstraints: Allow extraction of explicit representation of local variables

This patch extends the existing functionality of computing an explicit
representation for local variables, to also get the explicit representation,
instead of only the inequality pairs.

This is required for a future patch to remove redundant local ids based on
their explicit representation.

Reviewed By: arjunp

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