Loading...
Please wait, while we are loading the content...
Similar Documents
Callee-save Registers in Continuation-passing Style (1992)
| Content Provider | CiteSeerX |
|---|---|
| Author | Appel, Andrew W. Shao, Zhong |
| Abstract | . Continuation-passing style (CPS) is a good abstract representation to use for compilation and optimization: it has a clean semantics and is easily manipulated. We examine how CPS expresses the saving and restoring of registers in source-language procedure calls. In most CPS-based compilers, the context of the calling procedure is saved in a "continuation closure"---a single variable that is passed as an argument to the function being called. This closure is a record containing bindings of all the free variables of the continuation; that is, registers that hold values needed by the caller "after the call" are written to memory in the closure, and fetched back after the call. Consider the procedure-call mechanisms used by conventional compilers. In particular, registers holding values needed after the call must be saved and later restored. The responsibility for saving registers can lie with the caller (a "caller-saves" convention) or with the called function ("callee-saves"). In pract... |
| File Format | |
| Journal | Lisp and Symbolic Computation |
| Journal | LISP and Symbolic Computation |
| Journal | LISP AND SYMBOLIC COMPUTATION |
| Publisher Date | 1992-01-01 |
| Access Restriction | Open |
| Subject Keyword | Caller-saves Convention Continuation Closure Free Variable Conventional Compiler Continuation-passing Style Source-language Procedure Single Variable Callee-save Register Good Abstract Representation Procedure-call Mechanism Cps-based Compiler Clean Semantics |
| Content Type | Text |
