[llvm-dev] RFC: Add guard intrinsics to LLVM
Andrew Trick via llvm-dev
llvm-dev at lists.llvm.org
Mon Feb 22 22:09:56 PST 2016
> On Feb 22, 2016, at 9:58 PM, Sanjoy Das <sanjoy at playingwithpointers.com> wrote:
> You'd still have to be careful around
> inaccessiblememonly and friends, though.
I either missed that attribute or forgot about it. The semantics aren’t well specified. I would hope that it works as follows:
inaccessiblememonly functions, without further constraints, cannot be reordered w.r.t each other or CSE’d. However, readonly + inaccessiblememory attributes could be combined to allow both of those transformations.
@trap_on could be reordered with readonly + inaccessiblememory.
I’m suggesting that readonly should refer to both accessible (LLVM) and inaccessible (system) memory.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev