diff options
author | Jeremy Johnson <jeremy.johnson@arm.com> | 2024-04-11 16:50:15 +0100 |
---|---|---|
committer | Dominic Symes <dominic.symes@arm.com> | 2024-04-18 08:48:20 +0000 |
commit | 8753f3aa944c87e779db2d2c4ba9d9df241b87b1 (patch) | |
tree | e50767515eda65ddac46e995085e7c68c5039d05 /verif | |
parent | 87e287bb926d9c71f7a85437a272834e7797ad54 (diff) | |
download | reference_model-8753f3aa944c87e779db2d2c4ba9d9df241b87b1.tar.gz |
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
Diffstat (limited to 'verif')
-rw-r--r-- | verif/conformance/tosa_main_profile_ops_info.json | 54 |
1 files 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" - ] } } }, |