Home | History | Annotate | Download | only in priv

Lines Matching full:tmp64

7432    IRTemp tmp64  = IRTemp_INVALID;
7485 tmp64 = newTemp(Ity_I64);
7494 assign( tmp64, binop(Iop_32HLto64, mkexpr(esrc), mkexpr(gsrc)) );
7497 binop(Iop_Shl64, mkexpr(tmp64), mkexpr(tmpSH)),
7501 binop(Iop_Shl64, mkexpr(tmp64), mkexpr(tmpSS)),
7506 assign( tmp64, binop(Iop_32HLto64, mkexpr(gsrc), mkexpr(esrc)) );
7507 assign( res64, binop(Iop_Shr64, mkexpr(tmp64), mkexpr(tmpSH)) );
7508 assign( rss64, binop(Iop_Shr64, mkexpr(tmp64), mkexpr(tmpSS)) );
7512 assign( tmp64,
7520 binop(Iop_Shl64, mkexpr(tmp64), mkexpr(tmpSH)),
7533 assign( tmp64,
7539 assign( res64, binop(Iop_Shr64, mkexpr(tmp64), mkexpr(tmpSH)) );