]> git.ipfire.org Git - thirdparty/gcc.git/blame - libgcc/libgcc2.c
Leverage cacheTextUpdate for __clear_cache on VxWorks
[thirdparty/gcc.git] / libgcc / libgcc2.c
CommitLineData
62c63f32 1/* More subroutines needed by GCC output code on some machines. */
2/* Compile this one with gcc. */
8e8f6434 3/* Copyright (C) 1989-2018 Free Software Foundation, Inc.
62c63f32 4
f12b58b3 5This file is part of GCC.
62c63f32 6
f12b58b3 7GCC is free software; you can redistribute it and/or modify it under
8the terms of the GNU General Public License as published by the Free
6bc9506f 9Software Foundation; either version 3, or (at your option) any later
f12b58b3 10version.
62c63f32 11
f12b58b3 12GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13WARRANTY; without even the implied warranty of MERCHANTABILITY or
14FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15for more details.
62c63f32 16
6bc9506f 17Under Section 7 of GPL version 3, you are granted additional
18permissions described in the GCC Runtime Library Exception, version
193.1, as published by the Free Software Foundation.
20
21You should have received a copy of the GNU General Public License and
22a copy of the GCC Runtime Library Exception along with this program;
23see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
24<http://www.gnu.org/licenses/>. */
62c63f32 25
c538053c 26#include "tconfig.h"
069631e1 27#include "tsystem.h"
805e22b2 28#include "coretypes.h"
29#include "tm.h"
022a2799 30#include "libgcc_tm.h"
8c304688 31
395d450a 32#ifdef HAVE_GAS_HIDDEN
33#define ATTRIBUTE_HIDDEN __attribute__ ((__visibility__ ("hidden")))
34#else
35#define ATTRIBUTE_HIDDEN
36#endif
37
943e5a87 38/* Work out the largest "word" size that we can deal with on this target. */
39#if MIN_UNITS_PER_WORD > 4
40# define LIBGCC2_MAX_UNITS_PER_WORD 8
41#elif (MIN_UNITS_PER_WORD > 2 \
a305fd90 42 || (MIN_UNITS_PER_WORD > 1 && __SIZEOF_LONG_LONG__ > 4))
943e5a87 43# define LIBGCC2_MAX_UNITS_PER_WORD 4
44#else
45# define LIBGCC2_MAX_UNITS_PER_WORD MIN_UNITS_PER_WORD
46#endif
47
48/* Work out what word size we are using for this compilation.
49 The value can be set on the command line. */
0e8499c7 50#ifndef LIBGCC2_UNITS_PER_WORD
943e5a87 51#define LIBGCC2_UNITS_PER_WORD LIBGCC2_MAX_UNITS_PER_WORD
0e8499c7 52#endif
53
943e5a87 54#if LIBGCC2_UNITS_PER_WORD <= LIBGCC2_MAX_UNITS_PER_WORD
0e8499c7 55
b1e341a2 56#include "libgcc2.h"
62c63f32 57\f
856ba90e 58#ifdef DECLARE_LIBRARY_RENAMES
59 DECLARE_LIBRARY_RENAMES
60#endif
61
f4dbfb4e 62#if defined (L_negdi2)
e40ae714 63DWtype
64__negdi2 (DWtype u)
65{
ec7f942b 66 const DWunion uu = {.ll = u};
67 const DWunion w = { {.low = -uu.s.low,
68 .high = -uu.s.high - ((UWtype) -uu.s.low > 0) } };
e40ae714 69
70 return w.ll;
71}
72#endif
bec2d490 73
74#ifdef L_addvsi3
578dc367 75Wtype
ad7a5867 76__addvSI3 (Wtype a, Wtype b)
bec2d490 77{
462a0c31 78 const Wtype w = (UWtype) a + (UWtype) b;
bec2d490 79
80 if (b >= 0 ? w < a : w > a)
81 abort ();
82
83 return w;
87e97de6 84}
ad7a5867 85#ifdef COMPAT_SIMODE_TRAPPING_ARITHMETIC
86SItype
87__addvsi3 (SItype a, SItype b)
88{
462a0c31 89 const SItype w = (USItype) a + (USItype) b;
ad7a5867 90
91 if (b >= 0 ? w < a : w > a)
92 abort ();
93
94 return w;
95}
96#endif /* COMPAT_SIMODE_TRAPPING_ARITHMETIC */
e40ae714 97#endif
bec2d490 98\f
99#ifdef L_addvdi3
578dc367 100DWtype
ad7a5867 101__addvDI3 (DWtype a, DWtype b)
bec2d490 102{
462a0c31 103 const DWtype w = (UDWtype) a + (UDWtype) b;
bec2d490 104
105 if (b >= 0 ? w < a : w > a)
106 abort ();
107
108 return w;
109}
110#endif
111\f
112#ifdef L_subvsi3
578dc367 113Wtype
ad7a5867 114__subvSI3 (Wtype a, Wtype b)
bec2d490 115{
462a0c31 116 const Wtype w = (UWtype) a - (UWtype) b;
bec2d490 117
118 if (b >= 0 ? w > a : w < a)
119 abort ();
120
121 return w;
bec2d490 122}
ad7a5867 123#ifdef COMPAT_SIMODE_TRAPPING_ARITHMETIC
124SItype
125__subvsi3 (SItype a, SItype b)
126{
462a0c31 127 const SItype w = (USItype) a - (USItype) b;
ad7a5867 128
129 if (b >= 0 ? w > a : w < a)
130 abort ();
131
132 return w;
133}
134#endif /* COMPAT_SIMODE_TRAPPING_ARITHMETIC */
bec2d490 135#endif
136\f
137#ifdef L_subvdi3
578dc367 138DWtype
ad7a5867 139__subvDI3 (DWtype a, DWtype b)
bec2d490 140{
462a0c31 141 const DWtype w = (UDWtype) a - (UDWtype) b;
bec2d490 142
143 if (b >= 0 ? w > a : w < a)
144 abort ();
145
146 return w;
bec2d490 147}
148#endif
149\f
150#ifdef L_mulvsi3
578dc367 151Wtype
ad7a5867 152__mulvSI3 (Wtype a, Wtype b)
bec2d490 153{
ec7f942b 154 const DWtype w = (DWtype) a * (DWtype) b;
bec2d490 155
fe2f5693 156 if ((Wtype) (w >> W_TYPE_SIZE) != (Wtype) w >> (W_TYPE_SIZE - 1))
bec2d490 157 abort ();
158
159 return w;
160}
ad7a5867 161#ifdef COMPAT_SIMODE_TRAPPING_ARITHMETIC
162#undef WORD_SIZE
d2dc729f 163#define WORD_SIZE (sizeof (SItype) * __CHAR_BIT__)
ad7a5867 164SItype
165__mulvsi3 (SItype a, SItype b)
166{
167 const DItype w = (DItype) a * (DItype) b;
168
169 if ((SItype) (w >> WORD_SIZE) != (SItype) w >> (WORD_SIZE-1))
170 abort ();
171
172 return w;
173}
174#endif /* COMPAT_SIMODE_TRAPPING_ARITHMETIC */
bec2d490 175#endif
176\f
177#ifdef L_negvsi2
578dc367 178Wtype
ad7a5867 179__negvSI2 (Wtype a)
bec2d490 180{
462a0c31 181 const Wtype w = -(UWtype) a;
bec2d490 182
183 if (a >= 0 ? w > 0 : w < 0)
184 abort ();
185
186 return w;
187}
ad7a5867 188#ifdef COMPAT_SIMODE_TRAPPING_ARITHMETIC
189SItype
190__negvsi2 (SItype a)
191{
462a0c31 192 const SItype w = -(USItype) a;
ad7a5867 193
194 if (a >= 0 ? w > 0 : w < 0)
195 abort ();
196
197 return w;
198}
199#endif /* COMPAT_SIMODE_TRAPPING_ARITHMETIC */
bec2d490 200#endif
201\f
202#ifdef L_negvdi2
578dc367 203DWtype
ad7a5867 204__negvDI2 (DWtype a)
bec2d490 205{
462a0c31 206 const DWtype w = -(UDWtype) a;
bec2d490 207
208 if (a >= 0 ? w > 0 : w < 0)
209 abort ();
210
8851e806 211 return w;
bec2d490 212}
213#endif
214\f
215#ifdef L_absvsi2
578dc367 216Wtype
ad7a5867 217__absvSI2 (Wtype a)
bec2d490 218{
8851e806 219 Wtype w = a;
bec2d490 220
ad7a5867 221 if (a < 0)
222#ifdef L_negvsi2
223 w = __negvSI2 (a);
224#else
462a0c31 225 w = -(UWtype) a;
ad7a5867 226
227 if (w < 0)
228 abort ();
229#endif
230
231 return w;
232}
233#ifdef COMPAT_SIMODE_TRAPPING_ARITHMETIC
234SItype
235__absvsi2 (SItype a)
236{
237 SItype w = a;
238
8851e806 239 if (a < 0)
bec2d490 240#ifdef L_negvsi2
8851e806 241 w = __negvsi2 (a);
bec2d490 242#else
462a0c31 243 w = -(USItype) a;
bec2d490 244
8851e806 245 if (w < 0)
246 abort ();
bec2d490 247#endif
248
249 return w;
250}
ad7a5867 251#endif /* COMPAT_SIMODE_TRAPPING_ARITHMETIC */
bec2d490 252#endif
253\f
254#ifdef L_absvdi2
578dc367 255DWtype
ad7a5867 256__absvDI2 (DWtype a)
bec2d490 257{
8851e806 258 DWtype w = a;
bec2d490 259
8851e806 260 if (a < 0)
4772072d 261#ifdef L_negvdi2
ad7a5867 262 w = __negvDI2 (a);
bec2d490 263#else
462a0c31 264 w = -(UDWtype) a;
bec2d490 265
8851e806 266 if (w < 0)
267 abort ();
bec2d490 268#endif
269
8851e806 270 return w;
bec2d490 271}
272#endif
273\f
274#ifdef L_mulvdi3
578dc367 275DWtype
ad7a5867 276__mulvDI3 (DWtype u, DWtype v)
bec2d490 277{
4772072d 278 /* The unchecked multiplication needs 3 Wtype x Wtype multiplications,
279 but the checked multiplication needs only two. */
ec7f942b 280 const DWunion uu = {.ll = u};
281 const DWunion vv = {.ll = v};
bec2d490 282
fe2f5693 283 if (__builtin_expect (uu.s.high == uu.s.low >> (W_TYPE_SIZE - 1), 1))
4772072d 284 {
285 /* u fits in a single Wtype. */
fe2f5693 286 if (__builtin_expect (vv.s.high == vv.s.low >> (W_TYPE_SIZE - 1), 1))
4772072d 287 {
288 /* v fits in a single Wtype as well. */
289 /* A single multiplication. No overflow risk. */
290 return (DWtype) uu.s.low * (DWtype) vv.s.low;
291 }
292 else
293 {
294 /* Two multiplications. */
ec7f942b 295 DWunion w0 = {.ll = (UDWtype) (UWtype) uu.s.low
296 * (UDWtype) (UWtype) vv.s.low};
297 DWunion w1 = {.ll = (UDWtype) (UWtype) uu.s.low
298 * (UDWtype) (UWtype) vv.s.high};
4772072d 299
4772072d 300 if (vv.s.high < 0)
301 w1.s.high -= uu.s.low;
302 if (uu.s.low < 0)
303 w1.ll -= vv.ll;
304 w1.ll += (UWtype) w0.s.high;
fe2f5693 305 if (__builtin_expect (w1.s.high == w1.s.low >> (W_TYPE_SIZE - 1), 1))
4772072d 306 {
307 w0.s.high = w1.s.low;
308 return w0.ll;
309 }
310 }
311 }
312 else
313 {
fe2f5693 314 if (__builtin_expect (vv.s.high == vv.s.low >> (W_TYPE_SIZE - 1), 1))
4772072d 315 {
316 /* v fits into a single Wtype. */
317 /* Two multiplications. */
ec7f942b 318 DWunion w0 = {.ll = (UDWtype) (UWtype) uu.s.low
319 * (UDWtype) (UWtype) vv.s.low};
320 DWunion w1 = {.ll = (UDWtype) (UWtype) uu.s.high
321 * (UDWtype) (UWtype) vv.s.low};
4772072d 322
4772072d 323 if (uu.s.high < 0)
324 w1.s.high -= vv.s.low;
325 if (vv.s.low < 0)
326 w1.ll -= uu.ll;
327 w1.ll += (UWtype) w0.s.high;
fe2f5693 328 if (__builtin_expect (w1.s.high == w1.s.low >> (W_TYPE_SIZE - 1), 1))
4772072d 329 {
330 w0.s.high = w1.s.low;
331 return w0.ll;
332 }
333 }
334 else
335 {
336 /* A few sign checks and a single multiplication. */
337 if (uu.s.high >= 0)
338 {
339 if (vv.s.high >= 0)
340 {
341 if (uu.s.high == 0 && vv.s.high == 0)
342 {
ec7f942b 343 const DWtype w = (UDWtype) (UWtype) uu.s.low
344 * (UDWtype) (UWtype) vv.s.low;
4772072d 345 if (__builtin_expect (w >= 0, 1))
346 return w;
347 }
348 }
349 else
350 {
351 if (uu.s.high == 0 && vv.s.high == (Wtype) -1)
352 {
ec7f942b 353 DWunion ww = {.ll = (UDWtype) (UWtype) uu.s.low
354 * (UDWtype) (UWtype) vv.s.low};
4772072d 355
4772072d 356 ww.s.high -= uu.s.low;
357 if (__builtin_expect (ww.s.high < 0, 1))
358 return ww.ll;
359 }
360 }
361 }
362 else
363 {
364 if (vv.s.high >= 0)
365 {
366 if (uu.s.high == (Wtype) -1 && vv.s.high == 0)
367 {
ec7f942b 368 DWunion ww = {.ll = (UDWtype) (UWtype) uu.s.low
369 * (UDWtype) (UWtype) vv.s.low};
4772072d 370
4772072d 371 ww.s.high -= vv.s.low;
372 if (__builtin_expect (ww.s.high < 0, 1))
373 return ww.ll;
374 }
375 }
376 else
377 {
4bed1b09 378 if ((uu.s.high & vv.s.high) == (Wtype) -1
379 && (uu.s.low | vv.s.low) != 0)
4772072d 380 {
ec7f942b 381 DWunion ww = {.ll = (UDWtype) (UWtype) uu.s.low
382 * (UDWtype) (UWtype) vv.s.low};
4772072d 383
4772072d 384 ww.s.high -= uu.s.low;
385 ww.s.high -= vv.s.low;
386 if (__builtin_expect (ww.s.high >= 0, 1))
387 return ww.ll;
388 }
389 }
390 }
391 }
392 }
bec2d490 393
4772072d 394 /* Overflow. */
395 abort ();
bec2d490 396}
397#endif
398\f
62c63f32 399
b903337a 400/* Unless shift functions are defined with full ANSI prototypes,
0ef89dfd 401 parameter b will be promoted to int if shift_count_type is smaller than an int. */
62c63f32 402#ifdef L_lshrdi3
cf378360 403DWtype
0ef89dfd 404__lshrdi3 (DWtype u, shift_count_type b)
62c63f32 405{
62c63f32 406 if (b == 0)
407 return u;
408
ec7f942b 409 const DWunion uu = {.ll = u};
8761b9a1 410 const shift_count_type bm = W_TYPE_SIZE - b;
ec7f942b 411 DWunion w;
62c63f32 412
62c63f32 413 if (bm <= 0)
414 {
415 w.s.high = 0;
d1138980 416 w.s.low = (UWtype) uu.s.high >> -bm;
62c63f32 417 }
418 else
419 {
ec7f942b 420 const UWtype carries = (UWtype) uu.s.high << bm;
d1138980 421
422 w.s.high = (UWtype) uu.s.high >> b;
423 w.s.low = ((UWtype) uu.s.low >> b) | carries;
62c63f32 424 }
425
426 return w.ll;
427}
428#endif
429
430#ifdef L_ashldi3
cf378360 431DWtype
0ef89dfd 432__ashldi3 (DWtype u, shift_count_type b)
62c63f32 433{
62c63f32 434 if (b == 0)
435 return u;
436
ec7f942b 437 const DWunion uu = {.ll = u};
8761b9a1 438 const shift_count_type bm = W_TYPE_SIZE - b;
ec7f942b 439 DWunion w;
62c63f32 440
62c63f32 441 if (bm <= 0)
442 {
443 w.s.low = 0;
d1138980 444 w.s.high = (UWtype) uu.s.low << -bm;
62c63f32 445 }
446 else
447 {
ec7f942b 448 const UWtype carries = (UWtype) uu.s.low >> bm;
d1138980 449
450 w.s.low = (UWtype) uu.s.low << b;
451 w.s.high = ((UWtype) uu.s.high << b) | carries;
62c63f32 452 }
453
454 return w.ll;
455}
456#endif
457
458#ifdef L_ashrdi3
cf378360 459DWtype
0ef89dfd 460__ashrdi3 (DWtype u, shift_count_type b)
62c63f32 461{
62c63f32 462 if (b == 0)
463 return u;
464
ec7f942b 465 const DWunion uu = {.ll = u};
8761b9a1 466 const shift_count_type bm = W_TYPE_SIZE - b;
ec7f942b 467 DWunion w;
62c63f32 468
62c63f32 469 if (bm <= 0)
470 {
471 /* w.s.high = 1..1 or 0..0 */
8761b9a1 472 w.s.high = uu.s.high >> (W_TYPE_SIZE - 1);
62c63f32 473 w.s.low = uu.s.high >> -bm;
474 }
475 else
476 {
ec7f942b 477 const UWtype carries = (UWtype) uu.s.high << bm;
d1138980 478
62c63f32 479 w.s.high = uu.s.high >> b;
d1138980 480 w.s.low = ((UWtype) uu.s.low >> b) | carries;
62c63f32 481 }
482
483 return w.ll;
484}
485#endif
486\f
42791117 487#ifdef L_bswapsi2
c2f6f0a7 488SItype
489__bswapsi2 (SItype u)
42791117 490{
491 return ((((u) & 0xff000000) >> 24)
492 | (((u) & 0x00ff0000) >> 8)
493 | (((u) & 0x0000ff00) << 8)
494 | (((u) & 0x000000ff) << 24));
495}
496#endif
497#ifdef L_bswapdi2
c2f6f0a7 498DItype
499__bswapdi2 (DItype u)
42791117 500{
501 return ((((u) & 0xff00000000000000ull) >> 56)
502 | (((u) & 0x00ff000000000000ull) >> 40)
503 | (((u) & 0x0000ff0000000000ull) >> 24)
504 | (((u) & 0x000000ff00000000ull) >> 8)
505 | (((u) & 0x00000000ff000000ull) << 8)
506 | (((u) & 0x0000000000ff0000ull) << 24)
507 | (((u) & 0x000000000000ff00ull) << 40)
508 | (((u) & 0x00000000000000ffull) << 56));
509}
510#endif
092445b3 511#ifdef L_ffssi2
512#undef int
092445b3 513int
514__ffsSI2 (UWtype u)
515{
516 UWtype count;
517
518 if (u == 0)
519 return 0;
520
521 count_trailing_zeros (count, u);
522 return count + 1;
523}
524#endif
525\f
5e4e1583 526#ifdef L_ffsdi2
7a02b4da 527#undef int
7a02b4da 528int
092445b3 529__ffsDI2 (DWtype u)
5e4e1583 530{
ec7f942b 531 const DWunion uu = {.ll = u};
9ce1b52b 532 UWtype word, count, add;
533
9ce1b52b 534 if (uu.s.low != 0)
535 word = uu.s.low, add = 0;
536 else if (uu.s.high != 0)
8761b9a1 537 word = uu.s.high, add = W_TYPE_SIZE;
9ce1b52b 538 else
539 return 0;
540
541 count_trailing_zeros (count, word);
542 return count + add + 1;
5e4e1583 543}
544#endif
545\f
62c63f32 546#ifdef L_muldi3
cf378360 547DWtype
548__muldi3 (DWtype u, DWtype v)
62c63f32 549{
ec7f942b 550 const DWunion uu = {.ll = u};
551 const DWunion vv = {.ll = v};
552 DWunion w = {.ll = __umulsidi3 (uu.s.low, vv.s.low)};
62c63f32 553
cf378360 554 w.s.high += ((UWtype) uu.s.low * (UWtype) vv.s.high
555 + (UWtype) uu.s.high * (UWtype) vv.s.low);
62c63f32 556
557 return w.ll;
558}
559#endif
560\f
1b3950b9 561#if (defined (L_udivdi3) || defined (L_divdi3) || \
562 defined (L_umoddi3) || defined (L_moddi3))
6b9d1b54 563#if defined (sdiv_qrnnd)
1b3950b9 564#define L_udiv_w_sdiv
565#endif
6b9d1b54 566#endif
1b3950b9 567
a46ef09f 568#ifdef L_udiv_w_sdiv
b10877f3 569#if defined (sdiv_qrnnd)
1b3950b9 570#if (defined (L_udivdi3) || defined (L_divdi3) || \
571 defined (L_umoddi3) || defined (L_moddi3))
9dae5ac3 572static inline __attribute__ ((__always_inline__))
1b3950b9 573#endif
cf378360 574UWtype
575__udiv_w_sdiv (UWtype *rp, UWtype a1, UWtype a0, UWtype d)
ba628a68 576{
cf378360 577 UWtype q, r;
578 UWtype c0, c1, b1;
ba628a68 579
cf378360 580 if ((Wtype) d >= 0)
ba628a68 581 {
cf378360 582 if (a1 < d - a1 - (a0 >> (W_TYPE_SIZE - 1)))
ba628a68 583 {
778ac06a 584 /* Dividend, divisor, and quotient are nonnegative. */
ba628a68 585 sdiv_qrnnd (q, r, a1, a0, d);
586 }
587 else
588 {
778ac06a 589 /* Compute c1*2^32 + c0 = a1*2^32 + a0 - 2^31*d. */
cf378360 590 sub_ddmmss (c1, c0, a1, a0, d >> 1, d << (W_TYPE_SIZE - 1));
778ac06a 591 /* Divide (c1*2^32 + c0) by d. */
ba628a68 592 sdiv_qrnnd (q, r, c1, c0, d);
778ac06a 593 /* Add 2^31 to quotient. */
cf378360 594 q += (UWtype) 1 << (W_TYPE_SIZE - 1);
ba628a68 595 }
596 }
597 else
598 {
599 b1 = d >> 1; /* d/2, between 2^30 and 2^31 - 1 */
600 c1 = a1 >> 1; /* A/2 */
cf378360 601 c0 = (a1 << (W_TYPE_SIZE - 1)) + (a0 >> 1);
ba628a68 602
603 if (a1 < b1) /* A < 2^32*b1, so A/2 < 2^31*b1 */
604 {
605 sdiv_qrnnd (q, r, c1, c0, b1); /* (A/2) / (d/2) */
606
607 r = 2*r + (a0 & 1); /* Remainder from A/(2*b1) */
608 if ((d & 1) != 0)
609 {
610 if (r >= q)
611 r = r - q;
612 else if (q - r <= d)
613 {
614 r = r - q + d;
615 q--;
616 }
617 else
618 {
619 r = r - q + 2*d;
620 q -= 2;
621 }
622 }
623 }
624 else if (c1 < b1) /* So 2^31 <= (A/2)/b1 < 2^32 */
625 {
626 c1 = (b1 - 1) - c1;
627 c0 = ~c0; /* logical NOT */
628
629 sdiv_qrnnd (q, r, c1, c0, b1); /* (A/2) / (d/2) */
630
631 q = ~q; /* (A/2)/b1 */
632 r = (b1 - 1) - r;
633
634 r = 2*r + (a0 & 1); /* A/(2*b1) */
635
636 if ((d & 1) != 0)
637 {
638 if (r >= q)
639 r = r - q;
640 else if (q - r <= d)
641 {
642 r = r - q + d;
643 q--;
644 }
645 else
646 {
647 r = r - q + 2*d;
648 q -= 2;
649 }
650 }
651 }
652 else /* Implies c1 = b1 */
653 { /* Hence a1 = d - 1 = 2*b1 - 1 */
654 if (a0 >= -d)
655 {
656 q = -1;
657 r = a0 + d;
658 }
659 else
660 {
661 q = -2;
662 r = a0 + 2*d;
663 }
664 }
665 }
666
667 *rp = r;
668 return q;
669}
b10877f3 670#else
671/* If sdiv_qrnnd doesn't exist, define dummy __udiv_w_sdiv. */
cf378360 672UWtype
673__udiv_w_sdiv (UWtype *rp __attribute__ ((__unused__)),
674 UWtype a1 __attribute__ ((__unused__)),
675 UWtype a0 __attribute__ ((__unused__)),
676 UWtype d __attribute__ ((__unused__)))
73439ee0 677{
678 return 0;
679}
b10877f3 680#endif
ba628a68 681#endif
682\f
a47053cf 683#if (defined (L_udivdi3) || defined (L_divdi3) || \
2743281b 684 defined (L_umoddi3) || defined (L_moddi3) || \
685 defined (L_divmoddi4))
a47053cf 686#define L_udivmoddi4
687#endif
688
9ce1b52b 689#ifdef L_clz
2f26863b 690const UQItype __clz_tab[256] =
62c63f32 691{
692 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,
693 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,
694 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,
695 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,
696 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,
697 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,
698 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,
2f26863b 699 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
62c63f32 700};
9ce1b52b 701#endif
6a08d0ab 702\f
703#ifdef L_clzsi2
7a02b4da 704#undef int
7a02b4da 705int
0f186426 706__clzSI2 (UWtype x)
6a08d0ab 707{
395d450a 708 Wtype ret;
6a08d0ab 709
0f186426 710 count_leading_zeros (ret, x);
395d450a 711
712 return ret;
6a08d0ab 713}
714#endif
715\f
716#ifdef L_clzdi2
7a02b4da 717#undef int
7a02b4da 718int
0f186426 719__clzDI2 (UDWtype x)
6a08d0ab 720{
ec7f942b 721 const DWunion uu = {.ll = x};
395d450a 722 UWtype word;
723 Wtype ret, add;
724
0f186426 725 if (uu.s.high)
726 word = uu.s.high, add = 0;
395d450a 727 else
0f186426 728 word = uu.s.low, add = W_TYPE_SIZE;
6a08d0ab 729
395d450a 730 count_leading_zeros (ret, word);
731 return ret + add;
6a08d0ab 732}
733#endif
734\f
735#ifdef L_ctzsi2
7a02b4da 736#undef int
7a02b4da 737int
0f186426 738__ctzSI2 (UWtype x)
6a08d0ab 739{
395d450a 740 Wtype ret;
6a08d0ab 741
395d450a 742 count_trailing_zeros (ret, x);
6a08d0ab 743
395d450a 744 return ret;
6a08d0ab 745}
746#endif
747\f
748#ifdef L_ctzdi2
7a02b4da 749#undef int
7a02b4da 750int
0f186426 751__ctzDI2 (UDWtype x)
6a08d0ab 752{
ec7f942b 753 const DWunion uu = {.ll = x};
395d450a 754 UWtype word;
755 Wtype ret, add;
756
0f186426 757 if (uu.s.low)
758 word = uu.s.low, add = 0;
395d450a 759 else
0f186426 760 word = uu.s.high, add = W_TYPE_SIZE;
6a08d0ab 761
395d450a 762 count_trailing_zeros (ret, word);
763 return ret + add;
6a08d0ab 764}
765#endif
d8492bd3 766\f
767#ifdef L_clrsbsi2
768#undef int
769int
770__clrsbSI2 (Wtype x)
771{
772 Wtype ret;
6a08d0ab 773
d8492bd3 774 if (x < 0)
775 x = ~x;
776 if (x == 0)
777 return W_TYPE_SIZE - 1;
778 count_leading_zeros (ret, x);
779 return ret - 1;
780}
781#endif
782\f
783#ifdef L_clrsbdi2
784#undef int
785int
786__clrsbDI2 (DWtype x)
787{
788 const DWunion uu = {.ll = x};
789 UWtype word;
790 Wtype ret, add;
791
792 if (uu.s.high == 0)
793 word = uu.s.low, add = W_TYPE_SIZE;
794 else if (uu.s.high == -1)
795 word = ~uu.s.low, add = W_TYPE_SIZE;
796 else if (uu.s.high >= 0)
797 word = uu.s.high, add = 0;
798 else
799 word = ~uu.s.high, add = 0;
800
801 if (word == 0)
802 ret = W_TYPE_SIZE;
803 else
804 count_leading_zeros (ret, word);
805
806 return ret + add - 1;
807}
808#endif
809\f
6a08d0ab 810#ifdef L_popcount_tab
2f26863b 811const UQItype __popcount_tab[256] =
6a08d0ab 812{
813 0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,
814 1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
815 1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
816 2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
817 1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
818 2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
819 2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
2f26863b 820 3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,4,5,5,6,5,6,6,7,5,6,6,7,6,7,7,8
6a08d0ab 821};
822#endif
823\f
68a09193 824#if defined(L_popcountsi2) || defined(L_popcountdi2)
d2dc729f 825#define POPCOUNTCST2(x) (((UWtype) x << __CHAR_BIT__) | x)
826#define POPCOUNTCST4(x) (((UWtype) x << (2 * __CHAR_BIT__)) | x)
827#define POPCOUNTCST8(x) (((UWtype) x << (4 * __CHAR_BIT__)) | x)
828#if W_TYPE_SIZE == __CHAR_BIT__
68a09193 829#define POPCOUNTCST(x) x
d2dc729f 830#elif W_TYPE_SIZE == 2 * __CHAR_BIT__
68a09193 831#define POPCOUNTCST(x) POPCOUNTCST2 (x)
d2dc729f 832#elif W_TYPE_SIZE == 4 * __CHAR_BIT__
68a09193 833#define POPCOUNTCST(x) POPCOUNTCST4 (POPCOUNTCST2 (x))
d2dc729f 834#elif W_TYPE_SIZE == 8 * __CHAR_BIT__
68a09193 835#define POPCOUNTCST(x) POPCOUNTCST8 (POPCOUNTCST4 (POPCOUNTCST2 (x)))
836#endif
837#endif
838\f
6a08d0ab 839#ifdef L_popcountsi2
7a02b4da 840#undef int
7a02b4da 841int
0f186426 842__popcountSI2 (UWtype x)
6a08d0ab 843{
68a09193 844 /* Force table lookup on targets like AVR and RL78 which only
845 pretend they have LIBGCC2_UNITS_PER_WORD 4, but actually
846 have 1, and other small word targets. */
d2dc729f 847#if __SIZEOF_INT__ > 2 && defined (POPCOUNTCST) && __CHAR_BIT__ == 8
68a09193 848 x = x - ((x >> 1) & POPCOUNTCST (0x55));
849 x = (x & POPCOUNTCST (0x33)) + ((x >> 2) & POPCOUNTCST (0x33));
850 x = (x + (x >> 4)) & POPCOUNTCST (0x0F);
d2dc729f 851 return (x * POPCOUNTCST (0x01)) >> (W_TYPE_SIZE - __CHAR_BIT__);
68a09193 852#else
341a558a 853 int i, ret = 0;
0f186426 854
855 for (i = 0; i < W_TYPE_SIZE; i += 8)
856 ret += __popcount_tab[(x >> i) & 0xff];
857
858 return ret;
68a09193 859#endif
6a08d0ab 860}
861#endif
862\f
863#ifdef L_popcountdi2
7a02b4da 864#undef int
7a02b4da 865int
0f186426 866__popcountDI2 (UDWtype x)
6a08d0ab 867{
68a09193 868 /* Force table lookup on targets like AVR and RL78 which only
869 pretend they have LIBGCC2_UNITS_PER_WORD 4, but actually
870 have 1, and other small word targets. */
d2dc729f 871#if __SIZEOF_INT__ > 2 && defined (POPCOUNTCST) && __CHAR_BIT__ == 8
68a09193 872 const DWunion uu = {.ll = x};
873 UWtype x1 = uu.s.low, x2 = uu.s.high;
874 x1 = x1 - ((x1 >> 1) & POPCOUNTCST (0x55));
875 x2 = x2 - ((x2 >> 1) & POPCOUNTCST (0x55));
876 x1 = (x1 & POPCOUNTCST (0x33)) + ((x1 >> 2) & POPCOUNTCST (0x33));
877 x2 = (x2 & POPCOUNTCST (0x33)) + ((x2 >> 2) & POPCOUNTCST (0x33));
878 x1 = (x1 + (x1 >> 4)) & POPCOUNTCST (0x0F);
879 x2 = (x2 + (x2 >> 4)) & POPCOUNTCST (0x0F);
880 x1 += x2;
d2dc729f 881 return (x1 * POPCOUNTCST (0x01)) >> (W_TYPE_SIZE - __CHAR_BIT__);
68a09193 882#else
341a558a 883 int i, ret = 0;
0f186426 884
885 for (i = 0; i < 2*W_TYPE_SIZE; i += 8)
886 ret += __popcount_tab[(x >> i) & 0xff];
887
888 return ret;
68a09193 889#endif
6a08d0ab 890}
891#endif
892\f
893#ifdef L_paritysi2
7a02b4da 894#undef int
7a02b4da 895int
0f186426 896__paritySI2 (UWtype x)
6a08d0ab 897{
0f186426 898#if W_TYPE_SIZE > 64
899# error "fill out the table"
900#endif
901#if W_TYPE_SIZE > 32
902 x ^= x >> 32;
903#endif
904#if W_TYPE_SIZE > 16
905 x ^= x >> 16;
906#endif
907 x ^= x >> 8;
908 x ^= x >> 4;
909 x &= 0xf;
910 return (0x6996 >> x) & 1;
6a08d0ab 911}
912#endif
913\f
914#ifdef L_paritydi2
7a02b4da 915#undef int
7a02b4da 916int
0f186426 917__parityDI2 (UDWtype x)
6a08d0ab 918{
ec7f942b 919 const DWunion uu = {.ll = x};
920 UWtype nx = uu.s.low ^ uu.s.high;
0f186426 921
922#if W_TYPE_SIZE > 64
923# error "fill out the table"
924#endif
925#if W_TYPE_SIZE > 32
926 nx ^= nx >> 32;
927#endif
928#if W_TYPE_SIZE > 16
6a08d0ab 929 nx ^= nx >> 16;
0f186426 930#endif
6a08d0ab 931 nx ^= nx >> 8;
395d450a 932 nx ^= nx >> 4;
9acebba8 933 nx &= 0xf;
934 return (0x6996 >> nx) & 1;
6a08d0ab 935}
936#endif
9ce1b52b 937
938#ifdef L_udivmoddi4
b214253d 939#ifdef TARGET_HAS_NO_HW_DIVIDE
940
941#if (defined (L_udivdi3) || defined (L_divdi3) || \
2743281b 942 defined (L_umoddi3) || defined (L_moddi3) || \
943 defined (L_divmoddi4))
b214253d 944static inline __attribute__ ((__always_inline__))
945#endif
946UDWtype
947__udivmoddi4 (UDWtype n, UDWtype d, UDWtype *rp)
948{
949 UDWtype q = 0, r = n, y = d;
950 UWtype lz1, lz2, i, k;
951
952 /* Implements align divisor shift dividend method. This algorithm
953 aligns the divisor under the dividend and then perform number of
954 test-subtract iterations which shift the dividend left. Number of
955 iterations is k + 1 where k is the number of bit positions the
956 divisor must be shifted left to align it under the dividend.
957 quotient bits can be saved in the rightmost positions of the dividend
958 as it shifts left on each test-subtract iteration. */
959
960 if (y <= r)
961 {
962 lz1 = __builtin_clzll (d);
963 lz2 = __builtin_clzll (n);
964
965 k = lz1 - lz2;
966 y = (y << k);
967
968 /* Dividend can exceed 2 ^ (width − 1) − 1 but still be less than the
969 aligned divisor. Normal iteration can drops the high order bit
970 of the dividend. Therefore, first test-subtract iteration is a
971 special case, saving its quotient bit in a separate location and
972 not shifting the dividend. */
973 if (r >= y)
974 {
975 r = r - y;
976 q = (1ULL << k);
977 }
978
979 if (k > 0)
980 {
981 y = y >> 1;
982
983 /* k additional iterations where k regular test subtract shift
984 dividend iterations are done. */
985 i = k;
986 do
987 {
988 if (r >= y)
989 r = ((r - y) << 1) + 1;
990 else
991 r = (r << 1);
992 i = i - 1;
993 } while (i != 0);
994
995 /* First quotient bit is combined with the quotient bits resulting
996 from the k regular iterations. */
997 q = q + r;
998 r = r >> k;
999 q = q - (r << k);
1000 }
1001 }
1002
1003 if (rp)
1004 *rp = r;
1005 return q;
1006}
1007#else
62c63f32 1008
a47053cf 1009#if (defined (L_udivdi3) || defined (L_divdi3) || \
2743281b 1010 defined (L_umoddi3) || defined (L_moddi3) || \
1011 defined (L_divmoddi4))
9dae5ac3 1012static inline __attribute__ ((__always_inline__))
a47053cf 1013#endif
cf378360 1014UDWtype
1015__udivmoddi4 (UDWtype n, UDWtype d, UDWtype *rp)
62c63f32 1016{
ec7f942b 1017 const DWunion nn = {.ll = n};
1018 const DWunion dd = {.ll = d};
cf378360 1019 DWunion rr;
1020 UWtype d0, d1, n0, n1, n2;
1021 UWtype q0, q1;
1022 UWtype b, bm;
62c63f32 1023
62c63f32 1024 d0 = dd.s.low;
1025 d1 = dd.s.high;
1026 n0 = nn.s.low;
1027 n1 = nn.s.high;
1028
1029#if !UDIV_NEEDS_NORMALIZATION
1030 if (d1 == 0)
1031 {
1032 if (d0 > n1)
1033 {
1034 /* 0q = nn / 0D */
1035
1036 udiv_qrnnd (q0, n0, n1, n0, d0);
1037 q1 = 0;
1038
1039 /* Remainder in n0. */
1040 }
1041 else
1042 {
1043 /* qq = NN / 0d */
1044
1045 if (d0 == 0)
1046 d0 = 1 / d0; /* Divide intentionally by zero. */
1047
1048 udiv_qrnnd (q1, n1, 0, n1, d0);
1049 udiv_qrnnd (q0, n0, n1, n0, d0);
1050
1051 /* Remainder in n0. */
1052 }
1053
1054 if (rp != 0)
1055 {
1056 rr.s.low = n0;
1057 rr.s.high = 0;
1058 *rp = rr.ll;
1059 }
1060 }
1061
1062#else /* UDIV_NEEDS_NORMALIZATION */
1063
1064 if (d1 == 0)
1065 {
1066 if (d0 > n1)
1067 {
1068 /* 0q = nn / 0D */
1069
1070 count_leading_zeros (bm, d0);
1071
1072 if (bm != 0)
1073 {
1074 /* Normalize, i.e. make the most significant bit of the
1075 denominator set. */
1076
1077 d0 = d0 << bm;
cf378360 1078 n1 = (n1 << bm) | (n0 >> (W_TYPE_SIZE - bm));
62c63f32 1079 n0 = n0 << bm;
1080 }
1081
1082 udiv_qrnnd (q0, n0, n1, n0, d0);
1083 q1 = 0;
1084
1085 /* Remainder in n0 >> bm. */
1086 }
1087 else
1088 {
1089 /* qq = NN / 0d */
1090
1091 if (d0 == 0)
1092 d0 = 1 / d0; /* Divide intentionally by zero. */
1093
1094 count_leading_zeros (bm, d0);
1095
1096 if (bm == 0)
1097 {
1098 /* From (n1 >= d0) /\ (the most significant bit of d0 is set),
1099 conclude (the most significant bit of n1 is set) /\ (the
1100 leading quotient digit q1 = 1).
1101
1102 This special case is necessary, not an optimization.
cf378360 1103 (Shifts counts of W_TYPE_SIZE are undefined.) */
62c63f32 1104
1105 n1 -= d0;
1106 q1 = 1;
1107 }
1108 else
1109 {
1110 /* Normalize. */
1111
cf378360 1112 b = W_TYPE_SIZE - bm;
62c63f32 1113
1114 d0 = d0 << bm;
1115 n2 = n1 >> b;
1116 n1 = (n1 << bm) | (n0 >> b);
1117 n0 = n0 << bm;
1118
1119 udiv_qrnnd (q1, n1, n2, n1, d0);
1120 }
1121
a92771b8 1122 /* n1 != d0... */
62c63f32 1123
1124 udiv_qrnnd (q0, n0, n1, n0, d0);
1125
1126 /* Remainder in n0 >> bm. */
1127 }
1128
1129 if (rp != 0)
1130 {
1131 rr.s.low = n0 >> bm;
1132 rr.s.high = 0;
1133 *rp = rr.ll;
1134 }
1135 }
1136#endif /* UDIV_NEEDS_NORMALIZATION */
1137
1138 else
1139 {
1140 if (d1 > n1)
1141 {
1142 /* 00 = nn / DD */
1143
1144 q0 = 0;
1145 q1 = 0;
1146
1147 /* Remainder in n1n0. */
1148 if (rp != 0)
1149 {
1150 rr.s.low = n0;
1151 rr.s.high = n1;
1152 *rp = rr.ll;
1153 }
1154 }
1155 else
1156 {
1157 /* 0q = NN / dd */
1158
1159 count_leading_zeros (bm, d1);
1160 if (bm == 0)
1161 {
1162 /* From (n1 >= d1) /\ (the most significant bit of d1 is set),
1163 conclude (the most significant bit of n1 is set) /\ (the
1164 quotient digit q0 = 0 or 1).
1165
1166 This special case is necessary, not an optimization. */
1167
1168 /* The condition on the next line takes advantage of that
1169 n1 >= d1 (true due to program flow). */
1170 if (n1 > d1 || n0 >= d0)
1171 {
1172 q0 = 1;
1173 sub_ddmmss (n1, n0, n1, n0, d1, d0);
1174 }
1175 else
1176 q0 = 0;
1177
1178 q1 = 0;
1179
1180 if (rp != 0)
1181 {
1182 rr.s.low = n0;
1183 rr.s.high = n1;
1184 *rp = rr.ll;
1185 }
1186 }
1187 else
1188 {
cf378360 1189 UWtype m1, m0;
62c63f32 1190 /* Normalize. */
1191
cf378360 1192 b = W_TYPE_SIZE - bm;
62c63f32 1193
1194 d1 = (d1 << bm) | (d0 >> b);
1195 d0 = d0 << bm;
1196 n2 = n1 >> b;
1197 n1 = (n1 << bm) | (n0 >> b);
1198 n0 = n0 << bm;
1199
1200 udiv_qrnnd (q0, n1, n2, n1, d1);
1201 umul_ppmm (m1, m0, q0, d0);
1202
1203 if (m1 > n1 || (m1 == n1 && m0 > n0))
1204 {
1205 q0--;
1206 sub_ddmmss (m1, m0, m1, m0, d1, d0);
1207 }
1208
1209 q1 = 0;
1210
1211 /* Remainder in (n1n0 - m1m0) >> bm. */
1212 if (rp != 0)
1213 {
1214 sub_ddmmss (n1, n0, n1, n0, m1, m0);
1215 rr.s.low = (n1 << b) | (n0 >> bm);
1216 rr.s.high = n1 >> bm;
1217 *rp = rr.ll;
1218 }
1219 }
1220 }
1221 }
1222
ec7f942b 1223 const DWunion ww = {{.low = q0, .high = q1}};
62c63f32 1224 return ww.ll;
1225}
1226#endif
b214253d 1227#endif
62c63f32 1228
1229#ifdef L_divdi3
cf378360 1230DWtype
1231__divdi3 (DWtype u, DWtype v)
62c63f32 1232{
0ef89dfd 1233 Wtype c = 0;
ec7f942b 1234 DWunion uu = {.ll = u};
1235 DWunion vv = {.ll = v};
cf378360 1236 DWtype w;
62c63f32 1237
62c63f32 1238 if (uu.s.high < 0)
1239 c = ~c,
f4dbfb4e 1240 uu.ll = -uu.ll;
62c63f32 1241 if (vv.s.high < 0)
1242 c = ~c,
f4dbfb4e 1243 vv.ll = -vv.ll;
62c63f32 1244
cf378360 1245 w = __udivmoddi4 (uu.ll, vv.ll, (UDWtype *) 0);
62c63f32 1246 if (c)
f4dbfb4e 1247 w = -w;
62c63f32 1248
1249 return w;
1250}
1251#endif
1252
1253#ifdef L_moddi3
cf378360 1254DWtype
1255__moddi3 (DWtype u, DWtype v)
62c63f32 1256{
0ef89dfd 1257 Wtype c = 0;
ec7f942b 1258 DWunion uu = {.ll = u};
1259 DWunion vv = {.ll = v};
cf378360 1260 DWtype w;
62c63f32 1261
62c63f32 1262 if (uu.s.high < 0)
1263 c = ~c,
f4dbfb4e 1264 uu.ll = -uu.ll;
62c63f32 1265 if (vv.s.high < 0)
f4dbfb4e 1266 vv.ll = -vv.ll;
62c63f32 1267
79cc8081 1268 (void) __udivmoddi4 (uu.ll, vv.ll, (UDWtype*)&w);
62c63f32 1269 if (c)
f4dbfb4e 1270 w = -w;
62c63f32 1271
1272 return w;
1273}
1274#endif
1275
2743281b 1276#ifdef L_divmoddi4
1277DWtype
1278__divmoddi4 (DWtype u, DWtype v, DWtype *rp)
1279{
1280 Wtype c1 = 0, c2 = 0;
1281 DWunion uu = {.ll = u};
1282 DWunion vv = {.ll = v};
1283 DWtype w;
1284 DWtype r;
1285
1286 if (uu.s.high < 0)
1287 c1 = ~c1, c2 = ~c2,
1288 uu.ll = -uu.ll;
1289 if (vv.s.high < 0)
1290 c1 = ~c1,
1291 vv.ll = -vv.ll;
1292
1293 w = __udivmoddi4 (uu.ll, vv.ll, (UDWtype*)&r);
1294 if (c1)
1295 w = -w;
1296 if (c2)
1297 r = -r;
1298
1299 *rp = r;
1300 return w;
1301}
1302#endif
1303
62c63f32 1304#ifdef L_umoddi3
cf378360 1305UDWtype
1306__umoddi3 (UDWtype u, UDWtype v)
62c63f32 1307{
cf378360 1308 UDWtype w;
62c63f32 1309
1310 (void) __udivmoddi4 (u, v, &w);
1311
1312 return w;
1313}
1314#endif
1315
1316#ifdef L_udivdi3
cf378360 1317UDWtype
1318__udivdi3 (UDWtype n, UDWtype d)
62c63f32 1319{
cf378360 1320 return __udivmoddi4 (n, d, (UDWtype *) 0);
62c63f32 1321}
1322#endif
1323\f
1324#ifdef L_cmpdi2
0ef89dfd 1325cmp_return_type
cf378360 1326__cmpdi2 (DWtype a, DWtype b)
62c63f32 1327{
ec7f942b 1328 const DWunion au = {.ll = a};
1329 const DWunion bu = {.ll = b};
62c63f32 1330
1331 if (au.s.high < bu.s.high)
1332 return 0;
1333 else if (au.s.high > bu.s.high)
1334 return 2;
cf378360 1335 if ((UWtype) au.s.low < (UWtype) bu.s.low)
62c63f32 1336 return 0;
cf378360 1337 else if ((UWtype) au.s.low > (UWtype) bu.s.low)
62c63f32 1338 return 2;
1339 return 1;
1340}
1341#endif
1342
1343#ifdef L_ucmpdi2
0ef89dfd 1344cmp_return_type
cf378360 1345__ucmpdi2 (DWtype a, DWtype b)
62c63f32 1346{
ec7f942b 1347 const DWunion au = {.ll = a};
1348 const DWunion bu = {.ll = b};
62c63f32 1349
cf378360 1350 if ((UWtype) au.s.high < (UWtype) bu.s.high)
62c63f32 1351 return 0;
cf378360 1352 else if ((UWtype) au.s.high > (UWtype) bu.s.high)
62c63f32 1353 return 2;
cf378360 1354 if ((UWtype) au.s.low < (UWtype) bu.s.low)
62c63f32 1355 return 0;
cf378360 1356 else if ((UWtype) au.s.low > (UWtype) bu.s.low)
62c63f32 1357 return 2;
1358 return 1;
1359}
1360#endif
1361\f
30d98e61 1362#if defined(L_fixunstfdi) && LIBGCC2_HAS_TF_MODE
ba131df0 1363UDWtype
d1138980 1364__fixunstfDI (TFtype a)
ade0e71b 1365{
ade0e71b 1366 if (a < 0)
1367 return 0;
1368
1369 /* Compute high word of result, as a flonum. */
fe2f5693 1370 const TFtype b = (a / Wtype_MAXp1_F);
cf378360 1371 /* Convert that to fixed (but not to DWtype!),
ade0e71b 1372 and shift it into the high word. */
ec7f942b 1373 UDWtype v = (UWtype) b;
fe2f5693 1374 v <<= W_TYPE_SIZE;
ade0e71b 1375 /* Remove high part from the TFtype, leaving the low part as flonum. */
1376 a -= (TFtype)v;
cf378360 1377 /* Convert that to fixed (but not to DWtype!) and add it in.
ade0e71b 1378 Sometimes A comes out negative. This is significant, since
1379 A has more bits than a long int does. */
1380 if (a < 0)
cf378360 1381 v -= (UWtype) (- a);
ade0e71b 1382 else
cf378360 1383 v += (UWtype) a;
ade0e71b 1384 return v;
1385}
1386#endif
1387
30d98e61 1388#if defined(L_fixtfdi) && LIBGCC2_HAS_TF_MODE
cf378360 1389DWtype
4f195a89 1390__fixtfdi (TFtype a)
ade0e71b 1391{
1392 if (a < 0)
d1138980 1393 return - __fixunstfDI (-a);
1394 return __fixunstfDI (a);
ade0e71b 1395}
1396#endif
1397
30d98e61 1398#if defined(L_fixunsxfdi) && LIBGCC2_HAS_XF_MODE
ba131df0 1399UDWtype
d1138980 1400__fixunsxfDI (XFtype a)
0e1cc047 1401{
0e1cc047 1402 if (a < 0)
1403 return 0;
1404
1405 /* Compute high word of result, as a flonum. */
fe2f5693 1406 const XFtype b = (a / Wtype_MAXp1_F);
cf378360 1407 /* Convert that to fixed (but not to DWtype!),
0e1cc047 1408 and shift it into the high word. */
ec7f942b 1409 UDWtype v = (UWtype) b;
fe2f5693 1410 v <<= W_TYPE_SIZE;
0e1cc047 1411 /* Remove high part from the XFtype, leaving the low part as flonum. */
1412 a -= (XFtype)v;
cf378360 1413 /* Convert that to fixed (but not to DWtype!) and add it in.
0e1cc047 1414 Sometimes A comes out negative. This is significant, since
1415 A has more bits than a long int does. */
1416 if (a < 0)
cf378360 1417 v -= (UWtype) (- a);
0e1cc047 1418 else
cf378360 1419 v += (UWtype) a;
0e1cc047 1420 return v;
1421}
1422#endif
1423
30d98e61 1424#if defined(L_fixxfdi) && LIBGCC2_HAS_XF_MODE
cf378360 1425DWtype
4f195a89 1426__fixxfdi (XFtype a)
0e1cc047 1427{
1428 if (a < 0)
d1138980 1429 return - __fixunsxfDI (-a);
1430 return __fixunsxfDI (a);
0e1cc047 1431}
1432#endif
1433
30d98e61 1434#if defined(L_fixunsdfdi) && LIBGCC2_HAS_DF_MODE
ba131df0 1435UDWtype
d1138980 1436__fixunsdfDI (DFtype a)
62c63f32 1437{
805e22b2 1438 /* Get high part of result. The division here will just moves the radix
1439 point and will not cause any rounding. Then the conversion to integral
1440 type chops result as desired. */
fe2f5693 1441 const UWtype hi = a / Wtype_MAXp1_F;
62c63f32 1442
805e22b2 1443 /* Get low part of result. Convert `hi' to floating type and scale it back,
1444 then subtract this from the number being converted. This leaves the low
1445 part. Convert that to integral type. */
fe2f5693 1446 const UWtype lo = a - (DFtype) hi * Wtype_MAXp1_F;
805e22b2 1447
1448 /* Assemble result from the two parts. */
fe2f5693 1449 return ((UDWtype) hi << W_TYPE_SIZE) | lo;
62c63f32 1450}
1451#endif
1452
30d98e61 1453#if defined(L_fixdfdi) && LIBGCC2_HAS_DF_MODE
cf378360 1454DWtype
4f195a89 1455__fixdfdi (DFtype a)
62c63f32 1456{
1457 if (a < 0)
d1138980 1458 return - __fixunsdfDI (-a);
1459 return __fixunsdfDI (a);
62c63f32 1460}
1461#endif
1462
ade84c5c 1463#if defined(L_fixunssfdi) && LIBGCC2_HAS_SF_MODE
ba131df0 1464UDWtype
fe2f5693 1465__fixunssfDI (SFtype a)
62c63f32 1466{
30d98e61 1467#if LIBGCC2_HAS_DF_MODE
ade0e71b 1468 /* Convert the SFtype to a DFtype, because that is surely not going
62c63f32 1469 to lose any bits. Some day someone else can write a faster version
ade0e71b 1470 that avoids converting to DFtype, and verify it really works right. */
fe2f5693 1471 const DFtype dfa = a;
62c63f32 1472
805e22b2 1473 /* Get high part of result. The division here will just moves the radix
1474 point and will not cause any rounding. Then the conversion to integral
1475 type chops result as desired. */
fe2f5693 1476 const UWtype hi = dfa / Wtype_MAXp1_F;
62c63f32 1477
805e22b2 1478 /* Get low part of result. Convert `hi' to floating type and scale it back,
1479 then subtract this from the number being converted. This leaves the low
1480 part. Convert that to integral type. */
fe2f5693 1481 const UWtype lo = dfa - (DFtype) hi * Wtype_MAXp1_F;
805e22b2 1482
1483 /* Assemble result from the two parts. */
fe2f5693 1484 return ((UDWtype) hi << W_TYPE_SIZE) | lo;
1485#elif FLT_MANT_DIG < W_TYPE_SIZE
1486 if (a < 1)
1487 return 0;
1488 if (a < Wtype_MAXp1_F)
1489 return (UWtype)a;
1490 if (a < Wtype_MAXp1_F * Wtype_MAXp1_F)
1491 {
1492 /* Since we know that there are fewer significant bits in the SFmode
1493 quantity than in a word, we know that we can convert out all the
62402a04 1494 significant bits in one step, and thus avoid losing bits. */
fe2f5693 1495
1496 /* ??? This following loop essentially performs frexpf. If we could
1497 use the real libm function, or poke at the actual bits of the fp
1498 format, it would be significantly faster. */
1499
1500 UWtype shift = 0, counter;
1501 SFtype msb;
1502
1503 a /= Wtype_MAXp1_F;
1504 for (counter = W_TYPE_SIZE / 2; counter != 0; counter >>= 1)
1505 {
1506 SFtype counterf = (UWtype)1 << counter;
1507 if (a >= counterf)
1508 {
1509 shift |= counter;
1510 a /= counterf;
1511 }
1512 }
1513
1514 /* Rescale into the range of one word, extract the bits of that
1515 one word, and shift the result into position. */
1516 a *= Wtype_MAXp1_F;
1517 counter = a;
1518 return (DWtype)counter << shift;
1519 }
1520 return -1;
1521#else
1522# error
1523#endif
62c63f32 1524}
1525#endif
1526
ade84c5c 1527#if defined(L_fixsfdi) && LIBGCC2_HAS_SF_MODE
cf378360 1528DWtype
ade0e71b 1529__fixsfdi (SFtype a)
62c63f32 1530{
1531 if (a < 0)
d1138980 1532 return - __fixunssfDI (-a);
1533 return __fixunssfDI (a);
62c63f32 1534}
1535#endif
1536
30d98e61 1537#if defined(L_floatdixf) && LIBGCC2_HAS_XF_MODE
0e1cc047 1538XFtype
cf378360 1539__floatdixf (DWtype u)
0e1cc047 1540{
b660d3c6 1541#if W_TYPE_SIZE > __LIBGCC_XF_MANT_DIG__
3212edfa 1542# error
1543#endif
fe2f5693 1544 XFtype d = (Wtype) (u >> W_TYPE_SIZE);
1545 d *= Wtype_MAXp1_F;
1546 d += (UWtype)u;
997d68fe 1547 return d;
0e1cc047 1548}
1549#endif
1550
4f5bcdbd 1551#if defined(L_floatundixf) && LIBGCC2_HAS_XF_MODE
1552XFtype
1553__floatundixf (UDWtype u)
1554{
b660d3c6 1555#if W_TYPE_SIZE > __LIBGCC_XF_MANT_DIG__
3212edfa 1556# error
1557#endif
4f5bcdbd 1558 XFtype d = (UWtype) (u >> W_TYPE_SIZE);
1559 d *= Wtype_MAXp1_F;
1560 d += (UWtype)u;
1561 return d;
1562}
1563#endif
1564
30d98e61 1565#if defined(L_floatditf) && LIBGCC2_HAS_TF_MODE
ade0e71b 1566TFtype
cf378360 1567__floatditf (DWtype u)
ade0e71b 1568{
b660d3c6 1569#if W_TYPE_SIZE > __LIBGCC_TF_MANT_DIG__
3212edfa 1570# error
1571#endif
fe2f5693 1572 TFtype d = (Wtype) (u >> W_TYPE_SIZE);
1573 d *= Wtype_MAXp1_F;
1574 d += (UWtype)u;
997d68fe 1575 return d;
ade0e71b 1576}
1577#endif
1578
4f5bcdbd 1579#if defined(L_floatunditf) && LIBGCC2_HAS_TF_MODE
1580TFtype
1581__floatunditf (UDWtype u)
1582{
b660d3c6 1583#if W_TYPE_SIZE > __LIBGCC_TF_MANT_DIG__
3212edfa 1584# error
62c63f32 1585#endif
3212edfa 1586 TFtype d = (UWtype) (u >> W_TYPE_SIZE);
4f5bcdbd 1587 d *= Wtype_MAXp1_F;
1588 d += (UWtype)u;
1589 return d;
1590}
1591#endif
1592
3212edfa 1593#if (defined(L_floatdisf) && LIBGCC2_HAS_SF_MODE) \
1594 || (defined(L_floatdidf) && LIBGCC2_HAS_DF_MODE)
fe2f5693 1595#define DI_SIZE (W_TYPE_SIZE * 2)
dc83e3a1 1596#define F_MODE_OK(SIZE) \
1597 (SIZE < DI_SIZE \
1598 && SIZE > (DI_SIZE - SIZE + FSSIZE) \
d439f3ef 1599 && !AVOID_FP_TYPE_CONVERSION(SIZE))
3212edfa 1600#if defined(L_floatdisf)
1601#define FUNC __floatdisf
1602#define FSTYPE SFtype
b660d3c6 1603#define FSSIZE __LIBGCC_SF_MANT_DIG__
3212edfa 1604#else
1605#define FUNC __floatdidf
1606#define FSTYPE DFtype
b660d3c6 1607#define FSSIZE __LIBGCC_DF_MANT_DIG__
3212edfa 1608#endif
62c63f32 1609
3212edfa 1610FSTYPE
1611FUNC (DWtype u)
62c63f32 1612{
3212edfa 1613#if FSSIZE >= W_TYPE_SIZE
fe2f5693 1614 /* When the word size is small, we never get any rounding error. */
3212edfa 1615 FSTYPE f = (Wtype) (u >> W_TYPE_SIZE);
fe2f5693 1616 f *= Wtype_MAXp1_F;
1617 f += (UWtype)u;
1618 return f;
b660d3c6 1619#elif (LIBGCC2_HAS_DF_MODE && F_MODE_OK (__LIBGCC_DF_MANT_DIG__)) \
1620 || (LIBGCC2_HAS_XF_MODE && F_MODE_OK (__LIBGCC_XF_MANT_DIG__)) \
1621 || (LIBGCC2_HAS_TF_MODE && F_MODE_OK (__LIBGCC_TF_MANT_DIG__))
3212edfa 1622
b660d3c6 1623#if (LIBGCC2_HAS_DF_MODE && F_MODE_OK (__LIBGCC_DF_MANT_DIG__))
1624# define FSIZE __LIBGCC_DF_MANT_DIG__
3212edfa 1625# define FTYPE DFtype
b660d3c6 1626#elif (LIBGCC2_HAS_XF_MODE && F_MODE_OK (__LIBGCC_XF_MANT_DIG__))
1627# define FSIZE __LIBGCC_XF_MANT_DIG__
3212edfa 1628# define FTYPE XFtype
b660d3c6 1629#elif (LIBGCC2_HAS_TF_MODE && F_MODE_OK (__LIBGCC_TF_MANT_DIG__))
1630# define FSIZE __LIBGCC_TF_MANT_DIG__
3212edfa 1631# define FTYPE TFtype
fe2f5693 1632#else
1633# error
1634#endif
1635
3212edfa 1636#define REP_BIT ((UDWtype) 1 << (DI_SIZE - FSIZE))
fe2f5693 1637
b37ebc51 1638 /* Protect against double-rounding error.
fe2f5693 1639 Represent any low-order bits, that might be truncated by a bit that
1640 won't be lost. The bit can go in anywhere below the rounding position
3212edfa 1641 of the FSTYPE. A fixed mask and bit position handles all usual
1642 configurations. */
1643 if (! (- ((DWtype) 1 << FSIZE) < u
1644 && u < ((DWtype) 1 << FSIZE)))
b37ebc51 1645 {
3212edfa 1646 if ((UDWtype) u & (REP_BIT - 1))
b37ebc51 1647 {
3212edfa 1648 u &= ~ (REP_BIT - 1);
1649 u |= REP_BIT;
b37ebc51 1650 }
1651 }
62c63f32 1652
3212edfa 1653 /* Do the calculation in a wider type so that we don't lose any of
1654 the precision of the high word while multiplying it. */
1655 FTYPE f = (Wtype) (u >> W_TYPE_SIZE);
fe2f5693 1656 f *= Wtype_MAXp1_F;
1657 f += (UWtype)u;
3212edfa 1658 return (FSTYPE) f;
fe2f5693 1659#else
3212edfa 1660#if FSSIZE >= W_TYPE_SIZE - 2
1661# error
1662#endif
1663 /* Finally, the word size is larger than the number of bits in the
1664 required FSTYPE, and we've got no suitable wider type. The only
1665 way to avoid double rounding is to special case the
1666 extraction. */
fe2f5693 1667
1668 /* If there are no high bits set, fall back to one conversion. */
1669 if ((Wtype)u == u)
3212edfa 1670 return (FSTYPE)(Wtype)u;
fe2f5693 1671
1672 /* Otherwise, find the power of two. */
1673 Wtype hi = u >> W_TYPE_SIZE;
1674 if (hi < 0)
64b5be08 1675 hi = -(UWtype) hi;
fe2f5693 1676
1677 UWtype count, shift;
9769a02b 1678#if !defined (COUNT_LEADING_ZEROS_0) || COUNT_LEADING_ZEROS_0 != W_TYPE_SIZE
1679 if (hi == 0)
1680 count = W_TYPE_SIZE;
1681 else
1682#endif
fe2f5693 1683 count_leading_zeros (count, hi);
1684
1685 /* No leading bits means u == minimum. */
1686 if (count == 0)
3212edfa 1687 return -(Wtype_MAXp1_F * (Wtype_MAXp1_F / 2));
fe2f5693 1688
3212edfa 1689 shift = 1 + W_TYPE_SIZE - count;
fe2f5693 1690
1691 /* Shift down the most significant bits. */
1692 hi = u >> shift;
1693
1694 /* If we lost any nonzero bits, set the lsb to ensure correct rounding. */
d439f3ef 1695 if ((UWtype)u << (W_TYPE_SIZE - shift))
fe2f5693 1696 hi |= 1;
1697
1698 /* Convert the one word of data, and rescale. */
d439f3ef 1699 FSTYPE f = hi, e;
1700 if (shift == W_TYPE_SIZE)
1701 e = Wtype_MAXp1_F;
1702 /* The following two cases could be merged if we knew that the target
1703 supported a native unsigned->float conversion. More often, we only
1704 have a signed conversion, and have to add extra fixup code. */
1705 else if (shift == W_TYPE_SIZE - 1)
1706 e = Wtype_MAXp1_F / 2;
1707 else
1708 e = (Wtype)1 << shift;
1709 return f * e;
fe2f5693 1710#endif
62c63f32 1711}
1712#endif
1713
3212edfa 1714#if (defined(L_floatundisf) && LIBGCC2_HAS_SF_MODE) \
1715 || (defined(L_floatundidf) && LIBGCC2_HAS_DF_MODE)
4f5bcdbd 1716#define DI_SIZE (W_TYPE_SIZE * 2)
dc83e3a1 1717#define F_MODE_OK(SIZE) \
1718 (SIZE < DI_SIZE \
1719 && SIZE > (DI_SIZE - SIZE + FSSIZE) \
d439f3ef 1720 && !AVOID_FP_TYPE_CONVERSION(SIZE))
3212edfa 1721#if defined(L_floatundisf)
1722#define FUNC __floatundisf
1723#define FSTYPE SFtype
b660d3c6 1724#define FSSIZE __LIBGCC_SF_MANT_DIG__
3212edfa 1725#else
1726#define FUNC __floatundidf
1727#define FSTYPE DFtype
b660d3c6 1728#define FSSIZE __LIBGCC_DF_MANT_DIG__
3212edfa 1729#endif
4f5bcdbd 1730
3212edfa 1731FSTYPE
1732FUNC (UDWtype u)
4f5bcdbd 1733{
3212edfa 1734#if FSSIZE >= W_TYPE_SIZE
4f5bcdbd 1735 /* When the word size is small, we never get any rounding error. */
3212edfa 1736 FSTYPE f = (UWtype) (u >> W_TYPE_SIZE);
4f5bcdbd 1737 f *= Wtype_MAXp1_F;
1738 f += (UWtype)u;
1739 return f;
b660d3c6 1740#elif (LIBGCC2_HAS_DF_MODE && F_MODE_OK (__LIBGCC_DF_MANT_DIG__)) \
1741 || (LIBGCC2_HAS_XF_MODE && F_MODE_OK (__LIBGCC_XF_MANT_DIG__)) \
1742 || (LIBGCC2_HAS_TF_MODE && F_MODE_OK (__LIBGCC_TF_MANT_DIG__))
3212edfa 1743
b660d3c6 1744#if (LIBGCC2_HAS_DF_MODE && F_MODE_OK (__LIBGCC_DF_MANT_DIG__))
1745# define FSIZE __LIBGCC_DF_MANT_DIG__
3212edfa 1746# define FTYPE DFtype
b660d3c6 1747#elif (LIBGCC2_HAS_XF_MODE && F_MODE_OK (__LIBGCC_XF_MANT_DIG__))
1748# define FSIZE __LIBGCC_XF_MANT_DIG__
3212edfa 1749# define FTYPE XFtype
b660d3c6 1750#elif (LIBGCC2_HAS_TF_MODE && F_MODE_OK (__LIBGCC_TF_MANT_DIG__))
1751# define FSIZE __LIBGCC_TF_MANT_DIG__
3212edfa 1752# define FTYPE TFtype
4f5bcdbd 1753#else
1754# error
1755#endif
1756
3212edfa 1757#define REP_BIT ((UDWtype) 1 << (DI_SIZE - FSIZE))
4f5bcdbd 1758
1759 /* Protect against double-rounding error.
1760 Represent any low-order bits, that might be truncated by a bit that
1761 won't be lost. The bit can go in anywhere below the rounding position
3212edfa 1762 of the FSTYPE. A fixed mask and bit position handles all usual
1763 configurations. */
1764 if (u >= ((UDWtype) 1 << FSIZE))
4f5bcdbd 1765 {
3212edfa 1766 if ((UDWtype) u & (REP_BIT - 1))
4f5bcdbd 1767 {
3212edfa 1768 u &= ~ (REP_BIT - 1);
1769 u |= REP_BIT;
4f5bcdbd 1770 }
1771 }
1772
3212edfa 1773 /* Do the calculation in a wider type so that we don't lose any of
1774 the precision of the high word while multiplying it. */
1775 FTYPE f = (UWtype) (u >> W_TYPE_SIZE);
4f5bcdbd 1776 f *= Wtype_MAXp1_F;
1777 f += (UWtype)u;
3212edfa 1778 return (FSTYPE) f;
4f5bcdbd 1779#else
3212edfa 1780#if FSSIZE == W_TYPE_SIZE - 1
1781# error
1782#endif
1783 /* Finally, the word size is larger than the number of bits in the
1784 required FSTYPE, and we've got no suitable wider type. The only
1785 way to avoid double rounding is to special case the
1786 extraction. */
4f5bcdbd 1787
1788 /* If there are no high bits set, fall back to one conversion. */
1789 if ((UWtype)u == u)
3212edfa 1790 return (FSTYPE)(UWtype)u;
4f5bcdbd 1791
1792 /* Otherwise, find the power of two. */
1793 UWtype hi = u >> W_TYPE_SIZE;
1794
1795 UWtype count, shift;
1796 count_leading_zeros (count, hi);
1797
1798 shift = W_TYPE_SIZE - count;
1799
1800 /* Shift down the most significant bits. */
1801 hi = u >> shift;
1802
1803 /* If we lost any nonzero bits, set the lsb to ensure correct rounding. */
d439f3ef 1804 if ((UWtype)u << (W_TYPE_SIZE - shift))
4f5bcdbd 1805 hi |= 1;
1806
1807 /* Convert the one word of data, and rescale. */
d439f3ef 1808 FSTYPE f = hi, e;
1809 if (shift == W_TYPE_SIZE)
1810 e = Wtype_MAXp1_F;
1811 /* The following two cases could be merged if we knew that the target
1812 supported a native unsigned->float conversion. More often, we only
1813 have a signed conversion, and have to add extra fixup code. */
1814 else if (shift == W_TYPE_SIZE - 1)
1815 e = Wtype_MAXp1_F / 2;
1816 else
1817 e = (Wtype)1 << shift;
1818 return f * e;
4f5bcdbd 1819#endif
1820}
1821#endif
1822
30d98e61 1823#if defined(L_fixunsxfsi) && LIBGCC2_HAS_XF_MODE
cf378360 1824UWtype
d1138980 1825__fixunsxfSI (XFtype a)
0e1cc047 1826{
7429c938 1827 if (a >= - (DFtype) Wtype_MIN)
1828 return (Wtype) (a + Wtype_MIN) - Wtype_MIN;
cf378360 1829 return (Wtype) a;
0e1cc047 1830}
1831#endif
1832
30d98e61 1833#if defined(L_fixunsdfsi) && LIBGCC2_HAS_DF_MODE
cf378360 1834UWtype
d1138980 1835__fixunsdfSI (DFtype a)
62c63f32 1836{
7429c938 1837 if (a >= - (DFtype) Wtype_MIN)
1838 return (Wtype) (a + Wtype_MIN) - Wtype_MIN;
cf378360 1839 return (Wtype) a;
62c63f32 1840}
1841#endif
1842
ade84c5c 1843#if defined(L_fixunssfsi) && LIBGCC2_HAS_SF_MODE
cf378360 1844UWtype
d1138980 1845__fixunssfSI (SFtype a)
62c63f32 1846{
7429c938 1847 if (a >= - (SFtype) Wtype_MIN)
1848 return (Wtype) (a + Wtype_MIN) - Wtype_MIN;
cf378360 1849 return (Wtype) a;
62c63f32 1850}
757c219d 1851#endif
1852\f
1853/* Integer power helper used from __builtin_powi for non-constant
1854 exponents. */
1855
ade84c5c 1856#if (defined(L_powisf2) && LIBGCC2_HAS_SF_MODE) \
30d98e61 1857 || (defined(L_powidf2) && LIBGCC2_HAS_DF_MODE) \
1858 || (defined(L_powixf2) && LIBGCC2_HAS_XF_MODE) \
1859 || (defined(L_powitf2) && LIBGCC2_HAS_TF_MODE)
757c219d 1860# if defined(L_powisf2)
1861# define TYPE SFtype
1862# define NAME __powisf2
1863# elif defined(L_powidf2)
1864# define TYPE DFtype
1865# define NAME __powidf2
1866# elif defined(L_powixf2)
1867# define TYPE XFtype
1868# define NAME __powixf2
1869# elif defined(L_powitf2)
1870# define TYPE TFtype
1871# define NAME __powitf2
1872# endif
1873
d0405f40 1874#undef int
1875#undef unsigned
757c219d 1876TYPE
d0405f40 1877NAME (TYPE x, int m)
757c219d 1878{
d0405f40 1879 unsigned int n = m < 0 ? -m : m;
757c219d 1880 TYPE y = n % 2 ? x : 1;
1881 while (n >>= 1)
1882 {
1883 x = x * x;
1884 if (n % 2)
1885 y = y * x;
1886 }
1887 return m < 0 ? 1/y : y;
1888}
1889
62c63f32 1890#endif
1891\f
d1c9b60c 1892#if((defined(L_mulhc3) || defined(L_divhc3)) && LIBGCC2_HAS_HF_MODE) \
1893 || ((defined(L_mulsc3) || defined(L_divsc3)) && LIBGCC2_HAS_SF_MODE) \
30d98e61 1894 || ((defined(L_muldc3) || defined(L_divdc3)) && LIBGCC2_HAS_DF_MODE) \
1895 || ((defined(L_mulxc3) || defined(L_divxc3)) && LIBGCC2_HAS_XF_MODE) \
1896 || ((defined(L_multc3) || defined(L_divtc3)) && LIBGCC2_HAS_TF_MODE)
0dfc45b5 1897
1898#undef float
1899#undef double
1900#undef long
1901
d1c9b60c 1902#if defined(L_mulhc3) || defined(L_divhc3)
1903# define MTYPE HFtype
1904# define CTYPE HCtype
1905# define MODE hc
1906# define CEXT __LIBGCC_HF_FUNC_EXT__
1907# define NOTRUNC (!__LIBGCC_HF_EXCESS_PRECISION__)
1908#elif defined(L_mulsc3) || defined(L_divsc3)
0dfc45b5 1909# define MTYPE SFtype
1910# define CTYPE SCtype
1911# define MODE sc
168dfbf0 1912# define CEXT __LIBGCC_SF_FUNC_EXT__
86d9b5ed 1913# define NOTRUNC (!__LIBGCC_SF_EXCESS_PRECISION__)
0dfc45b5 1914#elif defined(L_muldc3) || defined(L_divdc3)
1915# define MTYPE DFtype
1916# define CTYPE DCtype
1917# define MODE dc
168dfbf0 1918# define CEXT __LIBGCC_DF_FUNC_EXT__
86d9b5ed 1919# define NOTRUNC (!__LIBGCC_DF_EXCESS_PRECISION__)
0dfc45b5 1920#elif defined(L_mulxc3) || defined(L_divxc3)
1921# define MTYPE XFtype
1922# define CTYPE XCtype
1923# define MODE xc
168dfbf0 1924# define CEXT __LIBGCC_XF_FUNC_EXT__
86d9b5ed 1925# define NOTRUNC (!__LIBGCC_XF_EXCESS_PRECISION__)
0dfc45b5 1926#elif defined(L_multc3) || defined(L_divtc3)
1927# define MTYPE TFtype
1928# define CTYPE TCtype
1929# define MODE tc
168dfbf0 1930# define CEXT __LIBGCC_TF_FUNC_EXT__
86d9b5ed 1931# define NOTRUNC (!__LIBGCC_TF_EXCESS_PRECISION__)
0dfc45b5 1932#else
1933# error
1934#endif
1935
1936#define CONCAT3(A,B,C) _CONCAT3(A,B,C)
1937#define _CONCAT3(A,B,C) A##B##C
1938
1939#define CONCAT2(A,B) _CONCAT2(A,B)
1940#define _CONCAT2(A,B) A##B
1941
1942/* All of these would be present in a full C99 implementation of <math.h>
1943 and <complex.h>. Our problem is that only a few systems have such full
2fb89879 1944 implementations. Further, libgcc_s.so isn't currently linked against
0dfc45b5 1945 libm.so, and even for systems that do provide full C99, the extra overhead
1946 of all programs using libgcc having to link against libm. So avoid it. */
1947
1948#define isnan(x) __builtin_expect ((x) != (x), 0)
1949#define isfinite(x) __builtin_expect (!isnan((x) - (x)), 1)
1950#define isinf(x) __builtin_expect (!isnan(x) & !isfinite(x), 0)
1951
e73bbd21 1952#define INFINITY CONCAT2(__builtin_huge_val, CEXT) ()
0dfc45b5 1953#define I 1i
1954
1955/* Helpers to make the following code slightly less gross. */
1956#define COPYSIGN CONCAT2(__builtin_copysign, CEXT)
1957#define FABS CONCAT2(__builtin_fabs, CEXT)
1958
1959/* Verify that MTYPE matches up with CEXT. */
1960extern void *compile_type_assert[sizeof(INFINITY) == sizeof(MTYPE) ? 1 : -1];
1961
1962/* Ensure that we've lost any extra precision. */
1963#if NOTRUNC
1964# define TRUNC(x)
1965#else
1966# define TRUNC(x) __asm__ ("" : "=m"(x) : "m"(x))
1967#endif
1968
d1c9b60c 1969#if defined(L_mulhc3) || defined(L_mulsc3) || defined(L_muldc3) \
0dfc45b5 1970 || defined(L_mulxc3) || defined(L_multc3)
1971
1972CTYPE
1973CONCAT3(__mul,MODE,3) (MTYPE a, MTYPE b, MTYPE c, MTYPE d)
1974{
1975 MTYPE ac, bd, ad, bc, x, y;
e927e2b8 1976 CTYPE res;
0dfc45b5 1977
1978 ac = a * c;
1979 bd = b * d;
1980 ad = a * d;
1981 bc = b * c;
1982
1983 TRUNC (ac);
1984 TRUNC (bd);
1985 TRUNC (ad);
1986 TRUNC (bc);
1987
1988 x = ac - bd;
1989 y = ad + bc;
1990
1991 if (isnan (x) && isnan (y))
1992 {
1993 /* Recover infinities that computed as NaN + iNaN. */
1994 _Bool recalc = 0;
1995 if (isinf (a) || isinf (b))
1996 {
1997 /* z is infinite. "Box" the infinity and change NaNs in
1998 the other factor to 0. */
1999 a = COPYSIGN (isinf (a) ? 1 : 0, a);
2000 b = COPYSIGN (isinf (b) ? 1 : 0, b);
2001 if (isnan (c)) c = COPYSIGN (0, c);
2002 if (isnan (d)) d = COPYSIGN (0, d);
2003 recalc = 1;
2004 }
2005 if (isinf (c) || isinf (d))
2006 {
2007 /* w is infinite. "Box" the infinity and change NaNs in
2008 the other factor to 0. */
2009 c = COPYSIGN (isinf (c) ? 1 : 0, c);
2010 d = COPYSIGN (isinf (d) ? 1 : 0, d);
2011 if (isnan (a)) a = COPYSIGN (0, a);
2012 if (isnan (b)) b = COPYSIGN (0, b);
2013 recalc = 1;
2014 }
2015 if (!recalc
2016 && (isinf (ac) || isinf (bd)
2017 || isinf (ad) || isinf (bc)))
2018 {
2019 /* Recover infinities from overflow by changing NaNs to 0. */
2020 if (isnan (a)) a = COPYSIGN (0, a);
2021 if (isnan (b)) b = COPYSIGN (0, b);
2022 if (isnan (c)) c = COPYSIGN (0, c);
2023 if (isnan (d)) d = COPYSIGN (0, d);
2024 recalc = 1;
2025 }
2026 if (recalc)
2027 {
2028 x = INFINITY * (a * c - b * d);
2029 y = INFINITY * (a * d + b * c);
2030 }
2031 }
2032
e927e2b8 2033 __real__ res = x;
2034 __imag__ res = y;
2035 return res;
0dfc45b5 2036}
2037#endif /* complex multiply */
2038
d1c9b60c 2039#if defined(L_divhc3) || defined(L_divsc3) || defined(L_divdc3) \
0dfc45b5 2040 || defined(L_divxc3) || defined(L_divtc3)
2041
2042CTYPE
2043CONCAT3(__div,MODE,3) (MTYPE a, MTYPE b, MTYPE c, MTYPE d)
2044{
2045 MTYPE denom, ratio, x, y;
e927e2b8 2046 CTYPE res;
0dfc45b5 2047
5a06917c 2048 /* ??? We can get better behavior from logarithmic scaling instead of
0dfc45b5 2049 the division. But that would mean starting to link libgcc against
2050 libm. We could implement something akin to ldexp/frexp as gcc builtins
2051 fairly easily... */
2052 if (FABS (c) < FABS (d))
2053 {
2054 ratio = c / d;
2055 denom = (c * ratio) + d;
2056 x = ((a * ratio) + b) / denom;
2057 y = ((b * ratio) - a) / denom;
2058 }
2059 else
2060 {
2061 ratio = d / c;
2062 denom = (d * ratio) + c;
2063 x = ((b * ratio) + a) / denom;
2064 y = (b - (a * ratio)) / denom;
2065 }
2066
2067 /* Recover infinities and zeros that computed as NaN+iNaN; the only cases
2fb89879 2068 are nonzero/zero, infinite/finite, and finite/infinite. */
0dfc45b5 2069 if (isnan (x) && isnan (y))
2070 {
31a66711 2071 if (c == 0.0 && d == 0.0 && (!isnan (a) || !isnan (b)))
0dfc45b5 2072 {
2073 x = COPYSIGN (INFINITY, c) * a;
2074 y = COPYSIGN (INFINITY, c) * b;
2075 }
2076 else if ((isinf (a) || isinf (b)) && isfinite (c) && isfinite (d))
2077 {
2078 a = COPYSIGN (isinf (a) ? 1 : 0, a);
2079 b = COPYSIGN (isinf (b) ? 1 : 0, b);
2080 x = INFINITY * (a * c + b * d);
2081 y = INFINITY * (b * c - a * d);
2082 }
2083 else if ((isinf (c) || isinf (d)) && isfinite (a) && isfinite (b))
2084 {
2085 c = COPYSIGN (isinf (c) ? 1 : 0, c);
2086 d = COPYSIGN (isinf (d) ? 1 : 0, d);
2087 x = 0.0 * (a * c + b * d);
2088 y = 0.0 * (b * c - a * d);
2089 }
2090 }
2091
e927e2b8 2092 __real__ res = x;
2093 __imag__ res = y;
2094 return res;
0dfc45b5 2095}
2096#endif /* complex divide */
2097
2098#endif /* all complex float routines */
2099\f
ade0e71b 2100/* From here on down, the routines use normal data types. */
2101
2102#define SItype bogus_type
2103#define USItype bogus_type
2104#define DItype bogus_type
2105#define UDItype bogus_type
2106#define SFtype bogus_type
2107#define DFtype bogus_type
cf378360 2108#undef Wtype
2109#undef UWtype
2110#undef HWtype
2111#undef UHWtype
2112#undef DWtype
2113#undef UDWtype
ade0e71b 2114
2115#undef char
2116#undef short
2117#undef int
2118#undef long
2119#undef unsigned
2120#undef float
2121#undef double
e674bcb7 2122\f
2123#ifdef L__gcc_bcmp
2124
2125/* Like bcmp except the sign is meaningful.
c3418f42 2126 Result is negative if S1 is less than S2,
e674bcb7 2127 positive if S1 is greater, 0 if S1 and S2 are equal. */
2128
2129int
b1e341a2 2130__gcc_bcmp (const unsigned char *s1, const unsigned char *s2, size_t size)
e674bcb7 2131{
2132 while (size > 0)
2133 {
ec7f942b 2134 const unsigned char c1 = *s1++, c2 = *s2++;
e674bcb7 2135 if (c1 != c2)
2136 return c1 - c2;
2137 size--;
2138 }
2139 return 0;
2140}
ade0e71b 2141
0bad1e66 2142#endif
2143\f
2144/* __eprintf used to be used by GCC's private version of <assert.h>.
2145 We no longer provide that header, but this routine remains in libgcc.a
2146 for binary backward compatibility. Note that it is not included in
2147 the shared version of libgcc. */
2148#ifdef L_eprintf
2149#ifndef inhibit_libc
2150
2151#undef NULL /* Avoid errors if stdio.h and our stddef.h mismatch. */
2152#include <stdio.h>
2153
2154void
2155__eprintf (const char *string, const char *expression,
2156 unsigned int line, const char *filename)
2157{
2158 fprintf (stderr, string, expression, line, filename);
2159 fflush (stderr);
2160 abort ();
2161}
2162
2163#endif
62c63f32 2164#endif
2165
62c63f32 2166\f
62c63f32 2167#ifdef L_clear_cache
2168/* Clear part of an instruction cache. */
2169
62c63f32 2170void
abbe5a3d 2171__clear_cache (char *beg __attribute__((__unused__)),
2172 char *end __attribute__((__unused__)))
62c63f32 2173{
87e97de6 2174#ifdef CLEAR_INSN_CACHE
efa58f1a 2175 CLEAR_INSN_CACHE (beg, end);
efa58f1a 2176#endif /* CLEAR_INSN_CACHE */
62c63f32 2177}
2178
2179#endif /* L_clear_cache */
2180\f
2181#ifdef L_trampoline
2182
2183/* Jump to a trampoline, loading the static chain address. */
2184
6af9f7ea 2185#if defined(WINNT) && ! defined(__CYGWIN__)
b7404024 2186#include <windows.h>
f0aa9efd 2187int getpagesize (void);
2188int mprotect (char *,int, int);
8e782fcd 2189
4281d316 2190int
71218a21 2191getpagesize (void)
e30b7e49 2192{
2193#ifdef _ALPHA_
2194 return 8192;
2195#else
2196 return 4096;
2197#endif
2198}
2199
38e911c3 2200int
2201mprotect (char *addr, int len, int prot)
e30b7e49 2202{
76d89866 2203 DWORD np, op;
e30b7e49 2204
38e911c3 2205 if (prot == 7)
2206 np = 0x40;
2207 else if (prot == 5)
2208 np = 0x20;
2209 else if (prot == 4)
2210 np = 0x10;
2211 else if (prot == 3)
2212 np = 0x04;
2213 else if (prot == 1)
2214 np = 0x02;
2215 else if (prot == 0)
2216 np = 0x01;
76d89866 2217 else
2218 return -1;
e30b7e49 2219
2220 if (VirtualProtect (addr, len, np, &op))
2221 return 0;
2222 else
2223 return -1;
e30b7e49 2224}
2225
6af9f7ea 2226#endif /* WINNT && ! __CYGWIN__ */
e30b7e49 2227
87e97de6 2228#ifdef TRANSFER_FROM_TRAMPOLINE
2229TRANSFER_FROM_TRAMPOLINE
62c63f32 2230#endif
62c63f32 2231#endif /* L_trampoline */
2232\f
e678484c 2233#ifndef __CYGWIN__
62c63f32 2234#ifdef L__main
2235
2236#include "gbl-ctors.h"
d24bc145 2237
0c945479 2238/* Some systems use __main in a way incompatible with its use in gcc, in these
2239 cases use the macros NAME__MAIN to give a quoted symbol and SYMBOL__MAIN to
2240 give the same symbol without quotes for an alternative entry point. You
a92771b8 2241 must define both, or neither. */
0c945479 2242#ifndef NAME__MAIN
2243#define NAME__MAIN "__main"
2244#define SYMBOL__MAIN __main
2245#endif
62c63f32 2246
325b8c3c 2247#if defined (__LIBGCC_INIT_SECTION_ASM_OP__) \
2248 || defined (__LIBGCC_INIT_ARRAY_SECTION_ASM_OP__)
8313a782 2249#undef HAS_INIT_SECTION
2250#define HAS_INIT_SECTION
2251#endif
2252
2253#if !defined (HAS_INIT_SECTION) || !defined (OBJECT_FORMAT_ELF)
a6881cf3 2254
2255/* Some ELF crosses use crtstuff.c to provide __CTOR_LIST__, but use this
1c934c58 2256 code to run constructors. In that case, we need to handle EH here, too.
2257 But MINGW32 is special because it handles CRTSTUFF and EH on its own. */
2258
2259#ifdef __MINGW32__
2260#undef __LIBGCC_EH_FRAME_SECTION_NAME__
2261#endif
a6881cf3 2262
325b8c3c 2263#ifdef __LIBGCC_EH_FRAME_SECTION_NAME__
899c9389 2264#include "unwind-dw2-fde.h"
a6881cf3 2265extern unsigned char __EH_FRAME_BEGIN__[];
2266#endif
2267
62c63f32 2268/* Run all the global destructors on exit from the program. */
2269
2270void
71218a21 2271__do_global_dtors (void)
62c63f32 2272{
3a158972 2273#ifdef DO_GLOBAL_DTORS_BODY
2274 DO_GLOBAL_DTORS_BODY;
2275#else
113f9ca7 2276 static func_ptr *p = __DTOR_LIST__ + 1;
2277 while (*p)
2278 {
2279 p++;
2280 (*(p-1)) ();
2281 }
3a158972 2282#endif
325b8c3c 2283#if defined (__LIBGCC_EH_FRAME_SECTION_NAME__) && !defined (HAS_INIT_SECTION)
3b1bfdbe 2284 {
2285 static int completed = 0;
2286 if (! completed)
2287 {
2288 completed = 1;
2289 __deregister_frame_info (__EH_FRAME_BEGIN__);
2290 }
2291 }
a6881cf3 2292#endif
62c63f32 2293}
b7c87ff2 2294#endif
62c63f32 2295
8313a782 2296#ifndef HAS_INIT_SECTION
62c63f32 2297/* Run all the global constructors on entry to the program. */
2298
62c63f32 2299void
71218a21 2300__do_global_ctors (void)
62c63f32 2301{
325b8c3c 2302#ifdef __LIBGCC_EH_FRAME_SECTION_NAME__
a6881cf3 2303 {
2304 static struct object object;
2305 __register_frame_info (__EH_FRAME_BEGIN__, &object);
2306 }
2307#endif
62c63f32 2308 DO_GLOBAL_CTORS_BODY;
bd84a596 2309 atexit (__do_global_dtors);
62c63f32 2310}
8313a782 2311#endif /* no HAS_INIT_SECTION */
62c63f32 2312
8313a782 2313#if !defined (HAS_INIT_SECTION) || defined (INVOKE__main)
62c63f32 2314/* Subroutine called automatically by `main'.
2315 Compiling a global function named `main'
2316 produces an automatic call to this function at the beginning.
2317
2318 For many systems, this routine calls __do_global_ctors.
2319 For systems which support a .init section we use the .init section
2320 to run __do_global_ctors, so we need not do anything here. */
2321
f2dc410e 2322extern void SYMBOL__MAIN (void);
62c63f32 2323void
f2dc410e 2324SYMBOL__MAIN (void)
62c63f32 2325{
2326 /* Support recursive calls to `main': run initializers just once. */
5233d224 2327 static int initialized;
62c63f32 2328 if (! initialized)
2329 {
2330 initialized = 1;
2331 __do_global_ctors ();
2332 }
2333}
8313a782 2334#endif /* no HAS_INIT_SECTION or INVOKE__main */
62c63f32 2335
2336#endif /* L__main */
e678484c 2337#endif /* __CYGWIN__ */
62c63f32 2338\f
a0f2694a 2339#ifdef L_ctors
62c63f32 2340
2341#include "gbl-ctors.h"
2342
2343/* Provide default definitions for the lists of constructors and
98ae6ed6 2344 destructors, so that we don't get linker errors. These symbols are
2345 intentionally bss symbols, so that gld and/or collect will provide
2346 the right values. */
62c63f32 2347
2348/* We declare the lists here with two elements each,
98ae6ed6 2349 so that they are valid empty lists if no other definition is loaded.
2350
2351 If we are using the old "set" extensions to have the gnu linker
2352 collect ctors and dtors, then we __CTOR_LIST__ and __DTOR_LIST__
2353 must be in the bss/common section.
2354
2355 Long term no port should use those extensions. But many still do. */
286a203d 2356#if !defined(__LIBGCC_INIT_SECTION_ASM_OP__)
e535c327 2357#if defined (TARGET_ASM_CONSTRUCTOR) || defined (USE_COLLECT2)
d069195c 2358func_ptr __CTOR_LIST__[2] = {0, 0};
2359func_ptr __DTOR_LIST__[2] = {0, 0};
98ae6ed6 2360#else
2361func_ptr __CTOR_LIST__[2];
2362func_ptr __DTOR_LIST__[2];
2363#endif
286a203d 2364#endif /* no __LIBGCC_INIT_SECTION_ASM_OP__ */
a0f2694a 2365#endif /* L_ctors */
0e8499c7 2366#endif /* LIBGCC2_UNITS_PER_WORD <= MIN_UNITS_PER_WORD */