Add regression test for package-scoped events

Check that package-scoped events can be triggered and waited on, including
triggers used as the direct body of an `if`/`else` statement.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>

Author: larsclausen

ivtest/ivltests/sv_package_event_trigger.v

@@ -0,0 +1,40 @@
+// Check that package-scoped events are supported.
+
+package p;
+  event e;
+endpackage
+
+module test;
+
+  integer count;
+  reg failed;
+
+  always @(p::e) begin
+    count = count + 1;
+  end
+
+  initial begin
+    count = 0;
+    failed = 1'b0;
+    #1;
+    // The trigger must be the direct if body to expose a separate semicolon.
+    if (1) -> p::e;
+    else begin
+      failed = 1'b1;
+    end
+    #1;
+    if (0) -> p::e;
+    else begin
+      if (count !== 1) begin
+        failed = 1'b1;
+      end
+    end
+    #1;
+    if (failed || count !== 1) begin
+      $display("FAILED: count=%0d", count);
+    end else begin
+      $display("PASSED");
+    end
+  end
+
+endmodule

ivtest/regress-vvp.list

@@ -618,6 +618,7 @@ sv_named_type_var_fail	vvp_tests/sv_named_type_var_fail.json
 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_null_default_argument	vvp_tests/sv_null_default_argument.json
+sv_package_event_trigger		vvp_tests/sv_package_event_trigger.json
 sv_package_function_void_cast	vvp_tests/sv_package_function_void_cast.json
 sv_package_import_copy_new	vvp_tests/sv_package_import_copy_new.json
 sv_package_import_cross_unit	vvp_tests/sv_package_import_cross_unit.json

ivtest/vvp_tests/sv_package_event_trigger.json

@@ -0,0 +1,5 @@
+{
+    "type"          : "normal",
+    "source"        : "sv_package_event_trigger.v",
+    "iverilog-args" : [ "-g2005-sv" ]
+}