Home | History | Annotate | Download | only in priv

Lines Matching refs:hi64r

12509       IRTemp sV, dV, hi64, lo64, hi64r, lo64r;
12520       hi64r = newTemp(Ity_I64);
12534          assign( hi64r, mkexpr(hi64) );
12539          assign( hi64r, mkexpr(lo64) );
12544          assign( hi64r, binop( Iop_Shl64, 
12551          assign( hi64r, 
12560       assign( dV, binop(Iop_64HLtoV128, mkexpr(hi64r), mkexpr(lo64r)) );
12651       IRTemp sV, dV, hi64, lo64, hi64r, lo64r;
12662       hi64r = newTemp(Ity_I64);
12676          assign( hi64r, mkexpr(hi64) );
12680          assign( hi64r, mkU64(0) );
12685          assign( hi64r, mkU64(0) );
12690          assign( hi64r, binop( Iop_Shr64, 
12703       assign( dV, binop(Iop_64HLtoV128, mkexpr(hi64r), mkexpr(lo64r)) );