search for: o_new

...ve gotten rid of GCREFs -- they model the behavior of GCREF values in terms of normal pointers that LLC knows how to codegen. The semantics of gc.statepoint are specified (roughly) as: (r0, r1, ... rn) = gc.statepoint(p0, p1, ... pn) is equivalent to 1. for each object o in the heap: o_new = malloc(size of o) *o_new = *o free(o) rewrite all refs to o to point to o_new 2. for each object p_i in (p0, p1, ... pn): set r_i to the the location p_i was relocated to >> ### Changes to the optimizer >> >> We change the optimizer to &g...

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