MMatthias Springer[mlir][transform] Add VerifyOp
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
[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 VerifyOp This transform op runs the verifier on the targeted payload ops. It is for debugging only. Differential Revision: https://reviews.llvm.org/D154711 | 3 年前 | |
[MLIR] Add native Bytecode support for properties This is adding a new interface ( BytecodeOpInterface) to allow operations to opt-in skipping conversion to attribute and serializing properties to native bytecode. The scheme relies on a new section where properties are stored in sequence { size, serialize_properties }, ... The operations are storing the index of a properties, a table of offset is built when loading the properties section the first time. This is a re-commit of 837d1ce0dc which conflicted with another patch upgrading the bytecode and the collision wasn't properly resolved before. Differential Revision: https://reviews.llvm.org/D151065 | 3 年前 | |
[mlir][transform] Add VerifyOp This transform op runs the verifier on the targeted payload ops. It is for debugging only. Differential Revision: https://reviews.llvm.org/D154711 | 3 年前 | |
[mlir][transform] generate transform module on-the-fly Add a TransformInterpreterPassBase capability to generate the (shared) module containing the transform script during the pass initialization. This is helpful to programmatically generate the script as opposed to parsing it from the textual module. Reviewed By: springerm Differential Revision: https://reviews.llvm.org/D152185 | 3 年前 | |
[mlir][transform] TransformStateExtension: Replace op/value handles separately Differential Revision: https://reviews.llvm.org/D147038 | 3 年前 | |
[mlir][transform] TransformStateExtension: Replace op/value handles separately Differential Revision: https://reviews.llvm.org/D147038 | 3 年前 | |
[NFC][Py Reformat] Reformat python files in mlir subdir This is an ongoing series of commits that are reformatting our Python code. Reformatting is done with black. If you end up having problems merging this commit because you have made changes to a python file, the best way to handle that is to run git checkout --ours <yourfile> and then reformat it with black. If you run into any problems, post to discourse about it and we will try to help. RFC Thread below: https://discourse.llvm.org/t/rfc-document-and-standardize-python-code-style Differential Revision: https://reviews.llvm.org/D150782 | 3 年前 |