gem5 v24.0.0.0
Loading...
Searching...
No Matches
sc_int_mask.cc
Go to the documentation of this file.
1/*****************************************************************************
2
3 Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
4 more contributor license agreements. See the NOTICE file distributed
5 with this work for additional information regarding copyright ownership.
6 Accellera licenses this file to you under the Apache License, Version 2.0
7 (the "License"); you may not use this file except in compliance with the
8 License. You may obtain a copy of the License at
9
10 http://www.apache.org/licenses/LICENSE-2.0
11
12 Unless required by applicable law or agreed to in writing, software
13 distributed under the License is distributed on an "AS IS" BASIS,
14 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
15 implied. See the License for the specific language governing
16 permissions and limitations under the License.
17
18 *****************************************************************************/
19
20/*****************************************************************************
21
22 sc_int_mask.cpp -- Fills the mask_int lookup table to enable efficient
23 part-selection on sc_ints and sc_uints.
24
25 Original Author: Amit Rao, Synopsys, Inc.
26
27 *****************************************************************************/
28
29/*****************************************************************************
30
31 MODIFICATION LOG - modifiers, enter your name, affiliation, date and
32 changes you are making here.
33
34 Name, Affiliation, Date: Ali Dasdan, Synopsys, Inc.
35 Description of Modification: - Resolved ambiguity with sc_(un)signed.
36 - Merged the code for 64- and 32-bit versions
37 via the constants in sc_nbdefs.h.
38 - Eliminated redundant file inclusions.
39
40 Name, Affiliation, Date: Philipp A Hartmann, Intel
41 Description of Modification: - drop specializations for Windows, 32-bit only
42
43 Name, Affiliation, Date:
44 Description of Modification:
45
46 *****************************************************************************/
47
48#include "systemc/ext/dt/int/sc_int_base.hh"
49#include "systemc/ext/dt/int/sc_uint_base.hh"
50
51#ifndef UINT64_C
52# define UINT64_C(v) v ## ULL
53#endif // UINT64_C
54
55namespace sc_dt {
56
57const uint_type mask_int[SC_INTWIDTH][SC_INTWIDTH] = {
58 {
59 UINT64_C(0xfffffffffffffffe)
60 },
61 {
62 UINT64_C(0xfffffffffffffffc),
63 UINT64_C(0xfffffffffffffffd)
64 },
65 {
66 UINT64_C(0xfffffffffffffff8),
67 UINT64_C(0xfffffffffffffff9),
68 UINT64_C(0xfffffffffffffffb)
69 },
70 {
71 UINT64_C(0xfffffffffffffff0),
72 UINT64_C(0xfffffffffffffff1),
73 UINT64_C(0xfffffffffffffff3),
74 UINT64_C(0xfffffffffffffff7)
75 },
76 {
77 UINT64_C(0xffffffffffffffe0),
78 UINT64_C(0xffffffffffffffe1),
79 UINT64_C(0xffffffffffffffe3),
80 UINT64_C(0xffffffffffffffe7),
81 UINT64_C(0xffffffffffffffef)
82 },
83 {
84 UINT64_C(0xffffffffffffffc0),
85 UINT64_C(0xffffffffffffffc1),
86 UINT64_C(0xffffffffffffffc3),
87 UINT64_C(0xffffffffffffffc7),
88 UINT64_C(0xffffffffffffffcf),
89 UINT64_C(0xffffffffffffffdf)
90 },
91 {
92 UINT64_C(0xffffffffffffff80),
93 UINT64_C(0xffffffffffffff81),
94 UINT64_C(0xffffffffffffff83),
95 UINT64_C(0xffffffffffffff87),
96 UINT64_C(0xffffffffffffff8f),
97 UINT64_C(0xffffffffffffff9f),
98 UINT64_C(0xffffffffffffffbf)
99 },
100 {
101 UINT64_C(0xffffffffffffff00),
102 UINT64_C(0xffffffffffffff01),
103 UINT64_C(0xffffffffffffff03),
104 UINT64_C(0xffffffffffffff07),
105 UINT64_C(0xffffffffffffff0f),
106 UINT64_C(0xffffffffffffff1f),
107 UINT64_C(0xffffffffffffff3f),
108 UINT64_C(0xffffffffffffff7f)
109 },
110 {
111 UINT64_C(0xfffffffffffffe00),
112 UINT64_C(0xfffffffffffffe01),
113 UINT64_C(0xfffffffffffffe03),
114 UINT64_C(0xfffffffffffffe07),
115 UINT64_C(0xfffffffffffffe0f),
116 UINT64_C(0xfffffffffffffe1f),
117 UINT64_C(0xfffffffffffffe3f),
118 UINT64_C(0xfffffffffffffe7f),
119 UINT64_C(0xfffffffffffffeff)
120 },
121 {
122 UINT64_C(0xfffffffffffffc00),
123 UINT64_C(0xfffffffffffffc01),
124 UINT64_C(0xfffffffffffffc03),
125 UINT64_C(0xfffffffffffffc07),
126 UINT64_C(0xfffffffffffffc0f),
127 UINT64_C(0xfffffffffffffc1f),
128 UINT64_C(0xfffffffffffffc3f),
129 UINT64_C(0xfffffffffffffc7f),
130 UINT64_C(0xfffffffffffffcff),
131 UINT64_C(0xfffffffffffffdff)
132 },
133 {
134 UINT64_C(0xfffffffffffff800),
135 UINT64_C(0xfffffffffffff801),
136 UINT64_C(0xfffffffffffff803),
137 UINT64_C(0xfffffffffffff807),
138 UINT64_C(0xfffffffffffff80f),
139 UINT64_C(0xfffffffffffff81f),
140 UINT64_C(0xfffffffffffff83f),
141 UINT64_C(0xfffffffffffff87f),
142 UINT64_C(0xfffffffffffff8ff),
143 UINT64_C(0xfffffffffffff9ff),
144 UINT64_C(0xfffffffffffffbff)
145 },
146 {
147 UINT64_C(0xfffffffffffff000),
148 UINT64_C(0xfffffffffffff001),
149 UINT64_C(0xfffffffffffff003),
150 UINT64_C(0xfffffffffffff007),
151 UINT64_C(0xfffffffffffff00f),
152 UINT64_C(0xfffffffffffff01f),
153 UINT64_C(0xfffffffffffff03f),
154 UINT64_C(0xfffffffffffff07f),
155 UINT64_C(0xfffffffffffff0ff),
156 UINT64_C(0xfffffffffffff1ff),
157 UINT64_C(0xfffffffffffff3ff),
158 UINT64_C(0xfffffffffffff7ff)
159 },
160 {
161 UINT64_C(0xffffffffffffe000),
162 UINT64_C(0xffffffffffffe001),
163 UINT64_C(0xffffffffffffe003),
164 UINT64_C(0xffffffffffffe007),
165 UINT64_C(0xffffffffffffe00f),
166 UINT64_C(0xffffffffffffe01f),
167 UINT64_C(0xffffffffffffe03f),
168 UINT64_C(0xffffffffffffe07f),
169 UINT64_C(0xffffffffffffe0ff),
170 UINT64_C(0xffffffffffffe1ff),
171 UINT64_C(0xffffffffffffe3ff),
172 UINT64_C(0xffffffffffffe7ff),
173 UINT64_C(0xffffffffffffefff)
174 },
175 {
176 UINT64_C(0xffffffffffffc000),
177 UINT64_C(0xffffffffffffc001),
178 UINT64_C(0xffffffffffffc003),
179 UINT64_C(0xffffffffffffc007),
180 UINT64_C(0xffffffffffffc00f),
181 UINT64_C(0xffffffffffffc01f),
182 UINT64_C(0xffffffffffffc03f),
183 UINT64_C(0xffffffffffffc07f),
184 UINT64_C(0xffffffffffffc0ff),
185 UINT64_C(0xffffffffffffc1ff),
186 UINT64_C(0xffffffffffffc3ff),
187 UINT64_C(0xffffffffffffc7ff),
188 UINT64_C(0xffffffffffffcfff),
189 UINT64_C(0xffffffffffffdfff)
190 },
191 {
192 UINT64_C(0xffffffffffff8000),
193 UINT64_C(0xffffffffffff8001),
194 UINT64_C(0xffffffffffff8003),
195 UINT64_C(0xffffffffffff8007),
196 UINT64_C(0xffffffffffff800f),
197 UINT64_C(0xffffffffffff801f),
198 UINT64_C(0xffffffffffff803f),
199 UINT64_C(0xffffffffffff807f),
200 UINT64_C(0xffffffffffff80ff),
201 UINT64_C(0xffffffffffff81ff),
202 UINT64_C(0xffffffffffff83ff),
203 UINT64_C(0xffffffffffff87ff),
204 UINT64_C(0xffffffffffff8fff),
205 UINT64_C(0xffffffffffff9fff),
206 UINT64_C(0xffffffffffffbfff)
207 },
208 {
209 UINT64_C(0xffffffffffff0000),
210 UINT64_C(0xffffffffffff0001),
211 UINT64_C(0xffffffffffff0003),
212 UINT64_C(0xffffffffffff0007),
213 UINT64_C(0xffffffffffff000f),
214 UINT64_C(0xffffffffffff001f),
215 UINT64_C(0xffffffffffff003f),
216 UINT64_C(0xffffffffffff007f),
217 UINT64_C(0xffffffffffff00ff),
218 UINT64_C(0xffffffffffff01ff),
219 UINT64_C(0xffffffffffff03ff),
220 UINT64_C(0xffffffffffff07ff),
221 UINT64_C(0xffffffffffff0fff),
222 UINT64_C(0xffffffffffff1fff),
223 UINT64_C(0xffffffffffff3fff),
224 UINT64_C(0xffffffffffff7fff)
225 },
226 {
227 UINT64_C(0xfffffffffffe0000),
228 UINT64_C(0xfffffffffffe0001),
229 UINT64_C(0xfffffffffffe0003),
230 UINT64_C(0xfffffffffffe0007),
231 UINT64_C(0xfffffffffffe000f),
232 UINT64_C(0xfffffffffffe001f),
233 UINT64_C(0xfffffffffffe003f),
234 UINT64_C(0xfffffffffffe007f),
235 UINT64_C(0xfffffffffffe00ff),
236 UINT64_C(0xfffffffffffe01ff),
237 UINT64_C(0xfffffffffffe03ff),
238 UINT64_C(0xfffffffffffe07ff),
239 UINT64_C(0xfffffffffffe0fff),
240 UINT64_C(0xfffffffffffe1fff),
241 UINT64_C(0xfffffffffffe3fff),
242 UINT64_C(0xfffffffffffe7fff),
243 UINT64_C(0xfffffffffffeffff)
244 },
245 {
246 UINT64_C(0xfffffffffffc0000),
247 UINT64_C(0xfffffffffffc0001),
248 UINT64_C(0xfffffffffffc0003),
249 UINT64_C(0xfffffffffffc0007),
250 UINT64_C(0xfffffffffffc000f),
251 UINT64_C(0xfffffffffffc001f),
252 UINT64_C(0xfffffffffffc003f),
253 UINT64_C(0xfffffffffffc007f),
254 UINT64_C(0xfffffffffffc00ff),
255 UINT64_C(0xfffffffffffc01ff),
256 UINT64_C(0xfffffffffffc03ff),
257 UINT64_C(0xfffffffffffc07ff),
258 UINT64_C(0xfffffffffffc0fff),
259 UINT64_C(0xfffffffffffc1fff),
260 UINT64_C(0xfffffffffffc3fff),
261 UINT64_C(0xfffffffffffc7fff),
262 UINT64_C(0xfffffffffffcffff),
263 UINT64_C(0xfffffffffffdffff)
264 },
265 {
266 UINT64_C(0xfffffffffff80000),
267 UINT64_C(0xfffffffffff80001),
268 UINT64_C(0xfffffffffff80003),
269 UINT64_C(0xfffffffffff80007),
270 UINT64_C(0xfffffffffff8000f),
271 UINT64_C(0xfffffffffff8001f),
272 UINT64_C(0xfffffffffff8003f),
273 UINT64_C(0xfffffffffff8007f),
274 UINT64_C(0xfffffffffff800ff),
275 UINT64_C(0xfffffffffff801ff),
276 UINT64_C(0xfffffffffff803ff),
277 UINT64_C(0xfffffffffff807ff),
278 UINT64_C(0xfffffffffff80fff),
279 UINT64_C(0xfffffffffff81fff),
280 UINT64_C(0xfffffffffff83fff),
281 UINT64_C(0xfffffffffff87fff),
282 UINT64_C(0xfffffffffff8ffff),
283 UINT64_C(0xfffffffffff9ffff),
284 UINT64_C(0xfffffffffffbffff)
285 },
286 {
287 UINT64_C(0xfffffffffff00000),
288 UINT64_C(0xfffffffffff00001),
289 UINT64_C(0xfffffffffff00003),
290 UINT64_C(0xfffffffffff00007),
291 UINT64_C(0xfffffffffff0000f),
292 UINT64_C(0xfffffffffff0001f),
293 UINT64_C(0xfffffffffff0003f),
294 UINT64_C(0xfffffffffff0007f),
295 UINT64_C(0xfffffffffff000ff),
296 UINT64_C(0xfffffffffff001ff),
297 UINT64_C(0xfffffffffff003ff),
298 UINT64_C(0xfffffffffff007ff),
299 UINT64_C(0xfffffffffff00fff),
300 UINT64_C(0xfffffffffff01fff),
301 UINT64_C(0xfffffffffff03fff),
302 UINT64_C(0xfffffffffff07fff),
303 UINT64_C(0xfffffffffff0ffff),
304 UINT64_C(0xfffffffffff1ffff),
305 UINT64_C(0xfffffffffff3ffff),
306 UINT64_C(0xfffffffffff7ffff)
307 },
308 {
309 UINT64_C(0xffffffffffe00000),
310 UINT64_C(0xffffffffffe00001),
311 UINT64_C(0xffffffffffe00003),
312 UINT64_C(0xffffffffffe00007),
313 UINT64_C(0xffffffffffe0000f),
314 UINT64_C(0xffffffffffe0001f),
315 UINT64_C(0xffffffffffe0003f),
316 UINT64_C(0xffffffffffe0007f),
317 UINT64_C(0xffffffffffe000ff),
318 UINT64_C(0xffffffffffe001ff),
319 UINT64_C(0xffffffffffe003ff),
320 UINT64_C(0xffffffffffe007ff),
321 UINT64_C(0xffffffffffe00fff),
322 UINT64_C(0xffffffffffe01fff),
323 UINT64_C(0xffffffffffe03fff),
324 UINT64_C(0xffffffffffe07fff),
325 UINT64_C(0xffffffffffe0ffff),
326 UINT64_C(0xffffffffffe1ffff),
327 UINT64_C(0xffffffffffe3ffff),
328 UINT64_C(0xffffffffffe7ffff),
329 UINT64_C(0xffffffffffefffff)
330 },
331 {
332 UINT64_C(0xffffffffffc00000),
333 UINT64_C(0xffffffffffc00001),
334 UINT64_C(0xffffffffffc00003),
335 UINT64_C(0xffffffffffc00007),
336 UINT64_C(0xffffffffffc0000f),
337 UINT64_C(0xffffffffffc0001f),
338 UINT64_C(0xffffffffffc0003f),
339 UINT64_C(0xffffffffffc0007f),
340 UINT64_C(0xffffffffffc000ff),
341 UINT64_C(0xffffffffffc001ff),
342 UINT64_C(0xffffffffffc003ff),
343 UINT64_C(0xffffffffffc007ff),
344 UINT64_C(0xffffffffffc00fff),
345 UINT64_C(0xffffffffffc01fff),
346 UINT64_C(0xffffffffffc03fff),
347 UINT64_C(0xffffffffffc07fff),
348 UINT64_C(0xffffffffffc0ffff),
349 UINT64_C(0xffffffffffc1ffff),
350 UINT64_C(0xffffffffffc3ffff),
351 UINT64_C(0xffffffffffc7ffff),
352 UINT64_C(0xffffffffffcfffff),
353 UINT64_C(0xffffffffffdfffff)
354 },
355 {
356 UINT64_C(0xffffffffff800000),
357 UINT64_C(0xffffffffff800001),
358 UINT64_C(0xffffffffff800003),
359 UINT64_C(0xffffffffff800007),
360 UINT64_C(0xffffffffff80000f),
361 UINT64_C(0xffffffffff80001f),
362 UINT64_C(0xffffffffff80003f),
363 UINT64_C(0xffffffffff80007f),
364 UINT64_C(0xffffffffff8000ff),
365 UINT64_C(0xffffffffff8001ff),
366 UINT64_C(0xffffffffff8003ff),
367 UINT64_C(0xffffffffff8007ff),
368 UINT64_C(0xffffffffff800fff),
369 UINT64_C(0xffffffffff801fff),
370 UINT64_C(0xffffffffff803fff),
371 UINT64_C(0xffffffffff807fff),
372 UINT64_C(0xffffffffff80ffff),
373 UINT64_C(0xffffffffff81ffff),
374 UINT64_C(0xffffffffff83ffff),
375 UINT64_C(0xffffffffff87ffff),
376 UINT64_C(0xffffffffff8fffff),
377 UINT64_C(0xffffffffff9fffff),
378 UINT64_C(0xffffffffffbfffff)
379 },
380 {
381 UINT64_C(0xffffffffff000000),
382 UINT64_C(0xffffffffff000001),
383 UINT64_C(0xffffffffff000003),
384 UINT64_C(0xffffffffff000007),
385 UINT64_C(0xffffffffff00000f),
386 UINT64_C(0xffffffffff00001f),
387 UINT64_C(0xffffffffff00003f),
388 UINT64_C(0xffffffffff00007f),
389 UINT64_C(0xffffffffff0000ff),
390 UINT64_C(0xffffffffff0001ff),
391 UINT64_C(0xffffffffff0003ff),
392 UINT64_C(0xffffffffff0007ff),
393 UINT64_C(0xffffffffff000fff),
394 UINT64_C(0xffffffffff001fff),
395 UINT64_C(0xffffffffff003fff),
396 UINT64_C(0xffffffffff007fff),
397 UINT64_C(0xffffffffff00ffff),
398 UINT64_C(0xffffffffff01ffff),
399 UINT64_C(0xffffffffff03ffff),
400 UINT64_C(0xffffffffff07ffff),
401 UINT64_C(0xffffffffff0fffff),
402 UINT64_C(0xffffffffff1fffff),
403 UINT64_C(0xffffffffff3fffff),
404 UINT64_C(0xffffffffff7fffff)
405 },
406 {
407 UINT64_C(0xfffffffffe000000),
408 UINT64_C(0xfffffffffe000001),
409 UINT64_C(0xfffffffffe000003),
410 UINT64_C(0xfffffffffe000007),
411 UINT64_C(0xfffffffffe00000f),
412 UINT64_C(0xfffffffffe00001f),
413 UINT64_C(0xfffffffffe00003f),
414 UINT64_C(0xfffffffffe00007f),
415 UINT64_C(0xfffffffffe0000ff),
416 UINT64_C(0xfffffffffe0001ff),
417 UINT64_C(0xfffffffffe0003ff),
418 UINT64_C(0xfffffffffe0007ff),
419 UINT64_C(0xfffffffffe000fff),
420 UINT64_C(0xfffffffffe001fff),
421 UINT64_C(0xfffffffffe003fff),
422 UINT64_C(0xfffffffffe007fff),
423 UINT64_C(0xfffffffffe00ffff),
424 UINT64_C(0xfffffffffe01ffff),
425 UINT64_C(0xfffffffffe03ffff),
426 UINT64_C(0xfffffffffe07ffff),
427 UINT64_C(0xfffffffffe0fffff),
428 UINT64_C(0xfffffffffe1fffff),
429 UINT64_C(0xfffffffffe3fffff),
430 UINT64_C(0xfffffffffe7fffff),
431 UINT64_C(0xfffffffffeffffff)
432 },
433 {
434 UINT64_C(0xfffffffffc000000),
435 UINT64_C(0xfffffffffc000001),
436 UINT64_C(0xfffffffffc000003),
437 UINT64_C(0xfffffffffc000007),
438 UINT64_C(0xfffffffffc00000f),
439 UINT64_C(0xfffffffffc00001f),
440 UINT64_C(0xfffffffffc00003f),
441 UINT64_C(0xfffffffffc00007f),
442 UINT64_C(0xfffffffffc0000ff),
443 UINT64_C(0xfffffffffc0001ff),
444 UINT64_C(0xfffffffffc0003ff),
445 UINT64_C(0xfffffffffc0007ff),
446 UINT64_C(0xfffffffffc000fff),
447 UINT64_C(0xfffffffffc001fff),
448 UINT64_C(0xfffffffffc003fff),
449 UINT64_C(0xfffffffffc007fff),
450 UINT64_C(0xfffffffffc00ffff),
451 UINT64_C(0xfffffffffc01ffff),
452 UINT64_C(0xfffffffffc03ffff),
453 UINT64_C(0xfffffffffc07ffff),
454 UINT64_C(0xfffffffffc0fffff),
455 UINT64_C(0xfffffffffc1fffff),
456 UINT64_C(0xfffffffffc3fffff),
457 UINT64_C(0xfffffffffc7fffff),
458 UINT64_C(0xfffffffffcffffff),
459 UINT64_C(0xfffffffffdffffff)
460 },
461 {
462 UINT64_C(0xfffffffff8000000),
463 UINT64_C(0xfffffffff8000001),
464 UINT64_C(0xfffffffff8000003),
465 UINT64_C(0xfffffffff8000007),
466 UINT64_C(0xfffffffff800000f),
467 UINT64_C(0xfffffffff800001f),
468 UINT64_C(0xfffffffff800003f),
469 UINT64_C(0xfffffffff800007f),
470 UINT64_C(0xfffffffff80000ff),
471 UINT64_C(0xfffffffff80001ff),
472 UINT64_C(0xfffffffff80003ff),
473 UINT64_C(0xfffffffff80007ff),
474 UINT64_C(0xfffffffff8000fff),
475 UINT64_C(0xfffffffff8001fff),
476 UINT64_C(0xfffffffff8003fff),
477 UINT64_C(0xfffffffff8007fff),
478 UINT64_C(0xfffffffff800ffff),
479 UINT64_C(0xfffffffff801ffff),
480 UINT64_C(0xfffffffff803ffff),
481 UINT64_C(0xfffffffff807ffff),
482 UINT64_C(0xfffffffff80fffff),
483 UINT64_C(0xfffffffff81fffff),
484 UINT64_C(0xfffffffff83fffff),
485 UINT64_C(0xfffffffff87fffff),
486 UINT64_C(0xfffffffff8ffffff),
487 UINT64_C(0xfffffffff9ffffff),
488 UINT64_C(0xfffffffffbffffff)
489 },
490 {
491 UINT64_C(0xfffffffff0000000),
492 UINT64_C(0xfffffffff0000001),
493 UINT64_C(0xfffffffff0000003),
494 UINT64_C(0xfffffffff0000007),
495 UINT64_C(0xfffffffff000000f),
496 UINT64_C(0xfffffffff000001f),
497 UINT64_C(0xfffffffff000003f),
498 UINT64_C(0xfffffffff000007f),
499 UINT64_C(0xfffffffff00000ff),
500 UINT64_C(0xfffffffff00001ff),
501 UINT64_C(0xfffffffff00003ff),
502 UINT64_C(0xfffffffff00007ff),
503 UINT64_C(0xfffffffff0000fff),
504 UINT64_C(0xfffffffff0001fff),
505 UINT64_C(0xfffffffff0003fff),
506 UINT64_C(0xfffffffff0007fff),
507 UINT64_C(0xfffffffff000ffff),
508 UINT64_C(0xfffffffff001ffff),
509 UINT64_C(0xfffffffff003ffff),
510 UINT64_C(0xfffffffff007ffff),
511 UINT64_C(0xfffffffff00fffff),
512 UINT64_C(0xfffffffff01fffff),
513 UINT64_C(0xfffffffff03fffff),
514 UINT64_C(0xfffffffff07fffff),
515 UINT64_C(0xfffffffff0ffffff),
516 UINT64_C(0xfffffffff1ffffff),
517 UINT64_C(0xfffffffff3ffffff),
518 UINT64_C(0xfffffffff7ffffff)
519 },
520 {
521 UINT64_C(0xffffffffe0000000),
522 UINT64_C(0xffffffffe0000001),
523 UINT64_C(0xffffffffe0000003),
524 UINT64_C(0xffffffffe0000007),
525 UINT64_C(0xffffffffe000000f),
526 UINT64_C(0xffffffffe000001f),
527 UINT64_C(0xffffffffe000003f),
528 UINT64_C(0xffffffffe000007f),
529 UINT64_C(0xffffffffe00000ff),
530 UINT64_C(0xffffffffe00001ff),
531 UINT64_C(0xffffffffe00003ff),
532 UINT64_C(0xffffffffe00007ff),
533 UINT64_C(0xffffffffe0000fff),
534 UINT64_C(0xffffffffe0001fff),
535 UINT64_C(0xffffffffe0003fff),
536 UINT64_C(0xffffffffe0007fff),
537 UINT64_C(0xffffffffe000ffff),
538 UINT64_C(0xffffffffe001ffff),
539 UINT64_C(0xffffffffe003ffff),
540 UINT64_C(0xffffffffe007ffff),
541 UINT64_C(0xffffffffe00fffff),
542 UINT64_C(0xffffffffe01fffff),
543 UINT64_C(0xffffffffe03fffff),
544 UINT64_C(0xffffffffe07fffff),
545 UINT64_C(0xffffffffe0ffffff),
546 UINT64_C(0xffffffffe1ffffff),
547 UINT64_C(0xffffffffe3ffffff),
548 UINT64_C(0xffffffffe7ffffff),
549 UINT64_C(0xffffffffefffffff)
550 },
551 {
552 UINT64_C(0xffffffffc0000000),
553 UINT64_C(0xffffffffc0000001),
554 UINT64_C(0xffffffffc0000003),
555 UINT64_C(0xffffffffc0000007),
556 UINT64_C(0xffffffffc000000f),
557 UINT64_C(0xffffffffc000001f),
558 UINT64_C(0xffffffffc000003f),
559 UINT64_C(0xffffffffc000007f),
560 UINT64_C(0xffffffffc00000ff),
561 UINT64_C(0xffffffffc00001ff),
562 UINT64_C(0xffffffffc00003ff),
563 UINT64_C(0xffffffffc00007ff),
564 UINT64_C(0xffffffffc0000fff),
565 UINT64_C(0xffffffffc0001fff),
566 UINT64_C(0xffffffffc0003fff),
567 UINT64_C(0xffffffffc0007fff),
568 UINT64_C(0xffffffffc000ffff),
569 UINT64_C(0xffffffffc001ffff),
570 UINT64_C(0xffffffffc003ffff),
571 UINT64_C(0xffffffffc007ffff),
572 UINT64_C(0xffffffffc00fffff),
573 UINT64_C(0xffffffffc01fffff),
574 UINT64_C(0xffffffffc03fffff),
575 UINT64_C(0xffffffffc07fffff),
576 UINT64_C(0xffffffffc0ffffff),
577 UINT64_C(0xffffffffc1ffffff),
578 UINT64_C(0xffffffffc3ffffff),
579 UINT64_C(0xffffffffc7ffffff),
580 UINT64_C(0xffffffffcfffffff),
581 UINT64_C(0xffffffffdfffffff)
582 },
583 {
584 UINT64_C(0xffffffff80000000),
585 UINT64_C(0xffffffff80000001),
586 UINT64_C(0xffffffff80000003),
587 UINT64_C(0xffffffff80000007),
588 UINT64_C(0xffffffff8000000f),
589 UINT64_C(0xffffffff8000001f),
590 UINT64_C(0xffffffff8000003f),
591 UINT64_C(0xffffffff8000007f),
592 UINT64_C(0xffffffff800000ff),
593 UINT64_C(0xffffffff800001ff),
594 UINT64_C(0xffffffff800003ff),
595 UINT64_C(0xffffffff800007ff),
596 UINT64_C(0xffffffff80000fff),
597 UINT64_C(0xffffffff80001fff),
598 UINT64_C(0xffffffff80003fff),
599 UINT64_C(0xffffffff80007fff),
600 UINT64_C(0xffffffff8000ffff),
601 UINT64_C(0xffffffff8001ffff),
602 UINT64_C(0xffffffff8003ffff),
603 UINT64_C(0xffffffff8007ffff),
604 UINT64_C(0xffffffff800fffff),
605 UINT64_C(0xffffffff801fffff),
606 UINT64_C(0xffffffff803fffff),
607 UINT64_C(0xffffffff807fffff),
608 UINT64_C(0xffffffff80ffffff),
609 UINT64_C(0xffffffff81ffffff),
610 UINT64_C(0xffffffff83ffffff),
611 UINT64_C(0xffffffff87ffffff),
612 UINT64_C(0xffffffff8fffffff),
613 UINT64_C(0xffffffff9fffffff),
614 UINT64_C(0xffffffffbfffffff)
615 },
616 {
617 UINT64_C(0xffffffff00000000),
618 UINT64_C(0xffffffff00000001),
619 UINT64_C(0xffffffff00000003),
620 UINT64_C(0xffffffff00000007),
621 UINT64_C(0xffffffff0000000f),
622 UINT64_C(0xffffffff0000001f),
623 UINT64_C(0xffffffff0000003f),
624 UINT64_C(0xffffffff0000007f),
625 UINT64_C(0xffffffff000000ff),
626 UINT64_C(0xffffffff000001ff),
627 UINT64_C(0xffffffff000003ff),
628 UINT64_C(0xffffffff000007ff),
629 UINT64_C(0xffffffff00000fff),
630 UINT64_C(0xffffffff00001fff),
631 UINT64_C(0xffffffff00003fff),
632 UINT64_C(0xffffffff00007fff),
633 UINT64_C(0xffffffff0000ffff),
634 UINT64_C(0xffffffff0001ffff),
635 UINT64_C(0xffffffff0003ffff),
636 UINT64_C(0xffffffff0007ffff),
637 UINT64_C(0xffffffff000fffff),
638 UINT64_C(0xffffffff001fffff),
639 UINT64_C(0xffffffff003fffff),
640 UINT64_C(0xffffffff007fffff),
641 UINT64_C(0xffffffff00ffffff),
642 UINT64_C(0xffffffff01ffffff),
643 UINT64_C(0xffffffff03ffffff),
644 UINT64_C(0xffffffff07ffffff),
645 UINT64_C(0xffffffff0fffffff),
646 UINT64_C(0xffffffff1fffffff),
647 UINT64_C(0xffffffff3fffffff),
648 UINT64_C(0xffffffff7fffffff)
649 },
650 {
651 UINT64_C(0xfffffffe00000000),
652 UINT64_C(0xfffffffe00000001),
653 UINT64_C(0xfffffffe00000003),
654 UINT64_C(0xfffffffe00000007),
655 UINT64_C(0xfffffffe0000000f),
656 UINT64_C(0xfffffffe0000001f),
657 UINT64_C(0xfffffffe0000003f),
658 UINT64_C(0xfffffffe0000007f),
659 UINT64_C(0xfffffffe000000ff),
660 UINT64_C(0xfffffffe000001ff),
661 UINT64_C(0xfffffffe000003ff),
662 UINT64_C(0xfffffffe000007ff),
663 UINT64_C(0xfffffffe00000fff),
664 UINT64_C(0xfffffffe00001fff),
665 UINT64_C(0xfffffffe00003fff),
666 UINT64_C(0xfffffffe00007fff),
667 UINT64_C(0xfffffffe0000ffff),
668 UINT64_C(0xfffffffe0001ffff),
669 UINT64_C(0xfffffffe0003ffff),
670 UINT64_C(0xfffffffe0007ffff),
671 UINT64_C(0xfffffffe000fffff),
672 UINT64_C(0xfffffffe001fffff),
673 UINT64_C(0xfffffffe003fffff),
674 UINT64_C(0xfffffffe007fffff),
675 UINT64_C(0xfffffffe00ffffff),
676 UINT64_C(0xfffffffe01ffffff),
677 UINT64_C(0xfffffffe03ffffff),
678 UINT64_C(0xfffffffe07ffffff),
679 UINT64_C(0xfffffffe0fffffff),
680 UINT64_C(0xfffffffe1fffffff),
681 UINT64_C(0xfffffffe3fffffff),
682 UINT64_C(0xfffffffe7fffffff),
683 UINT64_C(0xfffffffeffffffff)
684 },
685 {
686 UINT64_C(0xfffffffc00000000),
687 UINT64_C(0xfffffffc00000001),
688 UINT64_C(0xfffffffc00000003),
689 UINT64_C(0xfffffffc00000007),
690 UINT64_C(0xfffffffc0000000f),
691 UINT64_C(0xfffffffc0000001f),
692 UINT64_C(0xfffffffc0000003f),
693 UINT64_C(0xfffffffc0000007f),
694 UINT64_C(0xfffffffc000000ff),
695 UINT64_C(0xfffffffc000001ff),
696 UINT64_C(0xfffffffc000003ff),
697 UINT64_C(0xfffffffc000007ff),
698 UINT64_C(0xfffffffc00000fff),
699 UINT64_C(0xfffffffc00001fff),
700 UINT64_C(0xfffffffc00003fff),
701 UINT64_C(0xfffffffc00007fff),
702 UINT64_C(0xfffffffc0000ffff),
703 UINT64_C(0xfffffffc0001ffff),
704 UINT64_C(0xfffffffc0003ffff),
705 UINT64_C(0xfffffffc0007ffff),
706 UINT64_C(0xfffffffc000fffff),
707 UINT64_C(0xfffffffc001fffff),
708 UINT64_C(0xfffffffc003fffff),
709 UINT64_C(0xfffffffc007fffff),
710 UINT64_C(0xfffffffc00ffffff),
711 UINT64_C(0xfffffffc01ffffff),
712 UINT64_C(0xfffffffc03ffffff),
713 UINT64_C(0xfffffffc07ffffff),
714 UINT64_C(0xfffffffc0fffffff),
715 UINT64_C(0xfffffffc1fffffff),
716 UINT64_C(0xfffffffc3fffffff),
717 UINT64_C(0xfffffffc7fffffff),
718 UINT64_C(0xfffffffcffffffff),
719 UINT64_C(0xfffffffdffffffff)
720 },
721 {
722 UINT64_C(0xfffffff800000000),
723 UINT64_C(0xfffffff800000001),
724 UINT64_C(0xfffffff800000003),
725 UINT64_C(0xfffffff800000007),
726 UINT64_C(0xfffffff80000000f),
727 UINT64_C(0xfffffff80000001f),
728 UINT64_C(0xfffffff80000003f),
729 UINT64_C(0xfffffff80000007f),
730 UINT64_C(0xfffffff8000000ff),
731 UINT64_C(0xfffffff8000001ff),
732 UINT64_C(0xfffffff8000003ff),
733 UINT64_C(0xfffffff8000007ff),
734 UINT64_C(0xfffffff800000fff),
735 UINT64_C(0xfffffff800001fff),
736 UINT64_C(0xfffffff800003fff),
737 UINT64_C(0xfffffff800007fff),
738 UINT64_C(0xfffffff80000ffff),
739 UINT64_C(0xfffffff80001ffff),
740 UINT64_C(0xfffffff80003ffff),
741 UINT64_C(0xfffffff80007ffff),
742 UINT64_C(0xfffffff8000fffff),
743 UINT64_C(0xfffffff8001fffff),
744 UINT64_C(0xfffffff8003fffff),
745 UINT64_C(0xfffffff8007fffff),
746 UINT64_C(0xfffffff800ffffff),
747 UINT64_C(0xfffffff801ffffff),
748 UINT64_C(0xfffffff803ffffff),
749 UINT64_C(0xfffffff807ffffff),
750 UINT64_C(0xfffffff80fffffff),
751 UINT64_C(0xfffffff81fffffff),
752 UINT64_C(0xfffffff83fffffff),
753 UINT64_C(0xfffffff87fffffff),
754 UINT64_C(0xfffffff8ffffffff),
755 UINT64_C(0xfffffff9ffffffff),
756 UINT64_C(0xfffffffbffffffff)
757 },
758 {
759 UINT64_C(0xfffffff000000000),
760 UINT64_C(0xfffffff000000001),
761 UINT64_C(0xfffffff000000003),
762 UINT64_C(0xfffffff000000007),
763 UINT64_C(0xfffffff00000000f),
764 UINT64_C(0xfffffff00000001f),
765 UINT64_C(0xfffffff00000003f),
766 UINT64_C(0xfffffff00000007f),
767 UINT64_C(0xfffffff0000000ff),
768 UINT64_C(0xfffffff0000001ff),
769 UINT64_C(0xfffffff0000003ff),
770 UINT64_C(0xfffffff0000007ff),
771 UINT64_C(0xfffffff000000fff),
772 UINT64_C(0xfffffff000001fff),
773 UINT64_C(0xfffffff000003fff),
774 UINT64_C(0xfffffff000007fff),
775 UINT64_C(0xfffffff00000ffff),
776 UINT64_C(0xfffffff00001ffff),
777 UINT64_C(0xfffffff00003ffff),
778 UINT64_C(0xfffffff00007ffff),
779 UINT64_C(0xfffffff0000fffff),
780 UINT64_C(0xfffffff0001fffff),
781 UINT64_C(0xfffffff0003fffff),
782 UINT64_C(0xfffffff0007fffff),
783 UINT64_C(0xfffffff000ffffff),
784 UINT64_C(0xfffffff001ffffff),
785 UINT64_C(0xfffffff003ffffff),
786 UINT64_C(0xfffffff007ffffff),
787 UINT64_C(0xfffffff00fffffff),
788 UINT64_C(0xfffffff01fffffff),
789 UINT64_C(0xfffffff03fffffff),
790 UINT64_C(0xfffffff07fffffff),
791 UINT64_C(0xfffffff0ffffffff),
792 UINT64_C(0xfffffff1ffffffff),
793 UINT64_C(0xfffffff3ffffffff),
794 UINT64_C(0xfffffff7ffffffff)
795 },
796 {
797 UINT64_C(0xffffffe000000000),
798 UINT64_C(0xffffffe000000001),
799 UINT64_C(0xffffffe000000003),
800 UINT64_C(0xffffffe000000007),
801 UINT64_C(0xffffffe00000000f),
802 UINT64_C(0xffffffe00000001f),
803 UINT64_C(0xffffffe00000003f),
804 UINT64_C(0xffffffe00000007f),
805 UINT64_C(0xffffffe0000000ff),
806 UINT64_C(0xffffffe0000001ff),
807 UINT64_C(0xffffffe0000003ff),
808 UINT64_C(0xffffffe0000007ff),
809 UINT64_C(0xffffffe000000fff),
810 UINT64_C(0xffffffe000001fff),
811 UINT64_C(0xffffffe000003fff),
812 UINT64_C(0xffffffe000007fff),
813 UINT64_C(0xffffffe00000ffff),
814 UINT64_C(0xffffffe00001ffff),
815 UINT64_C(0xffffffe00003ffff),
816 UINT64_C(0xffffffe00007ffff),
817 UINT64_C(0xffffffe0000fffff),
818 UINT64_C(0xffffffe0001fffff),
819 UINT64_C(0xffffffe0003fffff),
820 UINT64_C(0xffffffe0007fffff),
821 UINT64_C(0xffffffe000ffffff),
822 UINT64_C(0xffffffe001ffffff),
823 UINT64_C(0xffffffe003ffffff),
824 UINT64_C(0xffffffe007ffffff),
825 UINT64_C(0xffffffe00fffffff),
826 UINT64_C(0xffffffe01fffffff),
827 UINT64_C(0xffffffe03fffffff),
828 UINT64_C(0xffffffe07fffffff),
829 UINT64_C(0xffffffe0ffffffff),
830 UINT64_C(0xffffffe1ffffffff),
831 UINT64_C(0xffffffe3ffffffff),
832 UINT64_C(0xffffffe7ffffffff),
833 UINT64_C(0xffffffefffffffff)
834 },
835 {
836 UINT64_C(0xffffffc000000000),
837 UINT64_C(0xffffffc000000001),
838 UINT64_C(0xffffffc000000003),
839 UINT64_C(0xffffffc000000007),
840 UINT64_C(0xffffffc00000000f),
841 UINT64_C(0xffffffc00000001f),
842 UINT64_C(0xffffffc00000003f),
843 UINT64_C(0xffffffc00000007f),
844 UINT64_C(0xffffffc0000000ff),
845 UINT64_C(0xffffffc0000001ff),
846 UINT64_C(0xffffffc0000003ff),
847 UINT64_C(0xffffffc0000007ff),
848 UINT64_C(0xffffffc000000fff),
849 UINT64_C(0xffffffc000001fff),
850 UINT64_C(0xffffffc000003fff),
851 UINT64_C(0xffffffc000007fff),
852 UINT64_C(0xffffffc00000ffff),
853 UINT64_C(0xffffffc00001ffff),
854 UINT64_C(0xffffffc00003ffff),
855 UINT64_C(0xffffffc00007ffff),
856 UINT64_C(0xffffffc0000fffff),
857 UINT64_C(0xffffffc0001fffff),
858 UINT64_C(0xffffffc0003fffff),
859 UINT64_C(0xffffffc0007fffff),
860 UINT64_C(0xffffffc000ffffff),
861 UINT64_C(0xffffffc001ffffff),
862 UINT64_C(0xffffffc003ffffff),
863 UINT64_C(0xffffffc007ffffff),
864 UINT64_C(0xffffffc00fffffff),
865 UINT64_C(0xffffffc01fffffff),
866 UINT64_C(0xffffffc03fffffff),
867 UINT64_C(0xffffffc07fffffff),
868 UINT64_C(0xffffffc0ffffffff),
869 UINT64_C(0xffffffc1ffffffff),
870 UINT64_C(0xffffffc3ffffffff),
871 UINT64_C(0xffffffc7ffffffff),
872 UINT64_C(0xffffffcfffffffff),
873 UINT64_C(0xffffffdfffffffff)
874 },
875 {
876 UINT64_C(0xffffff8000000000),
877 UINT64_C(0xffffff8000000001),
878 UINT64_C(0xffffff8000000003),
879 UINT64_C(0xffffff8000000007),
880 UINT64_C(0xffffff800000000f),
881 UINT64_C(0xffffff800000001f),
882 UINT64_C(0xffffff800000003f),
883 UINT64_C(0xffffff800000007f),
884 UINT64_C(0xffffff80000000ff),
885 UINT64_C(0xffffff80000001ff),
886 UINT64_C(0xffffff80000003ff),
887 UINT64_C(0xffffff80000007ff),
888 UINT64_C(0xffffff8000000fff),
889 UINT64_C(0xffffff8000001fff),
890 UINT64_C(0xffffff8000003fff),
891 UINT64_C(0xffffff8000007fff),
892 UINT64_C(0xffffff800000ffff),
893 UINT64_C(0xffffff800001ffff),
894 UINT64_C(0xffffff800003ffff),
895 UINT64_C(0xffffff800007ffff),
896 UINT64_C(0xffffff80000fffff),
897 UINT64_C(0xffffff80001fffff),
898 UINT64_C(0xffffff80003fffff),
899 UINT64_C(0xffffff80007fffff),
900 UINT64_C(0xffffff8000ffffff),
901 UINT64_C(0xffffff8001ffffff),
902 UINT64_C(0xffffff8003ffffff),
903 UINT64_C(0xffffff8007ffffff),
904 UINT64_C(0xffffff800fffffff),
905 UINT64_C(0xffffff801fffffff),
906 UINT64_C(0xffffff803fffffff),
907 UINT64_C(0xffffff807fffffff),
908 UINT64_C(0xffffff80ffffffff),
909 UINT64_C(0xffffff81ffffffff),
910 UINT64_C(0xffffff83ffffffff),
911 UINT64_C(0xffffff87ffffffff),
912 UINT64_C(0xffffff8fffffffff),
913 UINT64_C(0xffffff9fffffffff),
914 UINT64_C(0xffffffbfffffffff)
915 },
916 {
917 UINT64_C(0xffffff0000000000),
918 UINT64_C(0xffffff0000000001),
919 UINT64_C(0xffffff0000000003),
920 UINT64_C(0xffffff0000000007),
921 UINT64_C(0xffffff000000000f),
922 UINT64_C(0xffffff000000001f),
923 UINT64_C(0xffffff000000003f),
924 UINT64_C(0xffffff000000007f),
925 UINT64_C(0xffffff00000000ff),
926 UINT64_C(0xffffff00000001ff),
927 UINT64_C(0xffffff00000003ff),
928 UINT64_C(0xffffff00000007ff),
929 UINT64_C(0xffffff0000000fff),
930 UINT64_C(0xffffff0000001fff),
931 UINT64_C(0xffffff0000003fff),
932 UINT64_C(0xffffff0000007fff),
933 UINT64_C(0xffffff000000ffff),
934 UINT64_C(0xffffff000001ffff),
935 UINT64_C(0xffffff000003ffff),
936 UINT64_C(0xffffff000007ffff),
937 UINT64_C(0xffffff00000fffff),
938 UINT64_C(0xffffff00001fffff),
939 UINT64_C(0xffffff00003fffff),
940 UINT64_C(0xffffff00007fffff),
941 UINT64_C(0xffffff0000ffffff),
942 UINT64_C(0xffffff0001ffffff),
943 UINT64_C(0xffffff0003ffffff),
944 UINT64_C(0xffffff0007ffffff),
945 UINT64_C(0xffffff000fffffff),
946 UINT64_C(0xffffff001fffffff),
947 UINT64_C(0xffffff003fffffff),
948 UINT64_C(0xffffff007fffffff),
949 UINT64_C(0xffffff00ffffffff),
950 UINT64_C(0xffffff01ffffffff),
951 UINT64_C(0xffffff03ffffffff),
952 UINT64_C(0xffffff07ffffffff),
953 UINT64_C(0xffffff0fffffffff),
954 UINT64_C(0xffffff1fffffffff),
955 UINT64_C(0xffffff3fffffffff),
956 UINT64_C(0xffffff7fffffffff)
957 },
958 {
959 UINT64_C(0xfffffe0000000000),
960 UINT64_C(0xfffffe0000000001),
961 UINT64_C(0xfffffe0000000003),
962 UINT64_C(0xfffffe0000000007),
963 UINT64_C(0xfffffe000000000f),
964 UINT64_C(0xfffffe000000001f),
965 UINT64_C(0xfffffe000000003f),
966 UINT64_C(0xfffffe000000007f),
967 UINT64_C(0xfffffe00000000ff),
968 UINT64_C(0xfffffe00000001ff),
969 UINT64_C(0xfffffe00000003ff),
970 UINT64_C(0xfffffe00000007ff),
971 UINT64_C(0xfffffe0000000fff),
972 UINT64_C(0xfffffe0000001fff),
973 UINT64_C(0xfffffe0000003fff),
974 UINT64_C(0xfffffe0000007fff),
975 UINT64_C(0xfffffe000000ffff),
976 UINT64_C(0xfffffe000001ffff),
977 UINT64_C(0xfffffe000003ffff),
978 UINT64_C(0xfffffe000007ffff),
979 UINT64_C(0xfffffe00000fffff),
980 UINT64_C(0xfffffe00001fffff),
981 UINT64_C(0xfffffe00003fffff),
982 UINT64_C(0xfffffe00007fffff),
983 UINT64_C(0xfffffe0000ffffff),
984 UINT64_C(0xfffffe0001ffffff),
985 UINT64_C(0xfffffe0003ffffff),
986 UINT64_C(0xfffffe0007ffffff),
987 UINT64_C(0xfffffe000fffffff),
988 UINT64_C(0xfffffe001fffffff),
989 UINT64_C(0xfffffe003fffffff),
990 UINT64_C(0xfffffe007fffffff),
991 UINT64_C(0xfffffe00ffffffff),
992 UINT64_C(0xfffffe01ffffffff),
993 UINT64_C(0xfffffe03ffffffff),
994 UINT64_C(0xfffffe07ffffffff),
995 UINT64_C(0xfffffe0fffffffff),
996 UINT64_C(0xfffffe1fffffffff),
997 UINT64_C(0xfffffe3fffffffff),
998 UINT64_C(0xfffffe7fffffffff),
999 UINT64_C(0xfffffeffffffffff)
1000 },
1001 {
1002 UINT64_C(0xfffffc0000000000),
1003 UINT64_C(0xfffffc0000000001),
1004 UINT64_C(0xfffffc0000000003),
1005 UINT64_C(0xfffffc0000000007),
1006 UINT64_C(0xfffffc000000000f),
1007 UINT64_C(0xfffffc000000001f),
1008 UINT64_C(0xfffffc000000003f),
1009 UINT64_C(0xfffffc000000007f),
1010 UINT64_C(0xfffffc00000000ff),
1011 UINT64_C(0xfffffc00000001ff),
1012 UINT64_C(0xfffffc00000003ff),
1013 UINT64_C(0xfffffc00000007ff),
1014 UINT64_C(0xfffffc0000000fff),
1015 UINT64_C(0xfffffc0000001fff),
1016 UINT64_C(0xfffffc0000003fff),
1017 UINT64_C(0xfffffc0000007fff),
1018 UINT64_C(0xfffffc000000ffff),
1019 UINT64_C(0xfffffc000001ffff),
1020 UINT64_C(0xfffffc000003ffff),
1021 UINT64_C(0xfffffc000007ffff),
1022 UINT64_C(0xfffffc00000fffff),
1023 UINT64_C(0xfffffc00001fffff),
1024 UINT64_C(0xfffffc00003fffff),
1025 UINT64_C(0xfffffc00007fffff),
1026 UINT64_C(0xfffffc0000ffffff),
1027 UINT64_C(0xfffffc0001ffffff),
1028 UINT64_C(0xfffffc0003ffffff),
1029 UINT64_C(0xfffffc0007ffffff),
1030 UINT64_C(0xfffffc000fffffff),
1031 UINT64_C(0xfffffc001fffffff),
1032 UINT64_C(0xfffffc003fffffff),
1033 UINT64_C(0xfffffc007fffffff),
1034 UINT64_C(0xfffffc00ffffffff),
1035 UINT64_C(0xfffffc01ffffffff),
1036 UINT64_C(0xfffffc03ffffffff),
1037 UINT64_C(0xfffffc07ffffffff),
1038 UINT64_C(0xfffffc0fffffffff),
1039 UINT64_C(0xfffffc1fffffffff),
1040 UINT64_C(0xfffffc3fffffffff),
1041 UINT64_C(0xfffffc7fffffffff),
1042 UINT64_C(0xfffffcffffffffff),
1043 UINT64_C(0xfffffdffffffffff)
1044 },
1045 {
1046 UINT64_C(0xfffff80000000000),
1047 UINT64_C(0xfffff80000000001),
1048 UINT64_C(0xfffff80000000003),
1049 UINT64_C(0xfffff80000000007),
1050 UINT64_C(0xfffff8000000000f),
1051 UINT64_C(0xfffff8000000001f),
1052 UINT64_C(0xfffff8000000003f),
1053 UINT64_C(0xfffff8000000007f),
1054 UINT64_C(0xfffff800000000ff),
1055 UINT64_C(0xfffff800000001ff),
1056 UINT64_C(0xfffff800000003ff),
1057 UINT64_C(0xfffff800000007ff),
1058 UINT64_C(0xfffff80000000fff),
1059 UINT64_C(0xfffff80000001fff),
1060 UINT64_C(0xfffff80000003fff),
1061 UINT64_C(0xfffff80000007fff),
1062 UINT64_C(0xfffff8000000ffff),
1063 UINT64_C(0xfffff8000001ffff),
1064 UINT64_C(0xfffff8000003ffff),
1065 UINT64_C(0xfffff8000007ffff),
1066 UINT64_C(0xfffff800000fffff),
1067 UINT64_C(0xfffff800001fffff),
1068 UINT64_C(0xfffff800003fffff),
1069 UINT64_C(0xfffff800007fffff),
1070 UINT64_C(0xfffff80000ffffff),
1071 UINT64_C(0xfffff80001ffffff),
1072 UINT64_C(0xfffff80003ffffff),
1073 UINT64_C(0xfffff80007ffffff),
1074 UINT64_C(0xfffff8000fffffff),
1075 UINT64_C(0xfffff8001fffffff),
1076 UINT64_C(0xfffff8003fffffff),
1077 UINT64_C(0xfffff8007fffffff),
1078 UINT64_C(0xfffff800ffffffff),
1079 UINT64_C(0xfffff801ffffffff),
1080 UINT64_C(0xfffff803ffffffff),
1081 UINT64_C(0xfffff807ffffffff),
1082 UINT64_C(0xfffff80fffffffff),
1083 UINT64_C(0xfffff81fffffffff),
1084 UINT64_C(0xfffff83fffffffff),
1085 UINT64_C(0xfffff87fffffffff),
1086 UINT64_C(0xfffff8ffffffffff),
1087 UINT64_C(0xfffff9ffffffffff),
1088 UINT64_C(0xfffffbffffffffff)
1089 },
1090 {
1091 UINT64_C(0xfffff00000000000),
1092 UINT64_C(0xfffff00000000001),
1093 UINT64_C(0xfffff00000000003),
1094 UINT64_C(0xfffff00000000007),
1095 UINT64_C(0xfffff0000000000f),
1096 UINT64_C(0xfffff0000000001f),
1097 UINT64_C(0xfffff0000000003f),
1098 UINT64_C(0xfffff0000000007f),
1099 UINT64_C(0xfffff000000000ff),
1100 UINT64_C(0xfffff000000001ff),
1101 UINT64_C(0xfffff000000003ff),
1102 UINT64_C(0xfffff000000007ff),
1103 UINT64_C(0xfffff00000000fff),
1104 UINT64_C(0xfffff00000001fff),
1105 UINT64_C(0xfffff00000003fff),
1106 UINT64_C(0xfffff00000007fff),
1107 UINT64_C(0xfffff0000000ffff),
1108 UINT64_C(0xfffff0000001ffff),
1109 UINT64_C(0xfffff0000003ffff),
1110 UINT64_C(0xfffff0000007ffff),
1111 UINT64_C(0xfffff000000fffff),
1112 UINT64_C(0xfffff000001fffff),
1113 UINT64_C(0xfffff000003fffff),
1114 UINT64_C(0xfffff000007fffff),
1115 UINT64_C(0xfffff00000ffffff),
1116 UINT64_C(0xfffff00001ffffff),
1117 UINT64_C(0xfffff00003ffffff),
1118 UINT64_C(0xfffff00007ffffff),
1119 UINT64_C(0xfffff0000fffffff),
1120 UINT64_C(0xfffff0001fffffff),
1121 UINT64_C(0xfffff0003fffffff),
1122 UINT64_C(0xfffff0007fffffff),
1123 UINT64_C(0xfffff000ffffffff),
1124 UINT64_C(0xfffff001ffffffff),
1125 UINT64_C(0xfffff003ffffffff),
1126 UINT64_C(0xfffff007ffffffff),
1127 UINT64_C(0xfffff00fffffffff),
1128 UINT64_C(0xfffff01fffffffff),
1129 UINT64_C(0xfffff03fffffffff),
1130 UINT64_C(0xfffff07fffffffff),
1131 UINT64_C(0xfffff0ffffffffff),
1132 UINT64_C(0xfffff1ffffffffff),
1133 UINT64_C(0xfffff3ffffffffff),
1134 UINT64_C(0xfffff7ffffffffff)
1135 },
1136 {
1137 UINT64_C(0xffffe00000000000),
1138 UINT64_C(0xffffe00000000001),
1139 UINT64_C(0xffffe00000000003),
1140 UINT64_C(0xffffe00000000007),
1141 UINT64_C(0xffffe0000000000f),
1142 UINT64_C(0xffffe0000000001f),
1143 UINT64_C(0xffffe0000000003f),
1144 UINT64_C(0xffffe0000000007f),
1145 UINT64_C(0xffffe000000000ff),
1146 UINT64_C(0xffffe000000001ff),
1147 UINT64_C(0xffffe000000003ff),
1148 UINT64_C(0xffffe000000007ff),
1149 UINT64_C(0xffffe00000000fff),
1150 UINT64_C(0xffffe00000001fff),
1151 UINT64_C(0xffffe00000003fff),
1152 UINT64_C(0xffffe00000007fff),
1153 UINT64_C(0xffffe0000000ffff),
1154 UINT64_C(0xffffe0000001ffff),
1155 UINT64_C(0xffffe0000003ffff),
1156 UINT64_C(0xffffe0000007ffff),
1157 UINT64_C(0xffffe000000fffff),
1158 UINT64_C(0xffffe000001fffff),
1159 UINT64_C(0xffffe000003fffff),
1160 UINT64_C(0xffffe000007fffff),
1161 UINT64_C(0xffffe00000ffffff),
1162 UINT64_C(0xffffe00001ffffff),
1163 UINT64_C(0xffffe00003ffffff),
1164 UINT64_C(0xffffe00007ffffff),
1165 UINT64_C(0xffffe0000fffffff),
1166 UINT64_C(0xffffe0001fffffff),
1167 UINT64_C(0xffffe0003fffffff),
1168 UINT64_C(0xffffe0007fffffff),
1169 UINT64_C(0xffffe000ffffffff),
1170 UINT64_C(0xffffe001ffffffff),
1171 UINT64_C(0xffffe003ffffffff),
1172 UINT64_C(0xffffe007ffffffff),
1173 UINT64_C(0xffffe00fffffffff),
1174 UINT64_C(0xffffe01fffffffff),
1175 UINT64_C(0xffffe03fffffffff),
1176 UINT64_C(0xffffe07fffffffff),
1177 UINT64_C(0xffffe0ffffffffff),
1178 UINT64_C(0xffffe1ffffffffff),
1179 UINT64_C(0xffffe3ffffffffff),
1180 UINT64_C(0xffffe7ffffffffff),
1181 UINT64_C(0xffffefffffffffff)
1182 },
1183 {
1184 UINT64_C(0xffffc00000000000),
1185 UINT64_C(0xffffc00000000001),
1186 UINT64_C(0xffffc00000000003),
1187 UINT64_C(0xffffc00000000007),
1188 UINT64_C(0xffffc0000000000f),
1189 UINT64_C(0xffffc0000000001f),
1190 UINT64_C(0xffffc0000000003f),
1191 UINT64_C(0xffffc0000000007f),
1192 UINT64_C(0xffffc000000000ff),
1193 UINT64_C(0xffffc000000001ff),
1194 UINT64_C(0xffffc000000003ff),
1195 UINT64_C(0xffffc000000007ff),
1196 UINT64_C(0xffffc00000000fff),
1197 UINT64_C(0xffffc00000001fff),
1198 UINT64_C(0xffffc00000003fff),
1199 UINT64_C(0xffffc00000007fff),
1200 UINT64_C(0xffffc0000000ffff),
1201 UINT64_C(0xffffc0000001ffff),
1202 UINT64_C(0xffffc0000003ffff),
1203 UINT64_C(0xffffc0000007ffff),
1204 UINT64_C(0xffffc000000fffff),
1205 UINT64_C(0xffffc000001fffff),
1206 UINT64_C(0xffffc000003fffff),
1207 UINT64_C(0xffffc000007fffff),
1208 UINT64_C(0xffffc00000ffffff),
1209 UINT64_C(0xffffc00001ffffff),
1210 UINT64_C(0xffffc00003ffffff),
1211 UINT64_C(0xffffc00007ffffff),
1212 UINT64_C(0xffffc0000fffffff),
1213 UINT64_C(0xffffc0001fffffff),
1214 UINT64_C(0xffffc0003fffffff),
1215 UINT64_C(0xffffc0007fffffff),
1216 UINT64_C(0xffffc000ffffffff),
1217 UINT64_C(0xffffc001ffffffff),
1218 UINT64_C(0xffffc003ffffffff),
1219 UINT64_C(0xffffc007ffffffff),
1220 UINT64_C(0xffffc00fffffffff),
1221 UINT64_C(0xffffc01fffffffff),
1222 UINT64_C(0xffffc03fffffffff),
1223 UINT64_C(0xffffc07fffffffff),
1224 UINT64_C(0xffffc0ffffffffff),
1225 UINT64_C(0xffffc1ffffffffff),
1226 UINT64_C(0xffffc3ffffffffff),
1227 UINT64_C(0xffffc7ffffffffff),
1228 UINT64_C(0xffffcfffffffffff),
1229 UINT64_C(0xffffdfffffffffff)
1230 },
1231 {
1232 UINT64_C(0xffff800000000000),
1233 UINT64_C(0xffff800000000001),
1234 UINT64_C(0xffff800000000003),
1235 UINT64_C(0xffff800000000007),
1236 UINT64_C(0xffff80000000000f),
1237 UINT64_C(0xffff80000000001f),
1238 UINT64_C(0xffff80000000003f),
1239 UINT64_C(0xffff80000000007f),
1240 UINT64_C(0xffff8000000000ff),
1241 UINT64_C(0xffff8000000001ff),
1242 UINT64_C(0xffff8000000003ff),
1243 UINT64_C(0xffff8000000007ff),
1244 UINT64_C(0xffff800000000fff),
1245 UINT64_C(0xffff800000001fff),
1246 UINT64_C(0xffff800000003fff),
1247 UINT64_C(0xffff800000007fff),
1248 UINT64_C(0xffff80000000ffff),
1249 UINT64_C(0xffff80000001ffff),
1250 UINT64_C(0xffff80000003ffff),
1251 UINT64_C(0xffff80000007ffff),
1252 UINT64_C(0xffff8000000fffff),
1253 UINT64_C(0xffff8000001fffff),
1254 UINT64_C(0xffff8000003fffff),
1255 UINT64_C(0xffff8000007fffff),
1256 UINT64_C(0xffff800000ffffff),
1257 UINT64_C(0xffff800001ffffff),
1258 UINT64_C(0xffff800003ffffff),
1259 UINT64_C(0xffff800007ffffff),
1260 UINT64_C(0xffff80000fffffff),
1261 UINT64_C(0xffff80001fffffff),
1262 UINT64_C(0xffff80003fffffff),
1263 UINT64_C(0xffff80007fffffff),
1264 UINT64_C(0xffff8000ffffffff),
1265 UINT64_C(0xffff8001ffffffff),
1266 UINT64_C(0xffff8003ffffffff),
1267 UINT64_C(0xffff8007ffffffff),
1268 UINT64_C(0xffff800fffffffff),
1269 UINT64_C(0xffff801fffffffff),
1270 UINT64_C(0xffff803fffffffff),
1271 UINT64_C(0xffff807fffffffff),
1272 UINT64_C(0xffff80ffffffffff),
1273 UINT64_C(0xffff81ffffffffff),
1274 UINT64_C(0xffff83ffffffffff),
1275 UINT64_C(0xffff87ffffffffff),
1276 UINT64_C(0xffff8fffffffffff),
1277 UINT64_C(0xffff9fffffffffff),
1278 UINT64_C(0xffffbfffffffffff)
1279 },
1280 {
1281 UINT64_C(0xffff000000000000),
1282 UINT64_C(0xffff000000000001),
1283 UINT64_C(0xffff000000000003),
1284 UINT64_C(0xffff000000000007),
1285 UINT64_C(0xffff00000000000f),
1286 UINT64_C(0xffff00000000001f),
1287 UINT64_C(0xffff00000000003f),
1288 UINT64_C(0xffff00000000007f),
1289 UINT64_C(0xffff0000000000ff),
1290 UINT64_C(0xffff0000000001ff),
1291 UINT64_C(0xffff0000000003ff),
1292 UINT64_C(0xffff0000000007ff),
1293 UINT64_C(0xffff000000000fff),
1294 UINT64_C(0xffff000000001fff),
1295 UINT64_C(0xffff000000003fff),
1296 UINT64_C(0xffff000000007fff),
1297 UINT64_C(0xffff00000000ffff),
1298 UINT64_C(0xffff00000001ffff),
1299 UINT64_C(0xffff00000003ffff),
1300 UINT64_C(0xffff00000007ffff),
1301 UINT64_C(0xffff0000000fffff),
1302 UINT64_C(0xffff0000001fffff),
1303 UINT64_C(0xffff0000003fffff),
1304 UINT64_C(0xffff0000007fffff),
1305 UINT64_C(0xffff000000ffffff),
1306 UINT64_C(0xffff000001ffffff),
1307 UINT64_C(0xffff000003ffffff),
1308 UINT64_C(0xffff000007ffffff),
1309 UINT64_C(0xffff00000fffffff),
1310 UINT64_C(0xffff00001fffffff),
1311 UINT64_C(0xffff00003fffffff),
1312 UINT64_C(0xffff00007fffffff),
1313 UINT64_C(0xffff0000ffffffff),
1314 UINT64_C(0xffff0001ffffffff),
1315 UINT64_C(0xffff0003ffffffff),
1316 UINT64_C(0xffff0007ffffffff),
1317 UINT64_C(0xffff000fffffffff),
1318 UINT64_C(0xffff001fffffffff),
1319 UINT64_C(0xffff003fffffffff),
1320 UINT64_C(0xffff007fffffffff),
1321 UINT64_C(0xffff00ffffffffff),
1322 UINT64_C(0xffff01ffffffffff),
1323 UINT64_C(0xffff03ffffffffff),
1324 UINT64_C(0xffff07ffffffffff),
1325 UINT64_C(0xffff0fffffffffff),
1326 UINT64_C(0xffff1fffffffffff),
1327 UINT64_C(0xffff3fffffffffff),
1328 UINT64_C(0xffff7fffffffffff)
1329 },
1330 {
1331 UINT64_C(0xfffe000000000000),
1332 UINT64_C(0xfffe000000000001),
1333 UINT64_C(0xfffe000000000003),
1334 UINT64_C(0xfffe000000000007),
1335 UINT64_C(0xfffe00000000000f),
1336 UINT64_C(0xfffe00000000001f),
1337 UINT64_C(0xfffe00000000003f),
1338 UINT64_C(0xfffe00000000007f),
1339 UINT64_C(0xfffe0000000000ff),
1340 UINT64_C(0xfffe0000000001ff),
1341 UINT64_C(0xfffe0000000003ff),
1342 UINT64_C(0xfffe0000000007ff),
1343 UINT64_C(0xfffe000000000fff),
1344 UINT64_C(0xfffe000000001fff),
1345 UINT64_C(0xfffe000000003fff),
1346 UINT64_C(0xfffe000000007fff),
1347 UINT64_C(0xfffe00000000ffff),
1348 UINT64_C(0xfffe00000001ffff),
1349 UINT64_C(0xfffe00000003ffff),
1350 UINT64_C(0xfffe00000007ffff),
1351 UINT64_C(0xfffe0000000fffff),
1352 UINT64_C(0xfffe0000001fffff),
1353 UINT64_C(0xfffe0000003fffff),
1354 UINT64_C(0xfffe0000007fffff),
1355 UINT64_C(0xfffe000000ffffff),
1356 UINT64_C(0xfffe000001ffffff),
1357 UINT64_C(0xfffe000003ffffff),
1358 UINT64_C(0xfffe000007ffffff),
1359 UINT64_C(0xfffe00000fffffff),
1360 UINT64_C(0xfffe00001fffffff),
1361 UINT64_C(0xfffe00003fffffff),
1362 UINT64_C(0xfffe00007fffffff),
1363 UINT64_C(0xfffe0000ffffffff),
1364 UINT64_C(0xfffe0001ffffffff),
1365 UINT64_C(0xfffe0003ffffffff),
1366 UINT64_C(0xfffe0007ffffffff),
1367 UINT64_C(0xfffe000fffffffff),
1368 UINT64_C(0xfffe001fffffffff),
1369 UINT64_C(0xfffe003fffffffff),
1370 UINT64_C(0xfffe007fffffffff),
1371 UINT64_C(0xfffe00ffffffffff),
1372 UINT64_C(0xfffe01ffffffffff),
1373 UINT64_C(0xfffe03ffffffffff),
1374 UINT64_C(0xfffe07ffffffffff),
1375 UINT64_C(0xfffe0fffffffffff),
1376 UINT64_C(0xfffe1fffffffffff),
1377 UINT64_C(0xfffe3fffffffffff),
1378 UINT64_C(0xfffe7fffffffffff),
1379 UINT64_C(0xfffeffffffffffff)
1380 },
1381 {
1382 UINT64_C(0xfffc000000000000),
1383 UINT64_C(0xfffc000000000001),
1384 UINT64_C(0xfffc000000000003),
1385 UINT64_C(0xfffc000000000007),
1386 UINT64_C(0xfffc00000000000f),
1387 UINT64_C(0xfffc00000000001f),
1388 UINT64_C(0xfffc00000000003f),
1389 UINT64_C(0xfffc00000000007f),
1390 UINT64_C(0xfffc0000000000ff),
1391 UINT64_C(0xfffc0000000001ff),
1392 UINT64_C(0xfffc0000000003ff),
1393 UINT64_C(0xfffc0000000007ff),
1394 UINT64_C(0xfffc000000000fff),
1395 UINT64_C(0xfffc000000001fff),
1396 UINT64_C(0xfffc000000003fff),
1397 UINT64_C(0xfffc000000007fff),
1398 UINT64_C(0xfffc00000000ffff),
1399 UINT64_C(0xfffc00000001ffff),
1400 UINT64_C(0xfffc00000003ffff),
1401 UINT64_C(0xfffc00000007ffff),
1402 UINT64_C(0xfffc0000000fffff),
1403 UINT64_C(0xfffc0000001fffff),
1404 UINT64_C(0xfffc0000003fffff),
1405 UINT64_C(0xfffc0000007fffff),
1406 UINT64_C(0xfffc000000ffffff),
1407 UINT64_C(0xfffc000001ffffff),
1408 UINT64_C(0xfffc000003ffffff),
1409 UINT64_C(0xfffc000007ffffff),
1410 UINT64_C(0xfffc00000fffffff),
1411 UINT64_C(0xfffc00001fffffff),
1412 UINT64_C(0xfffc00003fffffff),
1413 UINT64_C(0xfffc00007fffffff),
1414 UINT64_C(0xfffc0000ffffffff),
1415 UINT64_C(0xfffc0001ffffffff),
1416 UINT64_C(0xfffc0003ffffffff),
1417 UINT64_C(0xfffc0007ffffffff),
1418 UINT64_C(0xfffc000fffffffff),
1419 UINT64_C(0xfffc001fffffffff),
1420 UINT64_C(0xfffc003fffffffff),
1421 UINT64_C(0xfffc007fffffffff),
1422 UINT64_C(0xfffc00ffffffffff),
1423 UINT64_C(0xfffc01ffffffffff),
1424 UINT64_C(0xfffc03ffffffffff),
1425 UINT64_C(0xfffc07ffffffffff),
1426 UINT64_C(0xfffc0fffffffffff),
1427 UINT64_C(0xfffc1fffffffffff),
1428 UINT64_C(0xfffc3fffffffffff),
1429 UINT64_C(0xfffc7fffffffffff),
1430 UINT64_C(0xfffcffffffffffff),
1431 UINT64_C(0xfffdffffffffffff)
1432 },
1433 {
1434 UINT64_C(0xfff8000000000000),
1435 UINT64_C(0xfff8000000000001),
1436 UINT64_C(0xfff8000000000003),
1437 UINT64_C(0xfff8000000000007),
1438 UINT64_C(0xfff800000000000f),
1439 UINT64_C(0xfff800000000001f),
1440 UINT64_C(0xfff800000000003f),
1441 UINT64_C(0xfff800000000007f),
1442 UINT64_C(0xfff80000000000ff),
1443 UINT64_C(0xfff80000000001ff),
1444 UINT64_C(0xfff80000000003ff),
1445 UINT64_C(0xfff80000000007ff),
1446 UINT64_C(0xfff8000000000fff),
1447 UINT64_C(0xfff8000000001fff),
1448 UINT64_C(0xfff8000000003fff),
1449 UINT64_C(0xfff8000000007fff),
1450 UINT64_C(0xfff800000000ffff),
1451 UINT64_C(0xfff800000001ffff),
1452 UINT64_C(0xfff800000003ffff),
1453 UINT64_C(0xfff800000007ffff),
1454 UINT64_C(0xfff80000000fffff),
1455 UINT64_C(0xfff80000001fffff),
1456 UINT64_C(0xfff80000003fffff),
1457 UINT64_C(0xfff80000007fffff),
1458 UINT64_C(0xfff8000000ffffff),
1459 UINT64_C(0xfff8000001ffffff),
1460 UINT64_C(0xfff8000003ffffff),
1461 UINT64_C(0xfff8000007ffffff),
1462 UINT64_C(0xfff800000fffffff),
1463 UINT64_C(0xfff800001fffffff),
1464 UINT64_C(0xfff800003fffffff),
1465 UINT64_C(0xfff800007fffffff),
1466 UINT64_C(0xfff80000ffffffff),
1467 UINT64_C(0xfff80001ffffffff),
1468 UINT64_C(0xfff80003ffffffff),
1469 UINT64_C(0xfff80007ffffffff),
1470 UINT64_C(0xfff8000fffffffff),
1471 UINT64_C(0xfff8001fffffffff),
1472 UINT64_C(0xfff8003fffffffff),
1473 UINT64_C(0xfff8007fffffffff),
1474 UINT64_C(0xfff800ffffffffff),
1475 UINT64_C(0xfff801ffffffffff),
1476 UINT64_C(0xfff803ffffffffff),
1477 UINT64_C(0xfff807ffffffffff),
1478 UINT64_C(0xfff80fffffffffff),
1479 UINT64_C(0xfff81fffffffffff),
1480 UINT64_C(0xfff83fffffffffff),
1481 UINT64_C(0xfff87fffffffffff),
1482 UINT64_C(0xfff8ffffffffffff),
1483 UINT64_C(0xfff9ffffffffffff),
1484 UINT64_C(0xfffbffffffffffff)
1485 },
1486 {
1487 UINT64_C(0xfff0000000000000),
1488 UINT64_C(0xfff0000000000001),
1489 UINT64_C(0xfff0000000000003),
1490 UINT64_C(0xfff0000000000007),
1491 UINT64_C(0xfff000000000000f),
1492 UINT64_C(0xfff000000000001f),
1493 UINT64_C(0xfff000000000003f),
1494 UINT64_C(0xfff000000000007f),
1495 UINT64_C(0xfff00000000000ff),
1496 UINT64_C(0xfff00000000001ff),
1497 UINT64_C(0xfff00000000003ff),
1498 UINT64_C(0xfff00000000007ff),
1499 UINT64_C(0xfff0000000000fff),
1500 UINT64_C(0xfff0000000001fff),
1501 UINT64_C(0xfff0000000003fff),
1502 UINT64_C(0xfff0000000007fff),
1503 UINT64_C(0xfff000000000ffff),
1504 UINT64_C(0xfff000000001ffff),
1505 UINT64_C(0xfff000000003ffff),
1506 UINT64_C(0xfff000000007ffff),
1507 UINT64_C(0xfff00000000fffff),
1508 UINT64_C(0xfff00000001fffff),
1509 UINT64_C(0xfff00000003fffff),
1510 UINT64_C(0xfff00000007fffff),
1511 UINT64_C(0xfff0000000ffffff),
1512 UINT64_C(0xfff0000001ffffff),
1513 UINT64_C(0xfff0000003ffffff),
1514 UINT64_C(0xfff0000007ffffff),
1515 UINT64_C(0xfff000000fffffff),
1516 UINT64_C(0xfff000001fffffff),
1517 UINT64_C(0xfff000003fffffff),
1518 UINT64_C(0xfff000007fffffff),
1519 UINT64_C(0xfff00000ffffffff),
1520 UINT64_C(0xfff00001ffffffff),
1521 UINT64_C(0xfff00003ffffffff),
1522 UINT64_C(0xfff00007ffffffff),
1523 UINT64_C(0xfff0000fffffffff),
1524 UINT64_C(0xfff0001fffffffff),
1525 UINT64_C(0xfff0003fffffffff),
1526 UINT64_C(0xfff0007fffffffff),
1527 UINT64_C(0xfff000ffffffffff),
1528 UINT64_C(0xfff001ffffffffff),
1529 UINT64_C(0xfff003ffffffffff),
1530 UINT64_C(0xfff007ffffffffff),
1531 UINT64_C(0xfff00fffffffffff),
1532 UINT64_C(0xfff01fffffffffff),
1533 UINT64_C(0xfff03fffffffffff),
1534 UINT64_C(0xfff07fffffffffff),
1535 UINT64_C(0xfff0ffffffffffff),
1536 UINT64_C(0xfff1ffffffffffff),
1537 UINT64_C(0xfff3ffffffffffff),
1538 UINT64_C(0xfff7ffffffffffff)
1539 },
1540 {
1541 UINT64_C(0xffe0000000000000),
1542 UINT64_C(0xffe0000000000001),
1543 UINT64_C(0xffe0000000000003),
1544 UINT64_C(0xffe0000000000007),
1545 UINT64_C(0xffe000000000000f),
1546 UINT64_C(0xffe000000000001f),
1547 UINT64_C(0xffe000000000003f),
1548 UINT64_C(0xffe000000000007f),
1549 UINT64_C(0xffe00000000000ff),
1550 UINT64_C(0xffe00000000001ff),
1551 UINT64_C(0xffe00000000003ff),
1552 UINT64_C(0xffe00000000007ff),
1553 UINT64_C(0xffe0000000000fff),
1554 UINT64_C(0xffe0000000001fff),
1555 UINT64_C(0xffe0000000003fff),
1556 UINT64_C(0xffe0000000007fff),
1557 UINT64_C(0xffe000000000ffff),
1558 UINT64_C(0xffe000000001ffff),
1559 UINT64_C(0xffe000000003ffff),
1560 UINT64_C(0xffe000000007ffff),
1561 UINT64_C(0xffe00000000fffff),
1562 UINT64_C(0xffe00000001fffff),
1563 UINT64_C(0xffe00000003fffff),
1564 UINT64_C(0xffe00000007fffff),
1565 UINT64_C(0xffe0000000ffffff),
1566 UINT64_C(0xffe0000001ffffff),
1567 UINT64_C(0xffe0000003ffffff),
1568 UINT64_C(0xffe0000007ffffff),
1569 UINT64_C(0xffe000000fffffff),
1570 UINT64_C(0xffe000001fffffff),
1571 UINT64_C(0xffe000003fffffff),
1572 UINT64_C(0xffe000007fffffff),
1573 UINT64_C(0xffe00000ffffffff),
1574 UINT64_C(0xffe00001ffffffff),
1575 UINT64_C(0xffe00003ffffffff),
1576 UINT64_C(0xffe00007ffffffff),
1577 UINT64_C(0xffe0000fffffffff),
1578 UINT64_C(0xffe0001fffffffff),
1579 UINT64_C(0xffe0003fffffffff),
1580 UINT64_C(0xffe0007fffffffff),
1581 UINT64_C(0xffe000ffffffffff),
1582 UINT64_C(0xffe001ffffffffff),
1583 UINT64_C(0xffe003ffffffffff),
1584 UINT64_C(0xffe007ffffffffff),
1585 UINT64_C(0xffe00fffffffffff),
1586 UINT64_C(0xffe01fffffffffff),
1587 UINT64_C(0xffe03fffffffffff),
1588 UINT64_C(0xffe07fffffffffff),
1589 UINT64_C(0xffe0ffffffffffff),
1590 UINT64_C(0xffe1ffffffffffff),
1591 UINT64_C(0xffe3ffffffffffff),
1592 UINT64_C(0xffe7ffffffffffff),
1593 UINT64_C(0xffefffffffffffff)
1594 },
1595 {
1596 UINT64_C(0xffc0000000000000),
1597 UINT64_C(0xffc0000000000001),
1598 UINT64_C(0xffc0000000000003),
1599 UINT64_C(0xffc0000000000007),
1600 UINT64_C(0xffc000000000000f),
1601 UINT64_C(0xffc000000000001f),
1602 UINT64_C(0xffc000000000003f),
1603 UINT64_C(0xffc000000000007f),
1604 UINT64_C(0xffc00000000000ff),
1605 UINT64_C(0xffc00000000001ff),
1606 UINT64_C(0xffc00000000003ff),
1607 UINT64_C(0xffc00000000007ff),
1608 UINT64_C(0xffc0000000000fff),
1609 UINT64_C(0xffc0000000001fff),
1610 UINT64_C(0xffc0000000003fff),
1611 UINT64_C(0xffc0000000007fff),
1612 UINT64_C(0xffc000000000ffff),
1613 UINT64_C(0xffc000000001ffff),
1614 UINT64_C(0xffc000000003ffff),
1615 UINT64_C(0xffc000000007ffff),
1616 UINT64_C(0xffc00000000fffff),
1617 UINT64_C(0xffc00000001fffff),
1618 UINT64_C(0xffc00000003fffff),
1619 UINT64_C(0xffc00000007fffff),
1620 UINT64_C(0xffc0000000ffffff),
1621 UINT64_C(0xffc0000001ffffff),
1622 UINT64_C(0xffc0000003ffffff),
1623 UINT64_C(0xffc0000007ffffff),
1624 UINT64_C(0xffc000000fffffff),
1625 UINT64_C(0xffc000001fffffff),
1626 UINT64_C(0xffc000003fffffff),
1627 UINT64_C(0xffc000007fffffff),
1628 UINT64_C(0xffc00000ffffffff),
1629 UINT64_C(0xffc00001ffffffff),
1630 UINT64_C(0xffc00003ffffffff),
1631 UINT64_C(0xffc00007ffffffff),
1632 UINT64_C(0xffc0000fffffffff),
1633 UINT64_C(0xffc0001fffffffff),
1634 UINT64_C(0xffc0003fffffffff),
1635 UINT64_C(0xffc0007fffffffff),
1636 UINT64_C(0xffc000ffffffffff),
1637 UINT64_C(0xffc001ffffffffff),
1638 UINT64_C(0xffc003ffffffffff),
1639 UINT64_C(0xffc007ffffffffff),
1640 UINT64_C(0xffc00fffffffffff),
1641 UINT64_C(0xffc01fffffffffff),
1642 UINT64_C(0xffc03fffffffffff),
1643 UINT64_C(0xffc07fffffffffff),
1644 UINT64_C(0xffc0ffffffffffff),
1645 UINT64_C(0xffc1ffffffffffff),
1646 UINT64_C(0xffc3ffffffffffff),
1647 UINT64_C(0xffc7ffffffffffff),
1648 UINT64_C(0xffcfffffffffffff),
1649 UINT64_C(0xffdfffffffffffff)
1650 },
1651 {
1652 UINT64_C(0xff80000000000000),
1653 UINT64_C(0xff80000000000001),
1654 UINT64_C(0xff80000000000003),
1655 UINT64_C(0xff80000000000007),
1656 UINT64_C(0xff8000000000000f),
1657 UINT64_C(0xff8000000000001f),
1658 UINT64_C(0xff8000000000003f),
1659 UINT64_C(0xff8000000000007f),
1660 UINT64_C(0xff800000000000ff),
1661 UINT64_C(0xff800000000001ff),
1662 UINT64_C(0xff800000000003ff),
1663 UINT64_C(0xff800000000007ff),
1664 UINT64_C(0xff80000000000fff),
1665 UINT64_C(0xff80000000001fff),
1666 UINT64_C(0xff80000000003fff),
1667 UINT64_C(0xff80000000007fff),
1668 UINT64_C(0xff8000000000ffff),
1669 UINT64_C(0xff8000000001ffff),
1670 UINT64_C(0xff8000000003ffff),
1671 UINT64_C(0xff8000000007ffff),
1672 UINT64_C(0xff800000000fffff),
1673 UINT64_C(0xff800000001fffff),
1674 UINT64_C(0xff800000003fffff),
1675 UINT64_C(0xff800000007fffff),
1676 UINT64_C(0xff80000000ffffff),
1677 UINT64_C(0xff80000001ffffff),
1678 UINT64_C(0xff80000003ffffff),
1679 UINT64_C(0xff80000007ffffff),
1680 UINT64_C(0xff8000000fffffff),
1681 UINT64_C(0xff8000001fffffff),
1682 UINT64_C(0xff8000003fffffff),
1683 UINT64_C(0xff8000007fffffff),
1684 UINT64_C(0xff800000ffffffff),
1685 UINT64_C(0xff800001ffffffff),
1686 UINT64_C(0xff800003ffffffff),
1687 UINT64_C(0xff800007ffffffff),
1688 UINT64_C(0xff80000fffffffff),
1689 UINT64_C(0xff80001fffffffff),
1690 UINT64_C(0xff80003fffffffff),
1691 UINT64_C(0xff80007fffffffff),
1692 UINT64_C(0xff8000ffffffffff),
1693 UINT64_C(0xff8001ffffffffff),
1694 UINT64_C(0xff8003ffffffffff),
1695 UINT64_C(0xff8007ffffffffff),
1696 UINT64_C(0xff800fffffffffff),
1697 UINT64_C(0xff801fffffffffff),
1698 UINT64_C(0xff803fffffffffff),
1699 UINT64_C(0xff807fffffffffff),
1700 UINT64_C(0xff80ffffffffffff),
1701 UINT64_C(0xff81ffffffffffff),
1702 UINT64_C(0xff83ffffffffffff),
1703 UINT64_C(0xff87ffffffffffff),
1704 UINT64_C(0xff8fffffffffffff),
1705 UINT64_C(0xff9fffffffffffff),
1706 UINT64_C(0xffbfffffffffffff)
1707 },
1708 {
1709 UINT64_C(0xff00000000000000),
1710 UINT64_C(0xff00000000000001),
1711 UINT64_C(0xff00000000000003),
1712 UINT64_C(0xff00000000000007),
1713 UINT64_C(0xff0000000000000f),
1714 UINT64_C(0xff0000000000001f),
1715 UINT64_C(0xff0000000000003f),
1716 UINT64_C(0xff0000000000007f),
1717 UINT64_C(0xff000000000000ff),
1718 UINT64_C(0xff000000000001ff),
1719 UINT64_C(0xff000000000003ff),
1720 UINT64_C(0xff000000000007ff),
1721 UINT64_C(0xff00000000000fff),
1722 UINT64_C(0xff00000000001fff),
1723 UINT64_C(0xff00000000003fff),
1724 UINT64_C(0xff00000000007fff),
1725 UINT64_C(0xff0000000000ffff),
1726 UINT64_C(0xff0000000001ffff),
1727 UINT64_C(0xff0000000003ffff),
1728 UINT64_C(0xff0000000007ffff),
1729 UINT64_C(0xff000000000fffff),
1730 UINT64_C(0xff000000001fffff),
1731 UINT64_C(0xff000000003fffff),
1732 UINT64_C(0xff000000007fffff),
1733 UINT64_C(0xff00000000ffffff),
1734 UINT64_C(0xff00000001ffffff),
1735 UINT64_C(0xff00000003ffffff),
1736 UINT64_C(0xff00000007ffffff),
1737 UINT64_C(0xff0000000fffffff),
1738 UINT64_C(0xff0000001fffffff),
1739 UINT64_C(0xff0000003fffffff),
1740 UINT64_C(0xff0000007fffffff),
1741 UINT64_C(0xff000000ffffffff),
1742 UINT64_C(0xff000001ffffffff),
1743 UINT64_C(0xff000003ffffffff),
1744 UINT64_C(0xff000007ffffffff),
1745 UINT64_C(0xff00000fffffffff),
1746 UINT64_C(0xff00001fffffffff),
1747 UINT64_C(0xff00003fffffffff),
1748 UINT64_C(0xff00007fffffffff),
1749 UINT64_C(0xff0000ffffffffff),
1750 UINT64_C(0xff0001ffffffffff),
1751 UINT64_C(0xff0003ffffffffff),
1752 UINT64_C(0xff0007ffffffffff),
1753 UINT64_C(0xff000fffffffffff),
1754 UINT64_C(0xff001fffffffffff),
1755 UINT64_C(0xff003fffffffffff),
1756 UINT64_C(0xff007fffffffffff),
1757 UINT64_C(0xff00ffffffffffff),
1758 UINT64_C(0xff01ffffffffffff),
1759 UINT64_C(0xff03ffffffffffff),
1760 UINT64_C(0xff07ffffffffffff),
1761 UINT64_C(0xff0fffffffffffff),
1762 UINT64_C(0xff1fffffffffffff),
1763 UINT64_C(0xff3fffffffffffff),
1764 UINT64_C(0xff7fffffffffffff)
1765 },
1766 {
1767 UINT64_C(0xfe00000000000000),
1768 UINT64_C(0xfe00000000000001),
1769 UINT64_C(0xfe00000000000003),
1770 UINT64_C(0xfe00000000000007),
1771 UINT64_C(0xfe0000000000000f),
1772 UINT64_C(0xfe0000000000001f),
1773 UINT64_C(0xfe0000000000003f),
1774 UINT64_C(0xfe0000000000007f),
1775 UINT64_C(0xfe000000000000ff),
1776 UINT64_C(0xfe000000000001ff),
1777 UINT64_C(0xfe000000000003ff),
1778 UINT64_C(0xfe000000000007ff),
1779 UINT64_C(0xfe00000000000fff),
1780 UINT64_C(0xfe00000000001fff),
1781 UINT64_C(0xfe00000000003fff),
1782 UINT64_C(0xfe00000000007fff),
1783 UINT64_C(0xfe0000000000ffff),
1784 UINT64_C(0xfe0000000001ffff),
1785 UINT64_C(0xfe0000000003ffff),
1786 UINT64_C(0xfe0000000007ffff),
1787 UINT64_C(0xfe000000000fffff),
1788 UINT64_C(0xfe000000001fffff),
1789 UINT64_C(0xfe000000003fffff),
1790 UINT64_C(0xfe000000007fffff),
1791 UINT64_C(0xfe00000000ffffff),
1792 UINT64_C(0xfe00000001ffffff),
1793 UINT64_C(0xfe00000003ffffff),
1794 UINT64_C(0xfe00000007ffffff),
1795 UINT64_C(0xfe0000000fffffff),
1796 UINT64_C(0xfe0000001fffffff),
1797 UINT64_C(0xfe0000003fffffff),
1798 UINT64_C(0xfe0000007fffffff),
1799 UINT64_C(0xfe000000ffffffff),
1800 UINT64_C(0xfe000001ffffffff),
1801 UINT64_C(0xfe000003ffffffff),
1802 UINT64_C(0xfe000007ffffffff),
1803 UINT64_C(0xfe00000fffffffff),
1804 UINT64_C(0xfe00001fffffffff),
1805 UINT64_C(0xfe00003fffffffff),
1806 UINT64_C(0xfe00007fffffffff),
1807 UINT64_C(0xfe0000ffffffffff),
1808 UINT64_C(0xfe0001ffffffffff),
1809 UINT64_C(0xfe0003ffffffffff),
1810 UINT64_C(0xfe0007ffffffffff),
1811 UINT64_C(0xfe000fffffffffff),
1812 UINT64_C(0xfe001fffffffffff),
1813 UINT64_C(0xfe003fffffffffff),
1814 UINT64_C(0xfe007fffffffffff),
1815 UINT64_C(0xfe00ffffffffffff),
1816 UINT64_C(0xfe01ffffffffffff),
1817 UINT64_C(0xfe03ffffffffffff),
1818 UINT64_C(0xfe07ffffffffffff),
1819 UINT64_C(0xfe0fffffffffffff),
1820 UINT64_C(0xfe1fffffffffffff),
1821 UINT64_C(0xfe3fffffffffffff),
1822 UINT64_C(0xfe7fffffffffffff),
1823 UINT64_C(0xfeffffffffffffff)
1824 },
1825 {
1826 UINT64_C(0xfc00000000000000),
1827 UINT64_C(0xfc00000000000001),
1828 UINT64_C(0xfc00000000000003),
1829 UINT64_C(0xfc00000000000007),
1830 UINT64_C(0xfc0000000000000f),
1831 UINT64_C(0xfc0000000000001f),
1832 UINT64_C(0xfc0000000000003f),
1833 UINT64_C(0xfc0000000000007f),
1834 UINT64_C(0xfc000000000000ff),
1835 UINT64_C(0xfc000000000001ff),
1836 UINT64_C(0xfc000000000003ff),
1837 UINT64_C(0xfc000000000007ff),
1838 UINT64_C(0xfc00000000000fff),
1839 UINT64_C(0xfc00000000001fff),
1840 UINT64_C(0xfc00000000003fff),
1841 UINT64_C(0xfc00000000007fff),
1842 UINT64_C(0xfc0000000000ffff),
1843 UINT64_C(0xfc0000000001ffff),
1844 UINT64_C(0xfc0000000003ffff),
1845 UINT64_C(0xfc0000000007ffff),
1846 UINT64_C(0xfc000000000fffff),
1847 UINT64_C(0xfc000000001fffff),
1848 UINT64_C(0xfc000000003fffff),
1849 UINT64_C(0xfc000000007fffff),
1850 UINT64_C(0xfc00000000ffffff),
1851 UINT64_C(0xfc00000001ffffff),
1852 UINT64_C(0xfc00000003ffffff),
1853 UINT64_C(0xfc00000007ffffff),
1854 UINT64_C(0xfc0000000fffffff),
1855 UINT64_C(0xfc0000001fffffff),
1856 UINT64_C(0xfc0000003fffffff),
1857 UINT64_C(0xfc0000007fffffff),
1858 UINT64_C(0xfc000000ffffffff),
1859 UINT64_C(0xfc000001ffffffff),
1860 UINT64_C(0xfc000003ffffffff),
1861 UINT64_C(0xfc000007ffffffff),
1862 UINT64_C(0xfc00000fffffffff),
1863 UINT64_C(0xfc00001fffffffff),
1864 UINT64_C(0xfc00003fffffffff),
1865 UINT64_C(0xfc00007fffffffff),
1866 UINT64_C(0xfc0000ffffffffff),
1867 UINT64_C(0xfc0001ffffffffff),
1868 UINT64_C(0xfc0003ffffffffff),
1869 UINT64_C(0xfc0007ffffffffff),
1870 UINT64_C(0xfc000fffffffffff),
1871 UINT64_C(0xfc001fffffffffff),
1872 UINT64_C(0xfc003fffffffffff),
1873 UINT64_C(0xfc007fffffffffff),
1874 UINT64_C(0xfc00ffffffffffff),
1875 UINT64_C(0xfc01ffffffffffff),
1876 UINT64_C(0xfc03ffffffffffff),
1877 UINT64_C(0xfc07ffffffffffff),
1878 UINT64_C(0xfc0fffffffffffff),
1879 UINT64_C(0xfc1fffffffffffff),
1880 UINT64_C(0xfc3fffffffffffff),
1881 UINT64_C(0xfc7fffffffffffff),
1882 UINT64_C(0xfcffffffffffffff),
1883 UINT64_C(0xfdffffffffffffff)
1884 },
1885 {
1886 UINT64_C(0xf800000000000000),
1887 UINT64_C(0xf800000000000001),
1888 UINT64_C(0xf800000000000003),
1889 UINT64_C(0xf800000000000007),
1890 UINT64_C(0xf80000000000000f),
1891 UINT64_C(0xf80000000000001f),
1892 UINT64_C(0xf80000000000003f),
1893 UINT64_C(0xf80000000000007f),
1894 UINT64_C(0xf8000000000000ff),
1895 UINT64_C(0xf8000000000001ff),
1896 UINT64_C(0xf8000000000003ff),
1897 UINT64_C(0xf8000000000007ff),
1898 UINT64_C(0xf800000000000fff),
1899 UINT64_C(0xf800000000001fff),
1900 UINT64_C(0xf800000000003fff),
1901 UINT64_C(0xf800000000007fff),
1902 UINT64_C(0xf80000000000ffff),
1903 UINT64_C(0xf80000000001ffff),
1904 UINT64_C(0xf80000000003ffff),
1905 UINT64_C(0xf80000000007ffff),
1906 UINT64_C(0xf8000000000fffff),
1907 UINT64_C(0xf8000000001fffff),
1908 UINT64_C(0xf8000000003fffff),
1909 UINT64_C(0xf8000000007fffff),
1910 UINT64_C(0xf800000000ffffff),
1911 UINT64_C(0xf800000001ffffff),
1912 UINT64_C(0xf800000003ffffff),
1913 UINT64_C(0xf800000007ffffff),
1914 UINT64_C(0xf80000000fffffff),
1915 UINT64_C(0xf80000001fffffff),
1916 UINT64_C(0xf80000003fffffff),
1917 UINT64_C(0xf80000007fffffff),
1918 UINT64_C(0xf8000000ffffffff),
1919 UINT64_C(0xf8000001ffffffff),
1920 UINT64_C(0xf8000003ffffffff),
1921 UINT64_C(0xf8000007ffffffff),
1922 UINT64_C(0xf800000fffffffff),
1923 UINT64_C(0xf800001fffffffff),
1924 UINT64_C(0xf800003fffffffff),
1925 UINT64_C(0xf800007fffffffff),
1926 UINT64_C(0xf80000ffffffffff),
1927 UINT64_C(0xf80001ffffffffff),
1928 UINT64_C(0xf80003ffffffffff),
1929 UINT64_C(0xf80007ffffffffff),
1930 UINT64_C(0xf8000fffffffffff),
1931 UINT64_C(0xf8001fffffffffff),
1932 UINT64_C(0xf8003fffffffffff),
1933 UINT64_C(0xf8007fffffffffff),
1934 UINT64_C(0xf800ffffffffffff),
1935 UINT64_C(0xf801ffffffffffff),
1936 UINT64_C(0xf803ffffffffffff),
1937 UINT64_C(0xf807ffffffffffff),
1938 UINT64_C(0xf80fffffffffffff),
1939 UINT64_C(0xf81fffffffffffff),
1940 UINT64_C(0xf83fffffffffffff),
1941 UINT64_C(0xf87fffffffffffff),
1942 UINT64_C(0xf8ffffffffffffff),
1943 UINT64_C(0xf9ffffffffffffff),
1944 UINT64_C(0xfbffffffffffffff)
1945 },
1946 {
1947 UINT64_C(0xf000000000000000),
1948 UINT64_C(0xf000000000000001),
1949 UINT64_C(0xf000000000000003),
1950 UINT64_C(0xf000000000000007),
1951 UINT64_C(0xf00000000000000f),
1952 UINT64_C(0xf00000000000001f),
1953 UINT64_C(0xf00000000000003f),
1954 UINT64_C(0xf00000000000007f),
1955 UINT64_C(0xf0000000000000ff),
1956 UINT64_C(0xf0000000000001ff),
1957 UINT64_C(0xf0000000000003ff),
1958 UINT64_C(0xf0000000000007ff),
1959 UINT64_C(0xf000000000000fff),
1960 UINT64_C(0xf000000000001fff),
1961 UINT64_C(0xf000000000003fff),
1962 UINT64_C(0xf000000000007fff),
1963 UINT64_C(0xf00000000000ffff),
1964 UINT64_C(0xf00000000001ffff),
1965 UINT64_C(0xf00000000003ffff),
1966 UINT64_C(0xf00000000007ffff),
1967 UINT64_C(0xf0000000000fffff),
1968 UINT64_C(0xf0000000001fffff),
1969 UINT64_C(0xf0000000003fffff),
1970 UINT64_C(0xf0000000007fffff),
1971 UINT64_C(0xf000000000ffffff),
1972 UINT64_C(0xf000000001ffffff),
1973 UINT64_C(0xf000000003ffffff),
1974 UINT64_C(0xf000000007ffffff),
1975 UINT64_C(0xf00000000fffffff),
1976 UINT64_C(0xf00000001fffffff),
1977 UINT64_C(0xf00000003fffffff),
1978 UINT64_C(0xf00000007fffffff),
1979 UINT64_C(0xf0000000ffffffff),
1980 UINT64_C(0xf0000001ffffffff),
1981 UINT64_C(0xf0000003ffffffff),
1982 UINT64_C(0xf0000007ffffffff),
1983 UINT64_C(0xf000000fffffffff),
1984 UINT64_C(0xf000001fffffffff),
1985 UINT64_C(0xf000003fffffffff),
1986 UINT64_C(0xf000007fffffffff),
1987 UINT64_C(0xf00000ffffffffff),
1988 UINT64_C(0xf00001ffffffffff),
1989 UINT64_C(0xf00003ffffffffff),
1990 UINT64_C(0xf00007ffffffffff),
1991 UINT64_C(0xf0000fffffffffff),
1992 UINT64_C(0xf0001fffffffffff),
1993 UINT64_C(0xf0003fffffffffff),
1994 UINT64_C(0xf0007fffffffffff),
1995 UINT64_C(0xf000ffffffffffff),
1996 UINT64_C(0xf001ffffffffffff),
1997 UINT64_C(0xf003ffffffffffff),
1998 UINT64_C(0xf007ffffffffffff),
1999 UINT64_C(0xf00fffffffffffff),
2000 UINT64_C(0xf01fffffffffffff),
2001 UINT64_C(0xf03fffffffffffff),
2002 UINT64_C(0xf07fffffffffffff),
2003 UINT64_C(0xf0ffffffffffffff),
2004 UINT64_C(0xf1ffffffffffffff),
2005 UINT64_C(0xf3ffffffffffffff),
2006 UINT64_C(0xf7ffffffffffffff)
2007 },
2008 {
2009 UINT64_C(0xe000000000000000),
2010 UINT64_C(0xe000000000000001),
2011 UINT64_C(0xe000000000000003),
2012 UINT64_C(0xe000000000000007),
2013 UINT64_C(0xe00000000000000f),
2014 UINT64_C(0xe00000000000001f),
2015 UINT64_C(0xe00000000000003f),
2016 UINT64_C(0xe00000000000007f),
2017 UINT64_C(0xe0000000000000ff),
2018 UINT64_C(0xe0000000000001ff),
2019 UINT64_C(0xe0000000000003ff),
2020 UINT64_C(0xe0000000000007ff),
2021 UINT64_C(0xe000000000000fff),
2022 UINT64_C(0xe000000000001fff),
2023 UINT64_C(0xe000000000003fff),
2024 UINT64_C(0xe000000000007fff),
2025 UINT64_C(0xe00000000000ffff),
2026 UINT64_C(0xe00000000001ffff),
2027 UINT64_C(0xe00000000003ffff),
2028 UINT64_C(0xe00000000007ffff),
2029 UINT64_C(0xe0000000000fffff),
2030 UINT64_C(0xe0000000001fffff),
2031 UINT64_C(0xe0000000003fffff),
2032 UINT64_C(0xe0000000007fffff),
2033 UINT64_C(0xe000000000ffffff),
2034 UINT64_C(0xe000000001ffffff),
2035 UINT64_C(0xe000000003ffffff),
2036 UINT64_C(0xe000000007ffffff),
2037 UINT64_C(0xe00000000fffffff),
2038 UINT64_C(0xe00000001fffffff),
2039 UINT64_C(0xe00000003fffffff),
2040 UINT64_C(0xe00000007fffffff),
2041 UINT64_C(0xe0000000ffffffff),
2042 UINT64_C(0xe0000001ffffffff),
2043 UINT64_C(0xe0000003ffffffff),
2044 UINT64_C(0xe0000007ffffffff),
2045 UINT64_C(0xe000000fffffffff),
2046 UINT64_C(0xe000001fffffffff),
2047 UINT64_C(0xe000003fffffffff),
2048 UINT64_C(0xe000007fffffffff),
2049 UINT64_C(0xe00000ffffffffff),
2050 UINT64_C(0xe00001ffffffffff),
2051 UINT64_C(0xe00003ffffffffff),
2052 UINT64_C(0xe00007ffffffffff),
2053 UINT64_C(0xe0000fffffffffff),
2054 UINT64_C(0xe0001fffffffffff),
2055 UINT64_C(0xe0003fffffffffff),
2056 UINT64_C(0xe0007fffffffffff),
2057 UINT64_C(0xe000ffffffffffff),
2058 UINT64_C(0xe001ffffffffffff),
2059 UINT64_C(0xe003ffffffffffff),
2060 UINT64_C(0xe007ffffffffffff),
2061 UINT64_C(0xe00fffffffffffff),
2062 UINT64_C(0xe01fffffffffffff),
2063 UINT64_C(0xe03fffffffffffff),
2064 UINT64_C(0xe07fffffffffffff),
2065 UINT64_C(0xe0ffffffffffffff),
2066 UINT64_C(0xe1ffffffffffffff),
2067 UINT64_C(0xe3ffffffffffffff),
2068 UINT64_C(0xe7ffffffffffffff),
2069 UINT64_C(0xefffffffffffffff)
2070 },
2071 {
2072 UINT64_C(0xc000000000000000),
2073 UINT64_C(0xc000000000000001),
2074 UINT64_C(0xc000000000000003),
2075 UINT64_C(0xc000000000000007),
2076 UINT64_C(0xc00000000000000f),
2077 UINT64_C(0xc00000000000001f),
2078 UINT64_C(0xc00000000000003f),
2079 UINT64_C(0xc00000000000007f),
2080 UINT64_C(0xc0000000000000ff),
2081 UINT64_C(0xc0000000000001ff),
2082 UINT64_C(0xc0000000000003ff),
2083 UINT64_C(0xc0000000000007ff),
2084 UINT64_C(0xc000000000000fff),
2085 UINT64_C(0xc000000000001fff),
2086 UINT64_C(0xc000000000003fff),
2087 UINT64_C(0xc000000000007fff),
2088 UINT64_C(0xc00000000000ffff),
2089 UINT64_C(0xc00000000001ffff),
2090 UINT64_C(0xc00000000003ffff),
2091 UINT64_C(0xc00000000007ffff),
2092 UINT64_C(0xc0000000000fffff),
2093 UINT64_C(0xc0000000001fffff),
2094 UINT64_C(0xc0000000003fffff),
2095 UINT64_C(0xc0000000007fffff),
2096 UINT64_C(0xc000000000ffffff),
2097 UINT64_C(0xc000000001ffffff),
2098 UINT64_C(0xc000000003ffffff),
2099 UINT64_C(0xc000000007ffffff),
2100 UINT64_C(0xc00000000fffffff),
2101 UINT64_C(0xc00000001fffffff),
2102 UINT64_C(0xc00000003fffffff),
2103 UINT64_C(0xc00000007fffffff),
2104 UINT64_C(0xc0000000ffffffff),
2105 UINT64_C(0xc0000001ffffffff),
2106 UINT64_C(0xc0000003ffffffff),
2107 UINT64_C(0xc0000007ffffffff),
2108 UINT64_C(0xc000000fffffffff),
2109 UINT64_C(0xc000001fffffffff),
2110 UINT64_C(0xc000003fffffffff),
2111 UINT64_C(0xc000007fffffffff),
2112 UINT64_C(0xc00000ffffffffff),
2113 UINT64_C(0xc00001ffffffffff),
2114 UINT64_C(0xc00003ffffffffff),
2115 UINT64_C(0xc00007ffffffffff),
2116 UINT64_C(0xc0000fffffffffff),
2117 UINT64_C(0xc0001fffffffffff),
2118 UINT64_C(0xc0003fffffffffff),
2119 UINT64_C(0xc0007fffffffffff),
2120 UINT64_C(0xc000ffffffffffff),
2121 UINT64_C(0xc001ffffffffffff),
2122 UINT64_C(0xc003ffffffffffff),
2123 UINT64_C(0xc007ffffffffffff),
2124 UINT64_C(0xc00fffffffffffff),
2125 UINT64_C(0xc01fffffffffffff),
2126 UINT64_C(0xc03fffffffffffff),
2127 UINT64_C(0xc07fffffffffffff),
2128 UINT64_C(0xc0ffffffffffffff),
2129 UINT64_C(0xc1ffffffffffffff),
2130 UINT64_C(0xc3ffffffffffffff),
2131 UINT64_C(0xc7ffffffffffffff),
2132 UINT64_C(0xcfffffffffffffff),
2133 UINT64_C(0xdfffffffffffffff)
2134 },
2135 {
2136 UINT64_C(0x8000000000000000),
2137 UINT64_C(0x8000000000000001),
2138 UINT64_C(0x8000000000000003),
2139 UINT64_C(0x8000000000000007),
2140 UINT64_C(0x800000000000000f),
2141 UINT64_C(0x800000000000001f),
2142 UINT64_C(0x800000000000003f),
2143 UINT64_C(0x800000000000007f),
2144 UINT64_C(0x80000000000000ff),
2145 UINT64_C(0x80000000000001ff),
2146 UINT64_C(0x80000000000003ff),
2147 UINT64_C(0x80000000000007ff),
2148 UINT64_C(0x8000000000000fff),
2149 UINT64_C(0x8000000000001fff),
2150 UINT64_C(0x8000000000003fff),
2151 UINT64_C(0x8000000000007fff),
2152 UINT64_C(0x800000000000ffff),
2153 UINT64_C(0x800000000001ffff),
2154 UINT64_C(0x800000000003ffff),
2155 UINT64_C(0x800000000007ffff),
2156 UINT64_C(0x80000000000fffff),
2157 UINT64_C(0x80000000001fffff),
2158 UINT64_C(0x80000000003fffff),
2159 UINT64_C(0x80000000007fffff),
2160 UINT64_C(0x8000000000ffffff),
2161 UINT64_C(0x8000000001ffffff),
2162 UINT64_C(0x8000000003ffffff),
2163 UINT64_C(0x8000000007ffffff),
2164 UINT64_C(0x800000000fffffff),
2165 UINT64_C(0x800000001fffffff),
2166 UINT64_C(0x800000003fffffff),
2167 UINT64_C(0x800000007fffffff),
2168 UINT64_C(0x80000000ffffffff),
2169 UINT64_C(0x80000001ffffffff),
2170 UINT64_C(0x80000003ffffffff),
2171 UINT64_C(0x80000007ffffffff),
2172 UINT64_C(0x8000000fffffffff),
2173 UINT64_C(0x8000001fffffffff),
2174 UINT64_C(0x8000003fffffffff),
2175 UINT64_C(0x8000007fffffffff),
2176 UINT64_C(0x800000ffffffffff),
2177 UINT64_C(0x800001ffffffffff),
2178 UINT64_C(0x800003ffffffffff),
2179 UINT64_C(0x800007ffffffffff),
2180 UINT64_C(0x80000fffffffffff),
2181 UINT64_C(0x80001fffffffffff),
2182 UINT64_C(0x80003fffffffffff),
2183 UINT64_C(0x80007fffffffffff),
2184 UINT64_C(0x8000ffffffffffff),
2185 UINT64_C(0x8001ffffffffffff),
2186 UINT64_C(0x8003ffffffffffff),
2187 UINT64_C(0x8007ffffffffffff),
2188 UINT64_C(0x800fffffffffffff),
2189 UINT64_C(0x801fffffffffffff),
2190 UINT64_C(0x803fffffffffffff),
2191 UINT64_C(0x807fffffffffffff),
2192 UINT64_C(0x80ffffffffffffff),
2193 UINT64_C(0x81ffffffffffffff),
2194 UINT64_C(0x83ffffffffffffff),
2195 UINT64_C(0x87ffffffffffffff),
2196 UINT64_C(0x8fffffffffffffff),
2197 UINT64_C(0x9fffffffffffffff),
2198 UINT64_C(0xbfffffffffffffff)
2199 },
2200 {
2201 UINT64_C(0x0),
2202 UINT64_C(0x1),
2203 UINT64_C(0x3),
2204 UINT64_C(0x7),
2205 UINT64_C(0xf),
2206 UINT64_C(0x1f),
2207 UINT64_C(0x3f),
2208 UINT64_C(0x7f),
2209 UINT64_C(0xff),
2210 UINT64_C(0x1ff),
2211 UINT64_C(0x3ff),
2212 UINT64_C(0x7ff),
2213 UINT64_C(0xfff),
2214 UINT64_C(0x1fff),
2215 UINT64_C(0x3fff),
2216 UINT64_C(0x7fff),
2217 UINT64_C(0xffff),
2218 UINT64_C(0x1ffff),
2219 UINT64_C(0x3ffff),
2220 UINT64_C(0x7ffff),
2221 UINT64_C(0xfffff),
2222 UINT64_C(0x1fffff),
2223 UINT64_C(0x3fffff),
2224 UINT64_C(0x7fffff),
2225 UINT64_C(0xffffff),
2226 UINT64_C(0x1ffffff),
2227 UINT64_C(0x3ffffff),
2228 UINT64_C(0x7ffffff),
2229 UINT64_C(0xfffffff),
2230 UINT64_C(0x1fffffff),
2231 UINT64_C(0x3fffffff),
2232 UINT64_C(0x7fffffff),
2233 UINT64_C(0xffffffff),
2234 UINT64_C(0x1ffffffff),
2235 UINT64_C(0x3ffffffff),
2236 UINT64_C(0x7ffffffff),
2237 UINT64_C(0xfffffffff),
2238 UINT64_C(0x1fffffffff),
2239 UINT64_C(0x3fffffffff),
2240 UINT64_C(0x7fffffffff),
2241 UINT64_C(0xffffffffff),
2242 UINT64_C(0x1ffffffffff),
2243 UINT64_C(0x3ffffffffff),
2244 UINT64_C(0x7ffffffffff),
2245 UINT64_C(0xfffffffffff),
2246 UINT64_C(0x1fffffffffff),
2247 UINT64_C(0x3fffffffffff),
2248 UINT64_C(0x7fffffffffff),
2249 UINT64_C(0xffffffffffff),
2250 UINT64_C(0x1ffffffffffff),
2251 UINT64_C(0x3ffffffffffff),
2252 UINT64_C(0x7ffffffffffff),
2253 UINT64_C(0xfffffffffffff),
2254 UINT64_C(0x1fffffffffffff),
2255 UINT64_C(0x3fffffffffffff),
2256 UINT64_C(0x7fffffffffffff),
2257 UINT64_C(0xffffffffffffff),
2258 UINT64_C(0x1ffffffffffffff),
2259 UINT64_C(0x3ffffffffffffff),
2260 UINT64_C(0x7ffffffffffffff),
2261 UINT64_C(0xfffffffffffffff),
2262 UINT64_C(0x1fffffffffffffff),
2263 UINT64_C(0x3fffffffffffffff),
2264 UINT64_C(0x7fffffffffffffff)
2265 }
2266};
2267
2268} // namespace sc_dt
sc_dt
Definition sc_bit.cc:68
sc_dt::mask_int
const uint_type mask_int[SC_INTWIDTH][SC_INTWIDTH]
Definition sc_int_mask.cc:57
sc_dt::uint_type
uint64 uint_type
Definition sc_nbdefs.hh:207
sc_int_base.hh
UINT64_C
#define UINT64_C(v)
Definition sc_int_mask.cc:52
SC_INTWIDTH
#define SC_INTWIDTH
Definition sc_nbdefs.hh:208
sc_uint_base.hh
Generated on Tue Jun 18 2024 16:24:06 for gem5 by doxygen 1.11.0