On Tue, Jan 04, 2011 at 03:51:37PM +0000, Peter Maydell wrote:
On 4 January 2011 15:15, Aurelien Jarno <address@hidden> wrote:
Use bits32 instead of uint32 when manipulating floating point values
directly for consistency reasons.
I'm not convinced this patch is particularly worthwhile, especially
since
Andreas is working on a patchset which will convert all the bits32
uses back into uint32_t anyway, which is the direction to go if we
want to make the fpu/ code consistent about its type usage.
I don't know in which direction we should go (bits32 or uint32_t), but
we should go for more consistency. When everything is consistent, it's
just a regex to go switch the type.