search

Harvard-PRINCESS / Guppy

A very adaptable fish.
Other
1 stars 3 forks source link

Find the formulation of calling conventions in the C-- code dump #42

Open ghost opened 7 years ago

ghost commented 7 years ago

Somewhere in the 500000 lines of SML we got from Norman Ramsey there's a representation of calling conventions. This is an expensive piece of sausage that we really do not want to try to make ourselves. Ideally we can get Norman to tell us where it is, or send us something specific, but if not we need to dig it up ourselves. A version from a paper is a second choice because versions in papers often have complexities glossed over, and we need the production-grade version. However, a version from a paper might help searching that code base...

marikgoldstein commented 7 years ago

Would love to know more about this. Might ask you when I see you if you don't mind. Will do some internet digging.

ghost commented 7 years ago

I found what's probably either the exact reference or a good starting point to find a later canonical version:

Reuben Olinsky, Christian Lindig, and Norman Ramsey. 2006 (January). Staged allocation: A compositional technique for specifying and implementing procedure calling conventions. In Proceedings of the 33rd ACM Symposium on the Principles of Programming Languages, pages 409-421.