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