[all-commits] [llvm/llvm-project] 94750a: [MLIR][Presburger] Support divisions in union of t...
Kunwar Shaanjeet Singh Grover via All-commits
all-commits at lists.llvm.org
Thu Jan 19 05:03:31 PST 2023
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
More information about the All-commits
mailing list