[PATCH] D85031: [builtins] Unify the softfloat division implementation

[Anatoly Trosinenko via Phabricator via cfe-commits]

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