This needs more asserts on Vd, it can only be a D or a Q register, right.