Move getX86RegNum into X86RegisterInfo and use it