Skip to content

build(deps): bump golang.org/x/tools to v0.49.0 and github.com/goplus/mod to v0.22.0 #2377

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
xushiwei merged 4 commits into from
Aug 21, 2026
Merged

build(deps): bump golang.org/x/tools to v0.49.0 and github.com/goplus/mod to v0.22.0 #2377

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
448debf
build(deps): bump github.com/goplus/mod from 0.21.2 to 0.22.0 and upd…
cpunion Aug 20, 2026
034e2b3
cl: document partial static fold results
cpunion Aug 20, 2026
b6be218
cl: split composite panic regression for bare metal
cpunion Aug 20, 2026
b085b5c
test: bind composite aggregate fixture values
cpunion Aug 20, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions cl/_testgo/complitassign/expect.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
ok
38 changes: 38 additions & 0 deletions cl/_testgo/complitassign/in.go
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
// LITTEST
package main

type pair struct {
x int
y int
}

var state pair

// The right-hand side must be completely evaluated before state is replaced.
// CHECK-LABEL: define void @main.assignGlobal(){{.*}} {
// CHECK: call i64 @main.first()
// CHECK: call i64 @main.second()
// CHECK: store %main.pair %{{[0-9]+}}, ptr @main.state
func assignGlobal() {
state = pair{first(), second()}
if state != (pair{1, 2}) {
panic("global composite assignment produced the wrong value")
}
}

func first() int {
state.x = 42
return 1
}

func second() int {
if state.x != 42 {
panic("composite assignment committed a field before evaluating its right-hand side")
}
return 2
}

func main() {
assignGlobal()
println("ok")
}
1 change: 1 addition & 0 deletions cl/_testgo/complitnil/expect.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
ok
38 changes: 38 additions & 0 deletions cl/_testgo/complitnil/in.go
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
// LITTEST
package main

type pair struct {
x int
y int
}

var calls int

// Both calls must run before assigning through the nil pointer panics.
// CHECK-LABEL: define void @main.assignNil(){{.*}} {
// CHECK: call i64 @main.count()
// CHECK: call i64 @main.count()
// CHECK: call void @"{{.*}}/runtime/internal/runtime.AssertNilDeref"
func assignNil() {
defer func() {
if recover() == nil {
panic("nil composite assignment did not panic")
}
if calls != 2 {
panic("nil composite assignment panicked before evaluating its right-hand side")
}
}()

var dst *pair
*dst = pair{count(), count()}
}

func count() int {
calls++
return calls
}

