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

[Nicolai Hähnle via Phabricator via llvm-commits]

nhaehnle added a comment.

> Yeah, you're right, it's not inaccessible memory under this model. I guess onlyAccessesInaccessibleMemory and onlyAccessesInaccessibleMemOrArgMem would have to be changed as well. Kinda unfortunate in that things like `llvm.assume` go from modelling a control dependence to doing an arbitrary read.

True, but at least it's only pre-split. In the Discourse thread we did talk about adding a `noreadthreadid` attribute, though I think the preliminary conclusion was to wait and see if it'd be actually worth doing the change.


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

https://reviews.llvm.org/D127383