/*============================================================================ This C source file is part of TestFloat, Release 3a, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. Copyright 2011, 2012, 2013, 2014 The Regents of the University of California. All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: 1. Redistributions of source code must retain the above copyright notice, this list of conditions, and the following disclaimer. 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions, and the following disclaimer in the documentation and/or other materials provided with the distribution. 3. Neither the name of the University nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS "AS IS", AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE, ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. =============================================================================*/ #include #include #include "platform.h" #include "uint128.h" #include "random.h" #include "softfloat.h" #include "genCases.h" #ifdef FLOAT128 struct sequence { int expNum, term1Num, term2Num; bool done; }; enum { f128NumQIn = 22, f128NumQOut = 78, f128NumP1 = 4, f128NumP2 = 443 }; static const uint64_t f128QIn[f128NumQIn] = { UINT64_C( 0x0000000000000000 ), /* positive, subnormal */ UINT64_C( 0x0001000000000000 ), /* positive, -16382 */ UINT64_C( 0x3F8E000000000000 ), /* positive, -113 */ UINT64_C( 0x3FFD000000000000 ), /* positive, -2 */ UINT64_C( 0x3FFE000000000000 ), /* positive, -1 */ UINT64_C( 0x3FFF000000000000 ), /* positive, 0 */ UINT64_C( 0x4000000000000000 ), /* positive, 1 */ UINT64_C( 0x4001000000000000 ), /* positive, 2 */ UINT64_C( 0x4070000000000000 ), /* positive, 113 */ UINT64_C( 0x7FFE000000000000 ), /* positive, 16383 */ UINT64_C( 0x7FFF000000000000 ), /* positive, infinity or NaN */ UINT64_C( 0x8000000000000000 ), /* negative, subnormal */ UINT64_C( 0x8001000000000000 ), /* negative, -16382 */ UINT64_C( 0xBF8E000000000000 ), /* negative, -113 */ UINT64_C( 0xBFFD000000000000 ), /* negative, -2 */ UINT64_C( 0xBFFE000000000000 ), /* negative, -1 */ UINT64_C( 0xBFFF000000000000 ), /* negative, 0 */ UINT64_C( 0xC000000000000000 ), /* negative, 1 */ UINT64_C( 0xC001000000000000 ), /* negative, 2 */ UINT64_C( 0xC070000000000000 ), /* negative, 113 */ UINT64_C( 0xFFFE000000000000 ), /* negative, 16383 */ UINT64_C( 0xFFFF000000000000 ) /* negative, infinity or NaN */ }; static const uint64_t f128QOut[f128NumQOut] = { UINT64_C( 0x0000000000000000 ), /* positive, subnormal */ UINT64_C( 0x0001000000000000 ), /* positive, -16382 */ UINT64_C( 0x0002000000000000 ), /* positive, -16381 */ UINT64_C( 0x3BFE000000000000 ), /* positive, -1025 */ UINT64_C( 0x3BFF000000000000 ), /* positive, -1024 */ UINT64_C( 0x3C00000000000000 ), /* positive, -1023 */ UINT64_C( 0x3C01000000000000 ), /* positive, -1022 */ UINT64_C( 0x3F7E000000000000 ), /* positive, -129 */ UINT64_C( 0x3F7F000000000000 ), /* positive, -128 */ UINT64_C( 0x3F80000000000000 ), /* positive, -127 */ UINT64_C( 0x3F81000000000000 ), /* positive, -126 */ UINT64_C( 0x3F8E000000000000 ), /* positive, -113 */ UINT64_C( 0x3FFB000000000000 ), /* positive, -4 */ UINT64_C( 0x3FFC000000000000 ), /* positive, -3 */ UINT64_C( 0x3FFD000000000000 ), /* positive, -2 */ UINT64_C( 0x3FFE000000000000 ), /* positive, -1 */ UINT64_C( 0x3FFF000000000000 ), /* positive, 0 */ UINT64_C( 0x4000000000000000 ), /* positive, 1 */ UINT64_C( 0x4001000000000000 ), /* positive, 2 */ UINT64_C( 0x4002000000000000 ), /* positive, 3 */ UINT64_C( 0x4003000000000000 ), /* positive, 4 */ UINT64_C( 0x401C000000000000 ), /* positive, 29 */ UINT64_C( 0x401D000000000000 ), /* positive, 30 */ UINT64_C( 0x401E000000000000 ), /* positive, 31 */ UINT64_C( 0x401F000000000000 ), /* positive, 32 */ UINT64_C( 0x403C000000000000 ), /* positive, 61 */ UINT64_C( 0x403D000000000000 ), /* positive, 62 */ UINT64_C( 0x403E000000000000 ), /* positive, 63 */ UINT64_C( 0x403F000000000000 ), /* positive, 64 */ UINT64_C( 0x4070000000000000 ), /* positive, 113 */ UINT64_C( 0x407E000000000000 ), /* positive, 127 */ UINT64_C( 0x407F000000000000 ), /* positive, 128 */ UINT64_C( 0x4080000000000000 ), /* positive, 129 */ UINT64_C( 0x43FE000000000000 ), /* positive, 1023 */ UINT64_C( 0x43FF000000000000 ), /* positive, 1024 */ UINT64_C( 0x4400000000000000 ), /* positive, 1025 */ UINT64_C( 0x7FFD000000000000 ), /* positive, 16382 */ UINT64_C( 0x7FFE000000000000 ), /* positive, 16383 */ UINT64_C( 0x7FFF000000000000 ), /* positive, infinity or NaN */ UINT64_C( 0x8000000000000000 ), /* negative, subnormal */ UINT64_C( 0x8001000000000000 ), /* negative, -16382 */ UINT64_C( 0x8002000000000000 ), /* negative, -16381 */ UINT64_C( 0xBBFE000000000000 ), /* negative, -1025 */ UINT64_C( 0xBBFF000000000000 ), /* negative, -1024 */ UINT64_C( 0xBC00000000000000 ), /* negative, -1023 */ UINT64_C( 0xBC01000000000000 ), /* negative, -1022 */ UINT64_C( 0xBF7E000000000000 ), /* negative, -129 */ UINT64_C( 0xBF7F000000000000 ), /* negative, -128 */ UINT64_C( 0xBF80000000000000 ), /* negative, -127 */ UINT64_C( 0xBF81000000000000 ), /* negative, -126 */ UINT64_C( 0xBF8E000000000000 ), /* negative, -113 */ UINT64_C( 0xBFFB000000000000 ), /* negative, -4 */ UINT64_C( 0xBFFC000000000000 ), /* negative, -3 */ UINT64_C( 0xBFFD000000000000 ), /* negative, -2 */ UINT64_C( 0xBFFE000000000000 ), /* negative, -1 */ UINT64_C( 0xBFFF000000000000 ), /* negative, 0 */ UINT64_C( 0xC000000000000000 ), /* negative, 1 */ UINT64_C( 0xC001000000000000 ), /* negative, 2 */ UINT64_C( 0xC002000000000000 ), /* negative, 3 */ UINT64_C( 0xC003000000000000 ), /* negative, 4 */ UINT64_C( 0xC01C000000000000 ), /* negative, 29 */ UINT64_C( 0xC01D000000000000 ), /* negative, 30 */ UINT64_C( 0xC01E000000000000 ), /* negative, 31 */ UINT64_C( 0xC01F000000000000 ), /* negative, 32 */ UINT64_C( 0xC03C000000000000 ), /* negative, 61 */ UINT64_C( 0xC03D000000000000 ), /* negative, 62 */ UINT64_C( 0xC03E000000000000 ), /* negative, 63 */ UINT64_C( 0xC03F000000000000 ), /* negative, 64 */ UINT64_C( 0xC070000000000000 ), /* negative, 113 */ UINT64_C( 0xC07E000000000000 ), /* negative, 127 */ UINT64_C( 0xC07F000000000000 ), /* negative, 128 */ UINT64_C( 0xC080000000000000 ), /* negative, 129 */ UINT64_C( 0xC3FE000000000000 ), /* negative, 1023 */ UINT64_C( 0xC3FF000000000000 ), /* negative, 1024 */ UINT64_C( 0xC400000000000000 ), /* negative, 1025 */ UINT64_C( 0xFFFD000000000000 ), /* negative, 16382 */ UINT64_C( 0xFFFE000000000000 ), /* negative, 16383 */ UINT64_C( 0xFFFF000000000000 ) /* negative, infinity or NaN */ }; static const struct { uint64_t v64, v0; } f128P1[f128NumP1] = { { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000001 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFE ) } }; static const struct { uint64_t v64, v0; } f128P2[f128NumP2] = { { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000001 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000002 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000004 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000008 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000010 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000020 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000040 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000080 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000100 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000200 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000400 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000800 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000001000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000002000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000004000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000008000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000010000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000020000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000040000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000080000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000100000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000200000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000400000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000800000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000001000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000002000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000004000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000008000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000010000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000020000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000040000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000080000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000100000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000200000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000400000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000800000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000001000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000002000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000004000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000008000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000010000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000020000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000040000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000080000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000100000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000200000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000400000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000800000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0001000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0002000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0004000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0008000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0010000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0020000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0040000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0080000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0100000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0200000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0400000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0800000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x1000000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x2000000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x4000000000000000 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x8000000000000000 ) }, { UINT64_C( 0x0000000000000001 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000000002 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000000004 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000000008 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000000010 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000000020 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000000040 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000000080 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000000100 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000000200 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000000400 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000000800 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000001000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000002000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000004000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000008000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000010000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000020000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000040000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000080000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000100000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000200000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000400000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000000800000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000001000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000002000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000004000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000008000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000010000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000020000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000040000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000080000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000100000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000200000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000400000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000000800000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000001000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000002000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000004000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000008000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000010000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000020000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000040000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000080000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000100000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000200000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000400000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000800000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000C00000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000E00000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000F00000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000F80000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FC0000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FE0000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FF0000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FF8000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFC000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFE000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFF000000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFF800000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFC00000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFE00000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFF00000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFF80000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFC0000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFE0000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFF0000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFF8000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFC000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFE000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFF000000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFF800000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFC00000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFE00000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFF00000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFF80000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFC0000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFE0000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFF0000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFF8000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFC000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFE000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFF000 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFF800 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFC00 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFE00 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFF00 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFF80 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFC0 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFE0 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFF0 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFF8 ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFC ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFE ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0x0000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0x8000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xC000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xE000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xF000000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xF800000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFC00000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFE00000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFF00000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFF80000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFC0000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFE0000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFF0000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFF8000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFC000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFE000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFF000000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFF800000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFC00000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFE00000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFF00000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFF80000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFC0000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFE0000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFF0000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFF8000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFC000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFE000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFF000000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFF800000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFC00000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFE00000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFF00000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFF80000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFC0000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFE0000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFF0000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFF8000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFC000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFE000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFF000000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFF800000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFC00000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFE00000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFF00000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFF80000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFC0000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFE0000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFF0000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFF8000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFC000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFE000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFF000 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFF800 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFC00 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFE00 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFF00 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFF80 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFC0 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFE0 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFF0 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFF8 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFC ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFE ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFD ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFB ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFF7 ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFEF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFDF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFBF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFF7F ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFEFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFDFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFBFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFF7FF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFEFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFDFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFBFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFF7FFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFEFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFDFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFBFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFF7FFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFEFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFDFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFBFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFF7FFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFEFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFDFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFBFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFF7FFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFEFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFDFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFBFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFF7FFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFEFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFDFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFBFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFF7FFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFEFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFDFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFFBFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFF7FFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFEFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFDFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFFBFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFF7FFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFEFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFDFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFFBFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFF7FFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFEFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFDFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFFBFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFF7FFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFEFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFDFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFFBFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFF7FFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFEFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFDFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xFBFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xF7FFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xEFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xDFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0xBFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFF ), UINT64_C( 0x7FFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFD ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFFB ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFF7 ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFEF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFDF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFFBF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFF7F ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFEFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFDFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFFBFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFF7FF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFEFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFDFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFFBFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFF7FFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFEFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFDFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFFBFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFF7FFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFEFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFDFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFFBFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFF7FFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFEFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFDFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFFBFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFF7FFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFEFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFDFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFFBFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFF7FFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFEFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFDFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFFBFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFF7FFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFEFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFDFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FFBFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FF7FFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FEFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FDFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000FBFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000F7FFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000EFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000DFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000BFFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00007FFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00003FFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00001FFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00000FFFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000007FFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000003FFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000001FFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000000FFFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000007FFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000003FFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000001FFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000FFFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00000007FFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00000003FFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00000001FFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00000000FFFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000000007FFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000000003FFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000000001FFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000000000FFFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000007FFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000003FFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000001FFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000FFFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00000000007FFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00000000003FFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00000000001FFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00000000000FFFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000000000007FFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000000000003FFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000000000001FFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000000000000FFFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000007FFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000003FFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000001FFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000FFF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00000000000007FF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00000000000003FF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00000000000001FF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x00000000000000FF ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000000000000007F ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000000000000003F ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000000000000001F ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x000000000000000F ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000007 ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000003 ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000001 ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0xFFFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x7FFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x3FFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x1FFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0FFFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x07FFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x03FFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x01FFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00FFFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x007FFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x003FFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x001FFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000FFFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0007FFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0003FFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0001FFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000FFFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00007FFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00003FFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00001FFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00000FFFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000007FFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000003FFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000001FFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000000FFFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000007FFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000003FFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000001FFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000FFFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00000007FFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00000003FFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00000001FFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00000000FFFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000000007FFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000000003FFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000000001FFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000000000FFFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000007FFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000003FFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000001FFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000FFFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00000000007FFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00000000003FFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00000000001FFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00000000000FFFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000000000007FFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000000000003FFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000000000001FFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000000000000FFFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000007FFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000003FFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000001FFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000FFF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00000000000007FF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00000000000003FF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00000000000001FF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x00000000000000FF ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000000000000007F ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000000000000003F ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000000000000001F ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x000000000000000F ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000007 ) }, { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000003 ) } }; static const uint_fast64_t f128NumQInP1 = f128NumQIn * f128NumP1; static const uint_fast64_t f128NumQOutP1 = f128NumQOut * f128NumP1; static void f128NextQInP1( struct sequence *sequencePtr, float128_t *zPtr ) { struct uint128 *uiZPtr; int expNum, sigNum; uiZPtr = (struct uint128 *) zPtr; expNum = sequencePtr->expNum; sigNum = sequencePtr->term1Num; uiZPtr->v64 = f128QIn[expNum] | f128P1[sigNum].v64; uiZPtr->v0 = f128P1[sigNum].v0; ++sigNum; if ( f128NumP1 <= sigNum ) { sigNum = 0; ++expNum; if ( f128NumQIn <= expNum ) { expNum = 0; sequencePtr->done = true; } sequencePtr->expNum = expNum; } sequencePtr->term1Num = sigNum; } static void f128NextQOutP1( struct sequence *sequencePtr, float128_t *zPtr ) { struct uint128 *uiZPtr; int expNum, sigNum; uiZPtr = (struct uint128 *) zPtr; expNum = sequencePtr->expNum; sigNum = sequencePtr->term1Num; uiZPtr->v64 = f128QOut[expNum] | f128P1[sigNum].v64; uiZPtr->v0 = f128P1[sigNum].v0; ++sigNum; if ( f128NumP1 <= sigNum ) { sigNum = 0; ++expNum; if ( f128NumQOut <= expNum ) { expNum = 0; sequencePtr->done = true; } sequencePtr->expNum = expNum; } sequencePtr->term1Num = sigNum; } static const uint_fast64_t f128NumQInP2 = f128NumQIn * f128NumP2; static const uint_fast64_t f128NumQOutP2 = f128NumQOut * f128NumP2; static void f128NextQInP2( struct sequence *sequencePtr, float128_t *zPtr ) { struct uint128 *uiZPtr; int expNum, sigNum; uiZPtr = (struct uint128 *) zPtr; expNum = sequencePtr->expNum; sigNum = sequencePtr->term1Num; uiZPtr->v64 = f128QIn[expNum] | f128P2[sigNum].v64; uiZPtr->v0 = f128P2[sigNum].v0; ++sigNum; if ( f128NumP2 <= sigNum ) { sigNum = 0; ++expNum; if ( f128NumQIn <= expNum ) { expNum = 0; sequencePtr->done = true; } sequencePtr->expNum = expNum; } sequencePtr->term1Num = sigNum; } static void f128NextQOutP2( struct sequence *sequencePtr, float128_t *zPtr ) { struct uint128 *uiZPtr; int expNum, sigNum; uiZPtr = (struct uint128 *) zPtr; expNum = sequencePtr->expNum; sigNum = sequencePtr->term1Num; uiZPtr->v64 = f128QOut[expNum] | f128P2[sigNum].v64; uiZPtr->v0 = f128P2[sigNum].v0; ++sigNum; if ( f128NumP2 <= sigNum ) { sigNum = 0; ++expNum; if ( f128NumQOut <= expNum ) { expNum = 0; sequencePtr->done = true; } sequencePtr->expNum = expNum; } sequencePtr->term1Num = sigNum; } static void f128RandomQOutP3( float128_t *zPtr ) { struct uint128 *uiZPtr; int sigNum1, sigNum2; uint_fast64_t sig1_0; uiZPtr = (struct uint128 *) zPtr; sigNum1 = randomN_ui16( f128NumP2 ); sigNum2 = randomN_ui16( f128NumP2 ); sig1_0 = f128P2[sigNum1].v0; uiZPtr->v0 = sig1_0 + f128P2[sigNum2].v0; uiZPtr->v64 = f128QOut[randomN_ui8( f128NumQOut )] | ((f128P2[sigNum1].v64 + f128P2[sigNum2].v64 + (uiZPtr->v0 < sig1_0)) & UINT64_C( 0x0000FFFFFFFFFFFF )); } static void f128RandomQOutPInf( float128_t *zPtr ) { struct uint128 *uiZPtr; uiZPtr = (struct uint128 *) zPtr; uiZPtr->v64 = f128QOut[randomN_ui8( f128NumQOut )] | (random_ui64() & UINT64_C( 0x0000FFFFFFFFFFFF )); uiZPtr->v0 = random_ui64(); } enum { f128NumQInfWeightMasks = 14 }; static const uint64_t f128QInfWeightMasks[f128NumQInfWeightMasks] = { UINT64_C( 0xFFFF000000000000 ), UINT64_C( 0xFFFF000000000000 ), UINT64_C( 0xBFFF000000000000 ), UINT64_C( 0x9FFF000000000000 ), UINT64_C( 0x87FF000000000000 ), UINT64_C( 0x87FF000000000000 ), UINT64_C( 0x83FF000000000000 ), UINT64_C( 0x81FF000000000000 ), UINT64_C( 0x80FF000000000000 ), UINT64_C( 0x807F000000000000 ), UINT64_C( 0x803F000000000000 ), UINT64_C( 0x801F000000000000 ), UINT64_C( 0x800F000000000000 ), UINT64_C( 0x8007000000000000 ) }; static const uint64_t f128QInfWeightOffsets[f128NumQInfWeightMasks] = { UINT64_C( 0x0000000000000000 ), UINT64_C( 0x0000000000000000 ), UINT64_C( 0x2000000000000000 ), UINT64_C( 0x3000000000000000 ), UINT64_C( 0x3800000000000000 ), UINT64_C( 0x3C00000000000000 ), UINT64_C( 0x3E00000000000000 ), UINT64_C( 0x3F00000000000000 ), UINT64_C( 0x3F80000000000000 ), UINT64_C( 0x3FC0000000000000 ), UINT64_C( 0x3FE0000000000000 ), UINT64_C( 0x3FF0000000000000 ), UINT64_C( 0x3FF8000000000000 ), UINT64_C( 0x3FFC000000000000 ) }; static void f128RandomQInfP3( float128_t *zPtr ) { struct uint128 *uiZPtr; int sigNum1, sigNum2; uint_fast64_t sig1_0; int weightMaskNum; uiZPtr = (struct uint128 *) zPtr; sigNum1 = randomN_ui16( f128NumP2 ); sigNum2 = randomN_ui16( f128NumP2 ); sig1_0 = f128P2[sigNum1].v0; uiZPtr->v0 = sig1_0 + f128P2[sigNum2].v0; weightMaskNum = randomN_ui8( f128NumQInfWeightMasks ); uiZPtr->v64 = (((uint_fast64_t) random_ui16()<<48 & f128QInfWeightMasks[weightMaskNum]) + f128QInfWeightOffsets[weightMaskNum]) | ((f128P2[sigNum1].v64 + f128P2[sigNum2].v64 + (uiZPtr->v0 < sig1_0)) & UINT64_C( 0x0000FFFFFFFFFFFF )); } static void f128RandomQInfPInf( float128_t *zPtr ) { struct uint128 *uiZPtr; int weightMaskNum; uiZPtr = (struct uint128 *) zPtr; weightMaskNum = randomN_ui8( f128NumQInfWeightMasks ); uiZPtr->v64 = (random_ui64() & (f128QInfWeightMasks[weightMaskNum] | UINT64_C( 0x0000FFFFFFFFFFFF ))) + f128QInfWeightOffsets[weightMaskNum]; uiZPtr->v0 = random_ui64(); } static void f128Random( float128_t *zPtr ) { switch ( random_ui8() & 7 ) { case 0: case 1: case 2: f128RandomQOutP3( zPtr ); break; case 3: f128RandomQOutPInf( zPtr ); break; case 4: case 5: case 6: f128RandomQInfP3( zPtr ); break; case 7: f128RandomQInfPInf( zPtr ); break; } } static struct sequence sequenceA, sequenceB, sequenceC; static float128_t currentA, currentB, currentC; static int subcase; float128_t genCases_f128_a, genCases_f128_b, genCases_f128_c; void genCases_f128_a_init( void ) { sequenceA.expNum = 0; sequenceA.term1Num = 0; sequenceA.term2Num = 0; sequenceA.done = false; subcase = 0; genCases_total = (genCases_level == 1) ? 3 * f128NumQOutP1 : 2 * f128NumQOutP2; genCases_done = false; } void genCases_f128_a_next( void ) { if ( genCases_level == 1 ) { switch ( subcase ) { case 0: case 1: f128Random( &genCases_f128_a ); break; case 2: f128NextQOutP1( &sequenceA, &genCases_f128_a ); genCases_done = sequenceA.done; subcase = -1; break; } } else { switch ( subcase ) { case 0: f128Random( &genCases_f128_a ); break; case 1: f128NextQOutP2( &sequenceA, &genCases_f128_a ); genCases_done = sequenceA.done; subcase = -1; break; } } ++subcase; } void genCases_f128_ab_init( void ) { sequenceA.expNum = 0; sequenceA.term1Num = 0; sequenceA.term2Num = 0; sequenceA.done = false; sequenceB.expNum = 0; sequenceB.term1Num = 0; sequenceB.term2Num = 0; sequenceB.done = false; subcase = 0; if ( genCases_level == 1 ) { genCases_total = 6 * f128NumQInP1 * f128NumQInP1; f128NextQInP1( &sequenceA, ¤tA ); } else { genCases_total = 2 * f128NumQInP2 * f128NumQInP2; f128NextQInP2( &sequenceA, ¤tA ); } genCases_done = false; } void genCases_f128_ab_next( void ) { if ( genCases_level == 1 ) { switch ( subcase ) { case 0: if ( sequenceB.done ) { sequenceB.done = false; f128NextQInP1( &sequenceA, ¤tA ); } f128NextQInP1( &sequenceB, ¤tB ); case 2: case 4: f128Random( &genCases_f128_a ); f128Random( &genCases_f128_b ); break; case 1: genCases_f128_a = currentA; f128Random( &genCases_f128_b ); break; case 3: f128Random( &genCases_f128_a ); genCases_f128_b = currentB; break; case 5: genCases_f128_a = currentA; genCases_f128_b = currentB; genCases_done = sequenceA.done & sequenceB.done; subcase = -1; break; } } else { switch ( subcase ) { case 0: f128Random( &genCases_f128_a ); f128Random( &genCases_f128_b ); break; case 1: if ( sequenceB.done ) { sequenceB.done = false; f128NextQInP2( &sequenceA, ¤tA ); } genCases_f128_a = currentA; f128NextQInP2( &sequenceB, &genCases_f128_b ); genCases_done = sequenceA.done & sequenceB.done; subcase = -1; break; } } ++subcase; } void genCases_f128_abc_init( void ) { sequenceA.expNum = 0; sequenceA.term1Num = 0; sequenceA.term2Num = 0; sequenceA.done = false; sequenceB.expNum = 0; sequenceB.term1Num = 0; sequenceB.term2Num = 0; sequenceB.done = false; sequenceC.expNum = 0; sequenceC.term1Num = 0; sequenceC.term2Num = 0; sequenceC.done = false; subcase = 0; if ( genCases_level == 1 ) { genCases_total = 9 * f128NumQInP1 * f128NumQInP1 * f128NumQInP1; f128NextQInP1( &sequenceA, ¤tA ); f128NextQInP1( &sequenceB, ¤tB ); } else { genCases_total = 2 * f128NumQInP2 * f128NumQInP2 * f128NumQInP2; f128NextQInP2( &sequenceA, ¤tA ); f128NextQInP2( &sequenceB, ¤tB ); } genCases_done = false; } void genCases_f128_abc_next( void ) { if ( genCases_level == 1 ) { switch ( subcase ) { case 0: if ( sequenceC.done ) { sequenceC.done = false; if ( sequenceB.done ) { sequenceB.done = false; f128NextQInP1( &sequenceA, ¤tA ); } f128NextQInP1( &sequenceB, ¤tB ); } f128NextQInP1( &sequenceC, ¤tC ); f128Random( &genCases_f128_a ); f128Random( &genCases_f128_b ); genCases_f128_c = currentC; break; case 1: genCases_f128_a = currentA; genCases_f128_b = currentB; f128Random( &genCases_f128_c ); break; case 2: f128Random( &genCases_f128_a ); f128Random( &genCases_f128_b ); f128Random( &genCases_f128_c ); break; case 3: f128Random( &genCases_f128_a ); genCases_f128_b = currentB; genCases_f128_c = currentC; break; case 4: genCases_f128_a = currentA; f128Random( &genCases_f128_b ); f128Random( &genCases_f128_c ); break; case 5: f128Random( &genCases_f128_a ); genCases_f128_b = currentB; f128Random( &genCases_f128_c ); break; case 6: genCases_f128_a = currentA; f128Random( &genCases_f128_b ); genCases_f128_c = currentC; break; case 7: f128Random( &genCases_f128_a ); f128Random( &genCases_f128_b ); f128Random( &genCases_f128_c ); break; case 8: genCases_f128_a = currentA; genCases_f128_b = currentB; genCases_f128_c = currentC; genCases_done = sequenceA.done & sequenceB.done & sequenceC.done; subcase = -1; break; } } else { switch ( subcase ) { case 0: f128Random( &genCases_f128_a ); f128Random( &genCases_f128_b ); f128Random( &genCases_f128_c ); break; case 1: if ( sequenceC.done ) { sequenceC.done = false; if ( sequenceB.done ) { sequenceB.done = false; f128NextQInP2( &sequenceA, ¤tA ); } f128NextQInP2( &sequenceB, ¤tB ); } genCases_f128_a = currentA; genCases_f128_b = currentB; f128NextQInP2( &sequenceC, &genCases_f128_c ); genCases_done = sequenceA.done & sequenceB.done & sequenceC.done; subcase = -1; break; } } ++subcase; } #endif