[PATCH] D102348: [Instructions]: Calls marked with inaccessiblememonly attribute should be considered to not read/write memory

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur added a comment.

If the motivation is to make only `llvm.annotation` to be considered side-effect free, why not make `onlyReadsMemory`/`doesNotReadMemory` return the expected value?
(semantics are weird. Dpes `onlyReadsMemory` impy that it does read from memory)?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D102348