diff options
Diffstat (limited to 'pseudocode/library/tosa_reference_check.tosac')
-rw-r--r-- | pseudocode/library/tosa_reference_check.tosac | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/pseudocode/library/tosa_reference_check.tosac b/pseudocode/library/tosa_reference_check.tosac new file mode 100644 index 0000000..79bd4a6 --- /dev/null +++ b/pseudocode/library/tosa_reference_check.tosac @@ -0,0 +1,38 @@ +// +// This confidential and proprietary software may be used only as +// authorised by a licensing agreement from ARM Limited +// (C) COPYRIGHT 2020-2024 ARM Limited +// ALL RIGHTS RESERVED +// The entire notice above must be reproduced on all authorised +// copies and copies may only be made to the extent permitted +// by a licensing agreement from ARM Limited. + +bool tosa_reference_check_fp<in_t>(in_t test_value, fp64_t ref_value, fp64_t num_ulp) { + fp64_t err_bnd = 0.0; + if (is_normal_fp64(ref_value) && abs(ref_value) != 0) { + int ref_exp = ilog2(abs(ref_value)); + fp64_t ref_pow2 = max(exp2(ref_exp), normal_min<in_t>); + fp64_t val_ulp = ref_pow2 * exp2(-normal_frac<in_t>); + err_bnd = val_ulp * num_ulp; + } + return tosa_reference_check_fp_bnd<in_t>(test_value, ref_value, err_bnd); +} + +bool tosa_reference_check_fp_bnd<in_t>(in_t test_value, fp64_t ref_value, fp64_t err_bnd) { + if (is_a_NaN(ref_value)) { + return is_a_NaN(test_value); + } + REQUIRE(err_bnd >= 0.0); + if (ref_value < 0) { + ref_value = -ref_value; + test_value = -test_value; + } + fp64_t ref_max = ref_value + err_bnd; + fp64_t ref_min = ref_value - err_bnd; + if (ref_max > normal_max<in_t>) ref_max = infinity; + if (ref_min > normal_max<in_t>) ref_min = infinity; + if (ref_max < normal_min<in_t>) ref_max = normal_min<in_t>; + if (ref_min < normal_min<in_t>) ref_min = 0; + return (static_cast<fp64_t>(test_value) >= ref_min && + static_cast<fp64_t>(test_value) <= ref_max); +} |