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_entry.cc | |
| 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_entry.cc')
| -rw-r--r-- | reference_model/src/verify/verify_entry.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/reference_model/src/verify/verify_entry.cc b/reference_model/src/verify/verify_entry.cc index 1c48354..1f7c680 100644 --- a/reference_model/src/verify/verify_entry.cc +++ b/reference_model/src/verify/verify_entry.cc @@ -34,6 +34,9 @@ bool verify(const CTensor* ref, const CTensor* refBnd, const CTensor* imp, const case VerifyMode::Exact: { return verifyExact(ref, imp); } + case VerifyMode::Ulp: { + return verifyULP(ref, imp, cfg.ulpInfo.ulp); + } default: { WARNING("unsupported verification mode."); break; |