]>
Commit | Line | Data |
---|---|---|
81dd9fd7 | 1 | /* Definitions of target machine for GNU compiler, for IBM S/390 |
5624e564 | 2 | Copyright (C) 1999-2015 Free Software Foundation, Inc. |
81dd9fd7 AK |
3 | Contributed by Hartmut Penner (hpenner@de.ibm.com) and |
4 | Ulrich Weigand (uweigand@de.ibm.com). | |
5 | ||
6 | This file is part of GCC. | |
7 | ||
8 | GCC is free software; you can redistribute it and/or modify it under | |
9 | the terms of the GNU General Public License as published by the Free | |
10 | Software Foundation; either version 3, or (at your option) any later | |
11 | version. | |
12 | ||
13 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
14 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
15 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
16 | for more details. | |
17 | ||
18 | Under Section 7 of GPL version 3, you are granted additional | |
19 | permissions described in the GCC Runtime Library Exception, version | |
20 | 3.1, as published by the Free Software Foundation. | |
21 | ||
22 | You should have received a copy of the GNU General Public License and | |
23 | a copy of the GCC Runtime Library Exception along with this program; | |
24 | see the files COPYING3 and COPYING.RUNTIME respectively. If not, see | |
25 | <http://www.gnu.org/licenses/>. */ | |
26 | ||
bbf391db AK |
27 | #ifndef __s390x__ |
28 | ||
81dd9fd7 | 29 | #define EXPD(fp) (((fp.l.upper) >> 20) & 0x7FF) |
ce245ec6 AK |
30 | #define EXPONENT_BIAS 1023 |
31 | #define MANTISSA_BITS 52 | |
32 | #define PRECISION (MANTISSA_BITS + 1) | |
81dd9fd7 | 33 | #define SIGNBIT 0x80000000 |
ce245ec6 | 34 | #define SIGN(fp) ((fp.l.upper) & SIGNBIT) |
81dd9fd7 AK |
35 | #define MANTD_LL(fp) ((fp.ll & (HIDDEND_LL-1)) | HIDDEND_LL) |
36 | #define FRACD_LL(fp) (fp.ll & (HIDDEND_LL-1)) | |
ce245ec6 AK |
37 | #define HIDDEND_LL ((UDItype_x)1 << MANTISSA_BITS) |
38 | #define LLONG_MAX 9223372036854775807LL | |
39 | #define LLONG_MIN (-LLONG_MAX - 1LL) | |
81dd9fd7 AK |
40 | |
41 | typedef int DItype_x __attribute__ ((mode (DI))); | |
42 | typedef unsigned int UDItype_x __attribute__ ((mode (DI))); | |
43 | typedef int SItype_x __attribute__ ((mode (SI))); | |
44 | typedef unsigned int USItype_x __attribute__ ((mode (SI))); | |
45 | ||
46 | union double_long { | |
47 | double d; | |
48 | struct { | |
49 | SItype_x upper; | |
50 | USItype_x lower; | |
51 | } l; | |
52 | UDItype_x ll; | |
53 | }; | |
54 | ||
ce245ec6 AK |
55 | static __inline__ void |
56 | fexceptdiv (float d, float e) | |
57 | { | |
58 | __asm__ __volatile__ ("debr %0,%1" : : "f" (d), "f" (e) ); | |
59 | } | |
60 | ||
81dd9fd7 AK |
61 | DItype_x __fixdfdi (double a1); |
62 | ||
63 | /* convert double to int */ | |
64 | DItype_x | |
65 | __fixdfdi (double a1) | |
66 | { | |
67 | register union double_long dl1; | |
68 | register int exp; | |
69 | register DItype_x l; | |
70 | ||
71 | dl1.d = a1; | |
72 | ||
73 | /* +/- 0, denormalized */ | |
81dd9fd7 AK |
74 | if (!EXPD (dl1)) |
75 | return 0; | |
76 | ||
ce245ec6 AK |
77 | /* The exponent - considered the binary point at the right end of |
78 | the mantissa. */ | |
79 | exp = EXPD (dl1) - EXPONENT_BIAS - MANTISSA_BITS; | |
81dd9fd7 AK |
80 | |
81 | /* number < 1 */ | |
ce245ec6 | 82 | if (exp <= -PRECISION) |
81dd9fd7 AK |
83 | return 0; |
84 | ||
85 | /* NaN */ | |
86 | ||
87 | if ((EXPD(dl1) == 0x7ff) && (FRACD_LL(dl1) != 0)) /* NaN */ | |
ce245ec6 AK |
88 | { |
89 | /* C99 Annex F.4 requires an "invalid" exception to be thrown. */ | |
90 | fexceptdiv (0.0, 0.0); | |
91 | return 0x8000000000000000ULL; | |
92 | } | |
81dd9fd7 AK |
93 | |
94 | /* Number big number & +/- inf */ | |
81dd9fd7 | 95 | if (exp >= 11) { |
ce245ec6 AK |
96 | /* Don't throw an exception for -1p+63 */ |
97 | if (!SIGN (dl1) || exp > 11 || FRACD_LL (dl1) != 0) | |
98 | /* C99 Annex F.4 requires an "invalid" exception to be thrown. */ | |
99 | fexceptdiv (0.0, 0.0); | |
100 | return SIGN (dl1) ? LLONG_MIN : LLONG_MAX; | |
81dd9fd7 AK |
101 | } |
102 | ||
103 | l = MANTD_LL(dl1); | |
104 | ||
105 | /* shift down until exp < 12 or l = 0 */ | |
106 | if (exp > 0) | |
107 | l <<= exp; | |
108 | else | |
109 | l >>= -exp; | |
110 | ||
ce245ec6 | 111 | return (SIGN (dl1) ? -l : l); |
81dd9fd7 | 112 | } |
bbf391db | 113 | #endif /* !__s390x__ */ |