Annotation of OpenXM_contrib/gmp/tests/mpz/t-cmp.c, Revision 1.1
1.1 ! ohara 1: /* Test mpz_cmp and mpz_cmpabs.
! 2:
! 3: Copyright 2001 Free Software Foundation, Inc.
! 4:
! 5: This file is part of the GNU MP Library.
! 6:
! 7: The GNU MP Library is free software; you can redistribute it and/or modify
! 8: it under the terms of the GNU Lesser General Public License as published by
! 9: the Free Software Foundation; either version 2.1 of the License, or (at your
! 10: option) any later version.
! 11:
! 12: The GNU MP Library is distributed in the hope that it will be useful, but
! 13: WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
! 14: or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
! 15: License for more details.
! 16:
! 17: You should have received a copy of the GNU Lesser General Public License
! 18: along with the GNU MP Library; see the file COPYING.LIB. If not, write to
! 19: the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
! 20: MA 02111-1307, USA. */
! 21:
! 22: #include <stdio.h>
! 23: #include <stdlib.h>
! 24: #include "gmp.h"
! 25: #include "gmp-impl.h"
! 26: #include "tests.h"
! 27:
! 28:
! 29: /* Nothing sophisticated here, just exercise some combinations of sizes and
! 30: signs. */
! 31:
! 32:
! 33: void
! 34: check_one (mpz_ptr x, mpz_ptr y, int want_cmp, int want_cmpabs)
! 35: {
! 36: int got;
! 37:
! 38: got = mpz_cmp (x, y);
! 39: if (( got < 0) != (want_cmp < 0)
! 40: || (got == 0) != (want_cmp == 0)
! 41: || (got > 0) != (want_cmp > 0))
! 42: {
! 43: printf ("mpz_cmp got %d want %d\n", got, want_cmp);
! 44: mpz_trace ("x", x);
! 45: mpz_trace ("y", y);
! 46: abort ();
! 47: }
! 48:
! 49: got = mpz_cmpabs (x, y);
! 50: if (( got < 0) != (want_cmpabs < 0)
! 51: || (got == 0) != (want_cmpabs == 0)
! 52: || (got > 0) != (want_cmpabs > 0))
! 53: {
! 54: printf ("mpz_cmpabs got %d want %d\n", got, want_cmpabs);
! 55: mpz_trace ("x", x);
! 56: mpz_trace ("y", y);
! 57: abort ();
! 58: }
! 59: }
! 60:
! 61:
! 62: void
! 63: check_all (mpz_ptr x, mpz_ptr y, int want_cmp, int want_cmpabs)
! 64: {
! 65: check_one (x, y, want_cmp, want_cmpabs);
! 66: check_one (y, x, -want_cmp, -want_cmpabs);
! 67:
! 68: mpz_neg (x, x);
! 69: mpz_neg (y, y);
! 70: want_cmp = -want_cmp;
! 71:
! 72: check_one (x, y, want_cmp, want_cmpabs);
! 73: check_one (y, x, -want_cmp, -want_cmpabs);
! 74: }
! 75:
! 76:
! 77: #define SET1(z,size, n) \
! 78: SIZ(z) = size; PTR(z)[0] = n
! 79:
! 80: #define SET2(z,size, n1,n0) \
! 81: SIZ(z) = size; PTR(z)[1] = n1; PTR(z)[0] = n0
! 82:
! 83: #define SET4(z,size, n3,n2,n1,n0) \
! 84: SIZ(z) = size; PTR(z)[3] = n3; PTR(z)[2] = n2; PTR(z)[1] = n1; PTR(z)[0] = n0
! 85:
! 86: void
! 87: check_various (void)
! 88: {
! 89: mpz_t x, y;
! 90:
! 91: mpz_init (x);
! 92: mpz_init (y);
! 93:
! 94: mpz_realloc (x, (mp_size_t) 20);
! 95: mpz_realloc (y, (mp_size_t) 20);
! 96:
! 97: /* 0 cmp 0, junk in low limbs */
! 98: SET1 (x,0, 123);
! 99: SET1 (y,0, 456);
! 100: check_all (x, y, 0, 0);
! 101:
! 102:
! 103: /* 123 cmp 0 */
! 104: SET1 (x,1, 123);
! 105: SET1 (y,0, 456);
! 106: check_all (x, y, 1, 1);
! 107:
! 108: /* 123:456 cmp 0 */
! 109: SET2 (x,2, 456,123);
! 110: SET1 (y,0, 9999);
! 111: check_all (x, y, 1, 1);
! 112:
! 113:
! 114: /* 123 cmp 123 */
! 115: SET1(x,1, 123);
! 116: SET1(y,1, 123);
! 117: check_all (x, y, 0, 0);
! 118:
! 119: /* -123 cmp 123 */
! 120: SET1(x,-1, 123);
! 121: SET1(y,1, 123);
! 122: check_all (x, y, -1, 0);
! 123:
! 124:
! 125: /* 123 cmp 456 */
! 126: SET1(x,1, 123);
! 127: SET1(y,1, 456);
! 128: check_all (x, y, -1, -1);
! 129:
! 130: /* -123 cmp 456 */
! 131: SET1(x,-1, 123);
! 132: SET1(y,1, 456);
! 133: check_all (x, y, -1, -1);
! 134:
! 135: /* 123 cmp -456 */
! 136: SET1(x,1, 123);
! 137: SET1(y,-1, 456);
! 138: check_all (x, y, 1, -1);
! 139:
! 140:
! 141: /* 1:0 cmp 1:0 */
! 142: SET2 (x,2, 1,0);
! 143: SET2 (y,2, 1,0);
! 144: check_all (x, y, 0, 0);
! 145:
! 146: /* -1:0 cmp 1:0 */
! 147: SET2 (x,-2, 1,0);
! 148: SET2 (y,2, 1,0);
! 149: check_all (x, y, -1, 0);
! 150:
! 151:
! 152: /* 2:0 cmp 1:0 */
! 153: SET2 (x,2, 2,0);
! 154: SET2 (y,2, 1,0);
! 155: check_all (x, y, 1, 1);
! 156:
! 157:
! 158: /* 4:3:2:1 cmp 2:1 */
! 159: SET4 (x,4, 4,3,2,1);
! 160: SET2 (y,2, 2,1);
! 161: check_all (x, y, 1, 1);
! 162:
! 163: /* -4:3:2:1 cmp 2:1 */
! 164: SET4 (x,-4, 4,3,2,1);
! 165: SET2 (y,2, 2,1);
! 166: check_all (x, y, -1, 1);
! 167:
! 168:
! 169: mpz_clear (x);
! 170: mpz_clear (y);
! 171: }
! 172:
! 173:
! 174: int
! 175: main (void)
! 176: {
! 177: tests_start ();
! 178: mp_trace_base = -16;
! 179:
! 180: check_various ();
! 181:
! 182: tests_end ();
! 183: exit (0);
! 184: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to t-cmp.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib / gmp / tests / mpz