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 Won't an optimizing compiler easily know when the order doesn't matter due to side effects and just reorder in that case?
-
-
@pcwalton It can be hard to tell if an expression is pure (enough). Also underspecification avoids the need for an analysis. :) -
@samth I'd be interested in concrete examples of where the purity of an expression is hard to tell. - 1 more reply
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.