46 unsigned long long ll;
62 0x7FF8000000000000ULL,
63 0x7FF0000000000000ULL,
64 0x4000000000000000ULL,
65 0x4000000000000000ULL,
66 0x3FF0000000000000ULL,
67 0x3FF0000000000000ULL,
68 0x0000000000000000ULL,
69 0x3FF8000000000000ULL,
70 0x7FF8000000000000ULL,
71 0x7FF0000000000000ULL,
72 0x0000000000000000ULL,
73 0x3FF8000000000000ULL,
74 0xFFF8000000000000ULL,
75 0xFFF0000000000000ULL,
76 0xC000000000000000ULL,
77 0xC000000000000000ULL,
78 0xBFF0000000000000ULL,
79 0xBFF0000000000000ULL,
80 0x8000000000000000ULL,
81 0xBFF8000000000000ULL,
82 0xFFF8000000000000ULL,
83 0xFFF0000000000000ULL,
84 0x8000000000000000ULL,
85 0xBFF8000000000000ULL,
86 0x7FF8000000000000ULL,
87 0x7FF0000000000000ULL,
88 0x3FF0000000000000ULL,
89 0x3FF0000000000000ULL,
90 0x3FF0000000000000ULL,
91 0x0000000000000000ULL,
92 0x3FF8000000000000ULL,
93 0x7FF8000000000000ULL,
94 0x7FF0000000000000ULL,
95 0x3FF0000000000000ULL,
96 0x4000000000000000ULL,
97 0xFFF0000000000000ULL,
98 0xFFF0000000000000ULL,
99 0xBFF0000000000000ULL,
100 0xBFF0000000000000ULL,
101 0xBFF0000000000000ULL,
102 0x8000000000000000ULL,
103 0xBFF8000000000000ULL,
104 0xFFF8000000000000ULL,
105 0xFFF0000000000000ULL,
106 0xBFF0000000000000ULL,
107 0xC000000000000000ULL
111 0x3FF0000000000000ULL,
112 0x3FF0000000000000ULL,
113 0x0000000000000000ULL,
114 0x3FF8000000000000ULL,
115 0x7FF8000000000000ULL,
116 0x7FF0000000000000ULL,
117 0x4000000000000000ULL,
118 0x4000000000000000ULL,
119 0x7FF0000000000000ULL,
120 0x7FF0000000000000ULL,
121 0x0000000000000000ULL,
122 0x3FF0000000000000ULL,
123 0xBFF0000000000000ULL,
124 0xBFF0000000000000ULL,
125 0x8000000000000000ULL,
126 0xBFF8000000000000ULL,
127 0xFFF8000000000000ULL,
128 0xFFF0000000000000ULL,
129 0xC000000000000000ULL,
130 0xC000000000000000ULL,
131 0xFFF0000000000000ULL,
132 0xFFF0000000000000ULL,
133 0x8000000000000000ULL,
134 0xBFF0000000000000ULL,
135 0xFFF0000000000000ULL,
136 0xFFF0000000000000ULL,
137 0xBFF0000000000000ULL,
138 0xFFF8000000000000ULL,
139 0xFFF0000000000000ULL,
140 0xBFF0000000000000ULL,
141 0xC000000000000000ULL,
142 0xBFF0000000000000ULL,
143 0xBFF0000000000000ULL,
144 0x8000000000000000ULL,
145 0xBFF8000000000000ULL,
146 0x7FF8000000000000ULL,
147 0x7FF0000000000000ULL,
148 0x3FF0000000000000ULL,
149 0x7FF8000000000000ULL,
150 0x7FF0000000000000ULL,
151 0x3FF0000000000000ULL,
152 0x4000000000000000ULL,
153 0x3FF0000000000000ULL,
154 0x3FF0000000000000ULL,
155 0x0000000000000000ULL,
156 0x3FF8000000000000ULL
160 0x7FF8000000000000ULL,
161 0x7FF0000000000000ULL,
162 0x4000000000000000ULL,
163 0x400C000000000000ULL,
164 0x7FF8000000000000ULL,
165 0x7FF0000000000000ULL,
166 0x4000000000000000ULL,
167 0x400C000000000000ULL,
168 0x7FF8000000000000ULL,
169 0x7FF0000000000000ULL,
170 0x0000000000000000ULL,
171 0x4004000000000000ULL,
172 0xFFF8000000000000ULL,
173 0xFFF0000000000000ULL,
174 0xC000000000000000ULL,
175 0xC00C000000000000ULL,
176 0xFFF8000000000000ULL,
177 0xFFF0000000000000ULL,
178 0xC000000000000000ULL,
179 0xC00C000000000000ULL,
180 0xFFF8000000000000ULL,
181 0xFFF0000000000000ULL,
182 0x8000000000000000ULL,
183 0xC004000000000000ULL,
184 0x7FF8000000000000ULL,
185 0x7FFFFFFFFFFFFFFFULL,
186 0x0000000000000000ULL,
187 0xFFF8000000000000ULL,
188 0xFFF0000000000000ULL,
189 0xBFF0000000000000ULL,
190 0xBFE0000000000000ULL,
191 0x7FF8000000000000ULL,
192 0x7FF0000000000000ULL,
193 0x3FF0000000000000ULL,
194 0x3FE0000000000000ULL,
195 0x7FF8000000000000ULL,
196 0x7FFFFFFFFFFFFFFFULL,
197 0x0000000000000000ULL,
198 0x7FF8000000000000ULL,
199 0x7FF0000000000000ULL,
200 0x3FF0000000000000ULL,
201 0x3FE0000000000000ULL,
202 0xFFF8000000000000ULL,
203 0xFFF0000000000000ULL,
204 0xBFF0000000000000ULL,
205 0xBFE0000000000000ULL
215 for (i = 0; i <
N; i++)
221 main_result += (result !=
z_output[i]);
224 (
"a_input=%016llx b_input=%016llx expected=%016llx output=%016llx (%lf)\n",
228 printf (
"%d\n", main_result);
double ullong_to_double(unsigned long long x)
float64 float64_add(float64 a, float64 b)
const float64 z_output[N]
unsigned long long float64
x
Return the smallest n such that 2^n >= _x.