So I wouldnt say that LLVM places restrictions, but I will say a little of my experience doing LLVM + BoehmGC BoehmGC uses the stack for its root set (where it

So I wouldnt say that LLVM places restrictions, but I will say a little of my experience doing LLVM + BoehmGC BoehmGC uses the stack for its root set (where it starts to find live memory). With LLVM, you dont ever need to explicitly use the stack, you can use registers for everything and make LLVM figure out if it should go on the stack or not. If you want to use Boehm with LLVM, you are forced to explicitly allocate everything on the stack, and not just on a register, so that Boehm is guaranteed to find the memory. So I wouldnt say restriction, but definitely you need to think about how LLVM operates with the GC and other runtime components of your language.