No, there are two phases in register allocation. The first is to allocate general register, the second is to allocate double registers. On IA32 and X64 port, SIMD128 register is the same with double register (both are using XMM register), this is why we allocate them together in the second phase.