From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 1 May 2019 07:32:07 +0000 (+0200)
Subject: Add additional test cases for for-loops
X-Git-Tag: yosys-0.9~142^2~3
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e5cb9435a064461b56d55dc6ba1241ba1f179119;p=yosys.git

Add additional test cases for for-loops

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/tests/simple/forloops.v b/tests/simple/forloops.v
new file mode 100644
index 000000000..8665222d8
--- /dev/null
+++ b/tests/simple/forloops.v
@@ -0,0 +1,25 @@
+module forloops01 (input clk, a, b, output reg [3:0] p, q, x, y);
+	integer k;
+	always @(posedge clk) begin
+		for (k=0; k<2; k=k+1)
+			p[2*k +: 2] = {a, b} ^ {2{k}};
+		x <= k + {a, b};
+	end
+	always @* begin
+		for (k=0; k<4; k=k+1)
+			q[k] = {~a, ~b, a, b} >> k[1:0];
+		y = k - {a, b};
+	end
+endmodule
+
+module forloops02 (input clk, a, b, output reg [3:0] q, x, output [3:0] y);
+	integer k;
+	always @* begin
+		for (k=0; k<4; k=k+1)
+			q[k] = {~a, ~b, a, b} >> k[1:0];
+	end
+	always @* begin
+		x = k + {a, b};
+	end
+	assign y = k - {a, b};
+endmodule