Mitől függ, hogy egy programnyelvben függvények, parancsok, vagy más kifejezések vannak?

Kipróbáltam a c-s kódot kicsit módosítva, hogy nálam hogy működik:

Vagyis a add1-et int-re visszatérő függvényként meghívtam, méghozzá úgy, hogy egy pointert ráírányítottam mivel a típus nem egyezik típuskényszerítettem:

[link]

Kimenet :

5

12

-O2 és -O3 kapcsolóval fordítva egyaránt a kimenet:

0

0

Valóban igaz, hogy : "Egy nyelvet nem feltétlenül szerencsés valamilyen fordítójának implementációja felől vizsgálni."

A regiszterekről meg még annyit, hogy az esetlegesség (adott hardverkörnyezet és fordító függvénye), hogy milyen regisztereket hogy használ, nem is biztos hogy minden esetben van eax regiszter. Gondoljuk arra, hogy lehet az beágyazott rendszer is, ami speciális célhardverre lévő lefordított c program is lehet.