[PATCH] D85031: [builtins] Unify the softfloat division implementation
Anatoly Trosinenko via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Aug 27 09:14:55 PDT 2020
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
More information about the cfe-commits
mailing list