diff options
author | Jeremy Johnson <jeremy.johnson@arm.com> | 2024-04-10 16:55:58 +0100 |
---|---|---|
committer | Dominic Symes <dominic.symes@arm.com> | 2024-04-18 08:48:03 +0000 |
commit | 87e287bb926d9c71f7a85437a272834e7797ad54 (patch) | |
tree | 864df472cd4241517e759555bedf8a26eda87c6f /verif | |
parent | 962e27dc063ea2788feac32ed73cdff7083ed5e7 (diff) | |
download | reference_model-87e287bb926d9c71f7a85437a272834e7797ad54.tar.gz |
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
Diffstat (limited to 'verif')
-rw-r--r-- | verif/conformance/tosa_main_profile_ops_info.json | 72 |
1 files 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" - ] } } }, |