1 1.1 mrg /* Test file for mpfr_log_ui. 2 1.1 mrg 3 1.1.1.3 mrg Copyright 2016-2023 Free Software Foundation, Inc. 4 1.1 mrg Contributed by the AriC and Caramba projects, INRIA. 5 1.1 mrg 6 1.1 mrg This file is part of the GNU MPFR Library. 7 1.1 mrg 8 1.1 mrg The GNU MPFR Library is free software; you can redistribute it and/or modify 9 1.1 mrg it under the terms of the GNU Lesser General Public License as published by 10 1.1 mrg the Free Software Foundation; either version 3 of the License, or (at your 11 1.1 mrg option) any later version. 12 1.1 mrg 13 1.1 mrg The GNU MPFR Library is distributed in the hope that it will be useful, but 14 1.1 mrg WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY 15 1.1 mrg or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public 16 1.1 mrg License for more details. 17 1.1 mrg 18 1.1 mrg You should have received a copy of the GNU Lesser General Public License 19 1.1 mrg along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see 20 1.1.1.2 mrg https://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 21 1.1 mrg 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ 22 1.1 mrg 23 1.1 mrg #include "mpfr-test.h" 24 1.1 mrg 25 1.1 mrg static void 26 1.1 mrg compare_with_log (unsigned long n, mpfr_prec_t p) 27 1.1 mrg { 28 1.1 mrg mpfr_t x, y; 29 1.1 mrg int inex1, inex2; 30 1.1 mrg mpfr_flags_t flags1; 31 1.1 mrg 32 1.1 mrg mpfr_init2 (x, sizeof (unsigned long) * CHAR_BIT); 33 1.1 mrg mpfr_init2 (y, p); 34 1.1 mrg inex1 = mpfr_set_ui (x, n, MPFR_RNDN); 35 1.1 mrg MPFR_ASSERTN(inex1 == 0); 36 1.1 mrg inex1 = mpfr_log (y, x, MPFR_RNDN); 37 1.1 mrg flags1 = __gmpfr_flags; 38 1.1 mrg mpfr_set_prec (x, p); 39 1.1 mrg inex2 = mpfr_log_ui (x, n, MPFR_RNDN); 40 1.1 mrg MPFR_ASSERTN(inex1 == inex2); 41 1.1 mrg MPFR_ASSERTN(flags1 == __gmpfr_flags); 42 1.1 mrg MPFR_ASSERTN(mpfr_equal_p (x, y)); 43 1.1 mrg mpfr_clears (x, y, (mpfr_ptr) 0); 44 1.1 mrg } 45 1.1 mrg 46 1.1 mrg #define TEST_FUNCTION mpfr_log_ui 47 1.1 mrg #define ONE_ARG 48 1.1 mrg #define ULONG_ARG1 49 1.1 mrg #define RAND_FUNCTION(x) mpfr_set_ui (x, randlimb (), MPFR_RNDN) 50 1.1 mrg #include "tgeneric.c" 51 1.1 mrg 52 1.1 mrg #define TEST_FUNCTION mpfr_log_ui 53 1.1 mrg 54 1.1 mrg int 55 1.1 mrg main (int argc, char *argv[]) 56 1.1 mrg { 57 1.1 mrg unsigned int prec, yprec; 58 1.1 mrg int rnd; 59 1.1 mrg mpfr_t x, y, z, t, v; 60 1.1 mrg unsigned long m, n; 61 1.1 mrg int inex; 62 1.1 mrg mpfr_exp_t emin, emax; 63 1.1 mrg int i; 64 1.1 mrg 65 1.1 mrg tests_start_mpfr (); 66 1.1 mrg 67 1.1 mrg emin = mpfr_get_emin (); 68 1.1 mrg emax = mpfr_get_emax (); 69 1.1 mrg 70 1.1 mrg mpfr_inits2 (53, x, y, z, t, (mpfr_ptr) 0); 71 1.1 mrg mpfr_init2 (v, sizeof (unsigned long) * CHAR_BIT); 72 1.1 mrg 73 1.1 mrg if (argc >= 3) /* tlog_ui n prec [rnd] */ 74 1.1 mrg { 75 1.1 mrg mpfr_set_prec (x, strtoul (argv[2], NULL, 10)); 76 1.1 mrg TEST_FUNCTION (x, strtoul (argv[1], NULL, 10), 77 1.1 mrg argc > 3 ? (mpfr_rnd_t) atoi (argv[3]) : MPFR_RNDN); 78 1.1 mrg mpfr_out_str (stdout, 10, 0, x, MPFR_RNDN); 79 1.1 mrg printf ("\n"); 80 1.1 mrg goto clear_and_exit; 81 1.1 mrg } 82 1.1 mrg 83 1.1 mrg mpfr_set_prec (x, 33); 84 1.1 mrg mpfr_set_prec (y, 33); 85 1.1 mrg mpfr_log_ui (x, 3, MPFR_RNDZ); 86 1.1 mrg mpfr_set_str_binary (y, "1.0001100100111110101001111010101"); 87 1.1 mrg if (mpfr_cmp (x, y)) 88 1.1 mrg { 89 1.1 mrg printf ("Error for log(3), prec=33, MPFR_RNDZ\n"); 90 1.1 mrg printf ("expected "); mpfr_dump (y); 91 1.1 mrg printf ("got "); mpfr_dump (x); 92 1.1 mrg exit (1); 93 1.1 mrg } 94 1.1 mrg 95 1.1 mrg mpfr_set_prec (x, 60); 96 1.1 mrg mpfr_set_prec (y, 60); 97 1.1 mrg mpfr_log_ui (x, 19, MPFR_RNDU); 98 1.1 mrg mpfr_set_str_binary (y, "10.1111000111000110110000001100000010010110011001011000111010"); 99 1.1 mrg if (mpfr_cmp (x, y)) 100 1.1 mrg { 101 1.1 mrg printf ("Error for log(19), prec=60, MPFR_RNDU\n"); 102 1.1 mrg printf ("expected "); mpfr_dump (y); 103 1.1 mrg printf ("got "); mpfr_dump (x); 104 1.1 mrg exit (1); 105 1.1 mrg } 106 1.1 mrg 107 1.1 mrg mpfr_clear_flags (); 108 1.1 mrg inex = mpfr_log_ui (x, 0, MPFR_RNDN); 109 1.1 mrg MPFR_ASSERTN (inex == 0); 110 1.1 mrg MPFR_ASSERTN (mpfr_inf_p (x)); 111 1.1 mrg MPFR_ASSERTN (mpfr_sgn (x) < 0); 112 1.1 mrg MPFR_ASSERTN (__gmpfr_flags == MPFR_FLAGS_DIVBY0); 113 1.1 mrg 114 1.1 mrg mpfr_clear_flags (); 115 1.1 mrg inex = mpfr_log_ui (x, 1, MPFR_RNDN); 116 1.1 mrg MPFR_ASSERTN (inex == 0); 117 1.1 mrg MPFR_ASSERTN (mpfr_zero_p (x)); 118 1.1 mrg MPFR_ASSERTN (mpfr_signbit (x) == 0); 119 1.1 mrg MPFR_ASSERTN (__gmpfr_flags == 0); 120 1.1 mrg 121 1.1 mrg for (prec = MPFR_PREC_MIN; prec <= 100; prec++) 122 1.1 mrg { 123 1.1 mrg mpfr_set_prec (x, prec); 124 1.1 mrg mpfr_set_prec (z, prec); 125 1.1 mrg mpfr_set_prec (t, prec); 126 1.1 mrg yprec = prec + 20; 127 1.1 mrg mpfr_set_prec (y, yprec); 128 1.1 mrg 129 1.1 mrg for (m = 2; m < 130; m++) 130 1.1 mrg RND_LOOP (rnd) 131 1.1 mrg { 132 1.1 mrg /* Start with n = 2 to 49 (mpfr_can_round would fail for n < 2), 133 1.1 mrg then around ULONG_MAX/3, then around LONG_MAX, then 134 1.1 mrg ULONG_MAX down to ULONG_MAX-19. */ 135 1.1 mrg n = (m < 50 ? m : 136 1.1 mrg m < 80 ? ULONG_MAX/3 + m - 65 : 137 1.1 mrg m < 110 ? (unsigned long) LONG_MAX + m - 95 : 138 1.1 mrg ULONG_MAX - (m - 110)); 139 1.1 mrg inex = mpfr_set_ui (v, n, MPFR_RNDN); 140 1.1 mrg MPFR_ASSERTN (inex == 0); 141 1.1 mrg mpfr_log (y, v, MPFR_RNDN); 142 1.1 mrg if (mpfr_can_round (y, yprec, MPFR_RNDN, MPFR_RNDZ, prec 143 1.1 mrg + (rnd == MPFR_RNDN))) 144 1.1 mrg { 145 1.1 mrg mpfr_set (t, y, (mpfr_rnd_t) rnd); 146 1.1 mrg for (i = 0; i <= 1; i++) 147 1.1 mrg { 148 1.1 mrg if (i) 149 1.1 mrg { 150 1.1 mrg mpfr_exp_t e; 151 1.1 mrg 152 1.1 mrg if (MPFR_IS_SINGULAR (t)) 153 1.1 mrg break; 154 1.1 mrg e = mpfr_get_exp (t); 155 1.1 mrg set_emin (e); 156 1.1 mrg set_emax (e); 157 1.1 mrg } 158 1.1 mrg TEST_FUNCTION (z, n, (mpfr_rnd_t) rnd); 159 1.1 mrg if (i) 160 1.1 mrg { 161 1.1 mrg set_emin (emin); 162 1.1 mrg set_emax (emax); 163 1.1 mrg } 164 1.1 mrg if (mpfr_cmp (t, z)) 165 1.1 mrg { 166 1.1 mrg printf ("results differ for n = %lu, prec = %u," 167 1.1 mrg " %s%s\n", n, prec, 168 1.1 mrg mpfr_print_rnd_mode ((mpfr_rnd_t) rnd), 169 1.1 mrg i ? ", reduced exponent range" : ""); 170 1.1 mrg printf (" got "); 171 1.1 mrg mpfr_dump (z); 172 1.1 mrg printf (" expected "); 173 1.1 mrg mpfr_dump (t); 174 1.1 mrg printf (" approx "); 175 1.1 mrg mpfr_dump (y); 176 1.1 mrg exit (1); 177 1.1 mrg } 178 1.1 mrg } 179 1.1 mrg } 180 1.1 mrg else 181 1.1 mrg { 182 1.1 mrg /* We are not doing random tests. The precision increase 183 1.1 mrg must have be chosen so that this case never occurs. */ 184 1.1 mrg printf ("mpfr_can_round failed for n = %lu, prec = %u, %s\n", 185 1.1 mrg n, prec, mpfr_print_rnd_mode ((mpfr_rnd_t) rnd)); 186 1.1 mrg exit (1); 187 1.1 mrg } 188 1.1 mrg } 189 1.1 mrg } 190 1.1 mrg 191 1.1 mrg 192 1.1 mrg test_generic (MPFR_PREC_MIN, 1000, 1); 193 1.1 mrg 194 1.1 mrg for (n = 1; n < ULONG_MAX / 3; n *= 3) 195 1.1 mrg compare_with_log (n, 10); 196 1.1 mrg 197 1.1 mrg clear_and_exit: 198 1.1 mrg mpfr_clears (x, y, z, t, v, (mpfr_ptr) 0); 199 1.1 mrg 200 1.1 mrg tests_end_mpfr (); 201 1.1 mrg return 0; 202 1.1 mrg } 203