[llvm-dev] Avoiding alloca elision
Samuel Williams via llvm-dev
llvm-dev at lists.llvm.org
Sat Jun 29 06:31:39 PDT 2019
I'm implementing stack copying coroutines. It's an interesting challenge.
When we use setjmp/longjmp to move between stacks, we must make sure that
restoring the stack doesn't blow away the current stack frame before
To do that, we check how big the stack we are restoring is, and use alloca
to push the current stack frame beyond that. It works but when I add "-O3"
the alloca is elided and it fails again.
I managed to avoid this by using the resulting buffer in an operation the
compiler can't elide. But I was wondering, is there an __attribute__ or
other mechanism by which I can tell the compiler: Don't elide this
statement even if the result is unused.
Here is the code:
You can see on line 57, I forced compiler to use the result of the alloca.
If I remove this, it fails because alloca is not invoked.
Any help/suggestions appreciated.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev