ivtest: Move parameter omit tests to JSON

The parameter_omit tests have different expectations depending on whether the
regression is run in the default Verilog mode or with force SystemVerilog.
The old list files modelled this by registering the same tests in both
regress-vlg.list and regress-fsv.list.

Move the tests to JSON descriptors. Use the existing force-sv override for the
forms that are valid SystemVerilog, and keep the implicit type cases as CE in
both modes. This also runs the tests through the additional configurations
supported by vvp_reg.py, providing better coverage in CI.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
This commit is contained in:
Lars-Peter Clausen 2026-07-09 20:13:44 -07:00
parent 20a34d33c6
commit c0cf842eb2
9 changed files with 39 additions and 9 deletions

View File

@ -84,9 +84,6 @@ module_input_port_list_def normal ivltests
module_input_port_type normal ivltests module_input_port_type normal ivltests
parameter_in_generate1 normal ivltests parameter_in_generate1 normal ivltests
parameter_no_default normal ivltests parameter_no_default normal ivltests
parameter_omit1 normal ivltests
parameter_omit2 normal ivltests
parameter_omit3 normal ivltests
pr3015421 CE ivltests gold=pr3015421-fsv.gold pr3015421 CE ivltests gold=pr3015421-fsv.gold
resetall normal,-Wtimescale ivltests gold=resetall-fsv.gold resetall normal,-Wtimescale ivltests gold=resetall-fsv.gold
scope2b normal ivltests scope2b normal ivltests

View File

@ -761,12 +761,6 @@ param_times normal ivltests # param has multiplication.
parameter_1bit normal ivltests parameter_1bit normal ivltests
parameter_in_generate1 CE ivltests parameter_in_generate1 CE ivltests
parameter_no_default CE ivltests parameter_no_default CE ivltests
parameter_omit1 CE ivltests
parameter_omit2 CE ivltests
parameter_omit3 CE ivltests
parameter_omit_invalid1 CE ivltests
parameter_omit_invalid2 CE ivltests
parameter_omit_invalid3 CE ivltests
parameter_override_invalid1 CE ivltests parameter_override_invalid1 CE ivltests
parameter_override_invalid2 CE ivltests parameter_override_invalid2 CE ivltests
parameter_override_invalid3 CE ivltests parameter_override_invalid3 CE ivltests

View File

@ -371,6 +371,12 @@ sv_net_array_decl_assign vvp_tests/sv_net_array_decl_assign.json
sv_net_decl_assign vvp_tests/sv_net_decl_assign.json sv_net_decl_assign vvp_tests/sv_net_decl_assign.json
sv_package_lifetime vvp_tests/sv_package_lifetime.json sv_package_lifetime vvp_tests/sv_package_lifetime.json
sv_package_lifetime_fail vvp_tests/sv_package_lifetime_fail.json sv_package_lifetime_fail vvp_tests/sv_package_lifetime_fail.json
parameter_omit1 vvp_tests/parameter_omit1.json
parameter_omit2 vvp_tests/parameter_omit2.json
parameter_omit3 vvp_tests/parameter_omit3.json
parameter_omit_invalid1 vvp_tests/parameter_omit_invalid1.json
parameter_omit_invalid2 vvp_tests/parameter_omit_invalid2.json
parameter_omit_invalid3 vvp_tests/parameter_omit_invalid3.json
sv_parameter_type vvp_tests/sv_parameter_type.json sv_parameter_type vvp_tests/sv_parameter_type.json
sv_partsel_var_negative_packed vvp_tests/sv_partsel_var_negative_packed.json sv_partsel_var_negative_packed vvp_tests/sv_partsel_var_negative_packed.json
sv_queue_ap_method vvp_tests/sv_queue_ap_method.json sv_queue_ap_method vvp_tests/sv_queue_ap_method.json

View File

@ -0,0 +1,7 @@
{
"type" : "CE",
"source" : "parameter_omit1.v",
"force-sv" : {
"type" : "normal"
}
}

View File

@ -0,0 +1,7 @@
{
"type" : "CE",
"source" : "parameter_omit2.v",
"force-sv" : {
"type" : "normal"
}
}

View File

@ -0,0 +1,7 @@
{
"type" : "CE",
"source" : "parameter_omit3.v",
"force-sv" : {
"type" : "normal"
}
}

View File

@ -0,0 +1,4 @@
{
"type" : "CE",
"source" : "parameter_omit_invalid1.v"
}

View File

@ -0,0 +1,4 @@
{
"type" : "CE",
"source" : "parameter_omit_invalid2.v"
}

View File

@ -0,0 +1,4 @@
{
"type" : "CE",
"source" : "parameter_omit_invalid3.v"
}