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