19044 static IRTemp math_DPPD_128 ( IRTemp src_vec, IRTemp dst_vec, UInt imm8 )  in math_DPPD_128()  argument
19055                                   mkexpr(dst_vec), mkexpr(src_vec) ),  in math_DPPD_128()
19072 static IRTemp math_DPPS_128 ( IRTemp src_vec, IRTemp dst_vec, UInt imm8 )  in math_DPPS_128()  argument
19090                          mkexpr(rm), mkexpr(dst_vec), mkexpr(src_vec) ),   in math_DPPS_128()
19115 static IRTemp math_MPSADBW_128 ( IRTemp dst_vec, IRTemp src_vec, UInt imm8 )  in math_MPSADBW_128()  argument
19132    assign(dst_masked, binop(Iop_AndV128, mkexpr(dst_vec), mkexpr(dst_maskV)));  in math_MPSADBW_128()
19446          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19451          assign( dst_vec, getXMMReg( gregOfRexRM(pfx, modrm) ) );  in dis_ESC_0F3A__SSE4()
19472                     mkexpr( math_BLENDPS_128( src_vec, dst_vec, imm8) ) );  in dis_ESC_0F3A__SSE4()
19483          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19487          assign( dst_vec, getXMMReg( gregOfRexRM(pfx, modrm) ) );  in dis_ESC_0F3A__SSE4()
19508                     mkexpr( math_BLENDPD_128( src_vec, dst_vec, imm8) ) );  in dis_ESC_0F3A__SSE4()
19519          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19524          assign( dst_vec, getXMMReg( gregOfRexRM(pfx, modrm) ) );  in dis_ESC_0F3A__SSE4()
19545                     mkexpr( math_PBLENDW_128( src_vec, dst_vec, imm8) ) );  in dis_ESC_0F3A__SSE4()
19745          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19747          assign( dst_vec, getXMMReg( rG ) );  in dis_ESC_0F3A__SSE4()
19765          IRTemp res = math_DPPS_128( src_vec, dst_vec, imm8 );  in dis_ESC_0F3A__SSE4()
19778          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19780          assign( dst_vec, getXMMReg( rG ) );  in dis_ESC_0F3A__SSE4()
19798          IRTemp res = math_DPPD_128( src_vec, dst_vec, imm8 );  in dis_ESC_0F3A__SSE4()
19810          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19814          assign( dst_vec, getXMMReg(rG) );  in dis_ESC_0F3A__SSE4()
19834          putXMMReg( rG, mkexpr( math_MPSADBW_128(dst_vec, src_vec, imm8) ) );  in dis_ESC_0F3A__SSE4()
31566          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__VEX()  local
31571             assign( dst_vec, getXMMReg( rE ) );  in dis_ESC_0F3A__VEX()
31578             assign( dst_vec, loadLE( Ity_V128, mkexpr(addr) ) );  in dis_ESC_0F3A__VEX()
31586          IRTemp res_vec = math_DPPS_128( src_vec, dst_vec, imm8 );  in dis_ESC_0F3A__VEX()
31596          IRTemp dst_vec = newTemp(Ity_V256);  in dis_ESC_0F3A__VEX()  local
31601             assign( dst_vec, getYMMReg( rE ) );  in dis_ESC_0F3A__VEX()
31608             assign( dst_vec, loadLE( Ity_V256, mkexpr(addr) ) );  in dis_ESC_0F3A__VEX()
31618          breakupV256toV128s( dst_vec, &d1, &d0 );  in dis_ESC_0F3A__VEX()
31634          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__VEX()  local
31639             assign( dst_vec, getXMMReg( rE ) );  in dis_ESC_0F3A__VEX()
31646             assign( dst_vec, loadLE( Ity_V128, mkexpr(addr) ) );  in dis_ESC_0F3A__VEX()
31654          IRTemp res_vec = math_DPPD_128( src_vec, dst_vec, imm8 );  in dis_ESC_0F3A__VEX()
31668          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__VEX()  local
31672          assign( dst_vec, getXMMReg(rV) );  in dis_ESC_0F3A__VEX()
31692          putYMMRegLoAndZU( rG, mkexpr( math_MPSADBW_128(dst_vec,  in dis_ESC_0F3A__VEX()
31703          IRTemp dst_vec = newTemp(Ity_V256);  in dis_ESC_0F3A__VEX()  local
31709          assign( dst_vec, getYMMReg(rV) );  in dis_ESC_0F3A__VEX()
31729          breakupV256toV128s( dst_vec, &dHi, &dLo );  in dis_ESC_0F3A__VEX()