aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDominic Symes <dominic.symes@arm.com>2023-09-01 11:41:08 +0100
committerDominic Symes <dominic.symes@arm.com>2023-09-07 10:53:34 +0100
commitb203512ca3583fd0968ea281aedec2a840b6e58b (patch)
tree8c54335c1aa6a0dfeb6847be3a4139a0a48f9e7e
parent633a3d9f5caab42da4d25d4ed6b7f8706327a42e (diff)
downloadspecification-b203512ca3583fd0968ea281aedec2a840b6e58b.tar.gz
Main Conformance: Update dot product error boundv0.90a0
Update the error bound for dot product operations to allow floating point accumulators where denormal values are flushed to zero. Change-Id: I1d5805f0ad613ca9d78c6a6da12e31d7df5f6cc4 Signed-off-by: Dominic Symes <dominic.symes@arm.com>
-rw-r--r--chapters/introduction.adoc4
1 files changed, 2 insertions, 2 deletions
diff --git a/chapters/introduction.adoc b/chapters/introduction.adoc
index 26fef0e..d415e24 100644
--- a/chapters/introduction.adoc
+++ b/chapters/introduction.adoc
@@ -358,8 +358,8 @@ for_each(index in output_shape) {
REQUIRE(out_ref == 0.0 && out_imp == 0.0);
out_err = 0.0;
} else { // 0.0 < out_bnd < infinity
- out_bnd = max(out_bnd, acc_min_normal);
- out_err = (static_cast<fp64_t>(out_imp) - out_ref) * acc_prec / out_bnd;
+ fp64_t out_err_bnd = max(out_bnd / acc_prec, acc_min_normal);
+ out_err = (static_cast<fp64_t>(out_imp) - out_ref) / out_err_bnd;
REQUIRE(abs(out_err) <= ksb);
}
out_err_sum += out_err;