18907 static IRTemp math_DPPD_128 ( IRTemp src_vec, IRTemp dst_vec, UInt imm8 )  in math_DPPD_128()  argument
18918                                   mkexpr(dst_vec), mkexpr(src_vec) ),  in math_DPPD_128()
18935 static IRTemp math_DPPS_128 ( IRTemp src_vec, IRTemp dst_vec, UInt imm8 )  in math_DPPS_128()  argument
18953                          mkexpr(rm), mkexpr(dst_vec), mkexpr(src_vec) ),   in math_DPPS_128()
18978 static IRTemp math_MPSADBW_128 ( IRTemp dst_vec, IRTemp src_vec, UInt imm8 )  in math_MPSADBW_128()  argument
18995    assign(dst_masked, binop(Iop_AndV128, mkexpr(dst_vec), mkexpr(dst_maskV)));  in math_MPSADBW_128()
19309          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19314          assign( dst_vec, getXMMReg( gregOfRexRM(pfx, modrm) ) );  in dis_ESC_0F3A__SSE4()
19335                     mkexpr( math_BLENDPS_128( src_vec, dst_vec, imm8) ) );  in dis_ESC_0F3A__SSE4()
19346          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19350          assign( dst_vec, getXMMReg( gregOfRexRM(pfx, modrm) ) );  in dis_ESC_0F3A__SSE4()
19371                     mkexpr( math_BLENDPD_128( src_vec, dst_vec, imm8) ) );  in dis_ESC_0F3A__SSE4()
19382          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19387          assign( dst_vec, getXMMReg( gregOfRexRM(pfx, modrm) ) );  in dis_ESC_0F3A__SSE4()
19408                     mkexpr( math_PBLENDW_128( src_vec, dst_vec, imm8) ) );  in dis_ESC_0F3A__SSE4()
19608          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19610          assign( dst_vec, getXMMReg( rG ) );  in dis_ESC_0F3A__SSE4()
19628          IRTemp res = math_DPPS_128( src_vec, dst_vec, imm8 );  in dis_ESC_0F3A__SSE4()
19641          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19643          assign( dst_vec, getXMMReg( rG ) );  in dis_ESC_0F3A__SSE4()
19661          IRTemp res = math_DPPD_128( src_vec, dst_vec, imm8 );  in dis_ESC_0F3A__SSE4()
19673          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__SSE4()  local
19677          assign( dst_vec, getXMMReg(rG) );  in dis_ESC_0F3A__SSE4()
19697          putXMMReg( rG, mkexpr( math_MPSADBW_128(dst_vec, src_vec, imm8) ) );  in dis_ESC_0F3A__SSE4()
31293          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__VEX()  local
31298             assign( dst_vec, getXMMReg( rE ) );  in dis_ESC_0F3A__VEX()
31305             assign( dst_vec, loadLE( Ity_V128, mkexpr(addr) ) );  in dis_ESC_0F3A__VEX()
31313          IRTemp res_vec = math_DPPS_128( src_vec, dst_vec, imm8 );  in dis_ESC_0F3A__VEX()
31323          IRTemp dst_vec = newTemp(Ity_V256);  in dis_ESC_0F3A__VEX()  local
31328             assign( dst_vec, getYMMReg( rE ) );  in dis_ESC_0F3A__VEX()
31335             assign( dst_vec, loadLE( Ity_V256, mkexpr(addr) ) );  in dis_ESC_0F3A__VEX()
31345          breakupV256toV128s( dst_vec, &d1, &d0 );  in dis_ESC_0F3A__VEX()
31361          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__VEX()  local
31366             assign( dst_vec, getXMMReg( rE ) );  in dis_ESC_0F3A__VEX()
31373             assign( dst_vec, loadLE( Ity_V128, mkexpr(addr) ) );  in dis_ESC_0F3A__VEX()
31381          IRTemp res_vec = math_DPPD_128( src_vec, dst_vec, imm8 );  in dis_ESC_0F3A__VEX()
31395          IRTemp dst_vec = newTemp(Ity_V128);  in dis_ESC_0F3A__VEX()  local
31399          assign( dst_vec, getXMMReg(rV) );  in dis_ESC_0F3A__VEX()
31419          putYMMRegLoAndZU( rG, mkexpr( math_MPSADBW_128(dst_vec,  in dis_ESC_0F3A__VEX()
31430          IRTemp dst_vec = newTemp(Ity_V256);  in dis_ESC_0F3A__VEX()  local
31436          assign( dst_vec, getYMMReg(rV) );  in dis_ESC_0F3A__VEX()
31456          breakupV256toV128s( dst_vec, &dHi, &dLo );  in dis_ESC_0F3A__VEX()