Re: Straight-line single assignment in C--

2012-01-23 Thread Simon Marlow
On 21/01/2012 20:39, Edward Z. Yang wrote: 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 wi

Re: Straight-line single assignment in C--

2012-01-21 Thread Edward Z. Yang
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 inlinin

Straight-line single assignment in C--

2012-01-20 Thread Edward Z. Yang
Hello all, I was wondering if the following style of register assignment ever shows up in C-- code generated by GHC: a = R1 I32[a] = 1 a = R2 I32[a] = 2 That is to say, there are two disjoint live ranges of a: we could rename all instances of a in the first and second lines to so