Lines Matching defs:v_lo

995   //             = v_hi + (v_lo.hi + v_lo.lo)
998   //   v_lo.hi + v_lo.lo = r * m_dd.lo (exact)
1001   //   |v_lo.hi| <= |r| * |m_dd.lo| < 2^-52
1002   //   |v_lo.lo| < ulp(v_lo.hi) <= 2^(-52 - 53) = 2^(-105)
1005   fputil::DoubleDouble v_lo = fputil::exact_mult(m_dd.lo, r);
1019   //   -0x1.69000000000edp-8 < v_hi + v_lo < 0x1.7f00000000081p-8
1021   fputil::DoubleDouble v_dd = fputil::exact_add(v_hi, v_lo.hi);
1022   v_dd.lo += v_lo.lo;