Add reduce product verifier

* Add verifiers to validate the result of a reduce produce operation.
* Add test cases for the new validator.

Change-Id: I666d1a67f498e7893e0f224bc5408a4134f2ef6c
Signed-off-by: Jack Frankland <jack.frankland@arm.com>

1 files changed, 10 insertions, 0 deletions

diff --git a/reference_model/src/verify/verify_utils.h b/reference_model/src/verify/verify_utils.h
index 5b98f5c..0afd804 100644
--- a/reference_model/src/verify/verify_utils.h
+++ b/reference_model/src/verify/verify_utils.h
@@ -64,6 +64,15 @@ struct DotProductVerifyInfo
     int32_t ks;
 };
 
+/// \brief reduce-product verification meta-data
+struct ReduceProductVerifyInfo
+{
+    ReduceProductVerifyInfo() = default;
+
+    int64_t m;
+    int64_t n;
+};
+
 /// \brief Verification meta-data
 struct VerifyConfig
 {
@@ -73,6 +82,7 @@ struct VerifyConfig
     DType dataType;
     UlpInfo ulpInfo;
     DotProductVerifyInfo dotProductInfo;
+    ReduceProductVerifyInfo reduceProductInfo;
 };
 
 /// \brief Parse the verification config for a tensor when given in JSON form