[all-commits] [llvm/llvm-project] 94750a: [MLIR][Presburger] Support divisions in union of t...

[Kunwar Shaanjeet Singh Grover via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 94750af83640cd702d80c53ab99d5bb303e55796
      https://github.com/llvm/llvm-project/commit/94750af83640cd702d80c53ab99d5bb303e55796
  Author: Groverkss <groverkss at gmail.com>
  Date:   2023-01-19 (Thu, 19 Jan 2023)

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

  Log Message:
  -----------
  [MLIR][Presburger] Support divisions in union of two PWMAFunction

This patch adds support for divisions in the union of two PWMAFunction. This is
now possible because of previous patches, which made divisions explicitly
stored in MultiAffineFunction (MAF). This patch also refactors the previous
implementation, moving the implementation for obtaining a set of points where a
MAF is lexicographically "better" than the other to MAF.

Reviewed By: arjunp

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