[PATCH] D156087: [MLIR] Add stage to side effect

Tue Aug 1 01:33:57 PDT 2023

mehdi_amini added a comment.

In D156087#4549709 <https://reviews.llvm.org/D156087#4549709>, @cxy-1993 wrote:

> Regarding May/Must associated with the effect, I believe you are referring to the relationship between memrefs. If that's the case, we will leave this issue to the pass to invoke alias analysis. If it's not, please let me know.

No I wasn't referring to alias analysis (where "May alias"/"Must alias" is important) but to the read/write effects: how do we model an op that may write the full resource, or may not? 
We can say that conservatively we say "write full" when it may do so, but then you can't use this information for kill the liveness of the entire resource.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D156087