27598 static IRTemp math_PERMILPS_VAR_128 ( IRTemp dataV, IRTemp ctrlV )  in math_PERMILPS_VAR_128()  argument
27603                        binop(Iop_ShlN32x4, mkexpr(ctrlV), mkU8(30)),  in math_PERMILPS_VAR_128()
27612 static IRTemp math_PERMILPS_VAR_256 ( IRTemp dataV, IRTemp ctrlV )  in math_PERMILPS_VAR_256()  argument
27617    breakupV256toV128s( ctrlV, &cHi, &cLo );  in math_PERMILPS_VAR_256()
27625 static IRTemp math_PERMILPD_VAR_128 ( IRTemp dataV, IRTemp ctrlV )  in math_PERMILPD_VAR_128()  argument
27631    breakupV128to64s( ctrlV, &cHi, &cLo );  in math_PERMILPD_VAR_128()
27645 static IRTemp math_PERMILPD_VAR_256 ( IRTemp dataV, IRTemp ctrlV )  in math_PERMILPD_VAR_256()  argument
27650    breakupV256toV128s( ctrlV, &cHi, &cLo );  in math_PERMILPD_VAR_256()
27658 static IRTemp math_VPERMD ( IRTemp ctrlV, IRTemp dataV )  in math_VPERMD()  argument
27663                        binop(Iop_ShlN32x8, mkexpr(ctrlV), mkU8(29)),  in math_VPERMD()
28324          IRTemp ctrlV = newTemp(Ity_V128);  in dis_ESC_0F38__VEX()  local
28330             assign(ctrlV, getXMMReg(rE));  in dis_ESC_0F38__VEX()
28336             assign(ctrlV, loadLE(Ity_V128, mkexpr(addr)));  in dis_ESC_0F38__VEX()
28340          IRTemp resV = math_PERMILPS_VAR_128(dataV, ctrlV);  in dis_ESC_0F38__VEX()
28351          IRTemp ctrlV = newTemp(Ity_V256);  in dis_ESC_0F38__VEX()  local
28357             assign(ctrlV, getYMMReg(rE));  in dis_ESC_0F38__VEX()
28363             assign(ctrlV, loadLE(Ity_V256, mkexpr(addr)));  in dis_ESC_0F38__VEX()
28367          IRTemp resV = math_PERMILPS_VAR_256(dataV, ctrlV);  in dis_ESC_0F38__VEX()
28381          IRTemp ctrlV = newTemp(Ity_V128);  in dis_ESC_0F38__VEX()  local
28387             assign(ctrlV, getXMMReg(rE));  in dis_ESC_0F38__VEX()
28393             assign(ctrlV, loadLE(Ity_V128, mkexpr(addr)));  in dis_ESC_0F38__VEX()
28397          IRTemp resV = math_PERMILPD_VAR_128(dataV, ctrlV);  in dis_ESC_0F38__VEX()
28408          IRTemp ctrlV = newTemp(Ity_V256);  in dis_ESC_0F38__VEX()  local
28414             assign(ctrlV, getYMMReg(rE));  in dis_ESC_0F38__VEX()
28420             assign(ctrlV, loadLE(Ity_V256, mkexpr(addr)));  in dis_ESC_0F38__VEX()
28424          IRTemp resV = math_PERMILPD_VAR_256(dataV, ctrlV);  in dis_ESC_0F38__VEX()