Displaying 2 results from an estimated 2 matches for "objfield".
Did you mean:
lobjfield
2016 Jul 12
2
RFC: Strong GC References in LLVM
.... You could have a valid
object, but the GCRef field may only be valid under some type check.
Yes, in practice the "is_reference" check will be a type check. You
can end up with this from Java code that looks like:
class A {
long longField; // Offset 16, say
}
class B {
Object objField; // Offset 16 also
}
void f(A a) {
Object o = a;
// Since a is of type A, we know that it is dereferenceable up to
// 16+8 == 24 bytes, but it does not mean that we can speculate
// the load of objField.
// This is kind of silly as written, but this does happen after
// inlini...
2016 Jun 24
6
RFC: Strong GC References in LLVM
This is a proposal to add strong GC reference types to LLVM.
We have some local (downstream) patches that are needed to prevent
LLVM's optimizer from making transforms that are problematic in the
presence of a precise relocating GC. Adding a notion of a strong GC
reference to LLVM will let us upstream these patches in a principled
manner, and will act as a measure to avoid new problematic