Lines Matching refs:rve1
345 int j, k, nbits, nd, nd0, nf, nz, nz0, rd, rvbits, rve, rve1, sign;
700 rve1 = rve + rvbits - nbits;
728 rve = rve1 = emin;
809 if (rve1 == emin)
818 rve = rve1 - 1;
832 if (dsign || bbbits > 1 || denorm || rve1 == emin)
859 if (rve1 == emin) {
959 if (rve1 == emin) {
966 --rve1;
983 rve1++;