Home | History | Annotate | Download | only in priv

Lines Matching defs:s2V

12099       IRTemp s2V  = newTemp(Ity_V128);
12120       assign( s2V, getXMMReg(gregOfRexRM(pfx,modrm)) );
12123       assign( s2Hi, unop(Iop_V128HIto64, mkexpr(s2V)) );
12124       assign( s2Lo, unop(Iop_V128to64,   mkexpr(s2V)) );
12313       IRTemp s2V  = newTemp(Ity_V128);
12334       assign( s2V, getXMMReg(gregOfRexRM(pfx,modrm)) );
12337       assign( s2Hi, unop(Iop_V128HIto64, mkexpr(s2V)) );
12338       assign( s2Lo, unop(Iop_V128to64,   mkexpr(s2V)) );