[Staged allocation] expects each high-level type to be mapped … For example, the "float" kind might indicate a … [p. 412] each parameter or result should be passed … More generally, a combination of registers and memory …
Google-1
Google-2
Copyright clearance needed for quotation.