Searched refs:frbInf_tmp (Results 1 – 1 of 1) sorted by relevance
8414 IRTemp frbInf_tmp = newTemp(Ity_I1); in do_fp_tsqrt() local8426 assign( frbInf_tmp, is_Inf(frB_Int, sp) ); in do_fp_tsqrt()8477 mkOR1( mkexpr( frbInf_tmp ), in do_fp_tsqrt()8483 mkOR1( mkexpr( frbInf_tmp ), frbDenorm ) ); in do_fp_tsqrt()8532 IRTemp frbInf_tmp = newTemp(Ity_I1); in _do_fp_tdiv() local8571 assign( frbInf_tmp, is_Inf(frB_int, sp) ); in _do_fp_tdiv()8677 mkexpr( frbInf_tmp ), in _do_fp_tdiv()8687 mkOR1( mkexpr( frbInf_tmp ), in _do_fp_tdiv()