[Mlir-commits] [mlir] [mlir][bufferization] Relax happens-before analysis (PR #223777)

[Matthias Springer]

================
@@ -658,6 +671,13 @@ hasReadAfterWriteInterference(const DenseSet<OpOperand *> &usesRead,
       continue;
     }
 
+    // Re-entering a bbArg's block is a new definition, not read-after-write
----------------
matthias-springer wrote:

Can you expand the comment? It's not clear to me why this is the case.

https://github.com/llvm/llvm-project/pull/223777