Which I've been watching. If I remember correctly, Philip Reames stated that LLVM's precise GC support was just plain broken, although I don't remember the correspondence of what this essay talks about vs. what Reames discovered (not worth remembering something that's broken and in the process of being fixed). It's in earlier posts to his blog.
"To explicitly state this again since I screwed this up once before, both statepoints and gc.roots can correctly represent relocation semantics in the IR. In fact, the underlying reasoning about their correctness are rather similar."
Argh. I wish he'd used language like "I retract" in the more recent 10/21 post, it got into "weeds" that I was avoiding getting into until he/Team Azul finish their statepoint work. That based on his mistakes with gcroot (granted, I share his goal of high performance precise collection, which is just not in the DNA of C/C++).
