<div dir="ltr">Hi llvm-dev,<div>I'm trying to build a managed language that requires function call with return barrier using LLVM IR.</div><div><br></div><div>During execution of a function call, if a special event during the call happens, it will overwrite the return address in the stack frame to another block, then continue the execution in the original function until it's actually returned, then execute a different block.</div><div><br></div><div>It will be equivalent to the following pseudo code:</div><div><br></div><div>flag, X = doSomeCall()</div><div>if (!flag) {</div><div>use1:</div><div>  // something use X</div><div>} else {</div><div>use2: </div><div>  // something else use X</div><div>}</div><div><br></div><div>While I'd like to make the flag implicit by changing the return address in stack frame from use1 to use2 and duplicate the post-call part, because such flag check could be added to almost every call site for my language and the probability returning other branch will be extremely unlikely.</div><div><br></div><div>May I get some advise on how to implement the return barrier like this, even just locally? </div><div><br></div><div>Introducing a new type of invoke inst that allows 2 normal destinations plus 2 unwind destination seems too much changes to make.</div><div><br></div><div>Currently, I'm trying to add a new intrinsic IMPLICIT_FORK that returns a bool that can be used for conditional branch to introduce an extra successor in IR without emitting an code to trick the CFG passes, and that successor block must start with another intrinsic call CONTINUE which continues the call: it just emit a NOP but returns the value, and PC for the NOP will be stored by some global metadata value so the runtime knows which is the new PC value to overwrite, and address of NOP inst can still be used to unwind the stack properly.</div><div><br></div><div>I've also tried using a general trampoline to be new return address, and based on return value from calling convention to record the return value, and throw an exception to go back to original method.</div><div><br></div><div>Cheers</div><div>Chuan</div></div>