[llvm-dev] Moving stacks in LLVM

Demi Obenour via llvm-dev llvm-dev at lists.llvm.org
Tue Jul 25 21:35:26 PDT 2017

The reason that GHC is forced to pass input to LLVM that is in CPS is
ultimately quite simple: the GHC RTS expects to be able to move the GHC
stack, because thread stacks are GC’d objects.  Until LLVM supports this,
it is not possible for GHC to generate direct-style LLVM IR, because GHC“s
implementation of lightweight threads depends on this.

Does LLVM have any support for the case where the stack pointer might
change at a garbage collection?  If not, how difficult would it be to add
such support?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170726/c5bcc3c8/attachment.html>

More information about the llvm-dev mailing list