Google Git
Sign in
qemu / berkeley-testfloat-3 / 5a59dcec19327396a011a17fd924aed4fec416b3 / . / source / genCases_f128.c
blob: 839da2281c561b7e998b6ca6c818496093bbe9e1 [file] [log] [blame]
/*============================================================================
This C source file is part of TestFloat, Release 3e, 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 <stdbool.h>
#include <stdint.h>
#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, &currentA );
} else {
genCases_total = 2 * f128NumQInP2 * f128NumQInP2;
f128NextQInP2( &sequenceA, &currentA );
}
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, &currentA );
}
f128NextQInP1( &sequenceB, &currentB );
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, &currentA );
}
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, &currentA );
f128NextQInP1( &sequenceB, &currentB );
} else {
genCases_total = 2 * f128NumQInP2 * f128NumQInP2 * f128NumQInP2;
f128NextQInP2( &sequenceA, &currentA );
f128NextQInP2( &sequenceB, &currentB );
}
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, &currentA );
}
f128NextQInP1( &sequenceB, &currentB );
}
f128NextQInP1( &sequenceC, &currentC );
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, &currentA );
}
f128NextQInP2( &sequenceB, &currentB );
}
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