Rajoute aussi --optimize-code dans ta ligne A68K, en particulier si on sait qu'on va linker avec --optimize-returns, l'option pour émettre tous les labels (même locaux) dans le fichier objet sera mise, et le linker n'effectuera pas l'optimisation tailcall s'il y a un label.

Voilà pourquoi il faut toujours passer les mêmes options à tigcc -c qu'à tigcc.