471c471
< 0x4: andps_Vo_Wo();
---
> 0x4: Inst::ANDPS(Vo,Wo);
487c487
< 0x4: andpd_Vo_Wo();
---
> 0x4: Inst::ANDPD(Vo,Wo);
989c989
< 0x3: pand_Pq_Qq();
---
> 0x3: Inst::PAND(Pq,Qq);
1000c1000
< 0x3: pand_Vo_Wo();
---
> 0x3: Inst::PAND(Vo,Wo);