REGNO_PPC32_R1
uint64_t getSP() const { return reg[REGNO_PPC32_R1]; }
void setSP(uint64_t value) { reg[REGNO_PPC32_R1] = value; }