t-cmp.c
上传用户:qaz666999
上传日期:2022-08-06
资源大小:2570k
文件大小:4k
源码类别:

数学计算

开发平台:

Unix_Linux

  1. /* Test mpz_cmp and mpz_cmpabs.
  2. Copyright 2001 Free Software Foundation, Inc.
  3. This file is part of the GNU MP Library.
  4. The GNU MP Library is free software; you can redistribute it and/or modify
  5. it under the terms of the GNU Lesser General Public License as published by
  6. the Free Software Foundation; either version 3 of the License, or (at your
  7. option) any later version.
  8. The GNU MP Library is distributed in the hope that it will be useful, but
  9. WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  10. or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
  11. License for more details.
  12. You should have received a copy of the GNU Lesser General Public License
  13. along with the GNU MP Library.  If not, see http://www.gnu.org/licenses/.  */
  14. #include <stdio.h>
  15. #include <stdlib.h>
  16. #include "gmp.h"
  17. #include "gmp-impl.h"
  18. #include "tests.h"
  19. /* Nothing sophisticated here, just exercise some combinations of sizes and
  20.    signs.  */
  21. void
  22. check_one (mpz_ptr x, mpz_ptr y, int want_cmp, int want_cmpabs)
  23. {
  24.   int  got;
  25.   got = mpz_cmp (x, y);
  26.   if ((   got <  0) != (want_cmp <  0)
  27.       || (got == 0) != (want_cmp == 0)
  28.       || (got >  0) != (want_cmp >  0))
  29.     {
  30.       printf ("mpz_cmp got %d want %dn", got, want_cmp);
  31.       mpz_trace ("x", x);
  32.       mpz_trace ("y", y);
  33.       abort ();
  34.     }
  35.   got = mpz_cmpabs (x, y);
  36.   if ((   got <  0) != (want_cmpabs <  0)
  37.       || (got == 0) != (want_cmpabs == 0)
  38.       || (got >  0) != (want_cmpabs >  0))
  39.     {
  40.       printf ("mpz_cmpabs got %d want %dn", got, want_cmpabs);
  41.       mpz_trace ("x", x);
  42.       mpz_trace ("y", y);
  43.       abort ();
  44.     }
  45. }
  46. void
  47. check_all (mpz_ptr x, mpz_ptr y, int want_cmp, int want_cmpabs)
  48. {
  49.   check_one (x, y,  want_cmp,  want_cmpabs);
  50.   check_one (y, x, -want_cmp, -want_cmpabs);
  51.   mpz_neg (x, x);
  52.   mpz_neg (y, y);
  53.   want_cmp = -want_cmp;
  54.   check_one (x, y,  want_cmp,  want_cmpabs);
  55.   check_one (y, x, -want_cmp, -want_cmpabs);
  56. }
  57. #define SET1(z,size, n) 
  58.   SIZ(z) = size; PTR(z)[0] = n
  59. #define SET2(z,size, n1,n0) 
  60.   SIZ(z) = size; PTR(z)[1] = n1; PTR(z)[0] = n0
  61. #define SET4(z,size, n3,n2,n1,n0) 
  62.   SIZ(z) = size; PTR(z)[3] = n3; PTR(z)[2] = n2; PTR(z)[1] = n1; PTR(z)[0] = n0
  63. void
  64. check_various (void)
  65. {
  66.   mpz_t  x, y;
  67.   mpz_init (x);
  68.   mpz_init (y);
  69.   mpz_realloc (x, (mp_size_t) 20);
  70.   mpz_realloc (y, (mp_size_t) 20);
  71.   /* 0 cmp 0, junk in low limbs */
  72.   SET1 (x,0, 123);
  73.   SET1 (y,0, 456);
  74.   check_all (x, y, 0, 0);
  75.   /* 123 cmp 0 */
  76.   SET1 (x,1, 123);
  77.   SET1 (y,0, 456);
  78.   check_all (x, y, 1, 1);
  79.   /* 123:456 cmp 0 */
  80.   SET2 (x,2, 456,123);
  81.   SET1 (y,0, 9999);
  82.   check_all (x, y, 1, 1);
  83.   /* 123 cmp 123 */
  84.   SET1(x,1, 123);
  85.   SET1(y,1, 123);
  86.   check_all (x, y, 0, 0);
  87.   /* -123 cmp 123 */
  88.   SET1(x,-1, 123);
  89.   SET1(y,1,  123);
  90.   check_all (x, y, -1, 0);
  91.   /* 123 cmp 456 */
  92.   SET1(x,1, 123);
  93.   SET1(y,1, 456);
  94.   check_all (x, y, -1, -1);
  95.   /* -123 cmp 456 */
  96.   SET1(x,-1, 123);
  97.   SET1(y,1,  456);
  98.   check_all (x, y, -1, -1);
  99.   /* 123 cmp -456 */
  100.   SET1(x,1,  123);
  101.   SET1(y,-1, 456);
  102.   check_all (x, y, 1, -1);
  103.   /* 1:0 cmp 1:0 */
  104.   SET2 (x,2, 1,0);
  105.   SET2 (y,2, 1,0);
  106.   check_all (x, y, 0, 0);
  107.   /* -1:0 cmp 1:0 */
  108.   SET2 (x,-2, 1,0);
  109.   SET2 (y,2,  1,0);
  110.   check_all (x, y, -1, 0);
  111.   /* 2:0 cmp 1:0 */
  112.   SET2 (x,2, 2,0);
  113.   SET2 (y,2, 1,0);
  114.   check_all (x, y, 1, 1);
  115.   /* 4:3:2:1 cmp 2:1 */
  116.   SET4 (x,4, 4,3,2,1);
  117.   SET2 (y,2, 2,1);
  118.   check_all (x, y, 1, 1);
  119.   /* -4:3:2:1 cmp 2:1 */
  120.   SET4 (x,-4, 4,3,2,1);
  121.   SET2 (y,2,  2,1);
  122.   check_all (x, y, -1, 1);
  123.   mpz_clear (x);
  124.   mpz_clear (y);
  125. }
  126. int
  127. main (void)
  128. {
  129.   tests_start ();
  130.   mp_trace_base = -16;
  131.   check_various ();
  132.   tests_end ();
  133.   exit (0);
  134. }