REGNO_PPC32_V31
REGNO_PPC32_CTR = REGNO_PPC32_V31 + 1,
(num >= REGNO_PPC32_V0 && num <= REGNO_PPC32_V31);