From b203512ca3583fd0968ea281aedec2a840b6e58b Mon Sep 17 00:00:00 2001 From: Dominic Symes Date: Fri, 1 Sep 2023 11:41:08 +0100 Subject: Main Conformance: Update dot product error bound 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 --- chapters/introduction.adoc | 4 ++-- 1 file 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(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(out_imp) - out_ref) / out_err_bnd; REQUIRE(abs(out_err) <= ksb); } out_err_sum += out_err; -- cgit v1.2.1