Searched refs:res_32 (Results 1 – 1 of 1) sorted by relevance
17829 IRTemp res_32 = IRTemp_INVALID; in _get_quad_modulo_or_carry() local17842 res_32 = newTemp(Ity_I32); in _get_quad_modulo_or_carry()17862 assign(res_32, binop( Iop_Add32, in _get_quad_modulo_or_carry()17880 mkexpr(res_32) ) ), in _get_quad_modulo_or_carry()17887 mkexpr(res_32), in _get_quad_modulo_or_carry()