projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fdf1fda) | patch
[MLIR][Presburger] Simplex: refactor (symbolic)lex to support specifying multiple...
authorArjun P <arjunpitchanathan@gmail.com>
Fri, 1 Jul 2022 16:46:50 +0000 (17:46 +0100)
committerArjun P <arjunpitchanathan@gmail.com>
Fri, 1 Jul 2022 16:47:39 +0000 (17:47 +0100)
commitc2fcaf84e5a33a18385620453fdbb73fee58cbbc
tree9fda1025893330764aeb373fbe02cecdd52acb51tree | snapshot
parentfdf1fda5a8c8f12d51981da1f0f457a6664c4bc5commit | diff
[MLIR][Presburger] Simplex: refactor (symbolic)lex to support specifying multiple varKinds as symbols

This is also required to support lexmin for relations.

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D128931
mlir/include/mlir/Analysis/Presburger/Simplex.h diff | blob | history
mlir/include/mlir/Analysis/Presburger/Utils.h diff | blob | history
mlir/lib/Analysis/Presburger/Simplex.cpp diff | blob | history
mlir/lib/Analysis/Presburger/Utils.cpp diff | blob | history
Domain: System / Toolchain;