Searched refs:frA_isZero (Results 1 – 1 of 1) sorted by relevance
17363 IRTemp frA_isZero = newTemp(Ity_I1); in get_max_min_fp() local17365 assign( frA_isZero, is_Zero( Ity_I64, frA_I64 ) ); in get_max_min_fp()17372 mkAND1( mkexpr( frA_isZero ), mkexpr( frB_isZero ) ), in get_max_min_fp()