summaryrefslogtreecommitdiff
path: root/mlir/lib/IR/Verifier.cpp
AgeCommit message (Expand)Author
2025-05-06[mlir] Remove unused local variables (NFC) (#138642)Kazu Hirata
2025-04-09[MLIR] Ensure deterministic parallel verification (#134963)Nachi G
2025-03-28NFC: Remove unused includes (#133474)AdityaK
2024-12-13[IR] Migrate away from PointerUnion::{is,get} (NFC) (#119802)Kazu Hirata
2024-08-09[mlir] Verifier: steal bit to track seen instead of set. (#102626)Will Dietz
2024-07-27[IR] Verifier: Use a SmallPtrSet for a small set of pointers. NFCBenjamin Kramer
2023-12-05[mlir][IR] Make verifyDominanceOfContainedRegions iterative (#74428)Hideto Ueno
2023-07-12[MLIR][IR] Rewrite OperationVerifier using worklistAlexander Shaposhnikov
2023-05-15Cleanup uses of getAttrDictionary() in MLIR to use getDiscardableAttrDictiona...Mehdi Amini
2023-05-12[mlir] Update method cast calls to function callsTres Popp
2023-01-14[mlir] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata
2023-01-13[mlir] Add #include <optional> (NFC)Kazu Hirata
2022-04-15[mlir] Fix verification order of nested ops.Chia-hung Duan
2022-03-16[mlir] Fix missing verification after running an OpToOpAdaptorPassRiver Riddle
2022-02-25[mlir] Support verification order (2/3)Chia-hung Duan
2022-01-02Apply clang-tidy fixes for performance-for-range-copy to MLIR (NFC)Mehdi Amini
2021-12-08Adjust "end namespace" comment in MLIR to match new agree'd coding styleMehdi Amini
2021-11-18[mlir] Convert NamedAttribute to be a classRiver Riddle
2021-11-17[mlir] Refactor AbstractOperation and OperationNameRiver Riddle
2021-11-11[mlir] Replace usages of Identifier with StringAttrRiver Riddle
2021-09-14Remove unused llvm/Support/Parallel.h from MLIR (NFC)Mehdi Amini
2021-07-15Defend early against operation created without a registered dialectMehdi Amini
2021-07-15Revert "Defend early against operation created without a registered dialect"Mehdi Amini
2021-07-15Defend early against operation created without a registered dialectMehdi Amini
2021-06-23[mlir] Add a ThreadPool to MLIRContext and refactor MLIR threading usageRiver Riddle
2021-06-18Partial rollback: Disable MLIR verifier parallelism.Stella Laurenzo
2021-06-14[Verifier] Parallelize verification and dom checking. NFC.Chris Lattner
2021-06-13[DominanceInfo] Make the ctor take a defaulted value for the operand. NFC.Chris Lattner
2021-06-10Revert "[Verifier] Speed up and parallelize dominance checking. NFC"Alexander Kornienko
2021-06-08Add missing header <atomic> in lib/IR/Verifier.cpp (NFC)Mehdi Amini
2021-06-08[Verifier] Speed up and parallelize dominance checking. NFCChris Lattner
2021-05-29[Verifier] Inline a method to simplify the code in preparation for bigger cha...Chris Lattner
2021-05-01[Verifier] Slightly refactor code to reduce duplication, NFC.Chris Lattner
2021-04-26[Verifier] Tidy up the code a bit, NFC.Chris Lattner
2021-03-25Define a `NoTerminator` traits that allows operations with a single block reg...Mehdi Amini
2021-02-26[mlir] Simplify various pieces of code now that Identifier has access to the ...River Riddle
2021-02-09[mlir][IR] Remove the concept of `OperationProperties`River Riddle
2020-12-16Improve the verifier diagnostic on dominance errorMehdi Amini
2020-11-09[MLIR] Flag no-terminator error on the last operation of non-empty blocksRahul Joshi
2020-08-19Separate the Registration from Loading dialects in the ContextMehdi Amini
2020-08-19Revert "Separate the Registration from Loading dialects in the Context"Mehdi Amini
2020-08-18Separate the Registration from Loading dialects in the ContextMehdi Amini
2020-08-18Revert "Separate the Registration from Loading dialects in the Context"Mehdi Amini
2020-08-18Separate the Registration from Loading dialects in the ContextMehdi Amini
2020-08-15Revert "Separate the Registration from Loading dialects in the Context"Mehdi Amini
2020-08-15Separate the Registration from Loading dialects in the ContextMehdi Amini
2020-08-15Revert "Separate the Registration from Loading dialects in the Context"Mehdi Amini
2020-08-14Separate the Registration from Loading dialects in the ContextMehdi Amini
2020-07-15[MLIR] Add RegionKindInterfaceStephen Neuendorffer
2020-05-15[MLIR] Allow unreachable blocks to violate dominance property.Stephen Neuendorffer
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-07 02:40:44 +0000