mirror of
https://github.com/c3lang/c3c.git
synced 2026-02-27 20:11:17 +00:00
72608ce01d
- Printing stacktrace uses its own temp allocator. - `@pool` no longer takes an argument. - `Allocator` interface removes `mark` and `reset`. - DynamicArenaAllocator has changed init function. - Added `BackedArenaAllocator` which is allocated to a fixed size, then allocates on the backing allocator and supports mark/reset.
253 lines
13 KiB
Plaintext
253 lines
13 KiB
Plaintext
// #target: macos-x64
|
|
|
|
module test;
|
|
import std::io;
|
|
import std::collections::map;
|
|
|
|
struct Foo (Printable) { int x; void* bar; }
|
|
|
|
alias IntFooMap = HashMap { int, Foo };
|
|
alias IntDoubleMap = HashMap { int, double };
|
|
|
|
fn String Foo.to_new_string(Foo* foo, Allocator allocator = allocator::heap()) @dynamic
|
|
{
|
|
DString s = dstring::new_with_capacity(allocator, 128);
|
|
s.appendf("{%s, %p}", foo.x, foo.bar);
|
|
return s.str_view();
|
|
}
|
|
|
|
|
|
|
|
fn void main()
|
|
{
|
|
IntFooMap map;
|
|
map.init(mem);
|
|
io::printfn("Map size: %d", map.count);
|
|
map.set(1, { 1, null });
|
|
io::printfn("Map size: %d", map.count);
|
|
map.set(1, { 2, null });
|
|
io::printfn("Map size: %d", map.count);
|
|
(void)io::printfn("Val: %d", map.get(1).x);
|
|
io::printfn("Has 1: %s", map.has_key(1));
|
|
io::printfn("Has 2: %s", map.has_key(2));
|
|
map.set(7, { 4, null });
|
|
io::printfn("Values: %s", map.values(mem));
|
|
IntDoubleMap map2;
|
|
map2.init(mem);
|
|
map2.set(4, 1.3);
|
|
io::printfn("Map find: %s", map2.has_value(1.3));
|
|
io::printfn("Map find: %s", map2.has_value(1.2));
|
|
map2.set(100, 3.4);
|
|
io::printfn("%s", map2.keys(mem));
|
|
io::printfn("%s", map2.values(mem));
|
|
@pool()
|
|
{
|
|
IntDoubleMap map3;
|
|
map3.init(mem);
|
|
map3.set(5, 3.2);
|
|
map3.set(7, 5.2);
|
|
io::printfn("%s", map3.keys(mem));
|
|
};
|
|
}
|
|
|
|
/* #expect: test.ll
|
|
|
|
@"$sel.to_new_string" = linkonce_odr constant [14 x i8] c"to_new_string\00", align 1
|
|
@"$c3_dynamic" = internal global [1 x { ptr, ptr, i64 }] [{ ptr, ptr, i64 } { ptr @test.Foo.to_new_string, ptr @"$sel.to_new_string", i64 ptrtoint (ptr @"$ct.test.Foo" to i64) }], section "__DATA,__c3_dynamic", no_sanitize_address, align 8
|
|
|
|
define { ptr, i64 } @test.Foo.to_new_string(ptr %0, i64 %1, ptr %2) #0 {
|
|
entry:
|
|
%allocator = alloca %any, align 8
|
|
%s = alloca ptr, align 8
|
|
%varargslots = alloca [2 x %any], align 16
|
|
%retparam = alloca i64, align 8
|
|
%result = alloca %"char[]", align 8
|
|
store i64 %1, ptr %allocator, align 8
|
|
%ptradd = getelementptr inbounds i8, ptr %allocator, i64 8
|
|
store ptr %2, ptr %ptradd, align 8
|
|
%lo = load i64, ptr %allocator, align 8
|
|
%ptradd1 = getelementptr inbounds i8, ptr %allocator, i64 8
|
|
%hi = load ptr, ptr %ptradd1, align 8
|
|
%3 = call ptr @std.core.dstring.new_with_capacity(i64 %lo, ptr %hi, i64 128)
|
|
store ptr %3, ptr %s, align 8
|
|
%4 = insertvalue %any undef, ptr %0, 0
|
|
%5 = insertvalue %any %4, i64 ptrtoint (ptr @"$ct.int" to i64), 1
|
|
store %any %5, ptr %varargslots, align 16
|
|
%ptradd2 = getelementptr inbounds i8, ptr %0, i64 8
|
|
%6 = insertvalue %any undef, ptr %ptradd2, 0
|
|
%7 = insertvalue %any %6, i64 ptrtoint (ptr @"$ct.p$void" to i64), 1
|
|
%ptradd3 = getelementptr inbounds i8, ptr %varargslots, i64 16
|
|
store %any %7, ptr %ptradd3, align 16
|
|
%8 = call i64 @std.core.dstring.DString.appendf(ptr %retparam, ptr %s, ptr @.str.14, i64 8, ptr %varargslots, i64 2)
|
|
%9 = load ptr, ptr %s, align 8
|
|
%10 = call { ptr, i64 } @std.core.dstring.DString.str_view(ptr %9)
|
|
store { ptr, i64 } %10, ptr %result, align 8
|
|
%11 = load { ptr, i64 }, ptr %result, align 8
|
|
ret { ptr, i64 } %11
|
|
}
|
|
|
|
define void @test.main() #0 {
|
|
entry:
|
|
%map = alloca %HashMap, align 8
|
|
%varargslots = alloca [1 x %any], align 16
|
|
%retparam = alloca i64, align 8
|
|
%literal = alloca %Foo, align 8
|
|
%varargslots4 = alloca [1 x %any], align 16
|
|
%retparam6 = alloca i64, align 8
|
|
%literal7 = alloca %Foo, align 8
|
|
%varargslots11 = alloca [1 x %any], align 16
|
|
%retparam13 = alloca i64, align 8
|
|
%varargslots14 = alloca [1 x %any], align 16
|
|
%retparam15 = alloca %Foo, align 8
|
|
%retparam16 = alloca i64, align 8
|
|
%varargslots19 = alloca [1 x %any], align 16
|
|
%taddr = alloca i8, align 1
|
|
%retparam20 = alloca i64, align 8
|
|
%varargslots23 = alloca [1 x %any], align 16
|
|
%taddr24 = alloca i8, align 1
|
|
%retparam25 = alloca i64, align 8
|
|
%literal28 = alloca %Foo, align 8
|
|
%varargslots32 = alloca [1 x %any], align 16
|
|
%result = alloca %"Foo[]", align 8
|
|
%retparam35 = alloca i64, align 8
|
|
%map2 = alloca %HashMap.0, align 8
|
|
%varargslots40 = alloca [1 x %any], align 16
|
|
%taddr41 = alloca i8, align 1
|
|
%retparam42 = alloca i64, align 8
|
|
%varargslots45 = alloca [1 x %any], align 16
|
|
%taddr46 = alloca i8, align 1
|
|
%retparam47 = alloca i64, align 8
|
|
%varargslots50 = alloca [1 x %any], align 16
|
|
%result53 = alloca %"int[]", align 8
|
|
%retparam54 = alloca i64, align 8
|
|
%varargslots57 = alloca [1 x %any], align 16
|
|
%result60 = alloca %"double[]", align 8
|
|
%retparam61 = alloca i64, align 8
|
|
%state = alloca ptr, align 8
|
|
%map3 = alloca %HashMap.0, align 8
|
|
%varargslots66 = alloca [1 x %any], align 16
|
|
%result69 = alloca %"int[]", align 8
|
|
%retparam70 = alloca i64, align 8
|
|
call void @llvm.memset.p0.i64(ptr align 8 %map, i8 0, i64 48, i1 false)
|
|
%lo = load i64, ptr @std.core.mem.allocator.thread_allocator, align 8
|
|
%hi = load ptr, ptr getelementptr inbounds (i8, ptr @std.core.mem.allocator.thread_allocator, i64 8), align 8
|
|
%0 = call ptr @"std_collections_map$int$test.Foo$.HashMap.init"(ptr %map, i64 %lo, ptr %hi, i32 16, float 7.500000e-01)
|
|
%ptradd = getelementptr inbounds i8, ptr %map, i64 32
|
|
%1 = insertvalue %any undef, ptr %ptradd, 0
|
|
%2 = insertvalue %any %1, i64 ptrtoint (ptr @"$ct.uint" to i64), 1
|
|
store %any %2, ptr %varargslots, align 16
|
|
%3 = call i64 @std.io.printfn(ptr %retparam, ptr @.str, i64 12, ptr %varargslots, i64 1)
|
|
call void @llvm.memcpy.p0.p0.i32(ptr align 8 %literal, ptr align 8 @.__const, i32 16, i1 false)
|
|
%lo1 = load i32, ptr %literal, align 8
|
|
%ptradd2 = getelementptr inbounds i8, ptr %literal, i64 8
|
|
%hi3 = load ptr, ptr %ptradd2, align 8
|
|
%4 = call i8 @"std_collections_map$int$test.Foo$.HashMap.set"(ptr %map, i32 1, i32 %lo1, ptr %hi3)
|
|
%ptradd5 = getelementptr inbounds i8, ptr %map, i64 32
|
|
%5 = insertvalue %any undef, ptr %ptradd5, 0
|
|
%6 = insertvalue %any %5, i64 ptrtoint (ptr @"$ct.uint" to i64), 1
|
|
store %any %6, ptr %varargslots4, align 16
|
|
%7 = call i64 @std.io.printfn(ptr %retparam6, ptr @.str.1, i64 12, ptr %varargslots4, i64 1)
|
|
call void @llvm.memcpy.p0.p0.i32(ptr align 8 %literal7, ptr align 8 @.__const.2, i32 16, i1 false)
|
|
%lo8 = load i32, ptr %literal7, align 8
|
|
%ptradd9 = getelementptr inbounds i8, ptr %literal7, i64 8
|
|
%hi10 = load ptr, ptr %ptradd9, align 8
|
|
%8 = call i8 @"std_collections_map$int$test.Foo$.HashMap.set"(ptr %map, i32 1, i32 %lo8, ptr %hi10)
|
|
%ptradd12 = getelementptr inbounds i8, ptr %map, i64 32
|
|
%9 = insertvalue %any undef, ptr %ptradd12, 0
|
|
%10 = insertvalue %any %9, i64 ptrtoint (ptr @"$ct.uint" to i64), 1
|
|
store %any %10, ptr %varargslots11, align 16
|
|
%11 = call i64 @std.io.printfn(ptr %retparam13, ptr @.str.3, i64 12, ptr %varargslots11, i64 1)
|
|
%12 = call i64 @"std_collections_map$int$test.Foo$.HashMap.get"(ptr %retparam15, ptr %map, i32 1)
|
|
%not_err = icmp eq i64 %12, 0
|
|
%13 = call i1 @llvm.expect.i1(i1 %not_err, i1 true)
|
|
br i1 %13, label %after_check, label %after_check18
|
|
|
|
after_check: ; preds = %entry
|
|
%14 = insertvalue %any undef, ptr %retparam15, 0
|
|
%15 = insertvalue %any %14, i64 ptrtoint (ptr @"$ct.int" to i64), 1
|
|
store %any %15, ptr %varargslots14, align 16
|
|
%16 = call i64 @std.io.printfn(ptr %retparam16, ptr @.str.4, i64 7, ptr %varargslots14, i64 1)
|
|
%not_err17 = icmp eq i64 %16, 0
|
|
%17 = call i1 @llvm.expect.i1(i1 %not_err17, i1 true)
|
|
br i1 %17, label %after_check18, label %after_check18
|
|
|
|
after_check18: ; preds = %entry, %after_check, %after_check
|
|
%18 = call i8 @"std_collections_map$int$test.Foo$.HashMap.has_key"(ptr %map, i32 1)
|
|
store i8 %18, ptr %taddr, align 1
|
|
%19 = insertvalue %any undef, ptr %taddr, 0
|
|
%20 = insertvalue %any %19, i64 ptrtoint (ptr @"$ct.bool" to i64), 1
|
|
store %any %20, ptr %varargslots19, align 16
|
|
%21 = call i64 @std.io.printfn(ptr %retparam20, ptr @.str.5, i64 9, ptr %varargslots19, i64 1)
|
|
%22 = call i8 @"std_collections_map$int$test.Foo$.HashMap.has_key"(ptr %map, i32 2)
|
|
store i8 %22, ptr %taddr24, align 1
|
|
%23 = insertvalue %any undef, ptr %taddr24, 0
|
|
%24 = insertvalue %any %23, i64 ptrtoint (ptr @"$ct.bool" to i64), 1
|
|
store %any %24, ptr %varargslots23, align 16
|
|
%25 = call i64 @std.io.printfn(ptr %retparam25, ptr @.str.6, i64 9, ptr %varargslots23, i64 1)
|
|
call void @llvm.memcpy.p0.p0.i32(ptr align 8 %literal28, ptr align 8 @.__const.7, i32 16, i1 false)
|
|
%lo29 = load i32, ptr %literal28, align 8
|
|
%ptradd30 = getelementptr inbounds i8, ptr %literal28, i64 8
|
|
%hi31 = load ptr, ptr %ptradd30, align 8
|
|
%26 = call i8 @"std_collections_map$int$test.Foo$.HashMap.set"(ptr %map, i32 7, i32 %lo29, ptr %hi31)
|
|
%lo33 = load i64, ptr @std.core.mem.allocator.thread_allocator, align 8
|
|
%hi34 = load ptr, ptr getelementptr inbounds (i8, ptr @std.core.mem.allocator.thread_allocator, i64 8), align 8
|
|
%27 = call { ptr, i64 } @"std_collections_map$int$test.Foo$.HashMap.values"(ptr %map, i64 %lo33, ptr %hi34)
|
|
store { ptr, i64 } %27, ptr %result, align 8
|
|
%28 = insertvalue %any undef, ptr %result, 0
|
|
%29 = insertvalue %any %28, i64 ptrtoint (ptr @"$ct.sa$test.Foo" to i64), 1
|
|
store %any %29, ptr %varargslots32, align 16
|
|
%30 = call i64 @std.io.printfn(ptr %retparam35, ptr @.str.8, i64 10, ptr %varargslots32, i64 1)
|
|
call void @llvm.memset.p0.i64(ptr align 8 %map2, i8 0, i64 48, i1 false)
|
|
%lo38 = load i64, ptr @std.core.mem.allocator.thread_allocator, align 8
|
|
%hi39 = load ptr, ptr getelementptr inbounds (i8, ptr @std.core.mem.allocator.thread_allocator, i64 8), align 8
|
|
%31 = call ptr @"std_collections_map$int$double$.HashMap.init"(ptr %map2, i64 %lo38, ptr %hi39, i32 16, float 7.500000e-01)
|
|
%32 = call i8 @"std_collections_map$int$double$.HashMap.set"(ptr %map2, i32 4, double 1.300000e+00)
|
|
%33 = call i8 @"std_collections_map$int$double$.HashMap.has_value"(ptr %map2, double 1.300000e+00)
|
|
store i8 %33, ptr %taddr41, align 1
|
|
%34 = insertvalue %any undef, ptr %taddr41, 0
|
|
%35 = insertvalue %any %34, i64 ptrtoint (ptr @"$ct.bool" to i64), 1
|
|
store %any %35, ptr %varargslots40, align 16
|
|
%36 = call i64 @std.io.printfn(ptr %retparam42, ptr @.str.9, i64 12, ptr %varargslots40, i64 1)
|
|
%37 = call i8 @"std_collections_map$int$double$.HashMap.has_value"(ptr %map2, double 1.200000e+00)
|
|
store i8 %37, ptr %taddr46, align 1
|
|
%38 = insertvalue %any undef, ptr %taddr46, 0
|
|
%39 = insertvalue %any %38, i64 ptrtoint (ptr @"$ct.bool" to i64), 1
|
|
store %any %39, ptr %varargslots45, align 16
|
|
%40 = call i64 @std.io.printfn(ptr %retparam47, ptr @.str.10, i64 12, ptr %varargslots45, i64 1)
|
|
%41 = call i8 @"std_collections_map$int$double$.HashMap.set"(ptr %map2, i32 100, double 3.400000e+00)
|
|
%lo51 = load i64, ptr @std.core.mem.allocator.thread_allocator, align 8
|
|
%hi52 = load ptr, ptr getelementptr inbounds (i8, ptr @std.core.mem.allocator.thread_allocator, i64 8), align 8
|
|
%42 = call { ptr, i64 } @"std_collections_map$int$double$.HashMap.keys"(ptr %map2, i64 %lo51, ptr %hi52)
|
|
store { ptr, i64 } %42, ptr %result53, align 8
|
|
%43 = insertvalue %any undef, ptr %result53, 0
|
|
%44 = insertvalue %any %43, i64 ptrtoint (ptr @"$ct.sa$int" to i64), 1
|
|
store %any %44, ptr %varargslots50, align 16
|
|
%45 = call i64 @std.io.printfn(ptr %retparam54, ptr @.str.11, i64 2, ptr %varargslots50, i64 1)
|
|
%lo58 = load i64, ptr @std.core.mem.allocator.thread_allocator, align 8
|
|
%hi59 = load ptr, ptr getelementptr inbounds (i8, ptr @std.core.mem.allocator.thread_allocator, i64 8), align 8
|
|
%46 = call { ptr, i64 } @"std_collections_map$int$double$.HashMap.values"(ptr %map2, i64 %lo58, ptr %hi59)
|
|
store { ptr, i64 } %46, ptr %result60, align 8
|
|
%47 = insertvalue %any undef, ptr %result60, 0
|
|
%48 = insertvalue %any %47, i64 ptrtoint (ptr @"$ct.sa$double" to i64), 1
|
|
store %any %48, ptr %varargslots57, align 16
|
|
%49 = call i64 @std.io.printfn(ptr %retparam61, ptr @.str.12, i64 2, ptr %varargslots57, i64 1)
|
|
%50 = call ptr @std.core.mem.allocator.push_pool() #4
|
|
store ptr %50, ptr %state, align 8
|
|
call void @llvm.memset.p0.i64(ptr align 8 %map3, i8 0, i64 48, i1 false)
|
|
%lo64 = load i64, ptr @std.core.mem.allocator.thread_allocator, align 8
|
|
%hi65 = load ptr, ptr getelementptr inbounds (i8, ptr @std.core.mem.allocator.thread_allocator, i64 8), align 8
|
|
%51 = call ptr @"std_collections_map$int$double$.HashMap.init"(ptr %map3, i64 %lo64, ptr %hi65, i32 16, float 7.500000e-01)
|
|
%52 = call i8 @"std_collections_map$int$double$.HashMap.set"(ptr %map3, i32 5, double 3.200000e+00)
|
|
%53 = call i8 @"std_collections_map$int$double$.HashMap.set"(ptr %map3, i32 7, double 5.200000e+00)
|
|
%lo67 = load i64, ptr @std.core.mem.allocator.thread_allocator, align 8
|
|
%hi68 = load ptr, ptr getelementptr inbounds (i8, ptr @std.core.mem.allocator.thread_allocator, i64 8), align 8
|
|
%54 = call { ptr, i64 } @"std_collections_map$int$double$.HashMap.keys"(ptr %map3, i64 %lo67, ptr %hi68)
|
|
store { ptr, i64 } %54, ptr %result69, align 8
|
|
%55 = insertvalue %any undef, ptr %result69, 0
|
|
%56 = insertvalue %any %55, i64 ptrtoint (ptr @"$ct.sa$int" to i64), 1
|
|
store %any %56, ptr %varargslots66, align 16
|
|
%57 = call i64 @std.io.printfn(ptr %retparam70, ptr @.str.13, i64 2, ptr %varargslots66, i64 1)
|
|
%58 = load ptr, ptr %state, align 8
|
|
call void @std.core.mem.allocator.pop_pool(ptr %58) #4
|
|
ret void
|
|
} |