aboutsummaryrefslogtreecommitdiff
path: root/mlir/lib/Analysis
AgeCommit message (Expand)Author
2022-08-04[MLIR][Presburger] SlowMPInt::gcd: fix crash when sizes differArjun P
2022-08-04[MLIR][Presburger] fourier-motzkin: check if all LCMs are 1 using a bool inst...Arjun P
2022-07-31[mlir][DCA] Fix visiting call ops when run at function scopesJeff Niu
2022-07-30Use is_contained (NFC)Kazu Hirata
2022-07-25[mlir] SCCP add missing pessimistic settingJacques Pienaar
2022-07-23Use llvm::sort instead of std::sort where possibleDmitri Gribenko
2022-07-20Use llvm::is_contained (NFC)Kazu Hirata
2022-07-18[MLIR][Presburger] Provide functions to convert between arrays of MPInt and i...Arjun P
2022-07-18[MLIR][Presburger] SlowMPInt: fix bug in ceilDiv, floorDiv where widths weren...Arjun P
2022-07-15[MLIR][Liveness] Add `currentlyLiveValues`, a way to get a set of values that...bzcheeseman
2022-07-15[MLIR][Presburger] SlowMPInt: gcd: assert that operands are non-negativeArjun P
2022-07-14[mlir] Use value instead of getValue (NFC)Kazu Hirata
2022-07-13[mlir] Use has_value instead of hasValue (NFC)Kazu Hirata
2022-07-11[MLIR][Presburger] introduce MPInt to support fast arbitrary precision in Pre...Arjun P
2022-07-11Revert "[MLIR][Presburger] introduce MPInt to support fast arbitrary precisio...Arjun P
2022-07-11[MLIR][Presburger] introduce MPInt to support fast arbitrary precision in Pre...Arjun P
2022-07-07[mlir] Delete ForwardDataFlowAnalysisMogball
2022-07-07[mlir] Swap integer range inference to the new frameworkMogball
2022-07-07[mlir] An implementation of dense data-flow analysisMogball
2022-07-07[mlir] An implementation of sparse data-flow analysisMogball
2022-07-07[MLIR][Presburger] Refactor division representation to DivisionReprGroverkss
2022-07-06[MLIR][Presburger] Support lexicographic max/min union of two PWMAFunctionGroverkss
2022-07-05[MLIR][Presburger] Rename attachments to identifiers in PresburgerSpaceGroverkss
2022-07-01[MLIR][Presburger] support symbolicLexMin for IntegerRelationArjun P
2022-07-01[MLIR][Presburger] Simplex: refactor (symbolic)lex to support specifying mult...Arjun P
2022-06-30[mlir] Add Dead Code AnalysisMogball
2022-06-29[MLIR][Preburger] fix typo covertVarKind -> convertVarKindArjun P
2022-06-29Revert clang-tidy fixes for readability-simplify-boolean-expr and add NOLINTArjun P
2022-06-29[Presburger] Cheat around old versions of clang not doing NRVO when there's a...Benjamin Kramer
2022-06-29Revert "[mlir][Presburger] Fix warning Wreturn-std-move (NFC)"Adrian Kuegel
2022-06-29[mlir][Presburger] Fix warning Wreturn-std-move (NFC)Adrian Kuegel
2022-06-28[MLIR][Presburger] subtract: support non-div localsArjun P
2022-06-28[MLIR][Presburger] subtract: fix support for divs defined by equalitiesArjun P
2022-06-28[MLIR][Presburger] Rename variable/identifier -> variableGroverkss
2022-06-28[MLIR][Presburger] getDivRepr: fix bug where dividend was negatedArjun P
2022-06-28Apply clang-tidy fixes for readability-simplify-boolean-expr in Utils.cpp (NFC)Mehdi Amini
2022-06-25Revert "Don't use Optional::hasValue (NFC)"Kazu Hirata
2022-06-25Don't use Optional::hasValue (NFC)Kazu Hirata
2022-06-25[MLIR][Presburger] Support computing a representation of a set that only has ...Arjun P
2022-06-22[MLIR][Presburger] introduce SlowMPInt, an auto-resizing APInt for fully corr...Arjun P
2022-06-20[mlir] Don't use Optional::getValue (NFC)Kazu Hirata
2022-06-20Don't use Optional::hasValue (NFC)Kazu Hirata
2022-06-20Don't use Optional::hasValue (NFC)Kazu Hirata
2022-06-20Don't use Optional::hasValue (NFC)Kazu Hirata
2022-06-20[mlir] Don't use Optional::hasValue (NFC)Kazu Hirata
2022-06-19Use value_or instead of getValueOr (NFC)Kazu Hirata
2022-06-14(Reland)[mlir] Add a generic data-flow analysis frameworkMogball
2022-06-14Revert "[mlir] Add a generic data-flow analysis framework"Frederik Gossen
2022-06-15[MLIR][Presburger] Fix spellings of attachmentGroverkss
2022-06-14[mlir][Arith] Implement InferIntRangeInterface for arithmetic opsKrzysztof Drewniak
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-17 11:47:35 +0000