9920    IRTemp argV  = newTemp(Ity_V128);  in dis_CVTPD2PS_128()  local
9924       assign( argV, getXMMReg(rE) );  in dis_CVTPD2PS_128()
9930       assign( argV, loadLE(Ity_V128, mkexpr(addr)) );  in dis_CVTPD2PS_128()
9940                     unop(Iop_V128to64, mkexpr(argV))) );  in dis_CVTPD2PS_128()
9942                     unop(Iop_V128HIto64, mkexpr(argV))) );  in dis_CVTPD2PS_128()
9964    IRTemp argV  = newTemp(Ity_V128);  in dis_CVTxPS2DQ_128()  local
9971       assign( argV, getXMMReg(rE) );  in dis_CVTxPS2DQ_128()
9977       assign( argV, loadLE(Ity_V128, mkexpr(addr)) );  in dis_CVTxPS2DQ_128()
9986    breakupV128to32s( argV, &t3, &t2, &t1, &t0 );  in dis_CVTxPS2DQ_128()
10014    IRTemp argV  = newTemp(Ity_V256);  in dis_CVTxPS2DQ_256()  local
10021       assign( argV, getYMMReg(rE) );  in dis_CVTxPS2DQ_256()
10027       assign( argV, loadLE(Ity_V256, mkexpr(addr)) );  in dis_CVTxPS2DQ_256()
10036    breakupV256to32s( argV, &t7, &t6, &t5, &t4, &t3, &t2, &t1, &t0 );  in dis_CVTxPS2DQ_256()
10066    IRTemp argV  = newTemp(Ity_V128);  in dis_CVTxPD2DQ_128()  local
10073       assign( argV, getXMMReg(rE) );  in dis_CVTxPD2DQ_128()
10079       assign( argV, loadLE(Ity_V128, mkexpr(addr)) );  in dis_CVTxPD2DQ_128()
10094                     unop(Iop_V128to64, mkexpr(argV))) );  in dis_CVTxPD2DQ_128()
10096                     unop(Iop_V128HIto64, mkexpr(argV))) );  in dis_CVTxPD2DQ_128()
10121    IRTemp argV  = newTemp(Ity_V256);  in dis_CVTxPD2DQ_256()  local
10128       assign( argV, getYMMReg(rE) );  in dis_CVTxPD2DQ_256()
10134       assign( argV, loadLE(Ity_V256, mkexpr(addr)) );  in dis_CVTxPD2DQ_256()
10150    breakupV256to64s( argV, &t3, &t2, &t1, &t0 );  in dis_CVTxPD2DQ_256()
10175    IRTemp argV  = newTemp(Ity_V128);  in dis_CVTDQ2PS_128()  local
10182       assign( argV, getXMMReg(rE) );  in dis_CVTDQ2PS_128()
10188       assign( argV, loadLE(Ity_V128, mkexpr(addr)) );  in dis_CVTDQ2PS_128()
10199    breakupV128to32s( argV, &t3, &t2, &t1, &t0 );  in dis_CVTDQ2PS_128()
10223    IRTemp argV   = newTemp(Ity_V256);  in dis_CVTDQ2PS_256()  local
10230       assign( argV, getYMMReg(rE) );  in dis_CVTDQ2PS_256()
10235       assign( argV, loadLE(Ity_V256, mkexpr(addr)) );  in dis_CVTDQ2PS_256()
10249    breakupV256to32s( argV, &t7, &t6, &t5, &t4, &t3, &t2, &t1, &t0 );  in dis_CVTDQ2PS_256()
21400    IRTemp argV  = newTemp(Ity_V256);  in dis_CVTPD2PS_256()  local
21404       assign( argV, getYMMReg(rE) );  in dis_CVTPD2PS_256()
21409       assign( argV, loadLE(Ity_V256, mkexpr(addr)) );  in dis_CVTPD2PS_256()
21417    breakupV256to64s( argV, &t3, &t2, &t1, &t0 );  in dis_CVTPD2PS_256()