diff options
author | Jeremy Johnson <jeremy.johnson@arm.com> | 2023-09-14 16:43:48 +0100 |
---|---|---|
committer | Jeremy Johnson <jeremy.johnson@arm.com> | 2023-10-02 11:33:03 +0100 |
commit | bb0935f868a5ab09403cf3628848655b06ac1dec (patch) | |
tree | 259a157d7c32a6134cbc83d2a2961c7f2e3529fa /reference_model/src/verify/verify_utils.cc | |
parent | 62737b15a30e431dcefaaf28001f304e46598fc6 (diff) | |
download | reference_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.cc')
-rw-r--r-- | reference_model/src/verify/verify_utils.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/reference_model/src/verify/verify_utils.cc b/reference_model/src/verify/verify_utils.cc index bb4feaa..786ab40 100644 --- a/reference_model/src/verify/verify_utils.cc +++ b/reference_model/src/verify/verify_utils.cc @@ -48,6 +48,7 @@ NLOHMANN_JSON_SERIALIZE_ENUM(VerifyMode, { VerifyMode::DotProduct, "DOT_PRODUCT" }, { VerifyMode::ReduceProduct, "REDUCE_PRODUCT" }, { VerifyMode::FpSpecial, "FP_SPECIAL" }, + { VerifyMode::Round, "ROUND" }, }) void from_json(const nlohmann::json& j, UlpInfo& ulpInfo) @@ -57,7 +58,6 @@ void from_json(const nlohmann::json& j, UlpInfo& ulpInfo) void from_json(const nlohmann::json& j, DotProductVerifyInfo& dotProductInfo) { - j.at("data_type").get_to(dotProductInfo.dataType); j.at("s").get_to(dotProductInfo.s); j.at("ks").get_to(dotProductInfo.ks); } @@ -65,6 +65,7 @@ void from_json(const nlohmann::json& j, DotProductVerifyInfo& dotProductInfo) void from_json(const nlohmann::json& j, VerifyConfig& cfg) { j.at("mode").get_to(cfg.mode); + j.at("data_type").get_to(cfg.dataType); if (j.contains("ulp_info")) { j.at("ulp_info").get_to(cfg.ulpInfo); |