/src/gmp-6.2.1/mpz/tdiv_qr.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* mpz_tdiv_qr(quot,rem,dividend,divisor) -- Set QUOT to DIVIDEND/DIVISOR, |
2 | | and REM to DIVIDEND mod DIVISOR. |
3 | | |
4 | | Copyright 1991, 1993, 1994, 2000, 2001, 2005, 2011, 2012 Free Software |
5 | | Foundation, Inc. |
6 | | |
7 | | This file is part of the GNU MP Library. |
8 | | |
9 | | The GNU MP Library is free software; you can redistribute it and/or modify |
10 | | it under the terms of either: |
11 | | |
12 | | * the GNU Lesser General Public License as published by the Free |
13 | | Software Foundation; either version 3 of the License, or (at your |
14 | | option) any later version. |
15 | | |
16 | | or |
17 | | |
18 | | * the GNU General Public License as published by the Free Software |
19 | | Foundation; either version 2 of the License, or (at your option) any |
20 | | later version. |
21 | | |
22 | | or both in parallel, as here. |
23 | | |
24 | | The GNU MP Library is distributed in the hope that it will be useful, but |
25 | | WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY |
26 | | or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
27 | | for more details. |
28 | | |
29 | | You should have received copies of the GNU General Public License and the |
30 | | GNU Lesser General Public License along with the GNU MP Library. If not, |
31 | | see https://www.gnu.org/licenses/. */ |
32 | | |
33 | | #include "gmp-impl.h" |
34 | | #include "longlong.h" |
35 | | |
36 | | void |
37 | | mpz_tdiv_qr (mpz_ptr quot, mpz_ptr rem, mpz_srcptr num, mpz_srcptr den) |
38 | 83 | { |
39 | 83 | mp_size_t ql; |
40 | 83 | mp_size_t ns, ds, nl, dl; |
41 | 83 | mp_ptr np, dp, qp, rp; |
42 | 83 | TMP_DECL; |
43 | | |
44 | 83 | ns = SIZ (num); |
45 | 83 | ds = SIZ (den); |
46 | 83 | nl = ABS (ns); |
47 | 83 | dl = ABS (ds); |
48 | 83 | ql = nl - dl + 1; |
49 | | |
50 | 83 | if (UNLIKELY (dl == 0)) |
51 | 0 | DIVIDE_BY_ZERO; |
52 | | |
53 | 83 | rp = MPZ_REALLOC (rem, dl); |
54 | | |
55 | 83 | if (ql <= 0) |
56 | 13 | { |
57 | 13 | if (num != rem) |
58 | 13 | { |
59 | 13 | np = PTR (num); |
60 | 13 | MPN_COPY (rp, np, nl); |
61 | 13 | SIZ (rem) = SIZ (num); |
62 | 13 | } |
63 | | /* This needs to follow the assignment to rem, in case the |
64 | | numerator and quotient are the same. */ |
65 | 13 | SIZ (quot) = 0; |
66 | 13 | return; |
67 | 13 | } |
68 | | |
69 | 70 | qp = MPZ_REALLOC (quot, ql); |
70 | | |
71 | 70 | TMP_MARK; |
72 | 70 | np = PTR (num); |
73 | 70 | dp = PTR (den); |
74 | | |
75 | | /* FIXME: We should think about how to handle the temporary allocation. |
76 | | Perhaps mpn_tdiv_qr should handle it, since it anyway often needs to |
77 | | allocate temp space. */ |
78 | | |
79 | | /* Copy denominator to temporary space if it overlaps with the quotient |
80 | | or remainder. */ |
81 | 70 | if (dp == rp || dp == qp) |
82 | 10 | { |
83 | 10 | mp_ptr tp; |
84 | 10 | tp = TMP_ALLOC_LIMBS (dl); |
85 | 10 | MPN_COPY (tp, dp, dl); |
86 | 10 | dp = tp; |
87 | 10 | } |
88 | | /* Copy numerator to temporary space if it overlaps with the quotient or |
89 | | remainder. */ |
90 | 70 | if (np == rp || np == qp) |
91 | 41 | { |
92 | 41 | mp_ptr tp; |
93 | 41 | tp = TMP_ALLOC_LIMBS (nl); |
94 | 41 | MPN_COPY (tp, np, nl); |
95 | 41 | np = tp; |
96 | 41 | } |
97 | | |
98 | 70 | mpn_tdiv_qr (qp, rp, 0L, np, nl, dp, dl); |
99 | | |
100 | 70 | ql -= qp[ql - 1] == 0; |
101 | 70 | MPN_NORMALIZE (rp, dl); |
102 | | |
103 | 70 | SIZ (quot) = (ns ^ ds) >= 0 ? ql : -ql; |
104 | 70 | SIZ (rem) = ns >= 0 ? dl : -dl; |
105 | 70 | TMP_FREE; |
106 | 70 | } |