This is an archive of the discontinued LLVM Phabricator instance.

[mlir][bufferization] Reads from tensors with undefined data are not a conflict
ClosedPublic

Authored by springerm on Feb 2 2023, 6:57 AM.

Details

Summary

Reading from tensor.empty or bufferization.alloc_tensor (without copy) cannot cause a conflict because these ops do not specify the contents of their result tensors.

Depends On: D143181

Diff Detail

Event Timeline

springerm created this revision.Feb 2 2023, 6:57 AM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 2 2023, 6:57 AM
springerm requested review of this revision.Feb 2 2023, 6:57 AM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 2 2023, 6:57 AM
chelini added inline comments.Feb 6 2023, 12:36 AM
mlir/test/Dialect/Bufferization/Transforms/one-shot-bufferize-analysis.mlir
36

Can we please add a test case also for bufferization.alloc_tensor?

springerm updated this revision to Diff 495026.Feb 6 2023, 1:20 AM
springerm marked an inline comment as done.

address comments

chelini accepted this revision.Feb 6 2023, 7:01 AM
This revision is now accepted and ready to land.Feb 6 2023, 7:01 AM