aboutsummaryrefslogtreecommitdiff
path: root/reference_model/src/verify/verify_entry.cc
diff options
context:
space:
mode:
authorJeremy Johnson <jeremy.johnson@arm.com>2023-10-24 14:45:12 +0100
committerEric Kunze <eric.kunze@arm.com>2023-10-25 17:47:09 +0000
commitfc5e34e41afc07ea5ed03e3c5d4b5be92bef7fd7 (patch)
treecbb2556e96ddf1e53dff888e54e76586f46e00fc /reference_model/src/verify/verify_entry.cc
parentfd8c8fe887d49223b4d4c66d38e79d6e4c648fef (diff)
downloadreference_model-fc5e34e41afc07ea5ed03e3c5d4b5be92bef7fd7.tar.gz
Improve verfiy and generate library validation
Improved libraries validation to catch unknown values. Improved verify output to match generate library. Refactored generate tests to use less code duplication. Signed-off-by: Jeremy Johnson <jeremy.johnson@arm.com> Change-Id: I9c38745fbc8e70f46c19ddae6c62ee248d33b5f1
Diffstat (limited to 'reference_model/src/verify/verify_entry.cc')
-rw-r--r--reference_model/src/verify/verify_entry.cc17
1 files changed, 8 insertions, 9 deletions
diff --git a/reference_model/src/verify/verify_entry.cc b/reference_model/src/verify/verify_entry.cc
index 1ddd52b..67eb7df 100644
--- a/reference_model/src/verify/verify_entry.cc
+++ b/reference_model/src/verify/verify_entry.cc
@@ -41,7 +41,7 @@ bool verify(const CTensor* ref, const CTensor* refBnd, const CTensor* imp, const
return verifyULP(ref, imp, cfg.ulpInfo.ulp);
}
default: {
- WARNING("tosa verifier: unsupported verification mode.");
+ WARNING("[Verifier] Unsupported verification mode.");
break;
}
}
@@ -60,37 +60,36 @@ extern "C"
// Check inputs for nullptr
if (!ref || !imp || !config_json)
{
- WARNING("tosa verifier: one of the inputs is missing.");
+ WARNING("[Verifier] One of the inputs is missing.");
return false;
}
// Extract verification config
if (!ref->name)
{
- WARNING("tosa verifier: tensor name is not specified.");
+ WARNING("[Verifier] Tensor name is not specified.");
return false;
}
auto cfg = TosaReference::parseVerifyConfig(ref->name, config_json);
if (!cfg)
{
- WARNING("tosa verifier: invalid json config.");
return false;
}
// Validate shape
if (ref->num_dims != imp->num_dims)
{
- WARNING("tosa verifier: tensors have different number of dimensions.");
+ WARNING("[Verifier] Tensors have different number of dimensions.");
return false;
}
if (!ref->shape || !imp->shape)
{
- WARNING("tosa verifier: one of tensors' shape is missing.");
+ WARNING("[Verifier] One of tensors' shape is missing.");
return false;
}
if (std::vector(ref->shape, ref->shape + ref->num_dims) != std::vector(imp->shape, imp->shape + imp->num_dims))
{
- WARNING("tosa verifier: tensors have different shapes.");
+ WARNING("[Verifier] Tensors have different shapes.");
return false;
}
@@ -99,7 +98,7 @@ extern "C"
{
if (cfg->dataType != TosaReference::mapToDType(imp->data_type))
{
- WARNING("tosa verifier: incorrect tensor data type.");
+ WARNING("[Verifier] Incorrect tensor data type.");
return false;
}
}
@@ -107,7 +106,7 @@ extern "C"
{
if (ref->data_type != imp->data_type)
{
- WARNING("tosa verifier: tensors have different data types.");
+ WARNING("[Verifier] Tensors have different data types.");
return false;
}
}