diff options
| author | Jack Frankland <jack.frankland@arm.com> | 2023-09-13 15:47:48 +0100 |
|---|---|---|
| committer | Jeremy Johnson <jeremy.johnson@arm.com> | 2023-10-02 11:30:47 +0100 |
| commit | 62737b15a30e431dcefaaf28001f304e46598fc6 (patch) | |
| tree | c22f4e3cb416eda3105f9bff903d698dace2f35f /reference_model/src/verify/verify_utils.h | |
| parent | fbf76784f8ec9650f25d4debfd599bd095cf41c2 (diff) | |
| download | reference_model-62737b15a30e431dcefaaf28001f304e46598fc6.tar.gz | |
Add ULP verification for fp32
Add a verifier to check two results are correct within a certain ULP
tolerance for IEEE-754 32-bit floating point values.
Add a test to check the ULP verifier is correct.
Signed-off-by: Jack Frankland <jack.frankland@arm.com>
Change-Id: Iaf43069f300999479d998e7837746b247ca5177e
Diffstat (limited to 'reference_model/src/verify/verify_utils.h')
| -rw-r--r-- | reference_model/src/verify/verify_utils.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reference_model/src/verify/verify_utils.h b/reference_model/src/verify/verify_utils.h index 3a527da..510b9cb 100644 --- a/reference_model/src/verify/verify_utils.h +++ b/reference_model/src/verify/verify_utils.h @@ -51,7 +51,7 @@ struct UlpInfo { UlpInfo() = default; - float ulp; + uint64_t ulp; }; /// \brief Dot-product verification meta-data |