How to get to 100% precise tracing GC?

[Ola Fosheim Grøstad]

On Sunday, 15 November 2020 at 07:58:41 UTC, Paulo Pinto wrote:
> On Sunday, 15 November 2020 at 05:38:07 UTC, Ola Fosheim 
> Grøstad wrote:
>> ...
>>
>> Maybe the LLVM GC infrastucture can help? I haven't looked on 
>> the details, but that seems like a possibility.
>
> Probably not, as it has hardly been properly battle tested.
>
> There is no big project in the wild making use of it, as it 
> isn't a proper GC, rather just the tooling to manipulate safe 
> points and write barriers, everything else is up  to you to 
> implement.

Yes, that it is what we want, the tools to write ones own GC. The 
LLVM documentation states that it has been used for a commercial 
Java compiler with a relocating collector.

LLVM does compute stack maps, which is what we want. D has 
interior pointers without base pointers not sure how that affects 
the various LLVM GC features.

https://llvm.org/docs/GarbageCollection.html#computing-stack-maps
https://llvm.org/docs/StackMaps.html#stackmap-section