From 8753f3aa944c87e779db2d2c4ba9d9df241b87b1 Mon Sep 17 00:00:00 2001
From: Jeremy Johnson <jeremy.johnson@arm.com>
Date: Thu, 11 Apr 2024 16:50:15 +0100
Subject: Improve coverage of FP Binary 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: I2ab131f6ab80e3061a56cd5b8076225011af652e
---
 verif/conformance/tosa_main_profile_ops_info.json | 54 ++++++++---------------
 1 file changed, 18 insertions(+), 36 deletions(-)

diff --git a/verif/conformance/tosa_main_profile_ops_info.json b/verif/conformance/tosa_main_profile_ops_info.json
index 8a52423..753fd1d 100644
--- a/verif/conformance/tosa_main_profile_ops_info.json
+++ b/verif/conformance/tosa_main_profile_ops_info.json
@@ -67,7 +67,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": [
@@ -83,6 +83,8 @@
                         "--tensor-dim-range",
                         "16,64",
                         "--target-rank",
+                        "0",
+                        "--target-rank",
                         "1",
                         "--target-rank",
                         "2",
@@ -116,11 +118,6 @@
         },
         "selection": {
             "default": {
-                "params": {},
-                "permutes": [
-                    "shape",
-                    "type"
-                ]
             }
         }
     },
@@ -2010,7 +2007,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": [
@@ -2026,6 +2023,8 @@
                         "--tensor-dim-range",
                         "16,64",
                         "--target-rank",
+                        "0",
+                        "--target-rank",
                         "1",
                         "--target-rank",
                         "2",
@@ -2059,11 +2058,6 @@
         },
         "selection": {
             "default": {
-                "params": {},
-                "permutes": [
-                    "shape",
-                    "type"
-                ]
             }
         }
     },
@@ -2789,7 +2783,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": [
@@ -2805,6 +2799,8 @@
                         "--tensor-dim-range",
                         "16,64",
                         "--target-rank",
+                        "0",
+                        "--target-rank",
                         "1",
                         "--target-rank",
                         "2",
@@ -2842,11 +2838,6 @@
         },
         "selection": {
             "default": {
-                "params": {},
-                "permutes": [
-                    "shape",
-                    "type"
-                ]
             }
         }
     },
@@ -2855,7 +2846,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": [
@@ -2871,6 +2862,8 @@
                         "--tensor-dim-range",
                         "16,64",
                         "--target-rank",
+                        "0",
+                        "--target-rank",
                         "1",
                         "--target-rank",
                         "2",
@@ -2908,11 +2901,6 @@
         },
         "selection": {
             "default": {
-                "params": {},
-                "permutes": [
-                    "shape",
-                    "type"
-                ]
             }
         }
     },
@@ -2921,7 +2909,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",
@@ -2938,6 +2926,8 @@
                         "--tensor-dim-range",
                         "16,64",
                         "--target-rank",
+                        "0",
+                        "--target-rank",
                         "1",
                         "--target-rank",
                         "2",
@@ -2971,11 +2961,6 @@
         },
         "selection": {
             "default": {
-                "params": {},
-                "permutes": [
-                    "shape",
-                    "type"
-                ]
             }
         }
     },
@@ -3541,7 +3526,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": [
@@ -3557,6 +3542,8 @@
                         "--tensor-dim-range",
                         "16,64",
                         "--target-rank",
+                        "0",
+                        "--target-rank",
                         "1",
                         "--target-rank",
                         "2",
@@ -3590,11 +3577,6 @@
         },
         "selection": {
             "default": {
-                "params": {},
-                "permutes": [
-                    "shape",
-                    "type"
-                ]
             }
         }
     },
-- 
cgit v1.2.1