Searched refs:frbInf_tmp (Results 1 – 1 of 1) sorted by relevance
8555 IRTemp frbInf_tmp = newTemp(Ity_I1); in do_fp_tsqrt() local8567 assign( frbInf_tmp, is_Inf(frB_Int, sp) ); in do_fp_tsqrt()8618 mkOR1( mkexpr( frbInf_tmp ), in do_fp_tsqrt()8624 mkOR1( mkexpr( frbInf_tmp ), frbDenorm ) ); in do_fp_tsqrt()8673 IRTemp frbInf_tmp = newTemp(Ity_I1); in _do_fp_tdiv() local8712 assign( frbInf_tmp, is_Inf(frB_int, sp) ); in _do_fp_tdiv()8818 mkexpr( frbInf_tmp ), in _do_fp_tdiv()8828 mkOR1( mkexpr( frbInf_tmp ), in _do_fp_tdiv()