3615       IRTemp res64     = newTemp(Ity_I64);  in dis_Grp2()  local
3651       assign( res64, binop(op64, mkexpr(pre64), mkexpr(shift_amt)) );  in dis_Grp2()
3663       setFlags_DEP1_DEP2_shift(op64, res64, res64ss, ty, shift_amt);  in dis_Grp2()
3666       assign( dst1, narrowTo(ty, mkexpr(res64)) );  in dis_Grp2()
3945          IRTemp res64   = newTemp(Ity_I64);  in codegen_mulL_A_D()  local
3951          assign( res64, binop(mulOp, mkexpr(t1), mkexpr(tmp)) );  in codegen_mulL_A_D()
3952          assign( resHi, unop(Iop_64HIto32,mkexpr(res64)));  in codegen_mulL_A_D()
3953          assign( resLo, unop(Iop_64to32,mkexpr(res64)));  in codegen_mulL_A_D()
4877    IRTemp res64 = newTemp(Ity_I64);  in gen_LZCNT()  local
4878    assign(res64,  in gen_LZCNT()
4886    assign(res, narrowTo(ty, mkexpr(res64)));  in gen_LZCNT()
4905    IRTemp res64 = newTemp(Ity_I64);  in gen_TZCNT()  local
4906    assign(res64,  in gen_TZCNT()
4914    assign(res, narrowTo(ty, mkexpr(res64)));  in gen_TZCNT()
7804    IRTemp res64  = IRTemp_INVALID;  in dis_SHLRD_Gv_Ev()  local
7857    res64 = newTemp(Ity_I64);  in dis_SHLRD_Gv_Ev()
7866          assign( res64,   in dis_SHLRD_Gv_Ev()
7878          assign( res64, binop(Iop_Shr64, mkexpr(tmp64), mkexpr(tmpSH)) );  in dis_SHLRD_Gv_Ev()
7889          assign( res64,   in dis_SHLRD_Gv_Ev()
7910          assign( res64, binop(Iop_Shr64, mkexpr(tmp64), mkexpr(tmpSH)) );  in dis_SHLRD_Gv_Ev()
7921          assign( res64, shiftL64_with_extras( esrc, gsrc, tmpSH ));  in dis_SHLRD_Gv_Ev()
7924          assign( res64, shiftR64_with_extras( gsrc, esrc, tmpSH ));  in dis_SHLRD_Gv_Ev()
7932    assign( resTy, narrowTo(ty, mkexpr(res64)) );  in dis_SHLRD_Gv_Ev()
16489          IRTemp res64 = newTemp(Ity_I64);  in dis_ESC_0F__SSE4()  local
16491          assign(res64, widenUto64(mkexpr(res)));  in dis_ESC_0F__SSE4()
16499                              binop(Iop_CmpEQ64, mkexpr(res64), mkU64(0))),  in dis_ESC_0F__SSE4()
16550          IRTemp res64 = newTemp(Ity_I64);  in dis_ESC_0F__SSE4()  local
16552          assign(res64, widenUto64(mkexpr(res)));  in dis_ESC_0F__SSE4()
16560                              binop(Iop_CmpEQ64, mkexpr(res64), mkU64(0))),  in dis_ESC_0F__SSE4()