Lines Matching refs:s2V
10989 IRTemp s2V = newTemp(Ity_V128);
11010 assign( s2V, getXMMReg(gregOfRM(modrm)) );
11013 assign( s2Hi, unop(Iop_V128HIto64, mkexpr(s2V)) );
11014 assign( s2Lo, unop(Iop_V128to64, mkexpr(s2V)) );
11188 IRTemp s2V = newTemp(Ity_V128);
11209 assign( s2V, getXMMReg(gregOfRM(modrm)) );
11212 assign( s2Hi, unop(Iop_V128HIto64, mkexpr(s2V)) );
11213 assign( s2Lo, unop(Iop_V128to64, mkexpr(s2V)) );