This is an archive of the discontinued LLVM Phabricator instance.

[mlir][linalg][bufferize] Relax rules for partial bufferization

Authored by springerm on Nov 29 2021, 11:47 PM.



ToMemrefOps are no longer considered to be inplace memory writes. This is to support partial bufferization.

It is assumed that ToMemrefOps are created only by the bufferization. Bufferization has certain assumptions about this op (and ToTensorOp) and knows how it is used. Writing to buffers that are produced/consumed by ToMemrefOp/ToTensorOp may be undefined behavior. See the documentation of these ops for more details.

Depends On D114691

Diff Detail

Event Timeline

springerm created this revision.Nov 29 2021, 11:47 PM
springerm requested review of this revision.Nov 29 2021, 11:47 PM
nicolasvasilache requested changes to this revision.Dec 3 2021, 12:44 AM

This needs deeper discussion, will update once we have VC'ed.

This revision now requires changes to proceed.Dec 3 2021, 12:44 AM
springerm abandoned this revision.Dec 9 2021, 5:01 AM