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 mailing list