[all-commits] [llvm/llvm-project] a18f84: [MLIR][Presburger] Support lexicographic max/min u...

[Kunwar Shaanjeet Singh Grover via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a18f843f075f3fbe461d0f114a28e6e383d7c736
      https://github.com/llvm/llvm-project/commit/a18f843f075f3fbe461d0f114a28e6e383d7c736
  Author: Groverkss <groverkss at gmail.com>
  Date:   2022-07-06 (Wed, 06 Jul 2022)

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

  Log Message:
  -----------
  [MLIR][Presburger] Support lexicographic max/min union of two PWMAFunction

This patch implements a lexicographic max/min union of two PWMAFunctions.

The lexmax/lexmin union of two functions is defined as a function defined on
the union of the input domains of both functions, such that when only one of the
functions are defined, it outputs the same as that function, and if both are
defined, it outputs the lexmax/lexmin of the two outputs. On points where
neither function is defined, the union is not defined either.

Reviewed By: arjunp

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