On 1 November 2011 19:25, Andreas Färber <andreas.faer...@web.de> wrote: > Feel free to refactor fpu/* instead to not use uint16 in the first > place. I did so once and it was rejected, so I'm not too inclined to do > that again unless we decide on how exactly to proceed with that!
I think we could probably resolve that with a little bit of benchmarking about whether it really makes any difference whether we use an int16_t or an int32_t for the variables where softfloat has int16 currently; but benchmarking is tedious so I've never got round to it :-) -- PMM