On Wed, Jan 08, 2003 at 11:01:13AM +0100, Steve Hardy wrote: > not entirely true again > > the error in the current code is > > S -> SR = SR > H -> HR = HR > > which should be > > S -> SR = S > H -> HR = H > > that's all. Still simplifies the code.
Ok, I finally got to test this and built a torture tester for this case. The reality is more complex, but you can see how it works by looking at the code I just committed to all branches. Thanks a *lot* for your help on this ! Jeremy.