Hacker News Reader

Comment by rayiner | Hacker News Reader

If you're wondering what the heck SSA is: http://www.cs.rice.edu/~keith/512/2013/Lectures. Specifically this one: http://www.cs.rice.edu/~keith/512/2013/Lectures/11InfoChains.... The folks at Rice have the most approachable material on program optimization I've come across.

View on HN

> The folks at Rice have the most approachable material on program optimization I've come across.

What a funny bit of synchronicity. I just started reading Cooper and Torczon's "Engineering a Compiler" and, though I've just gotten started, it seems really awesome so far. They're pretty clear that the book is focused heavily on optimization and back-end, which is exactly what I was looking for.

EaC is great. The Rice papers linked in Coopers' lectures, e.g. Simpson's thesis on value-numbering, are the basis for some of the book's original material, and are a great supplement.

Also, Wikipedia has a very good article on it. Got me the basics in a clear, concise way: https://en.wikipedia.org/wiki/Static_single_assignment_form

I found this one helpful: http://wingolog.org/archives/2011/07/12/static-single-assign...

Is IR instruction representation?

Intermediate representation: http://en.wikipedia.org/wiki/Intermediate_language#Intermedi...

Almost: Intermediate representation. "Intermediate" because its primary purpose is communication between different phases of a compiler in a serializable form. Some compilers actually have multiple IRs for different stages; for example, GHC will first turn Haskell code into "Core," followed by STG, C--, and LLVM IR.

Reply on news.ycombinator.com