en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp#491d2701 [mlir] Use has_value instead of hasValue (NFC) List of files: /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp Wed, 13 Jul 2022 07:57:02 +0000 Kazu Hirata <kazu@google.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp#a18f843f [MLIR][Presburger] Support lexicographic max/min union of two PWMAFunctionThis patch implements a lexicographic max/min union of two PWMAFunctions.The lexmax/lexmin union of two functions is defined as a function defined onthe union of the input domains of both functions, such that when only one of thefunctions are defined, it outputs the same as that function, and if both aredefined, it outputs the lexmax/lexmin of the two outputs. On points whereneither function is defined, the union is not defined either.Reviewed By: arjunpDifferential Revision: https://reviews.llvm.org/D128829 List of files: /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp Wed, 06 Jul 2022 15:08:15 +0000 Groverkss <groverkss@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp#3b7c3a65 Revert "Don't use Optional::hasValue (NFC)"This reverts commit aa8feeefd3ac6c78ee8f67bf033976fc7d68bc6d. List of files: /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp Sat, 25 Jun 2022 18:56:50 +0000 Kazu Hirata <kazu@google.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp#aa8feeef Don't use Optional::hasValue (NFC) List of files: /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp Sat, 25 Jun 2022 18:55:57 +0000 Kazu Hirata <kazu@google.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp#d81fa76f [MLIR][Presburger] MultiAffineFunction:eliminateRedundantLocalId: fix bug where local offset was not consideredPreviously, when updating the outputs matrix, the local offset was not being considered.Reviewed By: GroverkssDifferential Revision: https://reviews.llvm.org/D122812 List of files: /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp Thu, 31 Mar 2022 11:34:33 +0000 Arjun P <arjunpitchanathan@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp#4418669f [MLIR][Presburger] PWMAFunction::valueAt: support local idsAdd a baseline implementation of support for local ids for `PWMAFunction::valueAt`. This can be made more efficient later if needed by handling locals with known div representations separately.Reviewed By: GroverkssDifferential Revision: https://reviews.llvm.org/D122144 List of files: /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp Wed, 23 Mar 2022 23:11:28 +0000 Arjun P <arjunpitchanathan@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp#7f611249 [MLIR][Presburger] MultiAffineFunction::removeIdRange: fix bug where kind wasn't passed on to IntegerPolyhedron::removeIdRangeReviewed By: GroverkssDifferential Revision: https://reviews.llvm.org/D122158 List of files: /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp Mon, 21 Mar 2022 17:13:19 +0000 Arjun P <arjunpitchanathan@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp#0239976b [MLIR][Presburger] unittests: move more util functions into Utils.h (NFC) List of files: /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp Thu, 17 Mar 2022 22:22:11 +0000 Arjun P <arjunpitchanathan@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp#ff1d9a4b [MLIR][Presburger] Add support for PresburgerRelationThis patch adds supports for union of relations (PresburgerRelation). Alongwith this, support for PresburgerSet is also maintained.This patch is part of a series of patches to add support for relations inPresburger library.Reviewed By: arjunpDifferential Revision: https://reviews.llvm.org/D121417 List of files: /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp Sun, 13 Mar 2022 11:36:10 +0000 Groverkss <groverkss@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp#0c1f6865 [MLIR][Presburger] Move Presburger/ files to presburger namespaceThis patch moves the Presburger library to a new `presburger` namespace.This allows to shorten some names, helps to avoid polluting the mlir namespace,and also provides some structure.Reviewed By: arjunpDifferential Revision: https://reviews.llvm.org/D120505 List of files: /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp Fri, 25 Feb 2022 10:31:23 +0000 Groverkss <groverkss@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp#4b86d559 [MLIR][Presburger] unittests: use an MLIRContext declared in parsePolyUse an `MLIRContext` declared in a single place in the `parsePoly` function that almost all Presburger unit tests use for parsing sets. This function is only used in tests.This saves us from having to declare and pass a new `MLIRContext` in every test.Reviewed By: bondhugula, mehdi_aminiDifferential Revision: https://reviews.llvm.org/D119251 List of files: /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp Wed, 23 Feb 2022 15:00:17 +0000 Arjun P <arjunpitchanathan@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp#6472546f [MLIR][Presburger] factor out duplicated function `parsePoly` into a Utils.hReviewed By: GroverkssDifferential Revision: https://reviews.llvm.org/D119194 List of files: /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp Tue, 08 Feb 2022 12:25:40 +0000 Arjun P <arjunpitchanathan@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp#d5a29442 [MLIR][Presburger] Add support for piece-wise multi-affine functionsAdd the class MultiAffineFunction which represents functions whose domain is anIntegerPolyhedron and which produce an output given by a tuple of affineexpressions in the IntegerPolyhedron's ids.Also add support for piece-wise MultiAffineFunctions, which are defined on aunion of IntegerPolyhedrons, and may have different output affine expressionson each IntegerPolyhedron. Thus the function is affine on each individualIntegerPolyhedron piece in the domain.This is part of a series of patches leading up to parametric integer programming.Depends on D118778.Reviewed By: GroverkssDifferential Revision: https://reviews.llvm.org/D118779 List of files: /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/PWMAFunctionTest.cpp Mon, 07 Feb 2022 19:01:27 +0000 Arjun P <arjunpitchanathan@gmail.com>