Lines Matching defs:kd

57   double kd = fputil::nearest_integer(prod_hi);
62   double y_hi = fputil::multiply_add(kd, MPI_OVER_128[0], x); // Exact
64   u.hi = fputil::multiply_add(kd, MPI_OVER_128[1], y_hi);
66   // |u.lo| <= max(ulp(u.hi), |kd * MPI_OVER_128[2]|)
67   double u1 = fputil::multiply_add(kd, MPI_OVER_128[1], u0); // Exact
68   u.lo = fputil::multiply_add(kd, MPI_OVER_128[2], u1);
71   //                                  <= ulp(max(ulp(u.hi), kd*MPI_OVER_128[2]))
74   return static_cast<unsigned>(static_cast<int64_t>(kd));
286   double kd = fputil::nearest_integer(prod_hi);
288   Float128 mk_f128(-kd);