On Wed, 16 Nov 2016, Matthew Fortune wrote: > OK. I have no idea what system supports 64-bit MIPS16 but given it costs > little to improve consistency here then it is at least doing no harm.
No recent real hardware I believe. Among older implementations there were the NEC Vr4111 and Vr4121 processors, both at the MIPS III ISA level, sans atomics and FPU. Which is likely why we only support the soft-float model with NewABI MIPS16 compilations. They had the usual TLB MMU though, so in principle they could run Linux and have the FPU emulator kick in for hard-float operations, except of course their glory was well before MIPS16 support was even considered for Linux. Then there's always QEMU of course too. Patch applied (with another obvious whitespace fix), along with the rest from this set. Thanks for your review! Maciej
