33   mpfr_t x, y;  in bug20200703()  local
36   mpfr_init (y);  in bug20200703()
38   mpfr_jn (y, 73333, x, MPFR_RNDN);  in bug20200703()
40   mpfr_jn (y, 733333, x, MPFR_RNDN);  in bug20200703()
42   mpfr_clear (y);  in bug20200703()
48   mpfr_t x, y;  in main()  local
68   mpfr_init (y);  in main()
72   mpfr_jn (y, 17, x, MPFR_RNDN);  in main()
73   MPFR_ASSERTN(mpfr_nan_p (y));  in main()
76   mpfr_jn (y, 17, x, MPFR_RNDN);  in main()
77   MPFR_ASSERTN(mpfr_cmp_ui (y, 0) == 0 && MPFR_IS_POS (y));  in main()
80   mpfr_jn (y, 17, x, MPFR_RNDN);  in main()
81   MPFR_ASSERTN(mpfr_cmp_ui (y, 0) == 0 && MPFR_IS_POS (y));  in main()
84   mpfr_jn (y, 0, x, MPFR_RNDN);  in main()
85   MPFR_ASSERTN(mpfr_cmp_ui (y, 1) == 0); /* j0(+0)=1 */  in main()
86   mpfr_jn (y, 17, x, MPFR_RNDN);  in main()
87   MPFR_ASSERTN(mpfr_cmp_ui (y, 0) == 0 && MPFR_IS_POS (y)); /* j17(+0)=+0 */  in main()
88   mpfr_jn (y, -17, x, MPFR_RNDN);  in main()
89   MPFR_ASSERTN(mpfr_cmp_ui (y, 0) == 0 && MPFR_IS_NEG (y)); /* j-17(+0)=-0 */  in main()
90   mpfr_jn (y, 42, x, MPFR_RNDN);  in main()
91   MPFR_ASSERTN(mpfr_cmp_ui (y, 0) == 0 && MPFR_IS_POS (y)); /* j42(+0)=+0 */  in main()
95   mpfr_jn (y, 0, x, MPFR_RNDN);  in main()
96   MPFR_ASSERTN(mpfr_cmp_ui (y, 1) == 0); /* j0(-0)=1 */  in main()
97   mpfr_jn (y, 17, x, MPFR_RNDN);  in main()
98   MPFR_ASSERTN(mpfr_cmp_ui (y, 0) == 0 && MPFR_IS_NEG (y)); /* j17(-0)=-0 */  in main()
99   mpfr_jn (y, -17, x, MPFR_RNDN);  in main()
100   MPFR_ASSERTN(mpfr_cmp_ui (y, 0) == 0 && MPFR_IS_POS (y)); /* j-17(-0)=+0 */  in main()
101   mpfr_jn (y, 42, x, MPFR_RNDN);  in main()
102   MPFR_ASSERTN(mpfr_cmp_ui (y, 0) == 0 && MPFR_IS_POS (y)); /* j42(-0)=+0 */  in main()
105   mpfr_set_prec (y, 53);  in main()
108   mpfr_jn (y, 0, x, MPFR_RNDN);  in main()
110   if (mpfr_cmp (x, y))  in main()
114       printf ("Got      "); mpfr_dump (y);  in main()
119   mpfr_jn (y, 0, x, MPFR_RNDN);  in main()
121   if (mpfr_cmp (x, y))  in main()
125       printf ("Got      "); mpfr_dump (y);  in main()
130   mpfr_jn (y, 1, x, MPFR_RNDN);  in main()
132   if (mpfr_cmp (x, y))  in main()
136       printf ("Got      "); mpfr_dump (y);  in main()
141   mpfr_jn (y, 17, x, MPFR_RNDN);  in main()
143   if (mpfr_cmp (x, y))  in main()
147       printf ("Got      "); mpfr_dump (y);  in main()
152   mpfr_jn (y, 42, x, MPFR_RNDN);  in main()
154   if (mpfr_cmp (x, y))  in main()
158       printf ("Got      "); mpfr_dump (y);  in main()
163   mpfr_jn (y, -42, x, MPFR_RNDN);  in main()
165   if (mpfr_cmp (x, y))  in main()
169       printf ("Got      "); mpfr_dump (y);  in main()
174   mpfr_jn (y, 42, x, MPFR_RNDN);  in main()
176   if (mpfr_cmp (x, y))  in main()
180       printf ("Got      "); mpfr_dump (y);  in main()
185   mpfr_jn (y, -42, x, MPFR_RNDN);  in main()
187   if (mpfr_cmp (x, y))  in main()
191       printf ("Got      "); mpfr_dump (y);  in main()
196   mpfr_jn (y, 4, x, MPFR_RNDN);  in main()
198   if (mpfr_cmp (x, y))  in main()
202       printf ("Got      "); mpfr_dump (y);  in main()
207   mpfr_jn (y, 16, x, MPFR_RNDN);  in main()
209   if (mpfr_cmp (x, y))  in main()
213       printf ("Got      "); mpfr_dump (y);  in main()
218   mpfr_jn (y, 256, x, MPFR_RNDN);  in main()
220   if (mpfr_cmp (x, y))  in main()
224       printf ("Got      "); mpfr_dump (y);  in main()
229   mpfr_jn (y, 65536, x, MPFR_RNDN);  in main()
231   if (mpfr_cmp (x, y))  in main()
235       printf ("Got      "); mpfr_dump (y);  in main()
240   mpfr_jn (y, 131072, x, MPFR_RNDN);  in main()
242   if (mpfr_cmp (x, y))  in main()
246       printf ("Got      "); mpfr_dump (y);  in main()
251   mpfr_jn (y, 262144, x, MPFR_RNDN);  in main()
253   if (mpfr_cmp (x, y))  in main()
257       printf ("Got      "); mpfr_dump (y);  in main()
262   mpfr_jn (y, 524288, x, MPFR_RNDN);  in main()
264   if (mpfr_cmp (x, y))  in main()
268       printf ("Got      "); mpfr_dump (y);  in main()
277   mpfr_jn (y, n, x, MPFR_RNDN);  in main()
279   if (mpfr_cmp (x, y))  in main()
283       printf ("Got      "); mpfr_dump (y);  in main()
288   mpfr_jn (y, n, x, MPFR_RNDN);  in main()
290   if (mpfr_cmp (x, y))  in main()
294       printf ("Got      "); mpfr_dump (y);  in main()
299   mpfr_jn (y, -n, x, MPFR_RNDN);  in main()
301   if (mpfr_cmp (x, y))  in main()
305       printf ("Got      "); mpfr_dump (y);  in main()
310   mpfr_jn (y, -n, x, MPFR_RNDN);  in main()
312   if (mpfr_cmp (x, y))  in main()
316       printf ("Got      "); mpfr_dump (y);  in main()
321   mpfr_clear (y);  in main()