> Peter> Would you be able to do a disassembly on this ? I suspect gcc is using > Peter> floating-point regs to do the 64-bit loads. > > That does not matter. Agreed, I'm just trying to work out what the cause is. Yes, it will be fixed in the o/s. later, Peter.