Searched refs:frB_isZero (Results 1 – 1 of 1) sorted by relevance
13903 IRTemp frB_isZero = newTemp(Ity_I1); in get_max_min_fp() local13905 assign(frB_isZero, is_Zero(frB_I64, False /*not single precision*/ )); in get_max_min_fp()13910 mkAND1( mkexpr( frA_isZero ), mkexpr( frB_isZero ) ), in get_max_min_fp()