test: map/slice clear

This commit is contained in:
Li Jie
2025-01-03 10:29:55 +08:00
parent 76fb91619a
commit 239ac496b2
3 changed files with 184 additions and 2 deletions

11
cl/_testrt/clear/in.go Normal file
View File

@@ -0,0 +1,11 @@
package clear
func Clear() {
a := []int{1, 2, 3, 4}
clear(a)
println(a)
b := map[int]int{1: 1, 2: 2, 3: 3, 4: 4}
clear(b)
println(b)
}

173
cl/_testrt/clear/out.ll Normal file
View File

@@ -0,0 +1,173 @@
; ModuleID = 'github.com/goplus/llgo/cl/_testrt/clear'
source_filename = "github.com/goplus/llgo/cl/_testrt/clear"
%"github.com/goplus/llgo/internal/runtime.Slice" = type { ptr, i64, i64 }
%"github.com/goplus/llgo/internal/abi.StructField" = type { %"github.com/goplus/llgo/internal/runtime.String", ptr, i64, %"github.com/goplus/llgo/internal/runtime.String", i1 }
%"github.com/goplus/llgo/internal/runtime.String" = type { ptr, i64 }
@"github.com/goplus/llgo/cl/_testrt/clear.init$guard" = global i1 false, align 1
@_llgo_int = linkonce global ptr null, align 8
@"[]_llgo_int" = linkonce global ptr null, align 8
@"map[_llgo_int]_llgo_int" = linkonce global ptr null, align 8
@0 = private unnamed_addr constant [7 x i8] c"topbits", align 1
@1 = private unnamed_addr constant [4 x i8] c"keys", align 1
@2 = private unnamed_addr constant [5 x i8] c"elems", align 1
@3 = private unnamed_addr constant [8 x i8] c"overflow", align 1
@4 = private unnamed_addr constant [39 x i8] c"github.com/goplus/llgo/cl/_testrt/clear", align 1
define void @"github.com/goplus/llgo/cl/_testrt/clear.Clear"() {
_llgo_0:
%0 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64 32)
%1 = getelementptr inbounds i64, ptr %0, i64 0
store i64 1, ptr %1, align 4
%2 = getelementptr inbounds i64, ptr %0, i64 1
store i64 2, ptr %2, align 4
%3 = getelementptr inbounds i64, ptr %0, i64 2
store i64 3, ptr %3, align 4
%4 = getelementptr inbounds i64, ptr %0, i64 3
store i64 4, ptr %4, align 4
%5 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" undef, ptr %0, 0
%6 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %5, i64 4, 1
%7 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %6, i64 4, 2
%8 = load ptr, ptr @_llgo_int, align 8
%9 = load ptr, ptr @"[]_llgo_int", align 8
call void @"github.com/goplus/llgo/internal/runtime.SliceClear"(ptr %9, %"github.com/goplus/llgo/internal/runtime.Slice" %7)
call void @"github.com/goplus/llgo/internal/runtime.PrintSlice"(%"github.com/goplus/llgo/internal/runtime.Slice" %7)
call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10)
%10 = load ptr, ptr @"map[_llgo_int]_llgo_int", align 8
%11 = call ptr @"github.com/goplus/llgo/internal/runtime.MakeMap"(ptr %10, i64 4)
%12 = load ptr, ptr @"map[_llgo_int]_llgo_int", align 8
%13 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 8)
store i64 1, ptr %13, align 4
%14 = call ptr @"github.com/goplus/llgo/internal/runtime.MapAssign"(ptr %12, ptr %11, ptr %13)
store i64 1, ptr %14, align 4
%15 = load ptr, ptr @"map[_llgo_int]_llgo_int", align 8
%16 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 8)
store i64 2, ptr %16, align 4
%17 = call ptr @"github.com/goplus/llgo/internal/runtime.MapAssign"(ptr %15, ptr %11, ptr %16)
store i64 2, ptr %17, align 4
%18 = load ptr, ptr @"map[_llgo_int]_llgo_int", align 8
%19 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 8)
store i64 3, ptr %19, align 4
%20 = call ptr @"github.com/goplus/llgo/internal/runtime.MapAssign"(ptr %18, ptr %11, ptr %19)
store i64 3, ptr %20, align 4
%21 = load ptr, ptr @"map[_llgo_int]_llgo_int", align 8
%22 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 8)
store i64 4, ptr %22, align 4
%23 = call ptr @"github.com/goplus/llgo/internal/runtime.MapAssign"(ptr %21, ptr %11, ptr %22)
store i64 4, ptr %23, align 4
%24 = load ptr, ptr @"map[_llgo_int]_llgo_int", align 8
call void @"github.com/goplus/llgo/internal/runtime.MapClear"(ptr %24, ptr %11)
call void @"github.com/goplus/llgo/internal/runtime.PrintPointer"(ptr %11)
call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10)
ret void
}
define void @"github.com/goplus/llgo/cl/_testrt/clear.init"() {
_llgo_0:
%0 = load i1, ptr @"github.com/goplus/llgo/cl/_testrt/clear.init$guard", align 1
br i1 %0, label %_llgo_2, label %_llgo_1
_llgo_1: ; preds = %_llgo_0
store i1 true, ptr @"github.com/goplus/llgo/cl/_testrt/clear.init$guard", align 1
call void @"github.com/goplus/llgo/cl/_testrt/clear.init$after"()
br label %_llgo_2
_llgo_2: ; preds = %_llgo_1, %_llgo_0
ret void
}
declare ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64)
define void @"github.com/goplus/llgo/cl/_testrt/clear.init$after"() {
_llgo_0:
%0 = load ptr, ptr @_llgo_int, align 8
%1 = icmp eq ptr %0, null
br i1 %1, label %_llgo_1, label %_llgo_2
_llgo_1: ; preds = %_llgo_0
%2 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 34)
store ptr %2, ptr @_llgo_int, align 8
br label %_llgo_2
_llgo_2: ; preds = %_llgo_1, %_llgo_0
%3 = load ptr, ptr @"[]_llgo_int", align 8
%4 = icmp eq ptr %3, null
br i1 %4, label %_llgo_3, label %_llgo_4
_llgo_3: ; preds = %_llgo_2
%5 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 34)
%6 = call ptr @"github.com/goplus/llgo/internal/runtime.SliceOf"(ptr %5)
store ptr %6, ptr @"[]_llgo_int", align 8
br label %_llgo_4
_llgo_4: ; preds = %_llgo_3, %_llgo_2
%7 = load ptr, ptr @"map[_llgo_int]_llgo_int", align 8
%8 = icmp eq ptr %7, null
br i1 %8, label %_llgo_5, label %_llgo_6
_llgo_5: ; preds = %_llgo_4
%9 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 34)
%10 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 34)
%11 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 40)
%12 = call ptr @"github.com/goplus/llgo/internal/runtime.ArrayOf"(i64 8, ptr %11)
%13 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" { ptr @0, i64 7 }, ptr %12, i64 0, %"github.com/goplus/llgo/internal/runtime.String" zeroinitializer, i1 false)
%14 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 34)
%15 = call ptr @"github.com/goplus/llgo/internal/runtime.ArrayOf"(i64 8, ptr %14)
%16 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" { ptr @1, i64 4 }, ptr %15, i64 8, %"github.com/goplus/llgo/internal/runtime.String" zeroinitializer, i1 false)
%17 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 34)
%18 = call ptr @"github.com/goplus/llgo/internal/runtime.ArrayOf"(i64 8, ptr %17)
%19 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" { ptr @2, i64 5 }, ptr %18, i64 72, %"github.com/goplus/llgo/internal/runtime.String" zeroinitializer, i1 false)
%20 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 44)
%21 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" { ptr @3, i64 8 }, ptr %20, i64 136, %"github.com/goplus/llgo/internal/runtime.String" zeroinitializer, i1 false)
%22 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 224)
%23 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %22, i64 0
store %"github.com/goplus/llgo/internal/abi.StructField" %13, ptr %23, align 8
%24 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %22, i64 1
store %"github.com/goplus/llgo/internal/abi.StructField" %16, ptr %24, align 8
%25 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %22, i64 2
store %"github.com/goplus/llgo/internal/abi.StructField" %19, ptr %25, align 8
%26 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %22, i64 3
store %"github.com/goplus/llgo/internal/abi.StructField" %21, ptr %26, align 8
%27 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" undef, ptr %22, 0
%28 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %27, i64 4, 1
%29 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %28, i64 4, 2
%30 = call ptr @"github.com/goplus/llgo/internal/runtime.Struct"(%"github.com/goplus/llgo/internal/runtime.String" { ptr @4, i64 39 }, i64 144, %"github.com/goplus/llgo/internal/runtime.Slice" %29)
%31 = call ptr @"github.com/goplus/llgo/internal/runtime.MapOf"(ptr %9, ptr %10, ptr %30, i64 4)
call void @"github.com/goplus/llgo/internal/runtime.SetDirectIface"(ptr %31)
store ptr %31, ptr @"map[_llgo_int]_llgo_int", align 8
br label %_llgo_6
_llgo_6: ; preds = %_llgo_5, %_llgo_4
ret void
}
declare ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64)
declare ptr @"github.com/goplus/llgo/internal/runtime.SliceOf"(ptr)
declare void @"github.com/goplus/llgo/internal/runtime.SliceClear"(ptr, %"github.com/goplus/llgo/internal/runtime.Slice")
declare void @"github.com/goplus/llgo/internal/runtime.PrintSlice"(%"github.com/goplus/llgo/internal/runtime.Slice")
declare void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8)
declare ptr @"github.com/goplus/llgo/internal/runtime.MapOf"(ptr, ptr, ptr, i64)
declare ptr @"github.com/goplus/llgo/internal/runtime.Struct"(%"github.com/goplus/llgo/internal/runtime.String", i64, %"github.com/goplus/llgo/internal/runtime.Slice")
declare %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String", ptr, i64, %"github.com/goplus/llgo/internal/runtime.String", i1)
declare ptr @"github.com/goplus/llgo/internal/runtime.ArrayOf"(i64, ptr)
declare ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64)
declare void @"github.com/goplus/llgo/internal/runtime.SetDirectIface"(ptr)
declare ptr @"github.com/goplus/llgo/internal/runtime.MakeMap"(ptr, i64)
declare ptr @"github.com/goplus/llgo/internal/runtime.MapAssign"(ptr, ptr, ptr)
declare void @"github.com/goplus/llgo/internal/runtime.MapClear"(ptr, ptr)
declare void @"github.com/goplus/llgo/internal/runtime.PrintPointer"(ptr)

View File

@@ -388,8 +388,6 @@ func (p Program) toType(raw types.Type) Type {
return &aType{llvm.ArrayType(elem.ll, int(t.Len())), typ, vkArray}
case *types.Chan:
return &aType{llvm.PointerType(p.rtChan(), 0), typ, vkChan}
case *types.TypeParam:
return p.toType(t.Underlying())
}
panic(fmt.Sprintf("toLLVMType: todo - %T\n", raw))
}