Encoding vcmpps and vcmppd (via abhin4v) — discussion

#assembly