Pourquoi pas appeler directement printf avec un jsr? Parce qu'il y a des bidouilles d'exportations dans ton truc?

Sinon, le plus efficace est:
PrintfTIGCC: jbra printf

Si tu as toutes les optimisations du linker activées, il va essayer de réordonner les sections pour mettre cette section juste avant printf, puis virer le jbra entièrement.

Et je te signale que PrintfTIGCC: bsr printf est incorrect, il manque le rts et tu devrais faire l'optimisation tailcall de toute façon.