@cmuratori About static single assignment. SSA adds in a lot of mov instructions, which are supposed to be optimised away later. But when I look at code generated by one of the big compilers, it is stuffed with superfluous mov instructions. I think that says a lot about SSA.
Well, it's twitter, so it's hard to discuss, but yet - if you mean "use SSA" to just mean "have an IR that assigns nodes to computed values", sure. But I think Jacob meant "use SSA" as actually generate the SSA version of the code and then start processing it.
-
-
I also meant it as "actually generate the SSA version of the code and then start processing it." The paper I linked is on how to generate a good SSA version of the code directly instead of producing a bunch of garbage along the way.
-
But then that is not SSA code is the point. "Generate a good SSA version of the code" is a non-statement. Generate a _non_ SSA version of the code is what you are doing at that point.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.