fn pair_slot(t0: Type, t1: Type) -> PairSlot
Two adjacent F32s share a vector register (SSE eightbyte); anything else bit-packs into a raw integer register.
F32