1 files changed, 29 insertions, 0 deletions
diff --git a/tests/various/const_arg_loop.v b/tests/various/const_arg_loop.v
index 3bfff4acd..358fb439a 100644
--- a/tests/various/const_arg_loop.v
+++ b/tests/various/const_arg_loop.v
@@ -14,6 +14,11 @@ module top;
 		end
 	endfunction
 
+	function automatic [31:0] pass_through;
+		input [31:0] inp;
+		pass_through = inp;
+	endfunction
+
 	function automatic [31:0] operation2;
 		input [4:0] var;
 		input integer num;
@@ -39,6 +44,18 @@ module top;
 		end
 	endfunction
 
+	function automatic [16:0] operation4;
+		input [15:0] a;
+		input b;
+		operation4 = {a, b};
+	endfunction
+
+	function automatic integer operation5;
+		input x;
+		integer x;
+		operation5 = x;
+	endfunction
+
 	wire [31:0] a;
 	assign a = 2;
 
@@ -47,18 +64,30 @@ module top;
 	wire [31:0] x1;
 	assign x1 = operation1(A, a);
 
+	wire [31:0] x1b;
+	assign x1b = operation1(pass_through(A), a);
+
 	wire [31:0] x2;
 	assign x2 = operation2(A, a);
 
 	wire [31:0] x3;
 	assign x3 = operation3(A, a);
 
+	wire [16:0] x4;
+	assign x4 = operation4(a[15:0], 0);
+
+	wire [31:0] x5;
+	assign x5 = operation5(64);
+
 // `define VERIFY
 `ifdef VERIFY
     assert property (a == 2);
     assert property (A == 3);
     assert property (x1 == 16);
+    assert property (x1b == 16);
     assert property (x2 == 4);
     assert property (x3 == 16);
+    assert property (x4 == a << 1);
+    assert property (x5 == 64);
 `endif
 endmodule