forked from github/verilator
97add4d57a
`V3SchedTiming` currently assumes that if a fork still exists, it must
have statements within it (otherwise it would have been deleted by
`V3Timing`). However, in a case like this:
```
module t;
reg a;
initial fork a = 1; join
endmodule
```
the assignment in the fork is optimized out by `V3Dead` after
`V3Timing`. This leads to `V3SchedTiming` accessing fork's `stmtsp`
pointer, which at this point is null. This patch addresses that issue.
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
85 lines
2.4 KiB
Systemverilog
85 lines
2.4 KiB
Systemverilog
// DESCRIPTION: Verilator: Verilog Test module
|
|
//
|
|
// This file ONLY is placed under the Creative Commons Public Domain, for
|
|
// any use, without warranty, 2022 by Antmicro Ltd.
|
|
// SPDX-License-Identifier: CC0-1.0
|
|
|
|
module t;
|
|
event e1;
|
|
event e2;
|
|
event e3;
|
|
|
|
initial begin
|
|
fork
|
|
begin /*empty*/ end
|
|
#8 $write("[%0t] fork..join process 1\n", $time);
|
|
#4 $write("[%0t] fork..join process 2\n", $time);
|
|
#2 $write("[%0t] fork..join process 3\n", $time);
|
|
$write("[%0t] fork..join process 4\n", $time);
|
|
begin : fork_in_fork #16
|
|
$write("[%0t] fork in fork starts\n", $time);
|
|
fork
|
|
#16 $write("[%0t] fork..join process 5\n", $time);
|
|
#8 $write("[%0t] fork..join process 6\n", $time);
|
|
#4 $write("[%0t] fork..join process 7\n", $time);
|
|
$write("[%0t] fork..join process 8\n", $time);
|
|
join
|
|
$write("[%0t] fork..join in fork ends\n", $time);
|
|
end
|
|
join
|
|
#32 $write("[%0t] main process\n", $time);
|
|
fork
|
|
begin
|
|
@e1;
|
|
$write("fork..join_any process 1\n");
|
|
->e1;
|
|
end
|
|
$write("fork..join_any process 2\n");
|
|
join_any
|
|
$write("back in main process\n");
|
|
#1 ->e1;
|
|
#1 fork
|
|
#2 $write("fork..join_any process 1\n");
|
|
begin
|
|
@e1;
|
|
$write("fork..join_any process 2\n");
|
|
->e1;
|
|
end
|
|
join_any
|
|
$write("back in main process\n");
|
|
#1 ->e1;
|
|
@e1;
|
|
// Order of triggering:
|
|
// p1->e2 ==> p2->e3 ==> p3->e3 ==> p2->e2 ==> p1->e3 ==> p3->e1
|
|
fork
|
|
begin
|
|
#1 $write("fork..join_none process 1\n");
|
|
->e2;
|
|
@e2 $write("fork..join_none process 1 again\n");
|
|
#1 ->e3;
|
|
end
|
|
begin
|
|
@e2 $write("fork..join_none process 2\n");
|
|
#1 ->e3;
|
|
@e3 $write("fork..join_none process 2 again\n");
|
|
#1 ->e2;
|
|
end
|
|
begin
|
|
@e3 $write("fork..join_none process 3\n");
|
|
#1 ->e3;
|
|
@e3 $write("fork..join_none process 3 again\n");
|
|
->e1;
|
|
end
|
|
join_none
|
|
$write("in main process\n");
|
|
@e1;
|
|
$write("*-* All Finished *-*\n");
|
|
$finish;
|
|
end
|
|
initial #100 $stop; // timeout
|
|
|
|
// Test optimized-out fork statements:
|
|
reg a;
|
|
initial fork a = 1; join
|
|
endmodule
|