Lines Matching defs:res64
3608 IRTemp res64 = newTemp(Ity_I64);
3643 /* res64 = pre64 `shift` shift_amt */
3644 assign( res64, binop(op64, mkexpr(pre64), mkexpr(shift_amt)) );
3656 setFlags_DEP1_DEP2_shift(op64, res64, res64ss, ty, shift_amt);
3659 assign( dst1, narrowTo(ty, mkexpr(res64)) );
3938 IRTemp res64 = newTemp(Ity_I64);
3944 assign( res64, binop(mulOp, mkexpr(t1), mkexpr(tmp)) );
3945 assign( resHi, unop(Iop_64HIto32,mkexpr(res64)));
3946 assign( resLo, unop(Iop_64to32,mkexpr(res64)));
4870 IRTemp res64 = newTemp(Ity_I64);
4871 assign(res64,
4879 assign(res, narrowTo(ty, mkexpr(res64)));
4898 IRTemp res64 = newTemp(Ity_I64);
4899 assign(res64,
4907 assign(res, narrowTo(ty, mkexpr(res64)));
7777 IRTemp res64 = IRTemp_INVALID;
7821 amount (tmpSS), the shifted value (res64) and the subshifted
7830 res64 = newTemp(Ity_I64);
7839 assign( res64,
7851 assign( res64, binop(Iop_Shr64, mkexpr(tmp64), mkexpr(tmpSH)) );
7862 assign( res64,
7883 assign( res64, binop(Iop_Shr64, mkexpr(tmp64), mkexpr(tmpSH)) );
7894 assign( res64, shiftL64_with_extras( esrc, gsrc, tmpSH ));
7897 assign( res64, shiftR64_with_extras( gsrc, esrc, tmpSH ));
7905 assign( resTy, narrowTo(ty, mkexpr(res64)) );
16022 IRTemp res64 = newTemp(Ity_I64);
16024 assign(res64, widenUto64(mkexpr(res)));
16032 binop(Iop_CmpEQ64, mkexpr(res64), mkU64(0))),
16083 IRTemp res64 = newTemp(Ity_I64);
16085 assign(res64, widenUto64(mkexpr(res)));
16093 binop(Iop_CmpEQ64, mkexpr(res64), mkU64(0))),