27598 static IRTemp math_PERMILPS_VAR_128 ( IRTemp dataV, IRTemp ctrlV )  in math_PERMILPS_VAR_128()  argument
27608    assign(res, binop(Iop_Perm32x4, mkexpr(dataV), cv1));  in math_PERMILPS_VAR_128()
27612 static IRTemp math_PERMILPS_VAR_256 ( IRTemp dataV, IRTemp ctrlV )  in math_PERMILPS_VAR_256()  argument
27616    breakupV256toV128s( dataV, &dHi, &dLo );  in math_PERMILPS_VAR_256()
27625 static IRTemp math_PERMILPD_VAR_128 ( IRTemp dataV, IRTemp ctrlV )  in math_PERMILPD_VAR_128()  argument
27630    breakupV128to64s( dataV, &dHi, &dLo );  in math_PERMILPD_VAR_128()
27645 static IRTemp math_PERMILPD_VAR_256 ( IRTemp dataV, IRTemp ctrlV )  in math_PERMILPD_VAR_256()  argument
27649    breakupV256toV128s( dataV, &dHi, &dLo );  in math_PERMILPD_VAR_256()
27658 static IRTemp math_VPERMD ( IRTemp ctrlV, IRTemp dataV )  in math_VPERMD()  argument
27668    assign(res, binop(Iop_Perm32x8, mkexpr(dataV), cv1));  in math_VPERMD()
28338          IRTemp dataV = newTemp(Ity_V128);  in dis_ESC_0F38__VEX()  local
28339          assign(dataV, getXMMReg(rV));  in dis_ESC_0F38__VEX()
28340          IRTemp resV = math_PERMILPS_VAR_128(dataV, ctrlV);  in dis_ESC_0F38__VEX()
28365          IRTemp dataV = newTemp(Ity_V256);  in dis_ESC_0F38__VEX()  local
28366          assign(dataV, getYMMReg(rV));  in dis_ESC_0F38__VEX()
28367          IRTemp resV = math_PERMILPS_VAR_256(dataV, ctrlV);  in dis_ESC_0F38__VEX()
28395          IRTemp dataV = newTemp(Ity_V128);  in dis_ESC_0F38__VEX()  local
28396          assign(dataV, getXMMReg(rV));  in dis_ESC_0F38__VEX()
28397          IRTemp resV = math_PERMILPD_VAR_128(dataV, ctrlV);  in dis_ESC_0F38__VEX()
28422          IRTemp dataV = newTemp(Ity_V256);  in dis_ESC_0F38__VEX()  local
28423          assign(dataV, getYMMReg(rV));  in dis_ESC_0F38__VEX()
28424          IRTemp resV = math_PERMILPD_VAR_256(dataV, ctrlV);  in dis_ESC_0F38__VEX()