On 10/21/24 6:39 AM, Leon Hwang wrote:
In the x86_64 JIT, tailcall info is propagated through the trampoline when the target program is tail_call_reachable. However, this propagation is unnecessary if the target is a main prog, or a subprog that is not tail_call_reachable. Since the verifier can determine if a subprog is tail_call_reachable, it should only propagate tailcall info when the target is subprog and the subprog is actually tail_call_reachable. Signed-off-by: Leon Hwang <leon.hwang@xxxxxxxxx>
Looks correct to me. Acked-by: Yonghong Song <yonghong.song@xxxxxxxxx>
