295     int8 weightMaskNum;  in int32RandomPInf()  local
297     weightMaskNum = randomUint8() % int32NumPInfWeightMasks;  in int32RandomPInf()
300               ( randomUint32() & int32PInfWeightMasks[ weightMaskNum ] )  in int32RandomPInf()
301             + int32PInfWeightOffsets[ weightMaskNum ]  in int32RandomPInf()
755     int8 weightMaskNum;  in int64RandomPInf()  local
757     weightMaskNum = randomUint8() % int64NumPInfWeightMasks;  in int64RandomPInf()
760               ( randomUint64() & int64PInfWeightMasks[ weightMaskNum ] )  in int64RandomPInf()
761             + int64PInfWeightOffsets[ weightMaskNum ]  in int64RandomPInf()
1095     int8 weightMaskNum;  in float32RandomQInfP3()  local
1097     weightMaskNum = randomUint8() % float32NumQInfWeightMasks;  in float32RandomQInfP3()
1101                 & float32QInfWeightMasks[ weightMaskNum ] )  in float32RandomQInfP3()
1102             + float32QInfWeightOffsets[ weightMaskNum ]  in float32RandomQInfP3()
1112     int8 weightMaskNum;  in float32RandomQInfPInf()  local
1114     weightMaskNum = randomUint8() % float32NumQInfWeightMasks;  in float32RandomQInfPInf()
1118                 & float32QInfWeightMasks[ weightMaskNum ] )  in float32RandomQInfPInf()
1119             + float32QInfWeightOffsets[ weightMaskNum ]  in float32RandomQInfPInf()
1652     int8 weightMaskNum;  in float64RandomQInfP3()  local
1660     weightMaskNum = randomUint8() % float64NumQInfWeightMasks;  in float64RandomQInfP3()
1665                 & float64QInfWeightMasks[ weightMaskNum ] )  in float64RandomQInfP3()
1666             + float64QInfWeightOffsets[ weightMaskNum ]  in float64RandomQInfP3()
1682     int8 weightMaskNum;  in float64RandomQInfPInf()  local
1685     weightMaskNum = randomUint8() % float64NumQInfWeightMasks;  in float64RandomQInfPInf()
1690                 & float64QInfWeightMasks[ weightMaskNum ] )  in float64RandomQInfPInf()
1691             + float64QInfWeightOffsets[ weightMaskNum ]  in float64RandomQInfPInf()
2262     int8 weightMaskNum;  in floatx80RandomQInfP3()  local
2269     weightMaskNum = randomUint8() % floatx80NumQInfWeightMasks;  in floatx80RandomQInfP3()
2271           ( randomUint16() & floatx80QInfWeightMasks[ weightMaskNum ] )  in floatx80RandomQInfP3()
2272         + floatx80QInfWeightOffsets[ weightMaskNum ];  in floatx80RandomQInfP3()
2281     int8 weightMaskNum;  in floatx80RandomQInfPInf()  local
2285     weightMaskNum = randomUint8() % floatx80NumQInfWeightMasks;  in floatx80RandomQInfPInf()
2287           ( randomUint16() & floatx80QInfWeightMasks[ weightMaskNum ] )  in floatx80RandomQInfPInf()
2288         + floatx80QInfWeightOffsets[ weightMaskNum ];  in floatx80RandomQInfPInf()
3064     int8 weightMaskNum;  in float128RandomQInfP3()  local
3072     weightMaskNum = randomUint8() % float128NumQInfWeightMasks;  in float128RandomQInfP3()
3076                 & float128QInfWeightMasks[ weightMaskNum ] )  in float128RandomQInfP3()
3077             + float128QInfWeightOffsets[ weightMaskNum ]  in float128RandomQInfP3()
3091     int8 weightMaskNum;  in float128RandomQInfPInf()  local
3094     weightMaskNum = randomUint8() % float128NumQInfWeightMasks;  in float128RandomQInfPInf()
3099                 & float128QInfWeightMasks[ weightMaskNum ] )  in float128RandomQInfPInf()
3100             + float128QInfWeightOffsets[ weightMaskNum ]  in float128RandomQInfPInf()