[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...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160222/ac6a279b/attachment.html>

More information about the llvm-dev mailing list