Searched refs:_vecB_32 (Results 1 – 1 of 1) sorted by relevance
17828 IRTemp _vecB_32 = IRTemp_INVALID; in _get_quad_modulo_or_carry() local17841 _vecB_32 = newTemp(Ity_I32); in _get_quad_modulo_or_carry()17846 assign(_vecB_32, unop( Iop_64to32, _vecB_low64 ) ); in _get_quad_modulo_or_carry()17850 assign(_vecB_32, unop( Iop_64HIto32, _vecB_low64 ) ); in _get_quad_modulo_or_carry()17854 assign(_vecB_32, unop( Iop_64to32, _vecB_high64 ) ); in _get_quad_modulo_or_carry()17858 assign(_vecB_32, unop( Iop_64HIto32, _vecB_high64 ) ); in _get_quad_modulo_or_carry()17866 mkexpr(_vecB_32) ), in _get_quad_modulo_or_carry()