11081    IRTemp dVhi = IRTemp_INVALID, dVlo = IRTemp_INVALID;  in math_UNPCKxPS_256()  local
11083    breakupV256toV128s( dV, &dVhi, &dVlo );  in math_UNPCKxPS_256()
11084    IRTemp rVhi = math_UNPCKxPS_128(sVhi, dVhi, xIsH);  in math_UNPCKxPS_256()
11119    IRTemp dVhi = IRTemp_INVALID, dVlo = IRTemp_INVALID;  in math_SHUFPS_256()  local
11121    breakupV256toV128s( dV, &dVhi, &dVlo );  in math_SHUFPS_256()
11122    IRTemp rVhi = math_SHUFPS_128(sVhi, dVhi, imm8);  in math_SHUFPS_256()
11158    IRTemp dVhi = IRTemp_INVALID, dVlo = IRTemp_INVALID;  in math_SHUFPD_256()  local
11160    breakupV256toV128s( dV, &dVhi, &dVlo );  in math_SHUFPD_256()
11161    IRTemp rVhi = math_SHUFPD_128(sVhi, dVhi, (imm8 >> 2) & 3);  in math_SHUFPD_256()
11196    IRTemp dVhi = IRTemp_INVALID, dVlo = IRTemp_INVALID;  in math_BLENDPD_256()  local
11198    breakupV256toV128s( dV, &dVhi, &dVlo );  in math_BLENDPD_256()
11199    IRTemp rVhi = math_BLENDPD_128(sVhi, dVhi, (imm8 >> 2) & 3);  in math_BLENDPD_256()
11229    IRTemp dVhi = IRTemp_INVALID, dVlo = IRTemp_INVALID;  in math_BLENDPS_256()  local
11231    breakupV256toV128s( dV, &dVhi, &dVlo );  in math_BLENDPS_256()
11232    IRTemp rVhi = math_BLENDPS_128(sVhi, dVhi, (imm8 >> 4) & 15);  in math_BLENDPS_256()
11329    IRTemp sVhi, sVlo, dVhi, dVlo;  in math_PMADDWD_128()  local
11332    sVhi = sVlo = dVhi = dVlo = IRTemp_INVALID;  in math_PMADDWD_128()
11334    breakupV128to64s( dV, &dVhi, &dVlo );  in math_PMADDWD_128()
11338                                 mkIRExprVec_2( mkexpr(sVhi), mkexpr(dVhi))));  in math_PMADDWD_128()
11514    IRTemp sV, s[8], sV64[4], dVhi, dVlo;  in dis_PSHUFxW_256()  local
11518    dVhi  = newTemp(Ity_I64);  in dis_PSHUFxW_256()
11540    assign( dVhi, mk64from16s( s[4 + ((imm8>>6)&3)], s[4 + ((imm8>>4)&3)],  in dis_PSHUFxW_256()
11544    putYMMReg( rG, mkV256from64s( xIsH ? dVhi : sV64[3],  in dis_PSHUFxW_256()
11545                                  xIsH ? sV64[2] : dVhi,  in dis_PSHUFxW_256()
30559          IRTemp  dVhi = math_VPERMILPS_128( sVhi, imm8 );  in dis_ESC_0F3A__VEX()  local
30561          IRExpr* res  = binop(Iop_V128HLtoV256, mkexpr(dVhi), mkexpr(dVlo));  in dis_ESC_0F3A__VEX()