Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /MLRISC/trunk/staged-alloc/README
ViewVC logotype

Annotation of /MLRISC/trunk/staged-alloc/README

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3215 - (view) (download)

1 : mrainey 3158 Staged Allocation for MLRISC
2 :     Mike Rainey (mrainey@cs.uchicago.edu)
3 :    
4 :     Staged allocation is a technique for handling calling conventions for different
5 :     architectures and languages. The basic idea is to use a domain-specific language
6 :     for calling conventions and an allocator machine. The allocator machine takes
7 :     a convention encoded in this language and a function signature and returns the
8 :     machine locations for passing and returning values. From there, it is trivial
9 :     to generate the calling sequence. For the full treatment, see the original
10 :     paper by Olinsky et. al.
11 :    
12 :     * Staged allocation: a compositional technique for specifying and implementing procedure calling conventions - http://www.eecs.harvard.edu/~nr/pubs/staged-abstract.html
13 :    
14 :     Our library consists of two parts:
15 :     * allocator - follows the operational semantics given in the paper
16 :     * conventions - several calling conventions

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0