REGNO_ARM32_S31
LAST_REGISTER = REGNO_ARM32_S31,
LAST_RESTORE_REG = REGNO_ARM32_S31,
return (num >= REGNO_ARM32_D0 && num <= REGNO_ARM32_S31);
if (num >= REGNO_ARM32_S0 && num <= REGNO_ARM32_S31) {