508c508
< 0x1: mulps_Vo_Wo();
---
> 0x1: Inst::MULPS(Vo,Wo);
519c519
< 0x1: mulss_Vd_Wd();
---
> 0x1: Inst::MULSS(Vd,Wd);
530c530
< 0x1: mulpd_Vo_Wo();
---
> 0x1: Inst::MULPD(Vo,Wo);