7580       binop( Iop_64HLtoV128,  in mk128from32s()
10485             binop(Iop_64HLtoV128,  in disInstr_X86_WRK()
10690          binop(Iop_64HLtoV128, SELS((select>>1)&1), SELD((select>>0)&1) )  in disInstr_X86_WRK()
10764                     binop(Iop_64HLtoV128, mkexpr(s1), mkexpr(d1)) );  in disInstr_X86_WRK()
10767                     binop(Iop_64HLtoV128, mkexpr(s0), mkexpr(d0)) );  in disInstr_X86_WRK()
11036       assign( dV, binop(Iop_64HLtoV128, mkexpr(dHi), mkexpr(dLo))) ;  in disInstr_X86_WRK()
11235       assign( dV, binop(Iop_64HLtoV128, mkexpr(dHi), mkexpr(dLo))) ;  in disInstr_X86_WRK()
11313       assign(dV, binop( Iop_64HLtoV128,   in disInstr_X86_WRK()
11357       assign(dV, binop( Iop_64HLtoV128,  in disInstr_X86_WRK()
11434       assign( dV, binop(Iop_64HLtoV128, mkexpr(hi64r), mkexpr(lo64r)) );  in disInstr_X86_WRK()
11565       assign( dV, binop(Iop_64HLtoV128, mkexpr(hi64r), mkexpr(lo64r)) );  in disInstr_X86_WRK()
11850       putXMMReg( gregOfRM(modrm), binop(Iop_64HLtoV128,mkexpr(d0),mkexpr(d0)) );  in disInstr_X86_WRK()
11925                  binop(Iop_64HLtoV128, mkexpr(a1), mkexpr(s0)) );  in disInstr_X86_WRK()
12008       assign( leftV,  binop(Iop_64HLtoV128, mkexpr(e0),mkexpr(g0)) );  in disInstr_X86_WRK()
12009       assign( rightV, binop(Iop_64HLtoV128, mkexpr(e1),mkexpr(g1)) );  in disInstr_X86_WRK()
12283          binop(Iop_64HLtoV128,  in disInstr_X86_WRK()
12363          binop(Iop_64HLtoV128,  in disInstr_X86_WRK()
12459          binop(Iop_64HLtoV128,  in disInstr_X86_WRK()
12547          binop(Iop_64HLtoV128,  in disInstr_X86_WRK()
12688          binop(Iop_64HLtoV128, mkexpr(rHi), mkexpr(rLo))  in disInstr_X86_WRK()
12840          binop(Iop_64HLtoV128, mkexpr(rHi), mkexpr(rLo))  in disInstr_X86_WRK()