Matt Fowles wrote:
It is also possible for functions to jump forward to the return
continuation of a function called later on
Yes. But I can't see a problem with that. The opcode after an invoke opcode is already the begin of a new basic block. The forward branch would just be an additional edge in the CFG with no additional information.
The (for the register allocator invisible) creation of loops is the PITA.
Matt
leo
