aboutsummaryrefslogtreecommitdiff
path: root/reference_model/src/verify/verify_utils.h
diff options
context:
space:
mode:
authorJeremy Johnson <jeremy.johnson@arm.com>2023-09-14 16:43:48 +0100
committerJeremy Johnson <jeremy.johnson@arm.com>2023-10-02 11:33:03 +0100
commitbb0935f868a5ab09403cf3628848655b06ac1dec (patch)
tree259a157d7c32a6134cbc83d2a2961c7f2e3529fa /reference_model/src/verify/verify_utils.h
parent62737b15a30e431dcefaaf28001f304e46598fc6 (diff)
downloadreference_model-bb0935f868a5ab09403cf3628848655b06ac1dec.tar.gz
Update verifier library data-type support
Make compliance meta-data data-type required for all. Add data-type checking for all verifier modes. Add initial enum support for new ROUND compliance mode. Improve print out information from library. Use numpy ctypes.data_as to get f16 support compared to ctypes_lib. Signed-off-by: Jeremy Johnson <jeremy.johnson@arm.com> Change-Id: Ie983ba4ea958a88556f30c09b3ebc19cd9ec96b7
Diffstat (limited to 'reference_model/src/verify/verify_utils.h')
-rw-r--r--reference_model/src/verify/verify_utils.h7
1 files changed, 4 insertions, 3 deletions
diff --git a/reference_model/src/verify/verify_utils.h b/reference_model/src/verify/verify_utils.h
index 510b9cb..5b98f5c 100644
--- a/reference_model/src/verify/verify_utils.h
+++ b/reference_model/src/verify/verify_utils.h
@@ -26,7 +26,7 @@
#define TOSA_REF_REQUIRE(COND, MESSAGE) \
if (!(COND)) \
{ \
- WARNING(MESSAGE); \
+ WARNING("tosa verifier: " MESSAGE "."); \
return false; \
}
@@ -43,7 +43,8 @@ enum class VerifyMode
Ulp,
DotProduct,
ReduceProduct,
- FpSpecial
+ FpSpecial,
+ Round
};
/// \brief ULP verification meta-data
@@ -59,7 +60,6 @@ struct DotProductVerifyInfo
{
DotProductVerifyInfo() = default;
- DType dataType;
int32_t s;
int32_t ks;
};
@@ -70,6 +70,7 @@ struct VerifyConfig
VerifyConfig() = default;
VerifyMode mode;
+ DType dataType;
UlpInfo ulpInfo;
DotProductVerifyInfo dotProductInfo;
};