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

[Sanjoy Das via llvm-dev]

Hi Andy,

Andrew Trick wrote:
 > At some point I stopped thinking about this as a bug and realized that
 > you just need to think of LLVM as modeling speculative code barriers as
 > memory dependence. In LLVM, it makes no sense to have a readonly
 > may-throw call.

The problem is that that model breaks down with aggressive aliasing
like:

void foo(int* restrict ptr) {
   *ptr = 40;
   may_throw(); // read/write call
   *ptr = 50;
}

Now it is tempting to CSE the store of 40 to *ptr.  If we can't do
that then what does restrict/noalias even mean?

-- Sanjoy