La risposta è: nei processori odierni, cioè quelli che materialmente si usano, il valore è ritornato in un registro della CPU.
Tutto il resto (uso dello stack, inesistenza di registri etc.etc.) sono tutti aspetti teorici-accademici