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

/external/valgrind/main/VEX/priv/
H A Dguest_arm_toIR.c10652 IRTemp irt_regD = newTemp(Ity_I64); local
10671 assign( irt_regD, binop(Iop_32HLto64,
10674 assign( irt_res, binop(Iop_Add64, mkexpr(irt_regD), mkexpr(irt_prod)) );

Completed in 113 milliseconds