dev_17.0.6

AAlex Zinenko[mlir] allow region branch spec from parent op to itself

8dbddb17创建于 2023年7月21日历史提交

文件	最后提交记录	最后更新时间
Analysis	[mlir][NFC] Use getConstantIntValue instead of casting to ConstantIndexOp getConstantIntValue extracts constant values from all constant-like ops, not just arith::ConstantIndexOp. Differential Revision: https://reviews.llvm.org/D154356	2 年前
IR	[mlir] allow region branch spec from parent op to itself RegionBranchOpInterface did not allow the operation with regions to specify itself as successors. Therefore, this implied that the control is always transferred to a region before being transferred back to the parent op. Since the region can only transfer the control back to the parent op from a terminator, this transitively implied that the first block of any region with a RegionBranchOpInterface is always executed until the terminator can transfer the control flow back. This is trivially false for any conditional-like operation that may or may not execute the region, as well as for loop-like operations that may not execute the body. Remove the restriction from the interface description and update the only transform that relied on it. See https://discourse.llvm.org/t/rfc-region-control-flow-interfaces-should-encode-region-not-executed-correctly/72103. Depends On: https://reviews.llvm.org/D155757 Reviewed By: Mogball, springerm Differential Revision: https://reviews.llvm.org/D155822	2 年前
TransformOps	[mlir][transform] Add TransformRewriter All apply functions now have a TransformRewriter & parameter. This rewriter should be used to modify the IR. It has a TrackingListener attached and updates the internal handle-payload mappings based on rewrites. Implementations no longer need to create their own TrackingListener and IRRewriter. Error checking is integrated into applyTransform. Tracking listener errors are reported only for ops with the ReportTrackingListenerFailuresOpTrait trait attached, allowing for a gradual migration. Furthermore, errors can be silenced with an op attribute. Additional API will be added to TransformRewriter in subsequent revisions. This revision just adds an "empty" TransformRewriter class and updates all apply implementations. Differential Revision: https://reviews.llvm.org/D152427	3 年前
Transforms	[MLIR] Fix/generalize affine LICM check for side-effecting ops Fix affine LICM for side-effecting ops. The code was special-cased for DMA ops. Generalize it and use isMemoryEffectFree. Differential Revision: https://reviews.llvm.org/D154783	2 年前
Utils	[MLIR][Affine] Improve load elimination Fixes #62639. Differential Revision: https://reviews.llvm.org/D154769	2 年前
CMakeLists.txt	[MLIR][Transform] Transform dialect support for affine Create the directory and file structures to support transform ops for the affine dialect in the future. Enable affine.unroll and affine.get_parent_for transform operations in this first batch of check in. Reviewed By: ftynse Differential Revision: https://reviews.llvm.org/D137997	3 年前