Lines Matching defs:FP32_EXP_INF
80 #define FP32_EXP_INF ((1ULL << FP32_EXP_BITS) - 1)
344 return fp32_pack(sgn, FP32_EXP_INF - 1, -1);
362 return fp32_pack(sgn, FP32_EXP_INF, 0);
380 return fp32_pack(0, FP32_EXP_INF, 1ULL << (FP32_MANT_BITS - 1));
457 return exp == FP32_EXP_INF && FP32_MANT(mnt);
493 return exp == FP32_EXP_INF && (mnt >> (FP32_MANT_BITS - 1) & 1);
511 return exp == FP32_EXP_INF && !FP32_MANT(mnt);
844 if (biased_exp >= (int)FP32_EXP_INF) {
1284 if (a_exp == FP32_EXP_INF && b_exp == FP32_EXP_INF && a_sgn != b_sgn) {
1287 } else if (a_exp == FP32_EXP_INF) {
1289 } else if (b_exp == FP32_EXP_INF) {
1440 if ((a_exp == FP32_EXP_INF && !b_mnt) ||
1441 (b_exp == FP32_EXP_INF && !a_mnt)) {
1444 } else if (a_exp == FP32_EXP_INF || b_exp == FP32_EXP_INF) {
1611 if ((b_exp == FP32_EXP_INF && !c_mnt) ||
1612 (c_exp == FP32_EXP_INF && !b_mnt) ||
1613 (a_exp == FP32_EXP_INF &&
1614 (b_exp == FP32_EXP_INF || c_exp == FP32_EXP_INF) &&
1619 if (a_exp == FP32_EXP_INF)
1621 if (b_exp == FP32_EXP_INF || c_exp == FP32_EXP_INF)
1817 if ((a_exp == FP32_EXP_INF && b_exp == FP32_EXP_INF) ||
1822 if (a_exp == FP32_EXP_INF || !b_mnt) {
1823 if (a_exp != FP32_EXP_INF)
1827 if (!a_mnt || b_exp == FP32_EXP_INF)
1976 if (a_exp == FP32_EXP_INF) {
2093 if (a_exp == FP32_EXP_INF && !a_sgn)
2528 return fp32_pack(op >> (FP16_BITS - 1), FP32_EXP_INF,
2536 return fp32_pack(op >> (FP64_BITS - 1), FP32_EXP_INF,
2637 } else if (exp == FP32_EXP_INF) {
2846 } else if (exp == FP32_EXP_INF) {
3427 if ((exp1 == FP32_EXP_INF && !mnt2) ||
3428 (exp2 == FP32_EXP_INF && !mnt1)) {
3430 } else if (exp1 == FP32_EXP_INF || exp2 == FP32_EXP_INF) {
3569 } else if (exp == FP32_EXP_INF) {
3665 if ((exp1 == FP32_EXP_INF && !mnt2) ||
3666 (exp2 == FP32_EXP_INF && !mnt1)) {
3668 } else if (exp1 == FP32_EXP_INF || exp2 == FP32_EXP_INF) {
3785 } else if (exp == FP32_EXP_INF) {
3941 if ((exp1 == FP32_EXP_INF && !mnt2) ||
3942 (exp2 == FP32_EXP_INF && !mnt1)) {
3944 } else if (exp1 == FP32_EXP_INF || exp2 == FP32_EXP_INF) {
4029 result = fp32_pack(sgn, FP32_EXP_INF - 1, 0);
4031 result = fp32_pack(sgn, exp ^ FP32_EXP_INF, 0);
4148 } else if (exp == FP32_EXP_INF) {