Fix t_debug_emitv golden file: update while-loop emit after upstream unroll change
Upstream commit 7607f0e7f changed how while loops over queue.size() are
emitted, adding an __Vrepeat0 temporary variable.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
This commit is contained in:
parent
5b3f5e3f75
commit
7e87abb4fd
|
|
@ -994,9 +994,14 @@ package Vt_debug_emitv_std;
|
|||
KILLED))endtask
|
||||
task killQueue;
|
||||
ref Vt_debug_emitv_process processQueue[$]Vt_debug_emitv_process;
|
||||
while ((processQueue.size() > 'sh0)) begin
|
||||
begin
|
||||
kill();
|
||||
begin : unnamedblk1_1
|
||||
integer signed __Vrepeat0;
|
||||
__Vrepeat0 = processQueue.size();
|
||||
while ((__Vrepeat0 > 32'h0)) begin
|
||||
begin
|
||||
kill();
|
||||
end
|
||||
__Vrepeat0 = (__Vrepeat0 - 32'h1);
|
||||
end
|
||||
end
|
||||
endtask
|
||||
|
|
|
|||
Loading…
Reference in New Issue