[PATCH] D53184: [LangRef] Clarify semantics of volatile operations.

[Hal Finkel via Phabricator via llvm-commits]

hfinkel added a comment.

In D53184#1333556 <https://reviews.llvm.org/D53184#1333556>, @efriedma wrote:

> I can add a sentence to specifically state that this can modify state accessed by functions marked with the inaccessiblememonly attribute, and vice versa, if that's the interaction you're worried about.  (I don't think it's practical to have multiple forms of inaccessible state.)


Thanks. Regarding this:

> Also, are we saying that volatile loads can write to this inaccessible memory?

can you please clarify your thoughts?


Repository:
  rL LLVM

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

https://reviews.llvm.org/D53184