shishantbiswas/c3c
1
1
Fork 0
mirror of https://github.com/c3lang/c3c.git synced 2026-02-27 12:01:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

Untyped splat.

Browse Source
This commit is contained in:
Christoffer Lerno
2024-09-07 14:26:42 +02:00
parent 223501eeca
commit 8e9199f453
2 changed files with 51 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/compiler/sema_expr.c
View File

@@ -1460,6 +1460,18 @@ INLINE bool sema_call_splat_vasplat(SemaContext *context, Expr *arg, Expr ***arg
INLINE Expr **sema_splat_arraylike_append(SemaContext *context, Expr **args, Expr *arg, ArrayIndex len)
{
if (expr_is_const(arg))
{
for (ArrayIndex i = 0; i < len; i++)
{
Expr *expr = expr_copy(arg);
Expr *subscript = expr_new_expr(EXPR_SUBSCRIPT, expr);
subscript->subscript_expr.range.start = exprid(expr_new_const_int(arg->span, type_usz, i));
subscript->subscript_expr.expr = exprid(expr);
vec_add(args, subscript);
}
return args;
}
Decl *temp = decl_new_generated_var(arg->type, VARDECL_LOCAL, arg->span);
Expr *decl_expr = expr_generate_decl(temp, arg);
Expr *list = expr_new_expr(EXPR_EXPRESSION_LIST, arg);

39
test/test_suite/functions/splat_untyped.c3t Normal file
View File

@@ -0,0 +1,39 @@
// #target: macos-x64
module test;
import std;
fn void main()
{
var $a = { 1, 2, "abc" };
io::printfn("Hello %s %s %s %s", 1, ...$a);
}
/* #expect: test.ll
%varargslots = alloca [4 x %any], align 16
%taddr = alloca i32, align 4
%taddr1 = alloca i32, align 4
%taddr2 = alloca i32, align 4
%taddr4 = alloca %"char[]", align 8
%retparam = alloca i64, align 8
store i32 1, ptr %taddr, align 4
%0 = insertvalue %any undef, ptr %taddr, 0
%1 = insertvalue %any %0, i64 ptrtoint (ptr @"$ct.int" to i64), 1
store %any %1, ptr %varargslots, align 16
store i32 1, ptr %taddr1, align 4
%2 = insertvalue %any undef, ptr %taddr1, 0
%3 = insertvalue %any %2, i64 ptrtoint (ptr @"$ct.int" to i64), 1
%ptradd = getelementptr inbounds i8, ptr %varargslots, i64 16
store %any %3, ptr %ptradd, align 16
store i32 2, ptr %taddr2, align 4
%4 = insertvalue %any undef, ptr %taddr2, 0
%5 = insertvalue %any %4, i64 ptrtoint (ptr @"$ct.int" to i64), 1
%ptradd3 = getelementptr inbounds i8, ptr %varargslots, i64 32
store %any %5, ptr %ptradd3, align 16
store %"char[]" { ptr @.str.1, i64 3 }, ptr %taddr4, align 8
%6 = insertvalue %any undef, ptr %taddr4, 0
%7 = insertvalue %any %6, i64 ptrtoint (ptr @"$ct.String" to i64), 1
%ptradd5 = getelementptr inbounds i8, ptr %varargslots, i64 48
store %any %7, ptr %ptradd5, align 16
%8 = call i64 @std.io.printfn(ptr %retparam, ptr @.str, i64 17, ptr %varargslots, i64 4)
ret void
}