feat: support named arguments for builtins

src/codegen/tests/snapshots/rusty__codegen__tests__expression_tests__builtin_div_with_named_arguments.snap

@@ -0,0 +1,23 @@
+---
+source: src/codegen/tests/expression_tests.rs
+expression: res
+---
+; ModuleID = '<internal>'
+source_filename = "<internal>"
+target datalayout = "[filtered]"
+target triple = "[filtered]"
+
+define i32 @main() {
+entry:
+  %main = alloca i32, align 4
+  %x = alloca i32, align 4
+  %y = alloca i32, align 4
+  store i32 20, i32* %x, align 4
+  store i32 4, i32* %y, align 4
+  store i32 0, i32* %main, align 4
+  %load_x = load i32, i32* %x, align 4
+  %load_y = load i32, i32* %y, align 4
+  %tmpVar = sdiv i32 %load_x, %load_y
+  %main_ret = load i32, i32* %main, align 4
+  ret i32 %main_ret
+}

src/codegen/tests/snapshots/rusty__codegen__tests__expression_tests__builtin_function_call_lower_bound_with_named_arguments.snap

@@ -0,0 +1,48 @@
+---
+source: src/codegen/tests/expression_tests.rs
+expression: result
+---
+; ModuleID = '<internal>'
+source_filename = "<internal>"
+target datalayout = "[filtered]"
+target triple = "[filtered]"
+
+%main = type { [2 x i32], i32 }
+%__foo_vla = type { i32*, [2 x i32] }
+
+@main_instance = global %main zeroinitializer
+@____foo_vla__init = unnamed_addr constant %__foo_vla zeroinitializer
+
+define void @main(%main* %0) {
+entry:
+  %a = getelementptr inbounds %main, %main* %0, i32 0, i32 0
+  %b = getelementptr inbounds %main, %main* %0, i32 0, i32 1
+  %auto_deref = load [2 x i32], [2 x i32]* %a, align 4
+  %outer_arr_gep = getelementptr inbounds [2 x i32], [2 x i32]* %a, i32 0, i32 0
+  %vla_struct = alloca %__foo_vla, align 8
+  %vla_array_gep = getelementptr inbounds %__foo_vla, %__foo_vla* %vla_struct, i32 0, i32 0
+  %vla_dimensions_gep = getelementptr inbounds %__foo_vla, %__foo_vla* %vla_struct, i32 0, i32 1
+  store [2 x i32] [i32 0, i32 1], [2 x i32]* %vla_dimensions_gep, align 4
+  store i32* %outer_arr_gep, i32** %vla_array_gep, align 8
+  %1 = load %__foo_vla, %__foo_vla* %vla_struct, align 8
+  %vla_struct_ptr = alloca %__foo_vla, align 8
+  store %__foo_vla %1, %__foo_vla* %vla_struct_ptr, align 8
+  %call = call i32 @foo(%__foo_vla* %vla_struct_ptr)
+  store i32 %call, i32* %b, align 4
+  ret void
+}
+
+define i32 @foo(%__foo_vla* %0) {
+entry:
+  %foo = alloca i32, align 4
+  %vla = alloca %__foo_vla*, align 8
+  store %__foo_vla* %0, %__foo_vla** %vla, align 8
+  store i32 0, i32* %foo, align 4
+  %deref = load %__foo_vla*, %__foo_vla** %vla, align 8
+  %dim = getelementptr inbounds %__foo_vla, %__foo_vla* %deref, i32 0, i32 1
+  %1 = getelementptr inbounds [2 x i32], [2 x i32]* %dim, i32 0, i32 0
+  %2 = load i32, i32* %1, align 4
+  store i32 %2, i32* %foo, align 4
+  %foo_ret = load i32, i32* %foo, align 4
+  ret i32 %foo_ret
+}

src/codegen/tests/snapshots/rusty__codegen__tests__expression_tests__builtin_function_call_adr.snap → src/codegen/tests/snapshots/rusty__codegen__tests__expression_tests__builtin_function_call_move_with_named_argument.snap

@@ -1,21 +1,21 @@
 ---
 source: src/codegen/tests/expression_tests.rs
 expression: result
