llvm dev - May 2021 - Generate statepoints for given code

Hi All,

I am currently working on evaluating the support of the LLVM GC framework
in order to design a garbage collector.

I have followed the below docs.
https://releases.llvm.org/11.0.0/docs/GarbageCollection.html
https://releases.llvm.org/11.0.0/docs/Statepoints.html
https://releases.llvm.org/11.0.0/docs/StackMaps.html

I am trying to generate the llvm IR with safepoints for the given C code.
This repository contains relevant source files.
https://github.com/KavinduZoysa/test-GCs/tree/master/statepoints

I generated statepoints for main.ll file I used the command *opt-11
--rewrite-statepoints-for-gc main.ll -S -o main-statepoints.ll*

I want to know the way I followed to generate statepoints is correct? If
not the what is the best practice of generating statepoints(for give LLVM
IR) for a garbage collector?

Thank you,
Kavindu

Kavindu Gimhan Zoysa,
BSc(Hons) | ENTC | UoM,
SSE | WSO2

GitHub <https://github.com/KavinduZoysa> LinkedIn
<https://www.linkedin.com/in/kavindu-gimhan-zoysa-85939a122/> Medium
<https://medium.com/@kavindugimhanzoysa>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20210507/e8aa4c2c/attachment.html>

Hi,

It’s not clear what you’re actually trying to do.  Are you trying to write a
garbage collector for C?  That’s unlikely to benefit from the statepoint work
because it’s designed for accurate GCs, whereas C intrinsically requires
conservative GC (or some compiler or hardware changes to track pointer
provenance through integer casts).

David
> On 7 May 2021, at 17:23, Kavindu Gimhan Zoysa via llvm-dev <llvm-dev at
lists.llvm.org> wrote:
> 
> Hi All,
> 
> I am currently working on evaluating the support of the LLVM GC framework
in order to design a garbage collector.
> 
> I have followed the below docs.
> https://releases.llvm.org/11.0.0/docs/GarbageCollection.html
> https://releases.llvm.org/11.0.0/docs/Statepoints.html
> https://releases.llvm.org/11.0.0/docs/StackMaps.html
> 
> I am trying to generate the llvm IR with safepoints for the given C code.
This repository contains relevant source files.
> https://github.com/KavinduZoysa/test-GCs/tree/master/statepoints
> 
> I generated statepoints for main.ll file I used the command opt-11
--rewrite-statepoints-for-gc main.ll -S -o main-statepoints.ll
> 
> I want to know the way I followed to generate statepoints is correct? If
not the what is the best practice of generating statepoints(for give LLVM IR)
for a garbage collector?
> 
> Thank you,
> Kavindu
> 
> Kavindu Gimhan Zoysa,
> BSc(Hons) | ENTC | UoM,
> SSE | WSO2
> 
> GitHub LinkedIn Medium
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev