[LLVMdev] CPS

[Carlo Alberto Ferraris]

Hi everybody,
I'd like to try implementing a pass that transforms all functions (and 
function calls, returns, etc.) to CPS, so that TCO can get rid of all 
(or most of) the function calling overhead (because, as you probably 
know, the side effect of using CPS is that all function calls become 
tail calls).
That being said, and since I'm pretty new to LLVM, I'd like to ask a 
couple of things to the veterans:
1. Can you see anything really wrong with the general idea of having 
such a transformation?
2. Has anybody worked on something like this in the past? Are there any 
starting points you'd suggest I should take a look at?
3. Do you have any advice about which direction should I take?

B.R.,
Carlo Alberto Ferraris