4 ms·
The question was intentionally vague. I'm looking for interesting threads of thought. Thanks for your post. libFirm is the only compiler which does not deconst
by ced 16y ago
The question was intentionally vague. I'm looking for interesting threads of thought. Thanks for your post.
libFirm is the only compiler which does not deconstruct SSA form
I thought that continuation-passing-style compilers didn't use SSA, and that most Scheme implementations were CPS. No?
- beza1e1 16y agoSSA and CPS is equivalent: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.6773 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.67... In SSA form most operations (add,sub,...) are side-effect free and the rest (load,store,call,...) can be understood as using something like a "Memory Monad".