See here: http://www.webkit.org/docs/b3/intermediate-representation.html