3608       IRTemp res64     = newTemp(Ity_I64);  in dis_Grp2()  local
3644       assign( res64, binop(op64, mkexpr(pre64), mkexpr(shift_amt)) );  in dis_Grp2()
3656       setFlags_DEP1_DEP2_shift(op64, res64, res64ss, ty, shift_amt);  in dis_Grp2()
3659       assign( dst1, narrowTo(ty, mkexpr(res64)) );  in dis_Grp2()
3938          IRTemp res64   = newTemp(Ity_I64);  in codegen_mulL_A_D()  local
3944          assign( res64, binop(mulOp, mkexpr(t1), mkexpr(tmp)) );  in codegen_mulL_A_D()
3945          assign( resHi, unop(Iop_64HIto32,mkexpr(res64)));  in codegen_mulL_A_D()
3946          assign( resLo, unop(Iop_64to32,mkexpr(res64)));  in codegen_mulL_A_D()
4870    IRTemp res64 = newTemp(Ity_I64);  in gen_LZCNT()  local
4871    assign(res64,  in gen_LZCNT()
4879    assign(res, narrowTo(ty, mkexpr(res64)));  in gen_LZCNT()
4898    IRTemp res64 = newTemp(Ity_I64);  in gen_TZCNT()  local
4899    assign(res64,  in gen_TZCNT()
4907    assign(res, narrowTo(ty, mkexpr(res64)));  in gen_TZCNT()
7777    IRTemp res64  = IRTemp_INVALID;  in dis_SHLRD_Gv_Ev()  local
7830    res64 = newTemp(Ity_I64);  in dis_SHLRD_Gv_Ev()
7839          assign( res64,   in dis_SHLRD_Gv_Ev()
7851          assign( res64, binop(Iop_Shr64, mkexpr(tmp64), mkexpr(tmpSH)) );  in dis_SHLRD_Gv_Ev()
7862          assign( res64,   in dis_SHLRD_Gv_Ev()
7883          assign( res64, binop(Iop_Shr64, mkexpr(tmp64), mkexpr(tmpSH)) );  in dis_SHLRD_Gv_Ev()
7894          assign( res64, shiftL64_with_extras( esrc, gsrc, tmpSH ));  in dis_SHLRD_Gv_Ev()
7897          assign( res64, shiftR64_with_extras( gsrc, esrc, tmpSH ));  in dis_SHLRD_Gv_Ev()
7905    assign( resTy, narrowTo(ty, mkexpr(res64)) );  in dis_SHLRD_Gv_Ev()
16037          IRTemp res64 = newTemp(Ity_I64);  in dis_ESC_0F__SSE4()  local
16039          assign(res64, widenUto64(mkexpr(res)));  in dis_ESC_0F__SSE4()
16047                              binop(Iop_CmpEQ64, mkexpr(res64), mkU64(0))),  in dis_ESC_0F__SSE4()
16098          IRTemp res64 = newTemp(Ity_I64);  in dis_ESC_0F__SSE4()  local
16100          assign(res64, widenUto64(mkexpr(res)));  in dis_ESC_0F__SSE4()
16108                              binop(Iop_CmpEQ64, mkexpr(res64), mkU64(0))),  in dis_ESC_0F__SSE4()