De fato, eles devem ser suportados, ou o código da linha de base pode ficar sem espaço em pilha.O código gerado é mais lento, mas eventualmente as camadas até o Turbofan se a função estiver quente o suficiente.Os parâmetros são movidos para seus registros esperados de acordo com a ligação do FIB_REC (não mostrada no diagrama).Podemos corrigir isso adicionando __Attribute __ ((__ Musttail____)) ao retorno em FIB_REC e adicionando -mtail -call aos argumentos de compilação.Se os conflitos são acíclicos, isso é apenas uma questão de reordenar os movimentos, de modo que todas as fontes sejam lidas antes de serem substituídas.
Fonte: https://v8.dev/blog/wasm-tail-call