v2: split transformer and cleanc into more files; move variadic fn logic from cleanc to transformer

Author: medvednikov

cmd/v2/test.v

@@ -1619,6 +1619,46 @@ fn test_array_type_resolution() {
 	print_str('array type resolution (fn arg): ok')
 }
 
+// Helper: variadic function returning sum of all args
+fn variadic_sum(vals ...int) int {
+	mut s := 0
+	for v in vals {
+		s += v
+	}
+	return s
+}
+
+// Helper: variadic function with a fixed first param
+fn variadic_with_fixed(base int, extras ...int) int {
+	mut s := base
+	for v in extras {
+		s += v
+	}
+	return s
+}
+
+fn test_variadic_call_lowering() {
+	// 98.1 Basic variadic call with multiple args
+	r1 := variadic_sum(1, 2, 3)
+	assert r1 == 6
+	print_str('variadic call lowering (basic sum): ok')
+
+	// 98.2 Variadic call with two args
+	r2 := variadic_sum(10, 20)
+	assert r2 == 30
+	print_str('variadic call lowering (two args): ok')
+
+	// 98.3 Variadic call with single arg
+	r3 := variadic_sum(42)
+	assert r3 == 42
+	print_str('variadic call lowering (single arg): ok')
+
+	// 98.4 Variadic with fixed + variadic params
+	r4 := variadic_with_fixed(100, 10, 20, 30)
+	assert r4 == 160
+	print_str('variadic call lowering (fixed + variadic): ok')
+}
+
 // ===================== MAIN TEST FUNCTION =====================
 
 fn main() {
@@ -5184,5 +5224,11 @@ fn main() {
 	print_str('--- Test 97: Array type resolution ---')
 	test_array_type_resolution()
 
+	// ==================== 98. VARIADIC CALL LOWERING ====================
+	// Tests that variadic function calls are lowered in the transformer:
+	// extra args beyond declared params are wrapped into an array literal.
+	print_str('--- Test 98: Variadic call lowering ---')
+	test_variadic_call_lowering()
+
 	print_str('=== All tests completed ===')
 }

vlib/v2/gen/cleanc/array.v

@@ -369,8 +369,6 @@ fn (mut g Gen) is_fixed_array_selector(sel ast.SelectorExpr) bool {
 	return false
 }
 
-// expr_contains_ident checks if an AST expression contains an identifier with the given name.
-
 fn (mut g Gen) gen_array_init_expr(node ast.ArrayInitExpr) {
 	raw_elem := g.extract_array_elem_type(node.typ)
 	// Convert C pointer syntax to mangled name for composite types:
@@ -400,7 +398,7 @@ fn (mut g Gen) gen_array_init_expr(node ast.ArrayInitExpr) {
 				if i > 0 {
 					g.sb.write_string(', ')
 				}
-				g.gen_expr(e)
+				g.expr(e)
 			}
 			g.sb.write_string('}')
 			return
@@ -411,7 +409,7 @@ fn (mut g Gen) gen_array_init_expr(node ast.ArrayInitExpr) {
 			if i > 0 {
 				g.sb.write_string(', ')
 			}
-			g.gen_expr(e)
+			g.expr(e)
 		}
 		g.sb.write_string('}')
 		return
@@ -518,7 +516,7 @@ fn (mut g Gen) try_emit_const_dynamic_array_call(name string, value ast.Expr) bo
 			if i > 0 {
 				g.sb.write_string(', ')
 			}
-			g.gen_expr(e)
+			g.expr(e)
 		}
 		g.sb.writeln('};')
 		g.sb.writeln('array ${name} = ((array){ .data = ${data_name}, .offset = 0, .len = ${len_expr}, .cap = ${cap_expr}, .flags = 0, .element_size = sizeof(${elem_type}) });')
@@ -532,17 +530,17 @@ fn (mut g Gen) gen_fixed_array_cmp_operand(expr ast.Expr, fixed_type string) {
 	// For ArrayInitExpr (fixed array literals), wrap in compound literal
 	if expr is ast.ArrayInitExpr {
 		g.sb.write_string('(${fixed_type})')
-		g.gen_expr(expr)
+		g.expr(expr)
 		return
 	}
 	// Unwrap parens to find ArrayInitExpr inside
 	if expr is ast.ParenExpr {
 		inner := g.unwrap_parens(expr.expr)
 		if inner is ast.ArrayInitExpr {
 			g.sb.write_string('(${fixed_type})')
-			g.gen_expr(inner)
+			g.expr(inner)
 			return
 		}
 	}
-	g.gen_expr(expr)
+	g.expr(expr)
 }