diff options
Diffstat (limited to 'arch/arm/lib/udivdi3.c')
-rw-r--r-- | arch/arm/lib/udivdi3.c | 242 |
1 files changed, 242 insertions, 0 deletions
diff --git a/arch/arm/lib/udivdi3.c b/arch/arm/lib/udivdi3.c new file mode 100644 index 000000000000..d25195f673f4 --- /dev/null +++ b/arch/arm/lib/udivdi3.c | |||
@@ -0,0 +1,242 @@ | |||
1 | /* More subroutines needed by GCC output code on some machines. */ | ||
2 | /* Compile this one with gcc. */ | ||
3 | /* Copyright (C) 1989, 92-98, 1999 Free Software Foundation, Inc. | ||
4 | |||
5 | This file is part of GNU CC. | ||
6 | |||
7 | GNU CC is free software; you can redistribute it and/or modify | ||
8 | it under the terms of the GNU General Public License as published by | ||
9 | the Free Software Foundation; either version 2, or (at your option) | ||
10 | any later version. | ||
11 | |||
12 | GNU CC is distributed in the hope that it will be useful, | ||
13 | but WITHOUT ANY WARRANTY; without even the implied warranty of | ||
14 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | ||
15 | GNU General Public License for more details. | ||
16 | |||
17 | You should have received a copy of the GNU General Public License | ||
18 | along with GNU CC; see the file COPYING. If not, write to | ||
19 | the Free Software Foundation, 59 Temple Place - Suite 330, | ||
20 | Boston, MA 02111-1307, USA. */ | ||
21 | |||
22 | /* As a special exception, if you link this library with other files, | ||
23 | some of which are compiled with GCC, to produce an executable, | ||
24 | this library does not by itself cause the resulting executable | ||
25 | to be covered by the GNU General Public License. | ||
26 | This exception does not however invalidate any other reasons why | ||
27 | the executable file might be covered by the GNU General Public License. | ||
28 | */ | ||
29 | /* support functions required by the kernel. based on code from gcc-2.95.3 */ | ||
30 | /* I Molton 29/07/01 */ | ||
31 | |||
32 | #include "gcclib.h" | ||
33 | #include "longlong.h" | ||
34 | |||
35 | static const UQItype __clz_tab[] = | ||
36 | { | ||
37 | 0,1,2,2,3,3,3,3,4,4,4,4,4,4,4,4,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5, | ||
38 | 6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6, | ||
39 | 7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7, | ||
40 | 7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7, | ||
41 | 8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8, | ||
42 | 8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8, | ||
43 | 8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8, | ||
44 | 8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8, | ||
45 | }; | ||
46 | |||
47 | UDItype | ||
48 | __udivmoddi4 (UDItype n, UDItype d, UDItype *rp) | ||
49 | { | ||
50 | DIunion ww; | ||
51 | DIunion nn, dd; | ||
52 | DIunion rr; | ||
53 | USItype d0, d1, n0, n1, n2; | ||
54 | USItype q0, q1; | ||
55 | USItype b, bm; | ||
56 | |||
57 | nn.ll = n; | ||
58 | dd.ll = d; | ||
59 | |||
60 | d0 = dd.s.low; | ||
61 | d1 = dd.s.high; | ||
62 | n0 = nn.s.low; | ||
63 | n1 = nn.s.high; | ||
64 | |||
65 | if (d1 == 0) | ||
66 | { | ||
67 | if (d0 > n1) | ||
68 | { | ||
69 | /* 0q = nn / 0D */ | ||
70 | |||
71 | count_leading_zeros (bm, d0); | ||
72 | |||
73 | if (bm != 0) | ||
74 | { | ||
75 | /* Normalize, i.e. make the most significant bit of the | ||
76 | denominator set. */ | ||
77 | |||
78 | d0 = d0 << bm; | ||
79 | n1 = (n1 << bm) | (n0 >> (SI_TYPE_SIZE - bm)); | ||
80 | n0 = n0 << bm; | ||
81 | } | ||
82 | |||
83 | udiv_qrnnd (q0, n0, n1, n0, d0); | ||
84 | q1 = 0; | ||
85 | |||
86 | /* Remainder in n0 >> bm. */ | ||
87 | } | ||
88 | else | ||
89 | { | ||
90 | /* qq = NN / 0d */ | ||
91 | |||
92 | if (d0 == 0) | ||
93 | d0 = 1 / d0; /* Divide intentionally by zero. */ | ||
94 | |||
95 | count_leading_zeros (bm, d0); | ||
96 | |||
97 | if (bm == 0) | ||
98 | { | ||
99 | /* From (n1 >= d0) /\ (the most significant bit of d0 is set), | ||
100 | conclude (the most significant bit of n1 is set) /\ (the | ||
101 | leading quotient digit q1 = 1). | ||
102 | |||
103 | This special case is necessary, not an optimization. | ||
104 | (Shifts counts of SI_TYPE_SIZE are undefined.) */ | ||
105 | |||
106 | n1 -= d0; | ||
107 | q1 = 1; | ||
108 | } | ||
109 | else | ||
110 | { | ||
111 | /* Normalize. */ | ||
112 | |||
113 | b = SI_TYPE_SIZE - bm; | ||
114 | |||
115 | d0 = d0 << bm; | ||
116 | n2 = n1 >> b; | ||
117 | n1 = (n1 << bm) | (n0 >> b); | ||
118 | n0 = n0 << bm; | ||
119 | |||
120 | udiv_qrnnd (q1, n1, n2, n1, d0); | ||
121 | } | ||
122 | |||
123 | /* n1 != d0... */ | ||
124 | |||
125 | udiv_qrnnd (q0, n0, n1, n0, d0); | ||
126 | |||
127 | /* Remainder in n0 >> bm. */ | ||
128 | } | ||
129 | |||
130 | if (rp != 0) | ||
131 | { | ||
132 | rr.s.low = n0 >> bm; | ||
133 | rr.s.high = 0; | ||
134 | *rp = rr.ll; | ||
135 | } | ||
136 | } | ||
137 | else | ||
138 | { | ||
139 | if (d1 > n1) | ||
140 | { | ||
141 | /* 00 = nn / DD */ | ||
142 | |||
143 | q0 = 0; | ||
144 | q1 = 0; | ||
145 | |||
146 | /* Remainder in n1n0. */ | ||
147 | if (rp != 0) | ||
148 | { | ||
149 | rr.s.low = n0; | ||
150 | rr.s.high = n1; | ||
151 | *rp = rr.ll; | ||
152 | } | ||
153 | } | ||
154 | else | ||
155 | { | ||
156 | /* 0q = NN / dd */ | ||
157 | |||
158 | count_leading_zeros (bm, d1); | ||
159 | if (bm == 0) | ||
160 | { | ||
161 | /* From (n1 >= d1) /\ (the most significant bit of d1 is set), | ||
162 | conclude (the most significant bit of n1 is set) /\ (the | ||
163 | quotient digit q0 = 0 or 1). | ||
164 | |||
165 | This special case is necessary, not an optimization. */ | ||
166 | |||
167 | /* The condition on the next line takes advantage of that | ||
168 | n1 >= d1 (true due to program flow). */ | ||
169 | if (n1 > d1 || n0 >= d0) | ||
170 | { | ||
171 | q0 = 1; | ||
172 | sub_ddmmss (n1, n0, n1, n0, d1, d0); | ||
173 | } | ||
174 | else | ||
175 | q0 = 0; | ||
176 | |||
177 | q1 = 0; | ||
178 | |||
179 | if (rp != 0) | ||
180 | { | ||
181 | rr.s.low = n0; | ||
182 | rr.s.high = n1; | ||
183 | *rp = rr.ll; | ||
184 | } | ||
185 | } | ||
186 | else | ||
187 | { | ||
188 | USItype m1, m0; | ||
189 | /* Normalize. */ | ||
190 | |||
191 | b = SI_TYPE_SIZE - bm; | ||
192 | |||
193 | d1 = (d1 << bm) | (d0 >> b); | ||
194 | d0 = d0 << bm; | ||
195 | n2 = n1 >> b; | ||
196 | n1 = (n1 << bm) | (n0 >> b); | ||
197 | n0 = n0 << bm; | ||
198 | |||
199 | udiv_qrnnd (q0, n1, n2, n1, d1); | ||
200 | umul_ppmm (m1, m0, q0, d0); | ||
201 | |||
202 | if (m1 > n1 || (m1 == n1 && m0 > n0)) | ||
203 | { | ||
204 | q0--; | ||
205 | sub_ddmmss (m1, m0, m1, m0, d1, d0); | ||
206 | } | ||
207 | |||
208 | q1 = 0; | ||
209 | |||
210 | /* Remainder in (n1n0 - m1m0) >> bm. */ | ||
211 | if (rp != 0) | ||
212 | { | ||
213 | sub_ddmmss (n1, n0, n1, n0, m1, m0); | ||
214 | rr.s.low = (n1 << b) | (n0 >> bm); | ||
215 | rr.s.high = n1 >> bm; | ||
216 | *rp = rr.ll; | ||
217 | } | ||
218 | } | ||
219 | } | ||
220 | } | ||
221 | |||
222 | ww.s.low = q0; | ||
223 | ww.s.high = q1; | ||
224 | return ww.ll; | ||
225 | } | ||
226 | |||
227 | UDItype | ||
228 | __udivdi3 (UDItype n, UDItype d) | ||
229 | { | ||
230 | return __udivmoddi4 (n, d, (UDItype *) 0); | ||
231 | } | ||
232 | |||
233 | UDItype | ||
234 | __umoddi3 (UDItype u, UDItype v) | ||
235 | { | ||
236 | UDItype w; | ||
237 | |||
238 | (void) __udivmoddi4 (u ,v, &w); | ||
239 | |||
240 | return w; | ||
241 | } | ||
242 | |||