Pl. a Microsoft compiler a CALL helyett JMP hívással megy tovább a bootloader-ed függvényébe, mivel látja, hogy ez a függvény utolsó sora. Úgy itt ezért kellett pl. negatív szám ahhoz, hogy mekkora a stack frame.
Ezt amúgy úgy hívják hogy tail-call optimization és/vagy tail call elimination és szabvány optimalizációs gyakorlat. Wiki cikk is van róla. Szerintem a GCC is csinál ilyet bizonyos esetekben. De igen, fordítófüggő hogy hányszor és hogyan és milyen helyzetekben használja.