X86.RegInfo

mkVirtualReg

regDotColor