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

Sanjoy Das via llvm-dev
Tue, 19 Jul 2016 01:16:26 -0000

Hi Peter,

On Mon, Jul 18, 2016 at 6:13 PM, Lawrence, Peter via llvm-dev
<llvm-dev at lists.llvm.org> wrote:
>> 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 …

volatile accesses can't be sunk (i.e. changed to execute in a subset
of the cases it would have executed in the original program) or elided
(e.g. if the result of the load is unused), but both of these are
valid for gc references.

-- Sanjoy