15446          IRTemp eV     = newTemp(Ity_V128);  in dis_ESC_0F__SSE3()  local
15454             assign( eV, getXMMReg(rE) );  in dis_ESC_0F__SSE3()
15459             assign( eV, loadLE(Ity_V128, mkexpr(addr)) );  in dis_ESC_0F__SSE3()
15465          putXMMReg( rG, mkexpr( math_HADDPS_128 ( gV, eV, isAdd ) ) );  in dis_ESC_0F__SSE3()
15471          IRTemp eV     = newTemp(Ity_V128);  in dis_ESC_0F__SSE3()  local
15479             assign( eV, getXMMReg(rE) );  in dis_ESC_0F__SSE3()
15484             assign( eV, loadLE(Ity_V128, mkexpr(addr)) );  in dis_ESC_0F__SSE3()
15490          putXMMReg( rG, mkexpr( math_HADDPD_128 ( gV, eV, isAdd ) ) );  in dis_ESC_0F__SSE3()
15498          IRTemp eV   = newTemp(Ity_V128);  in dis_ESC_0F__SSE3()  local
15504             assign( eV, getXMMReg(rE) );  in dis_ESC_0F__SSE3()
15509             assign( eV, loadLE(Ity_V128, mkexpr(addr)) );  in dis_ESC_0F__SSE3()
15515          putXMMReg( rG, mkexpr( math_ADDSUBPD_128 ( gV, eV ) ) );  in dis_ESC_0F__SSE3()
15520          IRTemp eV   = newTemp(Ity_V128);  in dis_ESC_0F__SSE3()  local
15528             assign( eV, getXMMReg(rE) );  in dis_ESC_0F__SSE3()
15533             assign( eV, loadLE(Ity_V128, mkexpr(addr)) );  in dis_ESC_0F__SSE3()
15539          putXMMReg( rG, mkexpr( math_ADDSUBPS_128 ( gV, eV ) ) );  in dis_ESC_0F__SSE3()
24438          IRTemp eV    = newTemp(Ity_V128);  in dis_ESC_0F__VEX()  local
24443             assign( eV, getXMMReg(rE) );  in dis_ESC_0F__VEX()
24449             assign( eV, loadLE(Ity_V128, mkexpr(addr)) );  in dis_ESC_0F__VEX()
24454          IRTemp res = math_UNPCKxPS_128( eV, vV, hi );  in dis_ESC_0F__VEX()
24466          IRTemp eV    = newTemp(Ity_V256);  in dis_ESC_0F__VEX()  local
24471             assign( eV, getYMMReg(rE) );  in dis_ESC_0F__VEX()
24477             assign( eV, loadLE(Ity_V256, mkexpr(addr)) );  in dis_ESC_0F__VEX()
24482          IRTemp res = math_UNPCKxPS_256( eV, vV, hi );  in dis_ESC_0F__VEX()
24494          IRTemp eV    = newTemp(Ity_V128);  in dis_ESC_0F__VEX()  local
24499             assign( eV, getXMMReg(rE) );  in dis_ESC_0F__VEX()
24505             assign( eV, loadLE(Ity_V128, mkexpr(addr)) );  in dis_ESC_0F__VEX()
24510          IRTemp res = math_UNPCKxPD_128( eV, vV, hi );  in dis_ESC_0F__VEX()
24522          IRTemp eV    = newTemp(Ity_V256);  in dis_ESC_0F__VEX()  local
24527             assign( eV, getYMMReg(rE) );  in dis_ESC_0F__VEX()
24533             assign( eV, loadLE(Ity_V256, mkexpr(addr)) );  in dis_ESC_0F__VEX()
24538          IRTemp res = math_UNPCKxPD_256( eV, vV, hi );  in dis_ESC_0F__VEX()
26635          IRTemp eV   = newTemp(Ity_V128);  in dis_ESC_0F__VEX()  local
26643             assign( eV, getXMMReg(rE) );  in dis_ESC_0F__VEX()
26650             assign( eV, loadLE(Ity_V128, mkexpr(addr)) );  in dis_ESC_0F__VEX()
26656          IRTemp res = math_SHUFPS_128( eV, vV, imm8 );  in dis_ESC_0F__VEX()
26665          IRTemp eV   = newTemp(Ity_V256);  in dis_ESC_0F__VEX()  local
26673             assign( eV, getYMMReg(rE) );  in dis_ESC_0F__VEX()
26680             assign( eV, loadLE(Ity_V256, mkexpr(addr)) );  in dis_ESC_0F__VEX()
26686          IRTemp res = math_SHUFPS_256( eV, vV, imm8 );  in dis_ESC_0F__VEX()
26695          IRTemp eV   = newTemp(Ity_V128);  in dis_ESC_0F__VEX()  local
26703             assign( eV, getXMMReg(rE) );  in dis_ESC_0F__VEX()
26710             assign( eV, loadLE(Ity_V128, mkexpr(addr)) );  in dis_ESC_0F__VEX()
26716          IRTemp res = math_SHUFPD_128( eV, vV, imm8 );  in dis_ESC_0F__VEX()
26725          IRTemp eV   = newTemp(Ity_V256);  in dis_ESC_0F__VEX()  local
26733             assign( eV, getYMMReg(rE) );  in dis_ESC_0F__VEX()
26740             assign( eV, loadLE(Ity_V256, mkexpr(addr)) );  in dis_ESC_0F__VEX()
26746          IRTemp res = math_SHUFPD_256( eV, vV, imm8 );  in dis_ESC_0F__VEX()