The question was intentionally vague. I'm looking for interesting threads of tho... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

ced on Aug 19, 2010 | parent | context | favorite | on: The Future of Compiler Optimization

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 on Aug 20, 2010 [–]

SSA and CPS is equivalent: 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".

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact