Lines Matching refs:tmp64
7243 IRTemp tmp64 = IRTemp_INVALID;
7296 tmp64 = newTemp(Ity_I64);
7305 assign( tmp64, binop(Iop_32HLto64, mkexpr(esrc), mkexpr(gsrc)) );
7308 binop(Iop_Shl64, mkexpr(tmp64), mkexpr(tmpSH)),
7312 binop(Iop_Shl64, mkexpr(tmp64), mkexpr(tmpSS)),
7317 assign( tmp64, binop(Iop_32HLto64, mkexpr(gsrc), mkexpr(esrc)) );
7318 assign( res64, binop(Iop_Shr64, mkexpr(tmp64), mkexpr(tmpSH)) );
7319 assign( rss64, binop(Iop_Shr64, mkexpr(tmp64), mkexpr(tmpSS)) );
7323 assign( tmp64,
7331 binop(Iop_Shl64, mkexpr(tmp64), mkexpr(tmpSH)),
7344 assign( tmp64,
7350 assign( res64, binop(Iop_Shr64, mkexpr(tmp64), mkexpr(tmpSH)) );