Lines Matching defs:rve1
327 int j, k, nbits, nd, nd0, nf, nz, nz0, rd, rvbits, rve, rve1, sign;
679 rve1 = rve + rvbits - nbits;
703 rve = rve1 = emin;
784 if (rve1 == emin)
793 rve = rve1 - 1;
807 if (dsign || bbbits > 1 || denorm || rve1 == emin)
834 if (rve1 == emin) {
934 if (rve1 == emin) {
941 --rve1;
958 rve1++;