-snapshot_kind: text
 ---
 ; ModuleID = '<internal>'
 source_filename = "<internal>"
 target datalayout = "[filtered]"
 target triple = "[filtered]"
 
-%main = type { i32*, i32 }
+%main = type { i32, i32 }
 
 @main_instance = global %main zeroinitializer
 
 define void @main(%main* %0) {
 entry:
   %a = getelementptr inbounds %main, %main* %0, i32 0, i32 0
   %b = getelementptr inbounds %main, %main* %0, i32 0, i32 1
-  store i32* %b, i32** %a, align 8
+  %load_b = load i32, i32* %b, align 4
+  store i32 %load_b, i32* %a, align 4
   ret void
 }

src/codegen/tests/snapshots/rusty__codegen__tests__expression_tests__builtin_function_call_sel_with_named_argument.snap

@@ -0,0 +1,24 @@
+---
+source: src/codegen/tests/expression_tests.rs
+expression: result
+---
+; ModuleID = '<internal>'
+source_filename = "<internal>"
+target datalayout = "[filtered]"
+target triple = "[filtered]"
+
+%main = type { i32, i32, i32 }
+
+@main_instance = global %main zeroinitializer
+
+define void @main(%main* %0) {
+entry:
+  %a = getelementptr inbounds %main, %main* %0, i32 0, i32 0
+  %b = getelementptr inbounds %main, %main* %0, i32 0, i32 1
+  %c = getelementptr inbounds %main, %main* %0, i32 0, i32 2
+  %load_b = load i32, i32* %b, align 4
+  %load_c = load i32, i32* %c, align 4
+  %1 = select i1 true, i32 %load_c, i32 %load_b
+  store i32 %1, i32* %a, align 4
+  ret void
+}

src/codegen/tests/snapshots/rusty__codegen__tests__expression_tests__builtin_function_call_ref.snap → src/codegen/tests/snapshots/rusty__codegen__tests__expression_tests__builtin_function_call_sizeof_with_named_argument.snap

@@ -1,21 +1,20 @@
 ---
 source: src/codegen/tests/expression_tests.rs
 expression: result
-snapshot_kind: text
 ---
 ; ModuleID = '<internal>'
 source_filename = "<internal>"
 target datalayout = "[filtered]"
 target triple = "[filtered]"
 
-%main = type { i32*, i32 }
+%main = type { i32, i64 }
 
 @main_instance = global %main zeroinitializer
 
 define void @main(%main* %0) {
 entry:
   %a = getelementptr inbounds %main, %main* %0, i32 0, i32 0
   %b = getelementptr inbounds %main, %main* %0, i32 0, i32 1
-  store i32* %b, i32** %a, align 8
+  store i32 ptrtoint (i64* getelementptr (i64, i64* null, i32 1) to i32), i32* %a, align 4
   ret void
 }

src/codegen/tests/snapshots/rusty__codegen__tests__expression_tests__builtin_function_call_upper_bound_expr.snap

@@ -1,7 +1,6 @@
 ---
 source: src/codegen/tests/expression_tests.rs
 expression: result
-snapshot_kind: text
 ---
 ; ModuleID = '<internal>'
 source_filename = "<internal>"
@@ -45,6 +44,11 @@ entry:
   %1 = getelementptr inbounds [2 x i32], [2 x i32]* %dim, i32 0, i32 7
   %2 = load i32, i32* %1, align 4
   store i32 %2, i32* %foo, align 4
+  %deref1 = load %__foo_vla*, %__foo_vla** %vla, align 8
+  %dim2 = getelementptr inbounds %__foo_vla, %__foo_vla* %deref1, i32 0, i32 1
+  %3 = getelementptr inbounds [2 x i32], [2 x i32]* %dim2, i32 0, i32 7
+  %4 = load i32, i32* %3, align 4
+  store i32 %4, i32* %foo, align 4
   %foo_ret = load i32, i32* %foo, align 4
   ret i32 %foo_ret
 }

src/codegen/tests/snapshots/rusty__codegen__tests__expression_tests__builtin_function_call_upper_bound_with_named_argument.snap

