aboutsummaryrefslogtreecommitdiff
path: root/mlir/lib/Analysis
AgeCommit message (Expand)AuthorFilesLines
2024-09-11[MLIR][Presburger] Make printing aligned to assist in debugging (#107648)Amy Wang3-11/+34
2024-09-10Reland [MLIR] Make resolveCallable customizable in CallOpInterface (#107989)Henrich Lauko4-4/+4
2024-09-10Revert "[MLIR] Make `resolveCallable` customizable in `CallOpInterface`" (#10...Matthias Springer4-4/+4
2024-09-10[MLIR] Make `resolveCallable` customizable in `CallOpInterface` (#100361)Henrich Lauko4-4/+4
2024-09-05[Presburger] Avoid repeated hash lookups (NFC) (#107426)Kazu Hirata1-3/+1
2024-08-25[mlir] [dataflow] Refactoring the definition of program points in data flow a...donald chen5-62/+64
2024-08-22[mlir][dataflow] Propagate errors from `visitOperation` (#105448)Ivan Butygin5-59/+91
2024-08-20[MLIR] Introduce a SelectLikeOpInterface (#104751)Christian Ulmann1-2/+4
2024-08-15[MLIR][LLVM]: Add an IR utility to perform slice walking (#103053)Christian Ulmann2-0/+140
2024-08-09[mlir] Use llvm::is_contained (NFC) (#102714)Kazu Hirata1-1/+1
2024-08-04[mlir] Construct SmallVector with ArrayRef (NFC) (#101896)Kazu Hirata3-4/+4
2024-07-15mlir/Presburger: optimize to avoid creating copies (#97897)Ramkumar Ramachandra8-106/+118
2024-07-08mlir/Presburger: optimize normalizeDiv when gcd=1 (#97893)Ramkumar Ramachandra1-0/+2
2024-07-03mlir/Presburger: reinstate use of LogicalResult (#97415)Ramkumar Ramachandra5-84/+92
2024-07-02mlir/LogicalResult: move into llvm (#97309)Ramkumar Ramachandra7-7/+0
2024-06-29mlir/Presburger: strip dependency on MLIRSupport (#96517)Ramkumar Ramachandra11-118/+88
2024-06-24[mlir][intrange] Fix inference of zero-trip loop bound (#96429)Felix Schneider1-3/+8
2024-06-13[llvm-project] Fix typo "seperate" (#95373)Jay Foad1-1/+1
2024-06-12Reland "mlir/Presburger/MPInt: move into llvm/ADT" (#95254)Ramkumar Ramachandra12-640/+333
2024-06-12Revert #95218 and #94953 (#95244)Maksim Levental12-333/+640
2024-06-12mlir/Presburger/MPInt: move into llvm/ADT (#94953)Ramkumar Ramachandra12-640/+333
2024-06-11mlir/MathExtras: consolidate with llvm/MathExtras (#95087)Ramkumar Ramachandra1-1/+0
2024-06-05[mlir][affine][Analysis] Add conservative bounds for semi-affine mods (#93576)Benjamin Maxwell1-47/+122
2024-05-28[mlir][dataflow] Fix for integer range analysis propagation bug (#93199)Spenser Bauman1-37/+14
2024-05-23[mlir] Fix liveness analysis for block arguments (#88848)Ivan Kulagin1-0/+4
2024-05-22[MLIR][Analysis] Consolidate topological sort utilities (#92563)Christian Ulmann3-57/+289
2024-05-18[mlir] Add operator<< for printing `Block` (#92550)Krzysztof Parzyszek1-5/+0
2024-04-18[MLIR][Presburger] Use Identifiers outside Presburger library (#77316)Bharathi Ramana Joshi3-119/+125
2024-03-04Apply clang-tidy fixes for readability-simplify-boolean-expr in IntegerRelati...Mehdi Amini1-3/+1
2024-03-04Apply clang-tidy fixes for readability-container-size-empty in Barvinok.cpp (...Mehdi Amini1-2/+1
2024-03-04Apply clang-tidy fixes for performance-unnecessary-value-param in Barvinok.cp...Mehdi Amini1-6/+7
2024-03-04Apply clang-tidy fixes for modernize-use-emplace in Barvinok.cpp (NFC)Mehdi Amini1-2/+2
2024-03-04Apply clang-tidy fixes for modernize-loop-convert in Barvinok.cpp (NFC)Mehdi Amini1-5/+5
2024-02-21[mlir] Apply ClangTidy performance fix.Adrian Kuegel1-2/+2
2024-02-15[MLIR][Presburger] Implement vertex enumeration and chamber decomposition for...Abhinav2718286-3/+428
2024-01-22[mlir] Fix -Wunused-variable in Barvinok.cpp (NFC)Jie Fu1-0/+2
2024-01-22[MLIR][Presburger] Implement function to evaluate the number of terms in a ge...Abhinav2718283-1/+312
2024-01-20[MLIR][Presburger] Implement IntegerRelation::setId (#77872)Bharathi Ramana Joshi1-0/+8
2024-01-13[MLIR][Presburger] Fold loop into assertBenjamin Kramer1-8/+11
2024-01-13[MLIR][Presburger] Helper functions to compute the constant term of a generat...Abhinav2718282-0/+112
2024-01-13[MLIR][Presburger] Implement Matrix::moveColumns (#68362)Bharathi Ramana Joshi1-0/+41
2024-01-12[MLIR][Presburger] Fix style violations in ff80414 (NFC) (#76720)Bharathi Ramana Joshi1-13/+8
2024-01-11[MLIR][Presburger] Implement computation of generating function for unimodula...Abhinav2718282-1/+92
2024-01-07[MLIR][Presburger] Implement IntegerRelation::mergeAndAlignSymbols (#76736)Bharathi Ramana Joshi1-0/+34
2024-01-07[MLIR][Presburger] Definitions for basic functions related to cones (#76650)Abhinav2718282-0/+66
2024-01-06[MLIR][Presburger] Shift GeneratingFunction.h to includes (#77114)Abhinav2718281-134/+0
2024-01-04[mlir][dataflow]Fix dense backward dataflow intraprocedural hook (#76865)drblallo1-5/+11
2024-01-02[mlir] Apply ClangTidy findings.Adrian Kuegel2-3/+2
2024-01-01[MLIR][Presburger] Implement PresburgerSpace::mergeAndAlignSymbols (#76397)Bharathi Ramana Joshi1-0/+34
2023-12-31[MLIR][Presburger] Fix bug in Identifier::isEqual assert (#76380)Bharathi Ramana Joshi1-2/+3