| 
|
QuoteRef: olinR1_2006
Topic:
function call
Topic:
code optimization
Topic:
primitive data type as memory
Reference
Olinsky, R., Lindig, C., Ramsey, R., "Staged allocation: a compositional technique for specifying and implementing procedure calling conventions", Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL 2006, Charleston, South Carolina, USA, January 2006, ACM SIGPLAN, 41, 1, January 2006, pp. 409-421. Google
Notes
QuoteRef: lindC?_2004
abstract ;;Quote: specify a calling convention with staged allocation; composes tiny allocators called stages; precise, formal semantics for compiler implementation and testing
409 ;;Quote: a calling convention is a contract between caller, callee, run-time system, and operating system; must agree on parameters, results, space allocation, reserved stack, stack inspection/modification; hard to get right
411 ;;Quote: staged allocation maps high-level types to a width, kind, and alignment, e.g., float
411+;;Quote: staged allocation assigns locations to a combination of registers and memory
Topic: function call (28 items)
Topic: code optimization (54 items)
Topic: primitive data type as memory (29 items)