9592 static IRExpr* mkV128from32s ( IRTemp t3, IRTemp t2,  in mkV128from32s()  function
10297           mkV128from32s( SEL((order>>6)&3), SEL((order>>4)&3),  in dis_PSHUFD_32x4()
11027    assign(res,  xIsH ? mkV128from32s( s3, d3, s2, d2 )  in math_UNPCKxPS_128()
11028                      : mkV128from32s( s1, d1, s0, d0 ));  in math_UNPCKxPS_128()
11105           mkV128from32s( SELS((imm8>>6)&3), SELS((imm8>>4)&3),   in math_SHUFPS_128()
11421    assign( res, mkV128from32s( a3, s2, a1, s0 ) );  in math_ADDSUBPS_128()
15313       ( rG, isL ? mkV128from32s( s2, s2, s0, s0 )  in dis_MOVSxDUP_128()
15314                 : mkV128from32s( s3, s3, s1, s1 ) );  in dis_MOVSxDUP_128()
15344    putYMMRegLane128( rG, 1, isL ? mkV128from32s( s6, s6, s4, s4 )  in dis_MOVSxDUP_256()
15345                                 : mkV128from32s( s7, s7, s5, s5 ) );  in dis_MOVSxDUP_256()
15346    putYMMRegLane128( rG, 0, isL ? mkV128from32s( s2, s2, s0, s0 )  in dis_MOVSxDUP_256()
15347                                 : mkV128from32s( s3, s3, s1, s1 ) );  in dis_MOVSxDUP_256()
15363    assign( leftV,  mkV128from32s( s2, s0, d2, d0 ) );  in math_HADDPS_128()
15364    assign( rightV, mkV128from32s( s3, s1, d3, d1 ) );  in math_HADDPS_128()
18925                assign(withZs, mkV128from32s(u32, z32, z32, z32));  in math_PINSRD_128()
18928                assign(withZs, mkV128from32s(z32, u32, z32, z32));  in math_PINSRD_128()
18931                assign(withZs, mkV128from32s(z32, z32, u32, z32));  in math_PINSRD_128()
18934                assign(withZs, mkV128from32s(z32, z32, z32, u32));  in math_PINSRD_128()
18983    assign( resV, mkV128from32s(   in math_INSERTPS()
19093    assign( prod_vec, mkV128from32s( v3, v1, v2, v0 ) );  in math_DPPS_128()
30378    assign(res, mkV128from32s( SEL((imm8 >> 6) & 3),  in math_VPERMILPS_128()