14a238c70SJohn Marino /* comparison predicates
24a238c70SJohn Marino
3*ab6d115fSJohn Marino Copyright 2002, 2003, 2004, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013 Free Software Foundation, Inc.
4*ab6d115fSJohn Marino Contributed by the AriC and Caramel projects, INRIA.
54a238c70SJohn Marino
64a238c70SJohn Marino This file is part of the GNU MPFR Library.
74a238c70SJohn Marino
84a238c70SJohn Marino The GNU MPFR Library is free software; you can redistribute it and/or modify
94a238c70SJohn Marino it under the terms of the GNU Lesser General Public License as published by
104a238c70SJohn Marino the Free Software Foundation; either version 3 of the License, or (at your
114a238c70SJohn Marino option) any later version.
124a238c70SJohn Marino
134a238c70SJohn Marino The GNU MPFR Library is distributed in the hope that it will be useful, but
144a238c70SJohn Marino WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
154a238c70SJohn Marino or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
164a238c70SJohn Marino License for more details.
174a238c70SJohn Marino
184a238c70SJohn Marino You should have received a copy of the GNU Lesser General Public License
194a238c70SJohn Marino along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see
204a238c70SJohn Marino http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
214a238c70SJohn Marino 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */
224a238c70SJohn Marino
234a238c70SJohn Marino #include "mpfr-impl.h"
244a238c70SJohn Marino
254a238c70SJohn Marino /* Note: these functions currently use mpfr_cmp; they could have their
264a238c70SJohn Marino own code to be faster. */
274a238c70SJohn Marino
284a238c70SJohn Marino /* = < > unordered
294a238c70SJohn Marino * mpfr_greater_p 0 0 1 0
304a238c70SJohn Marino * mpfr_greaterequal_p 1 0 1 0
314a238c70SJohn Marino * mpfr_less_p 0 1 0 0
324a238c70SJohn Marino * mpfr_lessequal_p 1 1 0 0
334a238c70SJohn Marino * mpfr_lessgreater_p 0 1 1 0
344a238c70SJohn Marino * mpfr_equal_p 1 0 0 0
354a238c70SJohn Marino * mpfr_unordered_p 0 0 0 1
364a238c70SJohn Marino */
374a238c70SJohn Marino
384a238c70SJohn Marino int
mpfr_greater_p(mpfr_srcptr x,mpfr_srcptr y)394a238c70SJohn Marino mpfr_greater_p (mpfr_srcptr x, mpfr_srcptr y)
404a238c70SJohn Marino {
414a238c70SJohn Marino return MPFR_IS_NAN(x) || MPFR_IS_NAN(y) ? 0 : (mpfr_cmp (x, y) > 0);
424a238c70SJohn Marino }
434a238c70SJohn Marino
444a238c70SJohn Marino int
mpfr_greaterequal_p(mpfr_srcptr x,mpfr_srcptr y)454a238c70SJohn Marino mpfr_greaterequal_p (mpfr_srcptr x, mpfr_srcptr y)
464a238c70SJohn Marino {
474a238c70SJohn Marino return MPFR_IS_NAN(x) || MPFR_IS_NAN(y) ? 0 : (mpfr_cmp (x, y) >= 0);
484a238c70SJohn Marino }
494a238c70SJohn Marino
504a238c70SJohn Marino int
mpfr_less_p(mpfr_srcptr x,mpfr_srcptr y)514a238c70SJohn Marino mpfr_less_p (mpfr_srcptr x, mpfr_srcptr y)
524a238c70SJohn Marino {
534a238c70SJohn Marino return MPFR_IS_NAN(x) || MPFR_IS_NAN(y) ? 0 : (mpfr_cmp (x, y) < 0);
544a238c70SJohn Marino }
554a238c70SJohn Marino
564a238c70SJohn Marino int
mpfr_lessequal_p(mpfr_srcptr x,mpfr_srcptr y)574a238c70SJohn Marino mpfr_lessequal_p (mpfr_srcptr x, mpfr_srcptr y)
584a238c70SJohn Marino {
594a238c70SJohn Marino return MPFR_IS_NAN(x) || MPFR_IS_NAN(y) ? 0 : (mpfr_cmp (x, y) <= 0);
604a238c70SJohn Marino }
614a238c70SJohn Marino
624a238c70SJohn Marino int
mpfr_lessgreater_p(mpfr_srcptr x,mpfr_srcptr y)634a238c70SJohn Marino mpfr_lessgreater_p (mpfr_srcptr x, mpfr_srcptr y)
644a238c70SJohn Marino {
654a238c70SJohn Marino return MPFR_IS_NAN(x) || MPFR_IS_NAN(y) ? 0 : (mpfr_cmp (x, y) != 0);
664a238c70SJohn Marino }
674a238c70SJohn Marino
684a238c70SJohn Marino int
mpfr_equal_p(mpfr_srcptr x,mpfr_srcptr y)694a238c70SJohn Marino mpfr_equal_p (mpfr_srcptr x, mpfr_srcptr y)
704a238c70SJohn Marino {
714a238c70SJohn Marino return MPFR_IS_NAN(x) || MPFR_IS_NAN(y) ? 0 : (mpfr_cmp (x, y) == 0);
724a238c70SJohn Marino }
734a238c70SJohn Marino
744a238c70SJohn Marino int
mpfr_unordered_p(mpfr_srcptr x,mpfr_srcptr y)754a238c70SJohn Marino mpfr_unordered_p (mpfr_srcptr x, mpfr_srcptr y)
764a238c70SJohn Marino {
774a238c70SJohn Marino return MPFR_IS_NAN(x) || MPFR_IS_NAN(y);
784a238c70SJohn Marino }
79