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
Files
b7ae5dce8b444a6b2d2a1ef8a149e1edbf096c99
c3c/test/test_suite/compile_time_introspection/paramsof.c3t
Christoffer Lerno 25bccf4883 New faults and syntax (#2034) 
- Remove `[?]` syntax.
- Change `int!` to `int?` syntax.
- New `fault` declarations.
- Enum associated values can reference the calling enum.
2025-03-10 00:11:35 +01:00

392 lines
15 KiB
Plaintext
Raw Blame History

// #target: macos-x64
module test;
import std;
fn void testme(int a, double b)
{}
fn void main()
{
ReflectedParam[*] z = $typeof(testme).paramsof;
foreach (r : z)
{
io::printn(r);
}
$foreach $r : $typeof(testme).paramsof:
io::printn($r.name);
io::printn($r.type.nameof);
$endforeach
}
/* #expect: test.ll
; ModuleID = 'test'
%ReflectedParam = type { %"char[]", i64 }
@.str = private unnamed_addr constant [2 x i8] c"a\00", align 1
@"$ct.int" = linkonce global %.introspect { i8 2, i64 0, ptr null, i64 4, i64 0, i64 0, [0 x i64] zeroinitializer }, align 8
@.str.1 = private unnamed_addr constant [2 x i8] c"b\00", align 1
@"$ct.double" = linkonce global %.introspect { i8 4, i64 0, ptr null, i64 8, i64 0, i64 0, [0 x i64] zeroinitializer }, align 8
@.__const = private unnamed_addr constant [2 x %ReflectedParam] [%ReflectedParam { %"char[]" { ptr @.str, i64 1 }, i64 ptrtoint (ptr @"$ct.int" to i64) }, %ReflectedParam { %"char[]" { ptr @.str.1, i64 1 }, i64 ptrtoint (ptr @"$ct.double" to i64) }], align 16
@"$ct.std.io.File" = linkonce global %.introspect { i8 9, i64 0, ptr null, i64 8, i64 0, i64 1, [0 x i64] zeroinitializer }, align 8
@.str.2 = private unnamed_addr constant [3 x i8] c"%s\00", align 1
@"$ct.ReflectedParam" = linkonce global %.introspect { i8 9, i64 0, ptr null, i64 24, i64 0, i64 2, [0 x i64] zeroinitializer }, align 8
@.str.3 = private unnamed_addr constant [2 x i8] c"a\00", align 1
@.str.4 = private unnamed_addr constant [4 x i8] c"int\00", align 1
@.str.5 = private unnamed_addr constant [2 x i8] c"b\00", align 1
@.str.6 = private unnamed_addr constant [7 x i8] c"double\00", align 1
define void @test.main() #0 {
entry:
%z = alloca [2 x %ReflectedParam], align 16
%.anon = alloca i64, align 8
%r = alloca %ReflectedParam, align 8
%x = alloca %ReflectedParam, align 8
%x1 = alloca %ReflectedParam, align 8
%len = alloca i64, align 8
%error_var = alloca i64, align 8
%x2 = alloca %ReflectedParam, align 8
%varargslots = alloca [1 x %any], align 16
%retparam = alloca i64, align 8
%taddr = alloca %any, align 8
%indirectarg = alloca %"any[]", align 8
%error_var4 = alloca i64, align 8
%error_var10 = alloca i64, align 8
%len16 = alloca i64, align 8
%error_var17 = alloca i64, align 8
%retparam19 = alloca i64, align 8
%error_var25 = alloca i64, align 8
%error_var31 = alloca i64, align 8
%len39 = alloca i64, align 8
%error_var40 = alloca i64, align 8
%retparam42 = alloca i64, align 8
%error_var48 = alloca i64, align 8
%error_var54 = alloca i64, align 8
%len62 = alloca i64, align 8
%error_var63 = alloca i64, align 8
%retparam65 = alloca i64, align 8
%error_var71 = alloca i64, align 8
%error_var77 = alloca i64, align 8
%len85 = alloca i64, align 8
%error_var86 = alloca i64, align 8
%retparam88 = alloca i64, align 8
%error_var94 = alloca i64, align 8
%error_var100 = alloca i64, align 8
call void @llvm.memcpy.p0.p0.i32(ptr align 16 %z, ptr align 16 @.__const, i32 48, i1 false)
store i64 0, ptr %.anon, align 8
br label %loop.cond
loop.cond: ; preds = %voiderr, %entry
%0 = load i64, ptr %.anon, align 8
%gt = icmp ugt i64 2, %0
br i1 %gt, label %loop.body, label %loop.exit
loop.body: ; preds = %loop.cond
%1 = load i64, ptr %.anon, align 8
%ptroffset = getelementptr inbounds [24 x i8], ptr %z, i64 %1
call void @llvm.memcpy.p0.p0.i32(ptr align 8 %r, ptr align 8 %ptroffset, i32 24, i1 false)
call void @llvm.memcpy.p0.p0.i32(ptr align 8 %x, ptr align 8 %r, i32 24, i1 false)
%2 = call ptr @std.io.stdout()
call void @llvm.memcpy.p0.p0.i32(ptr align 8 %x1, ptr align 8 %x, i32 24, i1 false)
call void @llvm.memcpy.p0.p0.i32(ptr align 8 %x2, ptr align 8 %x1, i32 24, i1 false)
%3 = insertvalue %any undef, ptr %2, 0
%4 = insertvalue %any %3, i64 ptrtoint (ptr @"$ct.std.io.File" to i64), 1
%5 = insertvalue %any undef, ptr %x2, 0
%6 = insertvalue %any %5, i64 ptrtoint (ptr @"$ct.ReflectedParam" to i64), 1
store %any %6, ptr %varargslots, align 16
%7 = insertvalue %"any[]" undef, ptr %varargslots, 0
%"$$temp" = insertvalue %"any[]" %7, i64 1, 1
store %any %4, ptr %taddr, align 8
%lo = load i64, ptr %taddr, align 8
%ptradd = getelementptr inbounds i8, ptr %taddr, i64 8
%hi = load ptr, ptr %ptradd, align 8
store %"any[]" %"$$temp", ptr %indirectarg, align 8
%8 = call i64 @std.io.fprintf(ptr %retparam, i64 %lo, ptr %hi, ptr @.str.2, i64 2, ptr byval(%"any[]") align 8 %indirectarg)
%not_err = icmp eq i64 %8, 0
%9 = call i1 @llvm.expect.i1(i1 %not_err, i1 true)
br i1 %9, label %after_check, label %assign_optional
assign_optional: ; preds = %loop.body
store i64 %8, ptr %error_var, align 8
br label %guard_block
after_check: ; preds = %loop.body
br label %noerr_block
guard_block: ; preds = %assign_optional
br label %voiderr
noerr_block: ; preds = %after_check
%10 = load i64, ptr %retparam, align 8
store i64 %10, ptr %len, align 8
%11 = call i64 @std.io.File.write_byte(ptr %2, i8 zeroext 10)
%not_err5 = icmp eq i64 %11, 0
%12 = call i1 @llvm.expect.i1(i1 %not_err5, i1 true)
br i1 %12, label %after_check7, label %assign_optional6
assign_optional6: ; preds = %noerr_block
store i64 %11, ptr %error_var4, align 8
br label %guard_block8
after_check7: ; preds = %noerr_block
br label %noerr_block9
guard_block8: ; preds = %assign_optional6
br label %voiderr
noerr_block9: ; preds = %after_check7
%13 = call i64 @std.io.File.flush(ptr %2)
%not_err11 = icmp eq i64 %13, 0
%14 = call i1 @llvm.expect.i1(i1 %not_err11, i1 true)
br i1 %14, label %after_check13, label %assign_optional12
assign_optional12: ; preds = %noerr_block9
store i64 %13, ptr %error_var10, align 8
br label %guard_block14
after_check13: ; preds = %noerr_block9
br label %noerr_block15
guard_block14: ; preds = %assign_optional12
br label %voiderr
noerr_block15: ; preds = %after_check13
%15 = load i64, ptr %len, align 8
%add = add i64 %15, 1
br label %voiderr
voiderr: ; preds = %noerr_block15, %guard_block14, %guard_block8, %guard_block
%16 = load i64, ptr %.anon, align 8
%addnuw = add nuw i64 %16, 1
store i64 %addnuw, ptr %.anon, align 8
br label %loop.cond
loop.exit: ; preds = %loop.cond
%17 = call ptr @std.io.stdout()
%18 = call i64 @std.io.File.write(ptr %retparam19, ptr %17, ptr @.str.3, i64 1)
%not_err20 = icmp eq i64 %18, 0
%19 = call i1 @llvm.expect.i1(i1 %not_err20, i1 true)
br i1 %19, label %after_check22, label %assign_optional21
assign_optional21: ; preds = %loop.exit
store i64 %18, ptr %error_var17, align 8
br label %guard_block23
after_check22: ; preds = %loop.exit
br label %noerr_block24
guard_block23: ; preds = %assign_optional21
br label %voiderr38
noerr_block24: ; preds = %after_check22
%20 = load i64, ptr %retparam19, align 8
store i64 %20, ptr %len16, align 8
%21 = call i64 @std.io.File.write_byte(ptr %17, i8 zeroext 10)
%not_err26 = icmp eq i64 %21, 0
%22 = call i1 @llvm.expect.i1(i1 %not_err26, i1 true)
br i1 %22, label %after_check28, label %assign_optional27
assign_optional27: ; preds = %noerr_block24
store i64 %21, ptr %error_var25, align 8
br label %guard_block29
after_check28: ; preds = %noerr_block24
br label %noerr_block30
guard_block29: ; preds = %assign_optional27
br label %voiderr38
noerr_block30: ; preds = %after_check28
%23 = call i64 @std.io.File.flush(ptr %17)
%not_err32 = icmp eq i64 %23, 0
%24 = call i1 @llvm.expect.i1(i1 %not_err32, i1 true)
br i1 %24, label %after_check34, label %assign_optional33
assign_optional33: ; preds = %noerr_block30
store i64 %23, ptr %error_var31, align 8
br label %guard_block35
after_check34: ; preds = %noerr_block30
br label %noerr_block36
guard_block35: ; preds = %assign_optional33
br label %voiderr38
noerr_block36: ; preds = %after_check34
%25 = load i64, ptr %len16, align 8
%add37 = add i64 %25, 1
br label %voiderr38
voiderr38: ; preds = %noerr_block36, %guard_block35, %guard_block29, %guard_block23
%26 = call ptr @std.io.stdout()
%27 = call i64 @std.io.File.write(ptr %retparam42, ptr %26, ptr @.str.4, i64 3)
%not_err43 = icmp eq i64 %27, 0
%28 = call i1 @llvm.expect.i1(i1 %not_err43, i1 true)
br i1 %28, label %after_check45, label %assign_optional44
assign_optional44: ; preds = %voiderr38
store i64 %27, ptr %error_var40, align 8
br label %guard_block46
after_check45: ; preds = %voiderr38
br label %noerr_block47
guard_block46: ; preds = %assign_optional44
br label %voiderr61
noerr_block47: ; preds = %after_check45
%29 = load i64, ptr %retparam42, align 8
store i64 %29, ptr %len39, align 8
%30 = call i64 @std.io.File.write_byte(ptr %26, i8 zeroext 10)
%not_err49 = icmp eq i64 %30, 0
%31 = call i1 @llvm.expect.i1(i1 %not_err49, i1 true)
br i1 %31, label %after_check51, label %assign_optional50
assign_optional50: ; preds = %noerr_block47
store i64 %30, ptr %error_var48, align 8
br label %guard_block52
after_check51: ; preds = %noerr_block47
br label %noerr_block53
guard_block52: ; preds = %assign_optional50
br label %voiderr61
noerr_block53: ; preds = %after_check51
%32 = call i64 @std.io.File.flush(ptr %26)
%not_err55 = icmp eq i64 %32, 0
%33 = call i1 @llvm.expect.i1(i1 %not_err55, i1 true)
br i1 %33, label %after_check57, label %assign_optional56
assign_optional56: ; preds = %noerr_block53
store i64 %32, ptr %error_var54, align 8
br label %guard_block58
after_check57: ; preds = %noerr_block53
br label %noerr_block59
guard_block58: ; preds = %assign_optional56
br label %voiderr61
noerr_block59: ; preds = %after_check57
%34 = load i64, ptr %len39, align 8
%add60 = add i64 %34, 1
br label %voiderr61
voiderr61: ; preds = %noerr_block59, %guard_block58, %guard_block52, %guard_block46
%35 = call ptr @std.io.stdout()
%36 = call i64 @std.io.File.write(ptr %retparam65, ptr %35, ptr @.str.5, i64 1)
%not_err66 = icmp eq i64 %36, 0
%37 = call i1 @llvm.expect.i1(i1 %not_err66, i1 true)
br i1 %37, label %after_check68, label %assign_optional67
assign_optional67: ; preds = %voiderr61
store i64 %36, ptr %error_var63, align 8
br label %guard_block69
after_check68: ; preds = %voiderr61
br label %noerr_block70
guard_block69: ; preds = %assign_optional67
br label %voiderr84
noerr_block70: ; preds = %after_check68
%38 = load i64, ptr %retparam65, align 8
store i64 %38, ptr %len62, align 8
%39 = call i64 @std.io.File.write_byte(ptr %35, i8 zeroext 10)
%not_err72 = icmp eq i64 %39, 0
%40 = call i1 @llvm.expect.i1(i1 %not_err72, i1 true)
br i1 %40, label %after_check74, label %assign_optional73
assign_optional73: ; preds = %noerr_block70
store i64 %39, ptr %error_var71, align 8
br label %guard_block75
after_check74: ; preds = %noerr_block70
br label %noerr_block76
guard_block75: ; preds = %assign_optional73
br label %voiderr84
noerr_block76: ; preds = %after_check74
%41 = call i64 @std.io.File.flush(ptr %35)
%not_err78 = icmp eq i64 %41, 0
%42 = call i1 @llvm.expect.i1(i1 %not_err78, i1 true)
br i1 %42, label %after_check80, label %assign_optional79
assign_optional79: ; preds = %noerr_block76
store i64 %41, ptr %error_var77, align 8
br label %guard_block81
after_check80: ; preds = %noerr_block76
br label %noerr_block82
guard_block81: ; preds = %assign_optional79
br label %voiderr84
noerr_block82: ; preds = %after_check80
%43 = load i64, ptr %len62, align 8
%add83 = add i64 %43, 1
br label %voiderr84
voiderr84: ; preds = %noerr_block82, %guard_block81, %guard_block75, %guard_block69
%44 = call ptr @std.io.stdout()
%45 = call i64 @std.io.File.write(ptr %retparam88, ptr %44, ptr @.str.6, i64 6)
%not_err89 = icmp eq i64 %45, 0
%46 = call i1 @llvm.expect.i1(i1 %not_err89, i1 true)
br i1 %46, label %after_check91, label %assign_optional90
assign_optional90: ; preds = %voiderr84
store i64 %45, ptr %error_var86, align 8
br label %guard_block92
after_check91: ; preds = %voiderr84
br label %noerr_block93
guard_block92: ; preds = %assign_optional90
br label %voiderr107
noerr_block93: ; preds = %after_check91
%47 = load i64, ptr %retparam88, align 8
store i64 %47, ptr %len85, align 8
%48 = call i64 @std.io.File.write_byte(ptr %44, i8 zeroext 10)
%not_err95 = icmp eq i64 %48, 0
%49 = call i1 @llvm.expect.i1(i1 %not_err95, i1 true)
br i1 %49, label %after_check97, label %assign_optional96
assign_optional96: ; preds = %noerr_block93
store i64 %48, ptr %error_var94, align 8
br label %guard_block98
after_check97: ; preds = %noerr_block93
br label %noerr_block99
guard_block98: ; preds = %assign_optional96
br label %voiderr107
noerr_block99: ; preds = %after_check97
%50 = call i64 @std.io.File.flush(ptr %44)
%not_err101 = icmp eq i64 %50, 0
%51 = call i1 @llvm.expect.i1(i1 %not_err101, i1 true)
br i1 %51, label %after_check103, label %assign_optional102
assign_optional102: ; preds = %noerr_block99
store i64 %50, ptr %error_var100, align 8
br label %guard_block104
after_check103: ; preds = %noerr_block99
br label %noerr_block105
guard_block104: ; preds = %assign_optional102
br label %voiderr107
noerr_block105: ; preds = %after_check103
%52 = load i64, ptr %len85, align 8
%add106 = add i64 %52, 1
br label %voiderr107
voiderr107: ; preds = %noerr_block105, %guard_block104, %guard_block98, %guard_block92
ret void
}
Reference in New Issue View Git Blame Copy Permalink