static uint_fast64_t ui64RandomP3( void )
{
return
ui64P1[ random_ui8() % ui64NumP1 ]
+ ui64P1[ random_ui8() % ui64NumP1 ]
+ ui64P1[ random_ui8() % ui64NumP1 ];
}
static int_fast64_t i64RandomP3( void )
{
union ui64_i64 uZ;
uZ.ui =
i64P1[ random_ui8() % i64NumP1 ]
+ i64P1[ random_ui8() % i64NumP1 ]
+ i64P1[ random_ui8() % i64NumP1 ];
return uZ.i;
}
static uint_fast64_t ui64RandomPInf( void )
{
int weightMaskNum;
weightMaskNum = random_ui8() % ui64NumPInfWeightMasks;
return random_ui64() & ui64PInfWeightMasks[ weightMaskNum ];
}
static int_fast64_t i64RandomPInf( void )
{
int weightMaskNum;
union ui64_i64 uZ;
weightMaskNum = random_ui8() % i64NumPInfWeightMasks;
uZ.ui =
( random_ui64() & i64PInfWeightMasks[ weightMaskNum ] )
+ i64PInfWeightOffsets[ weightMaskNum ];
return uZ.i;
}
static float16_t f16Random( void )
{
switch ( random_ui8() & 7 ) {
case 0:
case 1:
case 2:
return f16RandomQOutP3();
case 3:
return f16RandomQOutPInf();
case 4:
case 5:
case 6:
return f16RandomQInfP3();
case 7:
return f16RandomQInfPInf();
}
}
