Searched refs:masked_out (Results 1 – 1 of 1) sorted by relevance
26156 IRTemp masked_out = newTemp( Ity_V128 ); in dis_av_bcd() local26189 assign( masked_out, in dis_av_bcd()26207 overflow = mkNOT1( BCDstring_zero( mkexpr( masked_out ) ) ); in dis_av_bcd()