CallOp result are not equivalent to an OpOperand if the OpOperand bufferizes out-of-place.
Depends On D126253
Paths
| Differential D126813
[mlir][bufferize] Fix bug in module equivalence analysis ClosedPublic Authored by springerm on Jun 1 2022, 1:14 PM.
Details Summary CallOp result are not equivalent to an OpOperand if the OpOperand bufferizes out-of-place. Depends On D126253
Diff Detail
Event TimelineThis revision is now accepted and ready to land.Jun 9 2022, 8:42 AM Closed by commit rGbf58256967e5: [mlir][bufferize] Fix bug in module equivalence analysis (authored by springerm). · Explain WhyJun 9 2022, 9:35 AM This revision was automatically updated to reflect the committed changes.
Revision Contents
Diff 435594 mlir/lib/Dialect/Bufferization/Transforms/OneShotModuleBufferize.cpp
mlir/test/Dialect/Bufferization/Transforms/one-shot-module-bufferize.mlir
|