[PATCH] D102348: [Instructions]: Calls marked with inaccessiblememonly attribute should be considered to not read/write memory
Michael Kruse via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu May 13 15:26:01 PDT 2021
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
More information about the llvm-commits
mailing list