From 87e287bb926d9c71f7a85437a272834e7797ad54 Mon Sep 17 00:00:00 2001
From: Jeremy Johnson <jeremy.johnson@arm.com>
Date: Wed, 10 Apr 2024 16:55:58 +0100
Subject: Improve coverage of FP Unary Ops

Add Rank 0 tests.
Random usage of CONST verus INPUTs for tests.
Use new stable random and generator select modes.

Signed-off-by: Jeremy Johnson <jeremy.johnson@arm.com>
Change-Id: I9f5b982fdabc5a5b20f04d797d5f3452902c041e
---
 verif/conformance/tosa_main_profile_ops_info.json | 72 ++++++++---------------
 1 file changed, 24 insertions(+), 48 deletions(-)

diff --git a/verif/conformance/tosa_main_profile_ops_info.json b/verif/conformance/tosa_main_profile_ops_info.json
index 88de2d0..8a52423 100644
--- a/verif/conformance/tosa_main_profile_ops_info.json
+++ b/verif/conformance/tosa_main_profile_ops_info.json
@@ -4,7 +4,7 @@
         "profile": [
             "tosa-mi"
         ],
-        "support_for": [ "lazy_data_gen" ],
+        "support_for": [ "lazy_data_gen", "generator_select", "stable_random_gen", "random_const_inputs" ],
         "generation": {
             "standard": {
                 "generator_args": [
@@ -20,6 +20,8 @@
                         "--tensor-dim-range",
                         "16,64",
                         "--target-rank",
+                        "0",
+                        "--target-rank",
                         "1",
                         "--target-rank",
                         "2",
@@ -57,11 +59,6 @@
         },
         "selection": {
             "default": {
-                "params": {},
-                "permutes": [
-                    "shape",
-                    "type"
-                ]
             }
         }
     },
@@ -406,7 +403,7 @@
         "profile": [
             "tosa-mi"
         ],
-        "support_for": [ "lazy_data_gen" ],
+        "support_for": [ "lazy_data_gen", "generator_select", "stable_random_gen", "random_const_inputs" ],
         "generation": {
             "standard": {
                 "generator_args": [
@@ -422,6 +419,8 @@
                         "--tensor-dim-range",
                         "4,64",
                         "--target-rank",
+                        "0",
+                        "--target-rank",
                         "1",
                         "--target-rank",
                         "2",
@@ -459,11 +458,6 @@
         },
         "selection": {
             "default": {
-                "params": {},
-                "permutes": [
-                    "shape",
-                    "type"
-                ]
             }
         }
     },
@@ -1117,7 +1111,7 @@
         "profile": [
             "tosa-mi"
         ],
-        "support_for": [ "lazy_data_gen" ],
+        "support_for": [ "lazy_data_gen", "generator_select", "stable_random_gen", "random_const_inputs" ],
         "generation": {
             "standard": {
                 "generator_args": [
@@ -1133,6 +1127,8 @@
                         "--tensor-dim-range",
                         "15,64",
                         "--target-rank",
+                        "0",
+                        "--target-rank",
                         "1",
                         "--target-rank",
                         "2",
@@ -1166,11 +1162,6 @@
         },
         "selection": {
             "default": {
-                "params": {},
-                "permutes": [
-                    "shape",
-                    "type"
-                ]
             }
         }
     },
@@ -1281,7 +1272,7 @@
         "profile": [
             "tosa-mi"
         ],
-        "support_for": [ "lazy_data_gen" ],
+        "support_for": [ "lazy_data_gen", "generator_select", "stable_random_gen", "random_const_inputs" ],
         "generation": {
             "standard": {
                 "generator_args": [
@@ -1297,6 +1288,8 @@
                         "--tensor-dim-range",
                         "4,64",
                         "--target-rank",
+                        "0",
+                        "--target-rank",
                         "1",
                         "--target-rank",
                         "2",
@@ -1334,11 +1327,6 @@
         },
         "selection": {
             "default": {
-                "params": {},
-                "permutes": [
-                    "shape",
-                    "type"
-                ]
             }
         }
     },
@@ -1613,7 +1601,7 @@
         "profile": [
             "tosa-mi"
         ],
-        "support_for": [ "lazy_data_gen" ],
+        "support_for": [ "lazy_data_gen", "generator_select", "stable_random_gen", "random_const_inputs" ],
         "generation": {
             "standard": {
                 "generator_args": [
@@ -1629,6 +1617,8 @@
                         "--tensor-dim-range",
                         "15,64",
                         "--target-rank",
+                        "0",
+                        "--target-rank",
                         "1",
                         "--target-rank",
                         "2",
@@ -1662,11 +1652,6 @@
         },
         "selection": {
             "default": {
-                "params": {},
-                "permutes": [
-                    "shape",
-                    "type"
-                ]
             }
         }
     },
@@ -1833,7 +1818,7 @@
         "profile": [
             "tosa-mi"
         ],
-        "support_for": [ "lazy_data_gen" ],
+        "support_for": [ "lazy_data_gen", "generator_select", "stable_random_gen", "random_const_inputs" ],
         "generation": {
             "standard": {
                 "negative_dim_range": "1,10",
@@ -1850,6 +1835,8 @@
                         "--tensor-dim-range",
                         "17,64",
                         "--target-rank",
+                        "0",
+                        "--target-rank",
                         "1",
                         "--target-rank",
                         "2",
@@ -1887,11 +1874,6 @@
         },
         "selection": {
             "default": {
-                "params": {},
-                "permutes": [
-                    "shape",
-                    "type"
-                ]
             }
         }
     },
@@ -2090,7 +2072,7 @@
         "profile": [
             "tosa-mi"
         ],
-        "support_for": [ "lazy_data_gen" ],
+        "support_for": [ "lazy_data_gen", "generator_select", "stable_random_gen", "random_const_inputs" ],
         "generation": {
             "standard": {
                 "generator_args": [
@@ -2106,6 +2088,8 @@
                         "--tensor-dim-range",
                         "15,64",
                         "--target-rank",
+                        "0",
+                        "--target-rank",
                         "1",
                         "--target-rank",
                         "2",
@@ -2139,11 +2123,6 @@
         },
         "selection": {
             "default": {
-                "params": {},
-                "permutes": [
-                    "shape",
-                    "type"
-                ]
             }
         }
     },
@@ -2432,7 +2411,7 @@
         "profile": [
             "tosa-mi"
         ],
-        "support_for": [ "lazy_data_gen" ],
+        "support_for": [ "lazy_data_gen", "generator_select", "stable_random_gen", "random_const_inputs" ],
         "generation": {
             "standard": {
                 "generator_args": [
@@ -2448,6 +2427,8 @@
                         "--tensor-dim-range",
                         "15,64",
                         "--target-rank",
+                        "0",
+                        "--target-rank",
                         "1",
                         "--target-rank",
                         "2",
@@ -2481,11 +2462,6 @@
         },
         "selection": {
             "default": {
-                "params": {},
-                "permutes": [
-                    "shape",
-                    "type"
-                ]
             }
         }
     },
-- 
cgit v1.2.1