[PATCH] D78993: [mlir] Removed tight coupling of BufferPlacement pass to Alloc and Dealloc operations by using MemoryEffectOpInterface queries.

[Marcel Koester via Phabricator via llvm-commits]

dfki-mako marked 2 inline comments as done.
dfki-mako added inline comments.


================
Comment at: mlir/lib/Transforms/BufferPlacement.cpp:366
+      placements.emplace_back(
+          allocResult, analysis.computeAllocAndDeallocPositions(allocResult));
       return WalkResult::advance();
----------------
mehdi_amini wrote:
> Technically I we could have ops allocating two results, seems like you would only see the first?
> We may miscompile in such cases I think, can we not try to move such ops if we see them?
Makes sense to me.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D78993/new/

https://reviews.llvm.org/D78993