func main() {
assignNil()
println("ok")
}
6 changes: 2 additions & 4 deletions cl/_testgo/equal/in.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,10 +26,8 @@ package main
// Arrays: all three elements participate in equality, and inequality negates
// the aggregate result rather than changing element semantics.
// CHECK-LABEL: define void @"main.init#2"(){{.*}} {
// CHECK: %[[ARRAY_L:[0-9]+]] = load [3 x i64], ptr %{{[0-9]+}}
// CHECK: %[[ARRAY_R:[0-9]+]] = load [3 x i64], ptr %{{[0-9]+}}
// CHECK: extractvalue [3 x i64] %[[ARRAY_L]], 0
// CHECK: extractvalue [3 x i64] %[[ARRAY_R]], 0
// CHECK: extractvalue [3 x i64] %[[ARRAY_L:[0-9]+]], 0
// CHECK: extractvalue [3 x i64] %[[ARRAY_R:[0-9]+]], 0
// CHECK: extractvalue [3 x i64] %[[ARRAY_L]], 1
// CHECK: extractvalue [3 x i64] %[[ARRAY_R]], 1
// CHECK: extractvalue [3 x i64] %[[ARRAY_L]], 2
Expand Down
3 changes: 3 additions & 0 deletions cl/_testgo/tptypes/in.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -108,6 +108,7 @@ func main() {
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.PrintInt"(i64 0)
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.PrintByte"(i8 10)
// CHECK-NEXT: %[[TMP16:[0-9]+]] = call ptr @"{{.*}}/runtime/internal/runtime.AllocZ"(i64 24)
// CHECK-NEXT: store %"main.Slice{{\[\[}}]int,int]" zeroinitializer, ptr %[[TMP16]], align 8
// CHECK-NEXT: %[[TMP17:[0-9]+]] = call ptr @"{{.*}}/runtime/internal/runtime.AllocZ"(i64 8)
// CHECK-NEXT: %[[TMP18:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP17]], i64 0
// CHECK-NEXT: store i64 100, ptr %[[TMP18]], align 8
Expand All @@ -116,6 +117,7 @@ func main() {
// CHECK-NEXT: %[[TMP21:[0-9]+]] = insertvalue %"{{.*}}/runtime/internal/runtime.Slice" %[[TMP20]], i64 1, 2
// CHECK-NEXT: %[[TMP22:[0-9]+]] = call %"{{.*}}/runtime/internal/runtime.Slice" @"main.(*Slice{{\[\[}}]int,int]).Append"(ptr %[[TMP16]], %"{{.*}}/runtime/internal/runtime.Slice" %[[TMP21]])
// CHECK-NEXT: %[[TMP23:[0-9]+]] = call ptr @"{{.*}}/runtime/internal/runtime.AllocZ"(i64 24)
// CHECK-NEXT: store %"main.Slice{{\[\[}}]string,string]" zeroinitializer, ptr %[[TMP23]], align 8
// CHECK-NEXT: %[[TMP24:[0-9]+]] = call ptr @"{{.*}}/runtime/internal/runtime.AllocZ"(i64 16)
// CHECK-NEXT: %[[TMP25:[0-9]+]] = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.String", ptr %[[TMP24]], i64 0
// CHECK-NEXT: store %"{{.*}}/runtime/internal/runtime.String" { ptr @[[GLOB0]], i64 5 }, ptr %[[TMP25]], align 8
Expand All @@ -124,6 +126,7 @@ func main() {
// CHECK-NEXT: %[[TMP28:[0-9]+]] = insertvalue %"{{.*}}/runtime/internal/runtime.Slice" %[[TMP27]], i64 1, 2
// CHECK-NEXT: %[[TMP29:[0-9]+]] = call %"{{.*}}/runtime/internal/runtime.Slice" @"main.(*Slice{{\[\[}}]string,string]).Append"(ptr %[[TMP23]], %"{{.*}}/runtime/internal/runtime.Slice" %[[TMP28]])
// CHECK-NEXT: %[[TMP30:[0-9]+]] = call ptr @"{{.*}}/runtime/internal/runtime.AllocZ"(i64 24)
// CHECK-NEXT: store %"main.Slice{{\[\[}}]int,int]" zeroinitializer, ptr %[[TMP30]], align 8
// CHECK-NEXT: %[[TMP31:[0-9]+]] = call ptr @"{{.*}}/runtime/internal/runtime.AllocZ"(i64 32)
// CHECK-NEXT: %[[TMP32:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP31]], i64 0
// CHECK-NEXT: store i64 1, ptr %[[TMP32]], align 8
Expand Down
9 changes: 7 additions & 2 deletions cl/_testrt/gblarray/in.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -84,8 +84,13 @@ func main() {
// CHECK-NEXT: _llgo_[[BB1]]:
// CHECK-NEXT: store i1 true, ptr @"main.init$guard", align 1
// CHECK-NEXT: call void @"{{.*}}/runtime/abi.init"()
// CHECK-NEXT: %[[TMP1:[0-9]+]] = call ptr @main.basicType(i64 24)
// CHECK-NEXT: store ptr %[[TMP1]], ptr getelementptr inbounds (ptr, ptr @main.basicTypes, i64 24), align 8
// CHECK-NEXT: %[[TMP1:[0-9]+]] = alloca [25 x ptr], align 8
// CHECK-NEXT: call void @llvm.memset.p0.i64(ptr %[[TMP1]], i8 0, i64 200, i1 false)
// CHECK-NEXT: %[[TMP2:[0-9]+]] = getelementptr inbounds ptr, ptr %[[TMP1]], i64 24
// CHECK-NEXT: %[[TMP3:[0-9]+]] = call ptr @main.basicType(i64 24)
// CHECK-NEXT: store ptr %[[TMP3]], ptr %[[TMP2]], align 8
// CHECK-NEXT: %[[TMP4:[0-9]+]] = load [25 x ptr], ptr %[[TMP1]], align 8
// CHECK-NEXT: store [25 x ptr] %[[TMP4]], ptr @main.basicTypes, align 8
// CHECK-NEXT: br label %_llgo_[[BB2]]
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_[[BB2]]:
Expand Down
39 changes: 25 additions & 14 deletions cl/_testrt/index/in.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,11 +15,15 @@ type S []int
// that selected value are consumed.
// CHECK: %[[POINT:[0-9]+]] = alloca %main.point
// CHECK: %[[POINTS:[0-9]+]] = alloca [3 x %main.point]
// CHECK: %[[POINT2_INIT:[0-9]+]] = getelementptr inbounds %main.point, ptr %[[POINTS]], i64 2
// CHECK: %[[POINT2_X:[0-9]+]] = getelementptr inbounds %main.point, ptr %[[POINT2_INIT]], i32 0, i32 0
// CHECK: %[[POINT2_Y:[0-9]+]] = getelementptr inbounds %main.point, ptr %[[POINT2_INIT]], i32 0, i32 1
// CHECK: store i64 5, ptr %[[POINT2_X]]
// CHECK: store i64 6, ptr %[[POINT2_Y]]
// CHECK: %[[POINT2_DST:[0-9]+]] = getelementptr inbounds %main.point, ptr %[[POINTS]], i64 2
// CHECK: %[[POINT2_TMP:[0-9]+]] = alloca %main.point
// CHECK: %[[POINT2_INIT_X:[0-9]+]] = getelementptr inbounds %main.point, ptr %[[POINT2_TMP]], i32 0, i32 0
// CHECK: %[[POINT2_INIT_Y:[0-9]+]] = getelementptr inbounds %main.point, ptr %[[POINT2_TMP]], i32 0, i32 1
// CHECK: store i64 5, ptr %[[POINT2_INIT_X]]
// CHECK: store i64 6, ptr %[[POINT2_INIT_Y]]
// CHECK: %[[POINT2_VALUE:[0-9]+]] = load %main.point, ptr %[[POINT2_TMP]]
// CHECK: store %main.point %[[POINT2_VALUE]], ptr %[[POINT2_DST]]
// CHECK: %[[POINTS_VALUE:[0-9]+]] = load [3 x %main.point], ptr %[[POINTS]]
// CHECK: %[[POINT2:[0-9]+]] = getelementptr inbounds %main.point, ptr %[[POINTS]], i64 2
// CHECK: %[[SELECTED_POINT:[0-9]+]] = load %main.point, ptr %[[POINT2]]
// CHECK: store %main.point %[[SELECTED_POINT]], ptr %[[POINT]]
Expand All @@ -31,13 +35,15 @@ type S []int
// Nested arrays select row 1 before indexing its two elements.
// CHECK: %[[ROW:[0-9]+]] = alloca [2 x i64]
// CHECK: %[[MATRIX:[0-9]+]] = alloca [2 x [2 x i64]]
// CHECK: %[[ROW1_INIT:[0-9]+]] = getelementptr inbounds [2 x i64], ptr %[[MATRIX]], i64 1
// CHECK: call void @"{{.*}}/runtime/internal/runtime.AssertNilDeref"
// CHECK: %[[ROW1_ELEM0:[0-9]+]] = getelementptr inbounds i64, ptr %[[ROW1_INIT]], i64 0
// CHECK: call void @"{{.*}}/runtime/internal/runtime.AssertNilDeref"
// CHECK: %[[ROW1_ELEM1:[0-9]+]] = getelementptr inbounds i64, ptr %[[ROW1_INIT]], i64 1
// CHECK: store i64 3, ptr %[[ROW1_ELEM0]]
// CHECK: store i64 4, ptr %[[ROW1_ELEM1]]
// CHECK: %[[ROW1_DST:[0-9]+]] = getelementptr inbounds [2 x i64], ptr %[[MATRIX]], i64 1
// CHECK: %[[ROW1_TMP:[0-9]+]] = alloca [2 x i64]
// CHECK: %[[ROW1_INIT_0:[0-9]+]] = getelementptr inbounds i64, ptr %[[ROW1_TMP]], i64 0
// CHECK: %[[ROW1_INIT_1:[0-9]+]] = getelementptr inbounds i64, ptr %[[ROW1_TMP]], i64 1
// CHECK: store i64 3, ptr %[[ROW1_INIT_0]]
// CHECK: store i64 4, ptr %[[ROW1_INIT_1]]
// CHECK: %[[ROW1_VALUE:[0-9]+]] = load [2 x i64], ptr %[[ROW1_TMP]]
// CHECK: store [2 x i64] %[[ROW1_VALUE]], ptr %[[ROW1_DST]]
// CHECK: %[[MATRIX_VALUE:[0-9]+]] = load [2 x [2 x i64]], ptr %[[MATRIX]]
// CHECK: %[[ROW1:[0-9]+]] = getelementptr inbounds [2 x i64], ptr %[[MATRIX]], i64 1
// CHECK: %[[SELECTED_ROW:[0-9]+]] = load [2 x i64], ptr %[[ROW1]]
// CHECK: store [2 x i64] %[[SELECTED_ROW]], ptr %[[ROW]]
Expand All @@ -64,8 +70,13 @@ type S []int
// Named pointer-to-array indexing and named-slice indexing use different
// lowering. The slice predicate, length and data pointer must stay associated.
// CHECK: %[[NAMED_ARRAY:[0-9]+]] = call ptr @"{{.*}}/runtime/internal/runtime.AllocZ"(i64 16)
// CHECK: %[[NAMED_ELEM_INIT:[0-9]+]] = getelementptr inbounds i64, ptr %[[NAMED_ARRAY]], i64 1
// CHECK: store i64 2, ptr %[[NAMED_ELEM_INIT]]
// CHECK: %[[NAMED_TMP:[0-9]+]] = alloca [2 x i64]
// CHECK: %[[NAMED_INIT_0:[0-9]+]] = getelementptr inbounds i64, ptr %[[NAMED_TMP]], i64 0
// CHECK: %[[NAMED_INIT_1:[0-9]+]] = getelementptr inbounds i64, ptr %[[NAMED_TMP]], i64 1
// CHECK: store i64 1, ptr %[[NAMED_INIT_0]]
// CHECK: store i64 2, ptr %[[NAMED_INIT_1]]
// CHECK: %[[NAMED_VALUE:[0-9]+]] = load [2 x i64], ptr %[[NAMED_TMP]]
// CHECK: store [2 x i64] %[[NAMED_VALUE]], ptr %[[NAMED_ARRAY]]
// CHECK: %[[NAMED_ELEM:[0-9]+]] = getelementptr inbounds i64, ptr %[[NAMED_ARRAY]], i64 1
// CHECK: load i64, ptr %[[NAMED_ELEM]]
// CHECK: %[[SLICE_DATA_RAW:[0-9]+]] = call ptr @"{{.*}}/runtime/internal/runtime.AllocZ"(i64 32)
Expand Down
54 changes: 29 additions & 25 deletions cl/_testrt/qsort/in.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,44 +26,48 @@ func main() {
// CHECK-LABEL: define void @main.main(){{.*}} {
// CHECK-NEXT: _llgo_[[BB0:[0-9]+]]:
// CHECK-NEXT: %[[TMP0:[0-9]+]] = call ptr @"{{.*}}/runtime/internal/runtime.AllocZ"(i64 40)
// CHECK-NEXT: %[[TMP1:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP0]], i64 0
// CHECK-NEXT: %[[TMP2:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP0]], i64 1
// CHECK-NEXT: %[[TMP3:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP0]], i64 2
// CHECK-NEXT: %[[TMP4:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP0]], i64 3
// CHECK-NEXT: %[[TMP5:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP0]], i64 4
// CHECK-NEXT: store i64 100, ptr %[[TMP1]], align 8
// CHECK-NEXT: store i64 8, ptr %[[TMP2]], align 8
// CHECK-NEXT: store i64 23, ptr %[[TMP3]], align 8
// CHECK-NEXT: store i64 2, ptr %[[TMP4]], align 8
// CHECK-NEXT: store i64 7, ptr %[[TMP5]], align 8
// CHECK-NEXT: %[[TMP6:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP0]], i64 0
// CHECK-NEXT: call void @qsort(ptr %[[TMP6]], i64 5, i64 8, ptr @"main.main$1")
// CHECK-NEXT: %[[TMP7:[0-9]+]] = load [5 x i64], ptr %[[TMP0]], align 8
// CHECK-NEXT: %[[TMP1:[0-9]+]] = alloca [5 x i64], align 8
// CHECK-NEXT: call void @llvm.memset.p0.i64(ptr %[[TMP1]], i8 0, i64 40, i1 false)
// CHECK-NEXT: %[[TMP2:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP1]], i64 0
// CHECK-NEXT: %[[TMP3:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP1]], i64 1
// CHECK-NEXT: %[[TMP4:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP1]], i64 2
// CHECK-NEXT: %[[TMP5:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP1]], i64 3
// CHECK-NEXT: %[[TMP6:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP1]], i64 4
// CHECK-NEXT: store i64 100, ptr %[[TMP2]], align 8
// CHECK-NEXT: store i64 8, ptr %[[TMP3]], align 8
// CHECK-NEXT: store i64 23, ptr %[[TMP4]], align 8
// CHECK-NEXT: store i64 2, ptr %[[TMP5]], align 8
// CHECK-NEXT: store i64 7, ptr %[[TMP6]], align 8
// CHECK-NEXT: %[[TMP7:[0-9]+]] = load [5 x i64], ptr %[[TMP1]], align 8
// CHECK-NEXT: store [5 x i64] %[[TMP7]], ptr %[[TMP0]], align 8
// CHECK-NEXT: %[[TMP8:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP0]], i64 0
// CHECK-NEXT: call void @qsort(ptr %[[TMP8]], i64 5, i64 8, ptr @"main.main$1")
// CHECK-NEXT: %[[TMP9:[0-9]+]] = load [5 x i64], ptr %[[TMP0]], align 8
// CHECK-NEXT: br label %_llgo_[[BB1:[0-9]+]]
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_[[BB1]]:
// CHECK-NEXT: %[[TMP8:[0-9]+]] = phi i64 [ -1, %_llgo_[[BB0]] ], [ %[[TMP9:[0-9]+]], %_llgo_[[BB5:[0-9]+]] ]
// CHECK-NEXT: %[[TMP9]] = add i64 %[[TMP8]], 1
// CHECK-NEXT: %[[TMP10:[0-9]+]] = icmp slt i64 %[[TMP9]], 5
// CHECK-NEXT: br i1 %[[TMP10]], label %_llgo_[[BB2:[0-9]+]], label %_llgo_[[BB3:[0-9]+]]
// CHECK-NEXT: %[[TMP10:[0-9]+]] = phi i64 [ -1, %_llgo_[[BB0]] ], [ %[[TMP11:[0-9]+]], %_llgo_[[BB5:[0-9]+]] ]
// CHECK-NEXT: %[[TMP11]] = add i64 %[[TMP10]], 1
// CHECK-NEXT: %[[TMP12:[0-9]+]] = icmp slt i64 %[[TMP11]], 5
// CHECK-NEXT: br i1 %[[TMP12]], label %_llgo_[[BB2:[0-9]+]], label %_llgo_[[BB3:[0-9]+]]
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_[[BB2]]:
// CHECK-NEXT: %[[TMP11:[0-9]+]] = icmp slt i64 %[[TMP9]], 0
// CHECK-NEXT: %[[TMP12:[0-9]+]] = icmp uge i64 %[[TMP9]], 5
// CHECK-NEXT: %[[TMP13:[0-9]+]] = or i1 %[[TMP12]], %[[TMP11]]
// CHECK-NEXT: br i1 %[[TMP13]], label %_llgo_[[BB4:[0-9]+]], label %_llgo_[[BB5]]
// CHECK-NEXT: %[[TMP13:[0-9]+]] = icmp slt i64 %[[TMP11]], 0
// CHECK-NEXT: %[[TMP14:[0-9]+]] = icmp uge i64 %[[TMP11]], 5
// CHECK-NEXT: %[[TMP15:[0-9]+]] = or i1 %[[TMP14]], %[[TMP13]]
// CHECK-NEXT: br i1 %[[TMP15]], label %_llgo_[[BB4:[0-9]+]], label %_llgo_[[BB5]]
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_[[BB3]]:
// CHECK-NEXT: ret void
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_[[BB4]]:
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.PanicIndex"(i64 %[[TMP9]], i64 5)
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.PanicIndex"(i64 %[[TMP11]], i64 5)
// CHECK-NEXT: br label %_llgo_[[BB4]]
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_[[BB5]]:
// CHECK-NEXT: %[[TMP14:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP0]], i64 %[[TMP9]]
// CHECK-NEXT: %[[TMP15:[0-9]+]] = load i64, ptr %[[TMP14]], align 8
// CHECK-NEXT: %[[TMP16:[0-9]+]] = call i32 (ptr, ...) @printf(ptr @[[GLOB0]], i64 %[[TMP15]])
// CHECK-NEXT: %[[TMP16:[0-9]+]] = getelementptr inbounds i64, ptr %[[TMP0]], i64 %[[TMP11]]
// CHECK-NEXT: %[[TMP17:[0-9]+]] = load i64, ptr %[[TMP16]], align 8
// CHECK-NEXT: %[[TMP18:[0-9]+]] = call i32 (ptr, ...) @printf(ptr @[[GLOB0]], i64 %[[TMP17]])
// CHECK-NEXT: br label %_llgo_[[BB1]]
// CHECK-NEXT: }

Expand Down
Loading
Loading