[llvm-dev] RFC: Strong GC References in LLVM

Lawrence, Peter via llvm-dev
Tue, 19 Jul 2016 01:13:21 -0000

>     Hi all,

>

>

>        2. Introduce a flag on load and stores that either

>             a. Denotes a "gc_safety" control dependence.

>             b. Denotes a "blackbox_safety" control dependence.
In this case

>                we will probably have some optional metadata on loads and

>                stores to indicate that the control dependence is actually
on

>                GC safety.

>

>

> Suggested name for 2b: "unsafe" or "predicated".
Essentially, that the

> load is not generally safe to do even if the *memory* is generally safe

> to load from because of some external effect.


Sounds like "volatile" to me ...

--Peter Lawrence.
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20160719/7592a2f6/attachment.html>