Searched defs:res64 (Results 1 - 3 of 3) sorted by relevance

/external/valgrind/main/none/tests/amd64/
H A Djrcxz.c7 ULong arg64, res64; variable
24 "\tmovq %rax, res64\n"
59 res64 = 0;
61 printf("%lld\n", res64);
/external/valgrind/main/VEX/priv/
H A Dguest_amd64_toIR.c3354 IRTemp res64 = newTemp(Ity_I64); local
3389 /* res64 = pre64 `shift` shift_amt */
3390 assign( res64, binop(op64, mkexpr(pre64), mkexpr(shift_amt)) );
3402 setFlags_DEP1_DEP2_shift(op64, res64, res64ss, ty, shift_amt);
3405 assign( dst1, narrowTo(ty, mkexpr(res64)) );
3662 IRTemp res64 = newTemp(Ity_I64); local
3668 assign( res64, binop(mulOp, mkexpr(t1), mkexpr(tmp)) );
3669 assign( resHi, unop(Iop_64HIto32,mkexpr(res64)));
3670 assign( resLo, unop(Iop_64to32,mkexpr(res64)));
4523 IRTemp res64 local
7244 IRTemp res64 = IRTemp_INVALID; local
15665 IRTemp res64 = newTemp(Ity_I64); local
[all...]
H A Dguest_x86_toIR.c2726 IRTemp res64 = newTemp(Ity_I64); local
2732 assign( res64, binop(mulOp, mkexpr(t1), mkexpr(tmp)) );
2733 assign( resHi, unop(Iop_64HIto32,mkexpr(res64)));
2734 assign( resLo, unop(Iop_64to32,mkexpr(res64)));

Completed in 200 milliseconds