REGNO_MIPS64_R31
return (num >= REGNO_MIPS64_PC && num <= REGNO_MIPS64_R31) ||
uint64_t reg[REGNO_MIPS64_R31 + 1];