On Tue, Dec 04, 2001 at 04:58:24PM -0800, Geoff Keating wrote: > I was thinking, though, of transformations like > > (mul:DF (neg:DF (reg:DF ...)) (reg:DF ...)) > to > (neg:DF (mul:DF (reg:DF ...) (reg:DF ...))) > > which I couldn't work out whether they were IEEE-safe or not. This is safe. r~