11004       IRTemp dHi  = newTemp(Ity_I64);  in disInstr_X86_WRK()  local
11024       assign( dHi, mkIRExprCCall(  in disInstr_X86_WRK()
11036       assign( dV, binop(Iop_64HLtoV128, mkexpr(dHi), mkexpr(dLo))) ;  in disInstr_X86_WRK()
11203       IRTemp dHi  = newTemp(Ity_I64);  in disInstr_X86_WRK()  local
11223       assign( dHi, mkIRExprCCall(  in disInstr_X86_WRK()
11235       assign( dV, binop(Iop_64HLtoV128, mkexpr(dHi), mkexpr(dLo))) ;  in disInstr_X86_WRK()
12238       IRTemp dHi    = newTemp(Ity_I64);  in disInstr_X86_WRK()  local
12273       assign( dHi, unop(Iop_V128HIto64, mkexpr(dV)) );  in disInstr_X86_WRK()
12289                      binop(opCatE,mkexpr(dHi),mkexpr(dLo)),  in disInstr_X86_WRK()
12290                      binop(opCatO,mkexpr(dHi),mkexpr(dLo))  in disInstr_X86_WRK()
12336       IRTemp dHi = newTemp(Ity_I64);  in disInstr_X86_WRK()  local
12356       assign( dHi, unop(Iop_V128HIto64, mkexpr(dV)) );  in disInstr_X86_WRK()
12364                dis_PMULHRSW_helper( mkexpr(sHi), mkexpr(dHi) ),  in disInstr_X86_WRK()
12423       IRTemp dHi     = newTemp(Ity_I64);  in disInstr_X86_WRK()  local
12452       assign( dHi, unop(Iop_V128HIto64, mkexpr(dV)) );  in disInstr_X86_WRK()
12460                dis_PSIGN_helper( mkexpr(sHi), mkexpr(dHi), laneszB ),  in disInstr_X86_WRK()
12616       IRTemp dHi = newTemp(Ity_I64);  in disInstr_X86_WRK()  local
12642       assign( dHi, unop(Iop_V128HIto64, mkexpr(dV)) );  in disInstr_X86_WRK()
12660          assign( rHi, dis_PALIGNR_XMM_helper(dHi, dLo, d32-8) );  in disInstr_X86_WRK()
12664          assign( rHi, mkexpr(dHi) );  in disInstr_X86_WRK()
12668          assign( rHi, binop(Iop_Shr64, mkexpr(dHi), mkU8(8*(d32-16))) );  in disInstr_X86_WRK()
12669          assign( rLo, dis_PALIGNR_XMM_helper(dHi, dLo, d32-16) );  in disInstr_X86_WRK()
12673          assign( rLo, mkexpr(dHi) );  in disInstr_X86_WRK()
12677          assign( rLo, binop(Iop_Shr64, mkexpr(dHi), mkU8(8*(d32-24))) );  in disInstr_X86_WRK()
12740       IRTemp dHi        = newTemp(Ity_I64);  in disInstr_X86_WRK()  local
12771       assign( dHi, unop(Iop_V128HIto64, mkexpr(dV)) );  in disInstr_X86_WRK()
12803                   binop(Iop_Perm8x8,mkexpr(dHi),mkexpr(sAnd7hi)),  in disInstr_X86_WRK()
12830                   binop(Iop_Perm8x8,mkexpr(dHi),mkexpr(sAnd7lo)),  in disInstr_X86_WRK()