Straight-line single assignment in C--
Edward Z. Yang
ezyang at MIT.EDU
Sat Jan 21 21:39:40 CET 2012
Excerpts from Edward Z. Yang's message of Fri Jan 20 23:44:02 -0500 2012:
> If multiple assignment is rare enough in straight line code, I might
> be able to take the conservative approach and just say
> a -> used multiple times
> Which I don't think will cause any problems in the inlining step later.
> But I don't have a good sense for this.
I realized the answer to my question, which is YES. In particular, the
spill-reload step will result in this happening. Back to the drawing board...
More information about the Glasgow-haskell-users