E.g. order of eval of args to a call…if you have SSA a compiler can easily reorder to match target, no need to leave unspecified.
@samth Also I guess I'm saying that we shouldn't underspecify our PLs for the benefit of old compiler tech. In 2013 we can assume SSA form.
-
-
@pcwalton I agree with the message -- underspecification is bad. But SSA form doesn't tell you purity of function calls, for example.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.