18455 static IRTemp math_DPPD_128 ( IRTemp src_vec, IRTemp dst_vec, UInt imm8 )  in math_DPPD_128()  argument
18466                                   mkexpr(dst_vec), mkexpr(src_vec) ),  in math_DPPD_128()
18483 static IRTemp math_DPPS_128 ( IRTemp src_vec, IRTemp dst_vec, UInt imm8 )  in math_DPPS_128()  argument
18501                          mkexpr(rm), mkexpr(dst_vec), mkexpr(src_vec) ),   in math_DPPS_128()
18526 static IRTemp math_MPSADBW_128 ( IRTemp dst_vec, IRTemp src_vec, UInt imm8 )  in math_MPSADBW_128()  argument
18543    assign(dst_masked, binop(Iop_AndV128, mkexpr(dst_vec), mkexpr(dst_maskV)));  in math_MPSADBW_128()
18857          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
18862          assign( dst_vec, getXMMReg( gregOfRexRM(pfx, modrm) ) );  in dis_ESC_0F3A__SSE4()
18883                     mkexpr( math_BLENDPS_128( src_vec, dst_vec, imm8) ) );  in dis_ESC_0F3A__SSE4()
18894          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
18898          assign( dst_vec, getXMMReg( gregOfRexRM(pfx, modrm) ) );  in dis_ESC_0F3A__SSE4()
18919                     mkexpr( math_BLENDPD_128( src_vec, dst_vec, imm8) ) );  in dis_ESC_0F3A__SSE4()
18930          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
18935          assign( dst_vec, getXMMReg( gregOfRexRM(pfx, modrm) ) );  in dis_ESC_0F3A__SSE4()
18956                     mkexpr( math_PBLENDW_128( src_vec, dst_vec, imm8) ) );  in dis_ESC_0F3A__SSE4()
19156          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19158          assign( dst_vec, getXMMReg( rG ) );  in dis_ESC_0F3A__SSE4()
19176          IRTemp res = math_DPPS_128( src_vec, dst_vec, imm8 );  in dis_ESC_0F3A__SSE4()
19189          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19191          assign( dst_vec, getXMMReg( rG ) );  in dis_ESC_0F3A__SSE4()
19209          IRTemp res = math_DPPD_128( src_vec, dst_vec, imm8 );  in dis_ESC_0F3A__SSE4()
19221          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19225          assign( dst_vec, getXMMReg(rG) );  in dis_ESC_0F3A__SSE4()
19245          putXMMReg( rG, mkexpr( math_MPSADBW_128(dst_vec, src_vec, imm8) ) );  in dis_ESC_0F3A__SSE4()
30832          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__VEX()  local
30837             assign( dst_vec, getXMMReg( rE ) );  in dis_ESC_0F3A__VEX()
30844             assign( dst_vec, loadLE( Ity_V128, mkexpr(addr) ) );  in dis_ESC_0F3A__VEX()
30852          IRTemp res_vec = math_DPPS_128( src_vec, dst_vec, imm8 );  in dis_ESC_0F3A__VEX()
30862          IRTemp dst_vec = newTemp(Ity_V256);  in dis_ESC_0F3A__VEX()  local
30867             assign( dst_vec, getYMMReg( rE ) );  in dis_ESC_0F3A__VEX()
30874             assign( dst_vec, loadLE( Ity_V256, mkexpr(addr) ) );  in dis_ESC_0F3A__VEX()
30884          breakupV256toV128s( dst_vec, &d1, &d0 );  in dis_ESC_0F3A__VEX()
30900          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__VEX()  local
30905             assign( dst_vec, getXMMReg( rE ) );  in dis_ESC_0F3A__VEX()
30912             assign( dst_vec, loadLE( Ity_V128, mkexpr(addr) ) );  in dis_ESC_0F3A__VEX()
30920          IRTemp res_vec = math_DPPD_128( src_vec, dst_vec, imm8 );  in dis_ESC_0F3A__VEX()
30934          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__VEX()  local
30938          assign( dst_vec, getXMMReg(rV) );  in dis_ESC_0F3A__VEX()
30958          putYMMRegLoAndZU( rG, mkexpr( math_MPSADBW_128(dst_vec,  in dis_ESC_0F3A__VEX()
30969          IRTemp dst_vec = newTemp(Ity_V256);  in dis_ESC_0F3A__VEX()  local
30975          assign( dst_vec, getYMMReg(rV) );  in dis_ESC_0F3A__VEX()
30995          breakupV256toV128s( dst_vec, &dHi, &dLo );  in dis_ESC_0F3A__VEX()