main

GGitHub[MLIR] Fix empty optional access in DialectConversion (#168331)

e992280f创建于 2025年11月17日历史提交

文件	最后提交记录	最后更新时间
CFGToSCF.cpp	[mlir] Remove unused includes (NFC) (#146278) These are identified by misc-include-cleaner. I've filtered out those that break builds. Also, I'm staying away from llvm-config.h, config.h, and Compiler.h, which likely cause platform- or compiler-specific build failures.	1 年前
CMakeLists.txt	[mlir][Transforms] Delete 1:N dialect conversion driver (#121389) The 1:N dialect conversion driver has been deprecated. Use the regular dialect conversion driver instead. This commit deletes the 1:N dialect conversion driver. Note for LLVM integration: If you are already using the regular dialect conversion, but still have argument materializations in your code base, simply delete all addArgumentMaterialization calls. For details, see https://discourse.llvm.org/t/rfc-merging-1-1-and-1-n-dialect-conversions/82513.	1 年前
CommutativityUtils.cpp	[mlir] Use llvm::stable_sort (NFC) (#141186)	1 年前
ControlFlowSinkUtils.cpp	[MLIR] Adopt LDBG() macro in ControlFlowSinkUtils.cpp (NFC)	11 个月前
DialectConversion.cpp	[MLIR] Fix empty optional access in DialectConversion (#168331) When both MLIR_ENABLE_EXPENSIVE_PATTERN_API_CHECKS and MLIR multithreading are enabled, topLevelFingerPrint is empty but its value is accessed. This adds a has_value() check before dereferencing the optional.	8 个月前
FoldUtils.cpp	[MLIR] Improve in-place folding to iterate until fixed-point (#160615) When executed in the context of canonicalization, the folders are invoked in a fixed-point iterative process. However in the context of an API like createOrFold() or in DialectConversion for example, we expect a "one-shot" call to fold to be as "folded" as possible. However, even when folders themselves are indempotent, folders on a given operation interact with each other. For example: // X = 0 + Y %X = arith.addi %c_0, %Y : i32 should fold to %Y, but the process actually involves first the folder provided by the IsCommutative trait to move the constant to the right. However this happens after attempting to fold the operation and the operation folder isn't attempt again after applying the trait folder. This commit makes sure we iterate until fixed point on folder applications. Fixes #159844	10 个月前
GreedyPatternRewriteDriver.cpp	[MLIR] Apply clang-tidy fixes for llvm-qualified-auto in GreedyPatternRewriteDriver.cpp (NFC)	10 个月前
Inliner.cpp	[MLIR] Fix release build: reference to NDEBUG guarded function (NFC) With LDBG(), the code isn't guarded in release mode, even if the optimizer will remove it because there is a if (false) statement. We need the function declaration to be there at minima.	1 年前
InliningUtils.cpp	[MLIR] Use LDBG() debugging macro in InliningUtils.cpp (NFC)	11 个月前
LoopInvariantCodeMotionUtils.cpp	[mlir] Use isPure and skipRegions to print region op (NFC) (#163422)	9 个月前
RegionUtils.cpp	[MLIR] Add logging to eraseUnreachableBlocks (NFC) (#153968)	11 个月前
WalkPatternRewriteDriver.cpp	[MLIR] Stop visiting unreachable blocks in the walkAndApplyPatterns driver (#154038) This is similar to the fix to the greedy driver in #153957 ; except that instead of removing unreachable code, we just ignore it. Operations like: %add = arith.addi %add, %add : i64 are legal in unreachable code. Unfortunately many patterns would be unsafe to apply on such IR and can lead to crashes or infinite loops.	11 个月前