@@ -0,0 +1,48 @@
+---
+source: src/codegen/tests/expression_tests.rs
+expression: result
+---
+; ModuleID = '<internal>'
+source_filename = "<internal>"
+target datalayout = "[filtered]"
+target triple = "[filtered]"
+
+%main = type { [2 x i32], i32 }
+%__foo_vla = type { i32*, [2 x i32] }
+
+@main_instance = global %main zeroinitializer
+@____foo_vla__init = unnamed_addr constant %__foo_vla zeroinitializer
+
+define void @main(%main* %0) {
+entry:
+  %a = getelementptr inbounds %main, %main* %0, i32 0, i32 0
+  %b = getelementptr inbounds %main, %main* %0, i32 0, i32 1
+  %auto_deref = load [2 x i32], [2 x i32]* %a, align 4
+  %outer_arr_gep = getelementptr inbounds [2 x i32], [2 x i32]* %a, i32 0, i32 0
+  %vla_struct = alloca %__foo_vla, align 8
+  %vla_array_gep = getelementptr inbounds %__foo_vla, %__foo_vla* %vla_struct, i32 0, i32 0
+  %vla_dimensions_gep = getelementptr inbounds %__foo_vla, %__foo_vla* %vla_struct, i32 0, i32 1
+  store [2 x i32] [i32 0, i32 1], [2 x i32]* %vla_dimensions_gep, align 4
+  store i32* %outer_arr_gep, i32** %vla_array_gep, align 8
+  %1 = load %__foo_vla, %__foo_vla* %vla_struct, align 8
+  %vla_struct_ptr = alloca %__foo_vla, align 8
+  store %__foo_vla %1, %__foo_vla* %vla_struct_ptr, align 8
+  %call = call i32 @foo(%__foo_vla* %vla_struct_ptr)
+  store i32 %call, i32* %b, align 4
+  ret void
+}
+
+define i32 @foo(%__foo_vla* %0) {
+entry:
+  %foo = alloca i32, align 4
+  %vla = alloca %__foo_vla*, align 8
+  store %__foo_vla* %0, %__foo_vla** %vla, align 8
+  store i32 0, i32* %foo, align 4
+  %deref = load %__foo_vla*, %__foo_vla** %vla, align 8
+  %dim = getelementptr inbounds %__foo_vla, %__foo_vla* %deref, i32 0, i32 1
+  %1 = getelementptr inbounds [2 x i32], [2 x i32]* %dim, i32 0, i32 1
+  %2 = load i32, i32* %1, align 4
+  store i32 %2, i32* %foo, align 4
+  %foo_ret = load i32, i32* %foo, align 4
+  ret i32 %foo_ret
+}

src/codegen/tests/snapshots/rusty__codegen__tests__expression_tests__builtin_sub_with_named_arguments.snap

@@ -0,0 +1,23 @@
+---
+source: src/codegen/tests/expression_tests.rs
+expression: res
+---
+; ModuleID = '<internal>'
+source_filename = "<internal>"
+target datalayout = "[filtered]"
+target triple = "[filtered]"
+
+define i32 @main() {
+entry:
+  %main = alloca i32, align 4
+  %x = alloca i32, align 4
+  %y = alloca i32, align 4
+  store i32 20, i32* %x, align 4
+  store i32 4, i32* %y, align 4
+  store i32 0, i32* %main, align 4
+  %load_x = load i32, i32* %x, align 4
+  %load_y = load i32, i32* %y, align 4
+  %tmpVar = sub i32 %load_x, %load_y
+  %main_ret = load i32, i32* %main, align 4
+  ret i32 %main_ret
+}

src/validation/statement.rs

@@ -1651,7 +1651,8 @@ fn validate_type_nature<T: AnnotationMap>(
         if let DataTypeInformation::Generic { generic_symbol, nature, .. } = type_hint.get_type_information()
         {
             // we might be validating an identifier of a formal parameter assignment (FOO(x := 0))
-            if let AstStatement::Identifier(_) = statement.get_stmt() {
+            // This includes both Identifier and ReferenceExpr nodes for named arguments
+            if let AstStatement::Identifier(_) | AstStatement::ReferenceExpr(_) = statement.get_stmt() {
                 return;
             }
             validator.push_diagnostic(