[mlir] Transform dialect: separate dependent and generated dialectsIn the Transform dialect extensions, provide the separate mechanism todeclare dependent dialects (the dialects the transform IR d
[mlir] Transform dialect: separate dependent and generated dialectsIn the Transform dialect extensions, provide the separate mechanism todeclare dependent dialects (the dialects the transform IR depends on)and the generated dialects (the dialects the payload IR may betransformed into). This allows the Transform dialect clients that areonly constructing the transform IR to avoid loading the dialectsrelevant for the payload IR along with the Transform dialect itself,thus decreasing the build/link time.Reviewed By: springermDifferential Revision: https://reviews.llvm.org/D130289
show more ...
[mlir] address post-commit review for D127724- make transform.alternatives op apply only to isolated-from-above payload IR scopes;- fix potential leak;- fix several typos.
[mlir] Introduce transform.alternatives opIntroduce a transform dialect op that allows one to attempt differenttransformation sequences on the same piece of payload IR until one of themsucceeds.
[mlir] Introduce transform.alternatives opIntroduce a transform dialect op that allows one to attempt differenttransformation sequences on the same piece of payload IR until one of themsucceeds. This op fundamentally expands the scope of possibilities in thetransform dialect that, until now, could only propagate transformation failure,at least using in-tree operations. This requires a more detailed specificationof the execution model for the transform dialect that now indicates how failureis handled and propagated.Transformations described by transform operations now have tri-state results,with some errors being fundamentally irrecoverable (e.g., generating malformedIR) and some others being recoverable by containing ops. Existing transform opsdirectly implementing the `apply` interface method are updated to produce thisdirectly. Transform ops with the `TransformEachTransformOpTrait` are currentlyconsidered to produce only irrecoverable failures and will be updatedseparately.Reviewed By: springermDifferential Revision: https://reviews.llvm.org/D127724
[mlir] (NFC) Clean up bazel and CMake target namesAll dialect targets in bazel have been named *Dialect and all dialecttargets in CMake have been named MLIR*Dialect.
[mlir][bufferization] Add OneShotBufferize transform opThis commit allows for One-Shot Bufferize to be used through the transform dialect. No op handle is currently returned for the bufferized IR.
[mlir][bufferization] Add OneShotBufferize transform opThis commit allows for One-Shot Bufferize to be used through the transform dialect. No op handle is currently returned for the bufferized IR.Differential Revision: https://reviews.llvm.org/D125098