[all-commits] [llvm/llvm-project] b754d0: [MLIR][Presburger] Refactor duplicate division mer...

[Kunwar Shaanjeet Singh Grover via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b754d09fde0b5f82acfd1d5e0423271823db4905
      https://github.com/llvm/llvm-project/commit/b754d09fde0b5f82acfd1d5e0423271823db4905
  Author: Groverkss <groverkss at gmail.com>
  Date:   2022-01-24 (Mon, 24 Jan 2022)

  Changed paths:
    M mlir/include/mlir/Analysis/Presburger/Utils.h
    M mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp
    M mlir/lib/Analysis/Presburger/Utils.cpp

  Log Message:
  -----------
  [MLIR][Presburger] Refactor duplicate division merging to Utils

This patch moves merging of duplicate divisions to presburger utility
functions. This is required to support division merging in structures other
than IntegerPolyhedron.

Reviewed By: arjunp

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