main

AArjun P[MLIR][Presburger] Provide functions to convert between arrays of MPInt and int64_t

ffb8b7b2创建于 2022年7月19日历史提交

文件	最后提交记录	最后更新时间
CMakeLists.txt	[MLIR][Presburger] introduce MPInt to support fast arbitrary precision in Presburger This uses an int64_t-based fastpath for the common case and falls back to SlowMPInt to handle the rare cases where larger numbers occur. It uses __builtin_* for performance through the support in LLVM MathExtras. Using this in the Presburger library results in a minor performance *improvement* over any commit hash before sequence of patches starting at d5e31cf38adfc2c240fb9717989792537cc9e819. This was previously reverted in 1e10d35ea9c02e9b5694836fd3dcc0b9baf28b48 due to a build failure; relanding now with an attempted fix. Reviewed By: Groverkss, ftynse Differential Revision: https://reviews.llvm.org/D128811	3 年前
IntegerRelation.cpp	[mlir] Use value instead of getValue (NFC)	3 年前
LinearTransform.cpp	[MLIR][Presburger] Use PresburgerSpace in constructors This patch modifies IntegerPolyhedron, IntegerRelation, PresburgerRelation, PresburgerSet, PWMAFunction, constructors to take PresburgerSpace instead of dimensions. This allows information present in PresburgerSpace to be carried better and allows for a general interface. Reviewed By: arjunp Differential Revision: https://reviews.llvm.org/D122842	4 年前
MPInt.cpp	[MLIR][Presburger] introduce MPInt to support fast arbitrary precision in Presburger This uses an int64_t-based fastpath for the common case and falls back to SlowMPInt to handle the rare cases where larger numbers occur. It uses __builtin_* for performance through the support in LLVM MathExtras. Using this in the Presburger library results in a minor performance *improvement* over any commit hash before sequence of patches starting at d5e31cf38adfc2c240fb9717989792537cc9e819. This was previously reverted in 1e10d35ea9c02e9b5694836fd3dcc0b9baf28b48 due to a build failure; relanding now with an attempted fix. Reviewed By: Groverkss, ftynse Differential Revision: https://reviews.llvm.org/D128811	3 年前
Matrix.cpp	[MLIR][Presburger] Refactor division representation to DivisionRepr This patch refactors existing implementations of division representation storage into a new class, DivisionRepr. This refactoring is done so that the common division utilities can be shared in an upcoming patch. Reviewed By: arjunp Differential Revision: https://reviews.llvm.org/D129146	3 年前
PWMAFunction.cpp	[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	3 年前
PresburgerRelation.cpp	[MLIR][Presburger] Refactor division representation to DivisionRepr This patch refactors existing implementations of division representation storage into a new class, DivisionRepr. This refactoring is done so that the common division utilities can be shared in an upcoming patch. Reviewed By: arjunp Differential Revision: https://reviews.llvm.org/D129146	3 年前
PresburgerSpace.cpp	[MLIR][Presburger] Rename attachments to identifiers in PresburgerSpace "attachment" was a temporary name chosen for the information attached to a variable in a PresburgerSpace. After the disambiguation of "variables" and "identifiers" in PresburgerSpace, we use the word "identifiers" for this information, since this information is used to "identify" these variables. Reviewed By: arjunp Differential Revision: https://reviews.llvm.org/D128751	3 年前
Simplex.cpp	[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	3 年前
SlowMPInt.cpp	[MLIR][Presburger] SlowMPInt: fix bug in ceilDiv, floorDiv where widths weren't harmonized This also adds tests for abs, ceilDiv, floorDiv, mod, gcd and lcm. Reviewed By: Groverkss Differential Revision: https://reviews.llvm.org/D129816	3 年前
Utils.cpp	[MLIR][Presburger] Provide functions to convert between arrays of MPInt and int64_t Reviewed By: Groverkss Differential Revision: https://reviews.llvm.org/D129509	3 年前