MMatthias Springer[mlir][transform] Add TransformRewriter
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
[mlir] move PDL-related transform ops into an extension The initial bring-up of the Transform dialect relied on PDL to provide the default handle type ( !pdl.operation) and the matching capability. Both are now provided natively by the Transform dialect removing the reason to have a hard dependency on the PDL dialect and its interpreter. Move PDL-related transform operations into a separate extension. This requires us to introduce a dialect state extension mechanism into the Transform dialect so it no longer needs to know about PDL constraint functions that may be injected by extensions similarly to operations and types. This mechanism will be reused to connect pattern application drivers and the Transform dialect. This completes the restructuring of the Transform dialect to remove overrilance on PDL. Note to downstreams: flow that are using !pdl.operation with Transform dialect operations will now require transform::PDLExtension to be applied to the transform dialect in order to provide the transform handle type interface for !pdl.operation. Reviewed By: springerm Differential Revision: https://reviews.llvm.org/D151104 | 3 年前 | |
[mlir] move PDL-related transform ops into an extension The initial bring-up of the Transform dialect relied on PDL to provide the default handle type ( !pdl.operation) and the matching capability. Both are now provided natively by the Transform dialect removing the reason to have a hard dependency on the PDL dialect and its interpreter. Move PDL-related transform operations into a separate extension. This requires us to introduce a dialect state extension mechanism into the Transform dialect so it no longer needs to know about PDL constraint functions that may be injected by extensions similarly to operations and types. This mechanism will be reused to connect pattern application drivers and the Transform dialect. This completes the restructuring of the Transform dialect to remove overrilance on PDL. Note to downstreams: flow that are using !pdl.operation with Transform dialect operations will now require transform::PDLExtension to be applied to the transform dialect in order to provide the transform handle type interface for !pdl.operation. Reviewed By: springerm Differential Revision: https://reviews.llvm.org/D151104 | 3 年前 | |
[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 年前 |