mirror of
https://github.com/openhwgroup/cvw
synced 2025-01-26 06:25:20 +00:00
555 lines
19 KiB
C
555 lines
19 KiB
C
|
|
/*============================================================================
|
|
|
|
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 "random.h"
|
|
#include "genCases.h"
|
|
|
|
struct sequence {
|
|
int term1Num, term2Num;
|
|
bool done;
|
|
};
|
|
|
|
union ui64_i64 { uint64_t ui; int64_t i; };
|
|
|
|
enum { i64NumP1 = 252 };
|
|
static const uint64_t i64P1[i64NumP1] = {
|
|
UINT64_C( 0x0000000000000000 ),
|
|
UINT64_C( 0x0000000000000001 ),
|
|
UINT64_C( 0x0000000000000002 ),
|
|
UINT64_C( 0x0000000000000004 ),
|
|
UINT64_C( 0x0000000000000008 ),
|
|
UINT64_C( 0x0000000000000010 ),
|
|
UINT64_C( 0x0000000000000020 ),
|
|
UINT64_C( 0x0000000000000040 ),
|
|
UINT64_C( 0x0000000000000080 ),
|
|
UINT64_C( 0x0000000000000100 ),
|
|
UINT64_C( 0x0000000000000200 ),
|
|
UINT64_C( 0x0000000000000400 ),
|
|
UINT64_C( 0x0000000000000800 ),
|
|
UINT64_C( 0x0000000000001000 ),
|
|
UINT64_C( 0x0000000000002000 ),
|
|
UINT64_C( 0x0000000000004000 ),
|
|
UINT64_C( 0x0000000000008000 ),
|
|
UINT64_C( 0x0000000000010000 ),
|
|
UINT64_C( 0x0000000000020000 ),
|
|
UINT64_C( 0x0000000000040000 ),
|
|
UINT64_C( 0x0000000000080000 ),
|
|
UINT64_C( 0x0000000000100000 ),
|
|
UINT64_C( 0x0000000000200000 ),
|
|
UINT64_C( 0x0000000000400000 ),
|
|
UINT64_C( 0x0000000000800000 ),
|
|
UINT64_C( 0x0000000001000000 ),
|
|
UINT64_C( 0x0000000002000000 ),
|
|
UINT64_C( 0x0000000004000000 ),
|
|
UINT64_C( 0x0000000008000000 ),
|
|
UINT64_C( 0x0000000010000000 ),
|
|
UINT64_C( 0x0000000020000000 ),
|
|
UINT64_C( 0x0000000040000000 ),
|
|
UINT64_C( 0x0000000080000000 ),
|
|
UINT64_C( 0x0000000100000000 ),
|
|
UINT64_C( 0x0000000200000000 ),
|
|
UINT64_C( 0x0000000400000000 ),
|
|
UINT64_C( 0x0000000800000000 ),
|
|
UINT64_C( 0x0000001000000000 ),
|
|
UINT64_C( 0x0000002000000000 ),
|
|
UINT64_C( 0x0000004000000000 ),
|
|
UINT64_C( 0x0000008000000000 ),
|
|
UINT64_C( 0x0000010000000000 ),
|
|
UINT64_C( 0x0000020000000000 ),
|
|
UINT64_C( 0x0000040000000000 ),
|
|
UINT64_C( 0x0000080000000000 ),
|
|
UINT64_C( 0x0000100000000000 ),
|
|
UINT64_C( 0x0000200000000000 ),
|
|
UINT64_C( 0x0000400000000000 ),
|
|
UINT64_C( 0x0000800000000000 ),
|
|
UINT64_C( 0x0001000000000000 ),
|
|
UINT64_C( 0x0002000000000000 ),
|
|
UINT64_C( 0x0004000000000000 ),
|
|
UINT64_C( 0x0008000000000000 ),
|
|
UINT64_C( 0x0010000000000000 ),
|
|
UINT64_C( 0x0020000000000000 ),
|
|
UINT64_C( 0x0040000000000000 ),
|
|
UINT64_C( 0x0080000000000000 ),
|
|
UINT64_C( 0x0100000000000000 ),
|
|
UINT64_C( 0x0200000000000000 ),
|
|
UINT64_C( 0x0400000000000000 ),
|
|
UINT64_C( 0x0800000000000000 ),
|
|
UINT64_C( 0x1000000000000000 ),
|
|
UINT64_C( 0x2000000000000000 ),
|
|
UINT64_C( 0x4000000000000000 ),
|
|
UINT64_C( 0x8000000000000000 ),
|
|
UINT64_C( 0xC000000000000000 ),
|
|
UINT64_C( 0xE000000000000000 ),
|
|
UINT64_C( 0xF000000000000000 ),
|
|
UINT64_C( 0xF800000000000000 ),
|
|
UINT64_C( 0xFC00000000000000 ),
|
|
UINT64_C( 0xFE00000000000000 ),
|
|
UINT64_C( 0xFF00000000000000 ),
|
|
UINT64_C( 0xFF80000000000000 ),
|
|
UINT64_C( 0xFFC0000000000000 ),
|
|
UINT64_C( 0xFFE0000000000000 ),
|
|
UINT64_C( 0xFFF0000000000000 ),
|
|
UINT64_C( 0xFFF8000000000000 ),
|
|
UINT64_C( 0xFFFC000000000000 ),
|
|
UINT64_C( 0xFFFE000000000000 ),
|
|
UINT64_C( 0xFFFF000000000000 ),
|
|
UINT64_C( 0xFFFF800000000000 ),
|
|
UINT64_C( 0xFFFFC00000000000 ),
|
|
UINT64_C( 0xFFFFE00000000000 ),
|
|
UINT64_C( 0xFFFFF00000000000 ),
|
|
UINT64_C( 0xFFFFF80000000000 ),
|
|
UINT64_C( 0xFFFFFC0000000000 ),
|
|
UINT64_C( 0xFFFFFE0000000000 ),
|
|
UINT64_C( 0xFFFFFF0000000000 ),
|
|
UINT64_C( 0xFFFFFF8000000000 ),
|
|
UINT64_C( 0xFFFFFFC000000000 ),
|
|
UINT64_C( 0xFFFFFFE000000000 ),
|
|
UINT64_C( 0xFFFFFFF000000000 ),
|
|
UINT64_C( 0xFFFFFFF800000000 ),
|
|
UINT64_C( 0xFFFFFFFC00000000 ),
|
|
UINT64_C( 0xFFFFFFFE00000000 ),
|
|
UINT64_C( 0xFFFFFFFF00000000 ),
|
|
UINT64_C( 0xFFFFFFFF80000000 ),
|
|
UINT64_C( 0xFFFFFFFFC0000000 ),
|
|
UINT64_C( 0xFFFFFFFFE0000000 ),
|
|
UINT64_C( 0xFFFFFFFFF0000000 ),
|
|
UINT64_C( 0xFFFFFFFFF8000000 ),
|
|
UINT64_C( 0xFFFFFFFFFC000000 ),
|
|
UINT64_C( 0xFFFFFFFFFE000000 ),
|
|
UINT64_C( 0xFFFFFFFFFF000000 ),
|
|
UINT64_C( 0xFFFFFFFFFF800000 ),
|
|
UINT64_C( 0xFFFFFFFFFFC00000 ),
|
|
UINT64_C( 0xFFFFFFFFFFE00000 ),
|
|
UINT64_C( 0xFFFFFFFFFFF00000 ),
|
|
UINT64_C( 0xFFFFFFFFFFF80000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFC0000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFE0000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFF0000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFF8000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFC000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFE000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFF000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFF800 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFC00 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFE00 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFF00 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFF80 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFC0 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFE0 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFF0 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFF8 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFFC ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFFE ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFFD ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFFB ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFF7 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFEF ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFDF ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFBF ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFF7F ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFEFF ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFDFF ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFBFF ),
|
|
UINT64_C( 0xFFFFFFFFFFFFF7FF ),
|
|
UINT64_C( 0xFFFFFFFFFFFFEFFF ),
|
|
UINT64_C( 0xFFFFFFFFFFFFDFFF ),
|
|
UINT64_C( 0xFFFFFFFFFFFFBFFF ),
|
|
UINT64_C( 0xFFFFFFFFFFFF7FFF ),
|
|
UINT64_C( 0xFFFFFFFFFFFEFFFF ),
|
|
UINT64_C( 0xFFFFFFFFFFFDFFFF ),
|
|
UINT64_C( 0xFFFFFFFFFFFBFFFF ),
|
|
UINT64_C( 0xFFFFFFFFFFF7FFFF ),
|
|
UINT64_C( 0xFFFFFFFFFFEFFFFF ),
|
|
UINT64_C( 0xFFFFFFFFFFDFFFFF ),
|
|
UINT64_C( 0xFFFFFFFFFFBFFFFF ),
|
|
UINT64_C( 0xFFFFFFFFFF7FFFFF ),
|
|
UINT64_C( 0xFFFFFFFFFEFFFFFF ),
|
|
UINT64_C( 0xFFFFFFFFFDFFFFFF ),
|
|
UINT64_C( 0xFFFFFFFFFBFFFFFF ),
|
|
UINT64_C( 0xFFFFFFFFF7FFFFFF ),
|
|
UINT64_C( 0xFFFFFFFFEFFFFFFF ),
|
|
UINT64_C( 0xFFFFFFFFDFFFFFFF ),
|
|
UINT64_C( 0xFFFFFFFFBFFFFFFF ),
|
|
UINT64_C( 0xFFFFFFFF7FFFFFFF ),
|
|
UINT64_C( 0xFFFFFFFEFFFFFFFF ),
|
|
UINT64_C( 0xFFFFFFFDFFFFFFFF ),
|
|
UINT64_C( 0xFFFFFFFBFFFFFFFF ),
|
|
UINT64_C( 0xFFFFFFF7FFFFFFFF ),
|
|
UINT64_C( 0xFFFFFFEFFFFFFFFF ),
|
|
UINT64_C( 0xFFFFFFDFFFFFFFFF ),
|
|
UINT64_C( 0xFFFFFFBFFFFFFFFF ),
|
|
UINT64_C( 0xFFFFFF7FFFFFFFFF ),
|
|
UINT64_C( 0xFFFFFEFFFFFFFFFF ),
|
|
UINT64_C( 0xFFFFFDFFFFFFFFFF ),
|
|
UINT64_C( 0xFFFFFBFFFFFFFFFF ),
|
|
UINT64_C( 0xFFFFF7FFFFFFFFFF ),
|
|
UINT64_C( 0xFFFFEFFFFFFFFFFF ),
|
|
UINT64_C( 0xFFFFDFFFFFFFFFFF ),
|
|
UINT64_C( 0xFFFFBFFFFFFFFFFF ),
|
|
UINT64_C( 0xFFFF7FFFFFFFFFFF ),
|
|
UINT64_C( 0xFFFEFFFFFFFFFFFF ),
|
|
UINT64_C( 0xFFFDFFFFFFFFFFFF ),
|
|
UINT64_C( 0xFFFBFFFFFFFFFFFF ),
|
|
UINT64_C( 0xFFF7FFFFFFFFFFFF ),
|
|
UINT64_C( 0xFFEFFFFFFFFFFFFF ),
|
|
UINT64_C( 0xFFDFFFFFFFFFFFFF ),
|
|
UINT64_C( 0xFFBFFFFFFFFFFFFF ),
|
|
UINT64_C( 0xFF7FFFFFFFFFFFFF ),
|
|
UINT64_C( 0xFEFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0xFDFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0xFBFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0xF7FFFFFFFFFFFFFF ),
|
|
UINT64_C( 0xEFFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0xDFFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0xBFFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x7FFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x3FFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x1FFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x0FFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x07FFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x03FFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x01FFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x00FFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x007FFFFFFFFFFFFF ),
|
|
UINT64_C( 0x003FFFFFFFFFFFFF ),
|
|
UINT64_C( 0x001FFFFFFFFFFFFF ),
|
|
UINT64_C( 0x000FFFFFFFFFFFFF ),
|
|
UINT64_C( 0x0007FFFFFFFFFFFF ),
|
|
UINT64_C( 0x0003FFFFFFFFFFFF ),
|
|
UINT64_C( 0x0001FFFFFFFFFFFF ),
|
|
UINT64_C( 0x0000FFFFFFFFFFFF ),
|
|
UINT64_C( 0x00007FFFFFFFFFFF ),
|
|
UINT64_C( 0x00003FFFFFFFFFFF ),
|
|
UINT64_C( 0x00001FFFFFFFFFFF ),
|
|
UINT64_C( 0x00000FFFFFFFFFFF ),
|
|
UINT64_C( 0x000007FFFFFFFFFF ),
|
|
UINT64_C( 0x000003FFFFFFFFFF ),
|
|
UINT64_C( 0x000001FFFFFFFFFF ),
|
|
UINT64_C( 0x000000FFFFFFFFFF ),
|
|
UINT64_C( 0x0000007FFFFFFFFF ),
|
|
UINT64_C( 0x0000003FFFFFFFFF ),
|
|
UINT64_C( 0x0000001FFFFFFFFF ),
|
|
UINT64_C( 0x0000000FFFFFFFFF ),
|
|
UINT64_C( 0x00000007FFFFFFFF ),
|
|
UINT64_C( 0x00000003FFFFFFFF ),
|
|
UINT64_C( 0x00000001FFFFFFFF ),
|
|
UINT64_C( 0x00000000FFFFFFFF ),
|
|
UINT64_C( 0x000000007FFFFFFF ),
|
|
UINT64_C( 0x000000003FFFFFFF ),
|
|
UINT64_C( 0x000000001FFFFFFF ),
|
|
UINT64_C( 0x000000000FFFFFFF ),
|
|
UINT64_C( 0x0000000007FFFFFF ),
|
|
UINT64_C( 0x0000000003FFFFFF ),
|
|
UINT64_C( 0x0000000001FFFFFF ),
|
|
UINT64_C( 0x0000000000FFFFFF ),
|
|
UINT64_C( 0x00000000007FFFFF ),
|
|
UINT64_C( 0x00000000003FFFFF ),
|
|
UINT64_C( 0x00000000001FFFFF ),
|
|
UINT64_C( 0x00000000000FFFFF ),
|
|
UINT64_C( 0x000000000007FFFF ),
|
|
UINT64_C( 0x000000000003FFFF ),
|
|
UINT64_C( 0x000000000001FFFF ),
|
|
UINT64_C( 0x000000000000FFFF ),
|
|
UINT64_C( 0x0000000000007FFF ),
|
|
UINT64_C( 0x0000000000003FFF ),
|
|
UINT64_C( 0x0000000000001FFF ),
|
|
UINT64_C( 0x0000000000000FFF ),
|
|
UINT64_C( 0x00000000000007FF ),
|
|
UINT64_C( 0x00000000000003FF ),
|
|
UINT64_C( 0x00000000000001FF ),
|
|
UINT64_C( 0x00000000000000FF ),
|
|
UINT64_C( 0x000000000000007F ),
|
|
UINT64_C( 0x000000000000003F ),
|
|
UINT64_C( 0x000000000000001F ),
|
|
UINT64_C( 0x000000000000000F ),
|
|
UINT64_C( 0x0000000000000007 ),
|
|
UINT64_C( 0x0000000000000003 )
|
|
};
|
|
|
|
static int64_t i64NextP1( struct sequence *sequencePtr )
|
|
{
|
|
int termNum;
|
|
union ui64_i64 uZ;
|
|
|
|
termNum = sequencePtr->term1Num;
|
|
uZ.ui = i64P1[termNum];
|
|
++termNum;
|
|
if ( i64NumP1 <= termNum ) {
|
|
termNum = 0;
|
|
sequencePtr->done = true;
|
|
}
|
|
sequencePtr->term1Num = termNum;
|
|
return uZ.i;
|
|
|
|
}
|
|
|
|
static const int_fast64_t i64NumP2 = (i64NumP1 * i64NumP1 + i64NumP1) / 2;
|
|
|
|
static int64_t i64NextP2( struct sequence *sequencePtr )
|
|
{
|
|
int term1Num, term2Num;
|
|
union ui64_i64 uZ;
|
|
|
|
term2Num = sequencePtr->term2Num;
|
|
term1Num = sequencePtr->term1Num;
|
|
uZ.ui = i64P1[term1Num] + i64P1[term2Num];
|
|
++term2Num;
|
|
if ( i64NumP1 <= term2Num ) {
|
|
++term1Num;
|
|
if ( i64NumP1 <= term1Num ) {
|
|
term1Num = 0;
|
|
sequencePtr->done = true;
|
|
}
|
|
term2Num = term1Num;
|
|
sequencePtr->term1Num = term1Num;
|
|
}
|
|
sequencePtr->term2Num = term2Num;
|
|
return uZ.i;
|
|
|
|
}
|
|
|
|
static int64_t i64RandomP3( void )
|
|
{
|
|
union ui64_i64 uZ;
|
|
|
|
uZ.ui =
|
|
i64P1[randomN_ui8( i64NumP1 )] + i64P1[randomN_ui8( i64NumP1 )]
|
|
+ i64P1[randomN_ui8( i64NumP1 )];
|
|
return uZ.i;
|
|
|
|
}
|
|
|
|
enum { i64NumPInfWeightMasks = 61 };
|
|
static const uint64_t i64PInfWeightMasks[i64NumPInfWeightMasks] = {
|
|
UINT64_C( 0xFFFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x7FFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x3FFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x1FFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x0FFFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x07FFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x03FFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x01FFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x00FFFFFFFFFFFFFF ),
|
|
UINT64_C( 0x007FFFFFFFFFFFFF ),
|
|
UINT64_C( 0x003FFFFFFFFFFFFF ),
|
|
UINT64_C( 0x001FFFFFFFFFFFFF ),
|
|
UINT64_C( 0x000FFFFFFFFFFFFF ),
|
|
UINT64_C( 0x0007FFFFFFFFFFFF ),
|
|
UINT64_C( 0x0003FFFFFFFFFFFF ),
|
|
UINT64_C( 0x0001FFFFFFFFFFFF ),
|
|
UINT64_C( 0x0000FFFFFFFFFFFF ),
|
|
UINT64_C( 0x00007FFFFFFFFFFF ),
|
|
UINT64_C( 0x00003FFFFFFFFFFF ),
|
|
UINT64_C( 0x00001FFFFFFFFFFF ),
|
|
UINT64_C( 0x00000FFFFFFFFFFF ),
|
|
UINT64_C( 0x000007FFFFFFFFFF ),
|
|
UINT64_C( 0x000003FFFFFFFFFF ),
|
|
UINT64_C( 0x000001FFFFFFFFFF ),
|
|
UINT64_C( 0x000000FFFFFFFFFF ),
|
|
UINT64_C( 0x0000007FFFFFFFFF ),
|
|
UINT64_C( 0x0000003FFFFFFFFF ),
|
|
UINT64_C( 0x0000001FFFFFFFFF ),
|
|
UINT64_C( 0x0000000FFFFFFFFF ),
|
|
UINT64_C( 0x00000007FFFFFFFF ),
|
|
UINT64_C( 0x00000003FFFFFFFF ),
|
|
UINT64_C( 0x00000001FFFFFFFF ),
|
|
UINT64_C( 0x00000000FFFFFFFF ),
|
|
UINT64_C( 0x000000007FFFFFFF ),
|
|
UINT64_C( 0x000000003FFFFFFF ),
|
|
UINT64_C( 0x000000001FFFFFFF ),
|
|
UINT64_C( 0x000000000FFFFFFF ),
|
|
UINT64_C( 0x0000000007FFFFFF ),
|
|
UINT64_C( 0x0000000003FFFFFF ),
|
|
UINT64_C( 0x0000000001FFFFFF ),
|
|
UINT64_C( 0x0000000000FFFFFF ),
|
|
UINT64_C( 0x00000000007FFFFF ),
|
|
UINT64_C( 0x00000000003FFFFF ),
|
|
UINT64_C( 0x00000000001FFFFF ),
|
|
UINT64_C( 0x00000000000FFFFF ),
|
|
UINT64_C( 0x000000000007FFFF ),
|
|
UINT64_C( 0x000000000003FFFF ),
|
|
UINT64_C( 0x000000000001FFFF ),
|
|
UINT64_C( 0x000000000000FFFF ),
|
|
UINT64_C( 0x0000000000007FFF ),
|
|
UINT64_C( 0x0000000000003FFF ),
|
|
UINT64_C( 0x0000000000001FFF ),
|
|
UINT64_C( 0x0000000000000FFF ),
|
|
UINT64_C( 0x00000000000007FF ),
|
|
UINT64_C( 0x00000000000003FF ),
|
|
UINT64_C( 0x00000000000001FF ),
|
|
UINT64_C( 0x00000000000000FF ),
|
|
UINT64_C( 0x000000000000007F ),
|
|
UINT64_C( 0x000000000000003F ),
|
|
UINT64_C( 0x000000000000001F ),
|
|
UINT64_C( 0x000000000000000F )
|
|
};
|
|
static const uint64_t i64PInfWeightOffsets[i64NumPInfWeightMasks] = {
|
|
UINT64_C( 0x0000000000000000 ),
|
|
UINT64_C( 0xC000000000000000 ),
|
|
UINT64_C( 0xE000000000000000 ),
|
|
UINT64_C( 0xF000000000000000 ),
|
|
UINT64_C( 0xF800000000000000 ),
|
|
UINT64_C( 0xFC00000000000000 ),
|
|
UINT64_C( 0xFE00000000000000 ),
|
|
UINT64_C( 0xFF00000000000000 ),
|
|
UINT64_C( 0xFF80000000000000 ),
|
|
UINT64_C( 0xFFC0000000000000 ),
|
|
UINT64_C( 0xFFE0000000000000 ),
|
|
UINT64_C( 0xFFF0000000000000 ),
|
|
UINT64_C( 0xFFF8000000000000 ),
|
|
UINT64_C( 0xFFFC000000000000 ),
|
|
UINT64_C( 0xFFFE000000000000 ),
|
|
UINT64_C( 0xFFFF000000000000 ),
|
|
UINT64_C( 0xFFFF800000000000 ),
|
|
UINT64_C( 0xFFFFC00000000000 ),
|
|
UINT64_C( 0xFFFFE00000000000 ),
|
|
UINT64_C( 0xFFFFF00000000000 ),
|
|
UINT64_C( 0xFFFFF80000000000 ),
|
|
UINT64_C( 0xFFFFFC0000000000 ),
|
|
UINT64_C( 0xFFFFFE0000000000 ),
|
|
UINT64_C( 0xFFFFFF0000000000 ),
|
|
UINT64_C( 0xFFFFFF8000000000 ),
|
|
UINT64_C( 0xFFFFFFC000000000 ),
|
|
UINT64_C( 0xFFFFFFE000000000 ),
|
|
UINT64_C( 0xFFFFFFF000000000 ),
|
|
UINT64_C( 0xFFFFFFF800000000 ),
|
|
UINT64_C( 0xFFFFFFFC00000000 ),
|
|
UINT64_C( 0xFFFFFFFE00000000 ),
|
|
UINT64_C( 0xFFFFFFFF00000000 ),
|
|
UINT64_C( 0xFFFFFFFF80000000 ),
|
|
UINT64_C( 0xFFFFFFFFC0000000 ),
|
|
UINT64_C( 0xFFFFFFFFE0000000 ),
|
|
UINT64_C( 0xFFFFFFFFF0000000 ),
|
|
UINT64_C( 0xFFFFFFFFF8000000 ),
|
|
UINT64_C( 0xFFFFFFFFFC000000 ),
|
|
UINT64_C( 0xFFFFFFFFFE000000 ),
|
|
UINT64_C( 0xFFFFFFFFFF000000 ),
|
|
UINT64_C( 0xFFFFFFFFFF800000 ),
|
|
UINT64_C( 0xFFFFFFFFFFC00000 ),
|
|
UINT64_C( 0xFFFFFFFFFFE00000 ),
|
|
UINT64_C( 0xFFFFFFFFFFF00000 ),
|
|
UINT64_C( 0xFFFFFFFFFFF80000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFC0000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFE0000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFF0000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFF8000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFC000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFE000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFF000 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFF800 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFC00 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFE00 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFF00 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFF80 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFC0 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFE0 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFF0 ),
|
|
UINT64_C( 0xFFFFFFFFFFFFFFF8 )
|
|
};
|
|
|
|
static int64_t i64RandomPInf( void )
|
|
{
|
|
int weightMaskNum;
|
|
union ui64_i64 uZ;
|
|
|
|
weightMaskNum = randomN_ui8( i64NumPInfWeightMasks );
|
|
uZ.ui =
|
|
(random_ui64() & i64PInfWeightMasks[weightMaskNum])
|
|
+ i64PInfWeightOffsets[weightMaskNum];
|
|
return uZ.i;
|
|
|
|
}
|
|
|
|
static struct sequence sequenceA;
|
|
static int subcase;
|
|
|
|
int64_t genCases_i64_a;
|
|
|
|
void genCases_i64_a_init( void )
|
|
{
|
|
|
|
sequenceA.term2Num = 0;
|
|
sequenceA.term1Num = 0;
|
|
sequenceA.done = false;
|
|
subcase = 0;
|
|
genCases_total = (genCases_level == 1) ? 3 * i64NumP1 : 2 * i64NumP2;
|
|
genCases_done = false;
|
|
|
|
}
|
|
|
|
void genCases_i64_a_next( void )
|
|
{
|
|
|
|
if ( genCases_level == 1 ) {
|
|
switch ( subcase ) {
|
|
case 0:
|
|
genCases_i64_a = i64RandomP3();
|
|
break;
|
|
case 1:
|
|
genCases_i64_a = i64RandomPInf();
|
|
break;
|
|
case 2:
|
|
genCases_i64_a = i64NextP1( &sequenceA );
|
|
genCases_done = sequenceA.done;
|
|
subcase = -1;
|
|
break;
|
|
}
|
|
} else {
|
|
switch ( subcase ) {
|
|
case 0:
|
|
genCases_i64_a = i64RandomP3();
|
|
break;
|
|
case 2:
|
|
genCases_i64_a = i64RandomPInf();
|
|
break;
|
|
case 3:
|
|
subcase = -1;
|
|
case 1:
|
|
genCases_i64_a = i64NextP2( &sequenceA );
|
|
genCases_done = sequenceA.done;
|
|
break;
|
|
}
|
|
}
|
|
++subcase;
|
|
|
|
}
|
|
|