Implementing implicit stack frame creation

[Toizi]

I am trying to implement a processor module for solana's eBPF, which implicitly creates a new stack frame for each call.
When I tried adding pcode that creates a stack frame before the call and pops it at the function return, the decompilation was messed up. When not doing anything regarding the stack frames, it's unsurprisingly also bad.

I've written down what I tried so far and a bit of background on the architecture in an issue here and would appreciate any pointers on how to implement this correctly.