atrosinenko added inline comments.
================ Comment at: compiler-rt/lib/builtins/fp_div_impl.inc:142 + // An error due to truncated C + an error due to truncated x_UQ0_hw: + // e_0 <= 3/4 - 1/sqrt(2) + 2^-W0 + 2^-HW + ---------------- sepavloff wrote: > Should the right part contain `1/b`? What line are you referring to? For line 142, `e_0` is defined as `x_n - 1/b_hw` in infinite precision (please note it intentionally refers `b_hw` that is a truncated version of `b`, see lines 113-114). Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D85031/new/ https://reviews.llvm.org/D85031 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
