gem5  v20.1.0.0
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 
55 namespace sc_dt {
56 
57 const 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:67
sc_dt::uint_type
uint64 uint_type
Definition: sc_nbdefs.hh:241
sc_int_base.hh
sc_uint_base.hh
UINT64_C
#define UINT64_C(v)
Definition: sc_int_mask.cc:52
sc_dt::mask_int
const uint_type mask_int[SC_INTWIDTH][SC_INTWIDTH]
Definition: sc_int_mask.cc:57
SC_INTWIDTH
#define SC_INTWIDTH
Definition: sc_nbdefs.hh:242
Generated on Wed Sep 30 2020 14:02:14 for gem5 by doxygen 1.8.17