Richard Sandiford wrote: [snip] > >> Ugh. I don't like the "nogp32" and "nogp64". > > > > Well, it is what MIPS' SDE toolchain supports. > > I'm not sure whether you're giving that as a reason not to change it, > or whether it's just an FYI. It's FYI, and it might mean one more local patch for MIPS. Thiemo