You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Author Name: Joe Eiler
Original Redmine Issue: 333 from https://www.veripool.org
Original Date: 2011-03-10
Original Assignee: Wilson Snyder (@wsnyder)
This might be intended behavior. I would have expected width mismatch warnings but was confused by the BLKLOOPINIT warnings. Below is a patch to the t_unroll_signed regression test that illustrates what I saw.
--- t_unroll_signed.v 2008-06-09 19:17:16.000000000 -0500
+++ t_jce_unroll.v 2011-03-10 14:50:02.000000000 -0600
@@ -118,6 +118,36 @@
if (total != -28) $stop;
end
//===
+ 10: begin
+ // mostly cover a small index
+ total = 0;
+ for (i3=0; i3<3'd7; i3=i3+3'd1) begin
+ total = total - {29'd0,i3} -1;
+ dly_to_insure_was_unrolled[i3[0]] <= 0;
+ end
+ if (total != -28) $stop;
+ end
+ //===
+ 11: begin
+ // mostly cover a small index
+ total = 0;
+ for (i3=3'd0; i3<7; i3=i3+3'd1) begin
+ total = total - {29'd0,i3} -1;
+ dly_to_insure_was_unrolled[i3[0]] <= 0;
+ end
+ if (total != -28) $stop;
+ end
+ //===
+ 12: begin
+ // mostly cover a small index
+ total = 0;
+ for (i3=3'd0; i3<3'd7; i3=i3+1) begin
+ total = total - {29'd0,i3} -1;
+ dly_to_insure_was_unrolled[i3[0]] <= 0;
+ end
+ if (total != -28) $stop;
+ end
+ //===
19: begin
$write("*-* All Finished *-*\n");
$finish;
The text was updated successfully, but these errors were encountered:
Author Name: Joe Eiler
Original Redmine Issue: 333 from https://www.veripool.org
Original Date: 2011-03-10
Original Assignee: Wilson Snyder (@wsnyder)
This might be intended behavior. I would have expected width mismatch warnings but was confused by the BLKLOOPINIT warnings. Below is a patch to the t_unroll_signed regression test that illustrates what I saw.
The text was updated successfully, but these errors were encountered: