$C25 returned to GPCR

[hbcam]

$C25 is now a general purpose register.

'ReservedCheriRegs' still contains it.

https://github.com/CTSRD-CHERI/llvm/blob/master/lib/Target/Mips/MipsRegisterInfo.cpp

  static const uint16_t ReservedCheriRegs[] = {
    Mips::C0, Mips::C25, Mips::C26, Mips::C27, Mips::C28, Mips::C29, Mips::C30,
    Mips::C31
  };

Would it be a good idea to add it to the callee-save registers?

[davidchisnall]

I think that we're currently shorter of caller-save than callee-save registers, so probably better to use it there. Just deleting it from this enum should do that.

[hbcam]

Done in #158 .

[arichardson]

No further improvements to CHERI-MIPS planned.