search for: expandalloca

...reasons this approach wouldn't fly? >> > > I've implemented something similar, but with the motivation of > implementing SFI sandboxing rather than making the stack relocatable. > > The code is here: https://codereview.chromium.org/29743003/ In > particular, see the ExpandAlloca pass. > > That code implements sandboxing at the level of LLVM IR. It restricts all > memory accesses to a range of address space by truncating the memory > address and adding a base pointer. Here are some notes explaining further: > > https://docs.google.com/presentation/d/1RD3...

Hi, I am toying with an idea of having LLVM generate code that has position-independent stacks. This would be a very useful property for implementing all sorts of micro-thread libraries (I am thinking something similar to Python greenlets <http://stackoverflow.com/a/17447308>), because you'd be able to easily save threadlet state from one OS thread and later restore it into another.