[PATCH] D127383: Don't treat readnone call in presplit coroutine as not access memory

[Florian Hahn via Phabricator via llvm-commits]

fhahn added a comment.

In D127383#3677020 <https://reviews.llvm.org/D127383#3677020>, @efriedma wrote:

> https://discourse.llvm.org/t/address-thread-identification-problems-with-coroutine/62015/48 is a summary of the overall design here. I'd suggest reading the rest of the discussion if you want more context... it's hard to summarize the discussion, but we concluded this was the least disruptive solution.
>
> It might be worth explicitly calling out the interaction with coroutines more explicitly in LangRef, sure.

Thanks Eli, that's very helpful message to read! IIUC the plan is to an extra attribute to allow the distinction between read none & not reading thread id, which should be used for all/most current intrinsics. This should avoid the need for workarounds like D130155 <https://reviews.llvm.org/D130155> & D130153 <https://reviews.llvm.org/D130153> by better modeling semantics.  IMO this would be practical reasons to adding the attribute up front.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D127383