Skip to content

ssa/wasm: use selectors for Rund and Reth continuations #2208

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
cpunion merged 9 commits into from
Aug 3, 2026
Merged

ssa/wasm: use selectors for Rund and Reth continuations #2208

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
bf416bc
ssa: use static defer continuation selectors
cpunion Aug 3, 2026
47d94be
ssa: initialize defer selectors explicitly
cpunion Aug 3, 2026
2353dec
test: cover defer selector dispatch end to end
cpunion Aug 3, 2026
96b82b9
ssa/wasm: preserve native defer dispatch
cpunion Aug 3, 2026
bca3c5c
build: derive wasm platform from named target
cpunion Aug 3, 2026
09b8b95
test: generate complete defer dispatch checks
cpunion Aug 3, 2026
756a51c
ssa: clarify defer dispatch invariants
cpunion Aug 3, 2026
7523cf4
llgen: derive platform from flags target
cpunion Aug 3, 2026
dcff207
build: skip object emission in generation mode
cpunion Aug 3, 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
37 changes: 37 additions & 0 deletions chore/litgen/litgen_test.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,3 +47,40 @@ func TestProcessPath_SingleFileUsesContainingDir(t *testing.T) {
t.Fatalf("single-file mode did not include the containing package:\n%s", text)
}
}

func TestProcessPath_UsesFlagsFileTarget(t *testing.T) {
wd, err := os.Getwd()
if err != nil {
t.Fatal(err)
}
pkgDir, err := os.MkdirTemp(wd, "flags-target-")
if err != nil {
t.Fatal(err)
}
t.Cleanup(func() {
_ = os.RemoveAll(pkgDir)
})
sourceFile := filepath.Join(pkgDir, "in.go")
if err := os.WriteFile(sourceFile, []byte("// LITTEST\npackage main\n\nfunc main() { defer func() {}() }\n"), 0644); err != nil {
t.Fatal(err)
}
if err := os.WriteFile(filepath.Join(pkgDir, "flags.txt"), []byte("-target=wasm\n"), 0644); err != nil {
t.Fatal(err)
}

if err := processPath(sourceFile); err != nil {
t.Fatal(err)
}

data, err := os.ReadFile(sourceFile)
if err != nil {
t.Fatal(err)
}
text := string(data)
if !strings.Contains(text, "// CHECK-NEXT: switch i32") {
t.Fatalf("litgen did not use the wasm target from flags.txt:\n%s", text)
}
if strings.Contains(text, "blockaddress") || strings.Contains(text, "indirectbr") {
t.Fatalf("litgen generated native defer dispatch for a wasm target:\n%s", text)
}
}
1 change: 1 addition & 0 deletions cl/_testgo/deferdispatch-wasm-target/flags.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
-target=wasm
156 changes: 156 additions & 0 deletions cl/_testgo/deferdispatch-wasm-target/in.go
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,156 @@
// LITTEST
package main

// CHECK: {{^}}@0 = private unnamed_addr constant [5 x i8] c"first", align 1{{$}}
// CHECK: {{^}}@1 = private unnamed_addr constant [6 x i8] c"second", align 1{{$}}

func run() {
defer println("first")
defer println("second")
}

func main() {
run()
}

// CHECK-LABEL: define void @main.init(){{.*}} {
// CHECK-NEXT: _llgo_0:
// CHECK-NEXT: %0 = load i1, ptr @"main.init$guard", align 1
// CHECK-NEXT: br i1 %0, label %_llgo_2, label %_llgo_1
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_1: ; preds = %_llgo_0
// CHECK-NEXT: store i1 true, ptr @"main.init$guard", align 1
// CHECK-NEXT: br label %_llgo_2
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_2: ; preds = %_llgo_1, %_llgo_0
// CHECK-NEXT: ret void
// CHECK-NEXT: }

// CHECK-LABEL: define void @main.main(){{.*}} {
// CHECK-NEXT: _llgo_0:
// CHECK-NEXT: call void @main.run()
// CHECK-NEXT: ret void
// CHECK-NEXT: }

// CHECK-LABEL: define void @main.run(){{.*}} {
// CHECK-NEXT: _llgo_0:
// CHECK-NEXT: %0 = call ptr @"{{.*}}/runtime/internal/runtime.GetThreadDefer"()
// CHECK-NEXT: %1 = alloca i8, i32 200, align 1
// CHECK-NEXT: %2 = call ptr @"{{.*}}/runtime/internal/runtime.AllocU"(i32 24)
// CHECK-NEXT: %3 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 0
// CHECK-NEXT: store ptr %1, ptr %3, align 4
// CHECK-NEXT: %4 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 1
// CHECK-NEXT: store i32 0, ptr %4, align 4
// CHECK-NEXT: %5 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 2
// CHECK-NEXT: store ptr %0, ptr %5, align 4
// CHECK-NEXT: %6 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 3
// CHECK-NEXT: store ptr null, ptr %6, align 4
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.SetThreadDefer"(ptr %2)
// CHECK-NEXT: %7 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 1
// CHECK-NEXT: %8 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 3
// CHECK-NEXT: %9 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 4
// CHECK-NEXT: %10 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 5
// CHECK-NEXT: store ptr null, ptr %9, align 4
// CHECK-NEXT: store ptr null, ptr %10, align 4
// CHECK-NEXT: %11 = call i32 @setjmp(ptr %1)
// CHECK-NEXT: %12 = icmp eq i32 %11, 0
// CHECK-NEXT: br i1 %12, label %_llgo_4, label %_llgo_5
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_1: ; preds = %_llgo_3
// CHECK-NEXT: ret void
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_2: ; preds = %_llgo_5, %_llgo_4
// CHECK-NEXT: store ptr inttoptr (i32 2 to ptr), ptr %8, align 4
// CHECK-NEXT: %13 = load i32, ptr %7, align 4
// CHECK-NEXT: %14 = load ptr, ptr %10, align 4
// CHECK-NEXT: %15 = icmp ne ptr %14, null
// CHECK-NEXT: br i1 %15, label %_llgo_8, label %_llgo_9
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_3: ; preds = %_llgo_5, %_llgo_11
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.Rethrow"(ptr %0)
// CHECK-NEXT: br label %_llgo_1
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_4: ; preds = %_llgo_0
// CHECK-NEXT: %16 = load ptr, ptr %10, align 4
// CHECK-NEXT: %17 = call ptr @"{{.*}}/runtime/internal/runtime.AllocU"(i32 16)
// CHECK-NEXT: %18 = getelementptr inbounds { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %17, i32 0, i32 0
// CHECK-NEXT: store ptr %16, ptr %18, align 4
// CHECK-NEXT: %19 = getelementptr inbounds { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %17, i32 0, i32 1
// CHECK-NEXT: store i32 0, ptr %19, align 4
// CHECK-NEXT: %20 = getelementptr inbounds { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %17, i32 0, i32 2
// CHECK-NEXT: store %"{{.*}}/runtime/internal/runtime.String" { ptr @0, i32 5 }, ptr %20, align 4
// CHECK-NEXT: store ptr %17, ptr %10, align 4
// CHECK-NEXT: %21 = load ptr, ptr %10, align 4
// CHECK-NEXT: %22 = call ptr @"{{.*}}/runtime/internal/runtime.AllocU"(i32 16)
// CHECK-NEXT: %23 = getelementptr inbounds { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %22, i32 0, i32 0
// CHECK-NEXT: store ptr %21, ptr %23, align 4
// CHECK-NEXT: %24 = getelementptr inbounds { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %22, i32 0, i32 1
// CHECK-NEXT: store i32 1, ptr %24, align 4
// CHECK-NEXT: %25 = getelementptr inbounds { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %22, i32 0, i32 2
// CHECK-NEXT: store %"{{.*}}/runtime/internal/runtime.String" { ptr @1, i32 6 }, ptr %25, align 4
// CHECK-NEXT: store ptr %22, ptr %10, align 4
// CHECK-NEXT: store ptr inttoptr (i32 1 to ptr), ptr %9, align 4
// CHECK-NEXT: br label %_llgo_2
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_5: ; preds = %_llgo_0
// CHECK-NEXT: store ptr null, ptr %9, align 4
// CHECK-NEXT: %26 = load ptr, ptr %8, align 4
// CHECK-NEXT: %27 = ptrtoint ptr %26 to i32
// CHECK-NEXT: switch i32 %27, label %_llgo_13 [
// CHECK-NEXT: i32 1, label %_llgo_3
// CHECK-NEXT: i32 2, label %_llgo_7
// CHECK-NEXT: i32 0, label %_llgo_2
// CHECK-NEXT: ]
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_6: ; preds = %_llgo_11
// CHECK-NEXT: ret void
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_7: ; preds = %_llgo_5, %_llgo_9
// CHECK-NEXT: store ptr inttoptr (i32 1 to ptr), ptr %8, align 4
// CHECK-NEXT: %28 = load i32, ptr %7, align 4
// CHECK-NEXT: %29 = load ptr, ptr %10, align 4
// CHECK-NEXT: %30 = icmp ne ptr %29, null
// CHECK-NEXT: br i1 %30, label %_llgo_10, label %_llgo_11
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_8: ; preds = %_llgo_2
// CHECK-NEXT: %31 = load ptr, ptr %10, align 4
// CHECK-NEXT: %32 = load { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %31, align 4
// CHECK-NEXT: %33 = extractvalue { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" } %32, 0
// CHECK-NEXT: store ptr %33, ptr %10, align 4
// CHECK-NEXT: %34 = extractvalue { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" } %32, 2
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.FreeDeferNode"(ptr %31)
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.PrintString"(%"{{.*}}/runtime/internal/runtime.String" %34)
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.PrintByte"(i8 10)
// CHECK-NEXT: br label %_llgo_9
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_9: ; preds = %_llgo_8, %_llgo_2
// CHECK-NEXT: br label %_llgo_7
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_10: ; preds = %_llgo_7
// CHECK-NEXT: %35 = load ptr, ptr %10, align 4
// CHECK-NEXT: %36 = load { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %35, align 4
// CHECK-NEXT: %37 = extractvalue { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" } %36, 0
// CHECK-NEXT: store ptr %37, ptr %10, align 4
// CHECK-NEXT: %38 = extractvalue { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" } %36, 2
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.FreeDeferNode"(ptr %35)
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.PrintString"(%"{{.*}}/runtime/internal/runtime.String" %38)
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.PrintByte"(i8 10)
// CHECK-NEXT: br label %_llgo_11
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_11: ; preds = %_llgo_10, %_llgo_7
// CHECK-NEXT: %39 = load %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, align 4
// CHECK-NEXT: %40 = extractvalue %"{{.*}}/runtime/internal/runtime.Defer" %39, 2
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.SetThreadDefer"(ptr %40)
// CHECK-NEXT: %41 = load ptr, ptr %9, align 4
// CHECK-NEXT: %42 = ptrtoint ptr %41 to i32
// CHECK-NEXT: switch i32 %42, label %_llgo_12 [
// CHECK-NEXT: i32 0, label %_llgo_3
// CHECK-NEXT: i32 1, label %_llgo_6
// CHECK-NEXT: ]
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_12: ; preds = %_llgo_11
// CHECK-NEXT: unreachable
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_13: ; preds = %_llgo_5
// CHECK-NEXT: unreachable
// CHECK-NEXT: }
1 change: 1 addition & 0 deletions cl/_testgo/deferdispatch-wasm/flags.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
GOOS=wasip1 GOARCH=wasm
156 changes: 156 additions & 0 deletions cl/_testgo/deferdispatch-wasm/in.go
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,156 @@
// LITTEST
package main

// CHECK: {{^}}@0 = private unnamed_addr constant [5 x i8] c"first", align 1{{$}}
// CHECK: {{^}}@1 = private unnamed_addr constant [6 x i8] c"second", align 1{{$}}

func run() {
defer println("first")
defer println("second")
}

func main() {
run()
}

// CHECK-LABEL: define void @main.init(){{.*}} {
// CHECK-NEXT: _llgo_0:
// CHECK-NEXT: %0 = load i1, ptr @"main.init$guard", align 1
// CHECK-NEXT: br i1 %0, label %_llgo_2, label %_llgo_1
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_1: ; preds = %_llgo_0
// CHECK-NEXT: store i1 true, ptr @"main.init$guard", align 1
// CHECK-NEXT: br label %_llgo_2
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_2: ; preds = %_llgo_1, %_llgo_0
// CHECK-NEXT: ret void
// CHECK-NEXT: }

// CHECK-LABEL: define void @main.main(){{.*}} {
// CHECK-NEXT: _llgo_0:
// CHECK-NEXT: call void @main.run()
// CHECK-NEXT: ret void
// CHECK-NEXT: }

// CHECK-LABEL: define void @main.run(){{.*}} {
// CHECK-NEXT: _llgo_0:
// CHECK-NEXT: %0 = call ptr @"{{.*}}/runtime/internal/runtime.GetThreadDefer"()
// CHECK-NEXT: %1 = alloca i8, i32 200, align 1
// CHECK-NEXT: %2 = call ptr @"{{.*}}/runtime/internal/runtime.AllocU"(i32 24)
// CHECK-NEXT: %3 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 0
// CHECK-NEXT: store ptr %1, ptr %3, align 4
// CHECK-NEXT: %4 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 1
// CHECK-NEXT: store i32 0, ptr %4, align 4
// CHECK-NEXT: %5 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 2
// CHECK-NEXT: store ptr %0, ptr %5, align 4
// CHECK-NEXT: %6 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 3
// CHECK-NEXT: store ptr null, ptr %6, align 4
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.SetThreadDefer"(ptr %2)
// CHECK-NEXT: %7 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 1
// CHECK-NEXT: %8 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 3
// CHECK-NEXT: %9 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 4
// CHECK-NEXT: %10 = getelementptr inbounds %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, i32 0, i32 5
// CHECK-NEXT: store ptr null, ptr %9, align 4
// CHECK-NEXT: store ptr null, ptr %10, align 4
// CHECK-NEXT: %11 = call i32 @setjmp(ptr %1)
// CHECK-NEXT: %12 = icmp eq i32 %11, 0
// CHECK-NEXT: br i1 %12, label %_llgo_4, label %_llgo_5
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_1: ; preds = %_llgo_3
// CHECK-NEXT: ret void
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_2: ; preds = %_llgo_5, %_llgo_4
// CHECK-NEXT: store ptr inttoptr (i32 2 to ptr), ptr %8, align 4
// CHECK-NEXT: %13 = load i32, ptr %7, align 4
// CHECK-NEXT: %14 = load ptr, ptr %10, align 4
// CHECK-NEXT: %15 = icmp ne ptr %14, null
// CHECK-NEXT: br i1 %15, label %_llgo_8, label %_llgo_9
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_3: ; preds = %_llgo_5, %_llgo_11
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.Rethrow"(ptr %0)
// CHECK-NEXT: br label %_llgo_1
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_4: ; preds = %_llgo_0
// CHECK-NEXT: %16 = load ptr, ptr %10, align 4
// CHECK-NEXT: %17 = call ptr @"{{.*}}/runtime/internal/runtime.AllocU"(i32 16)
// CHECK-NEXT: %18 = getelementptr inbounds { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %17, i32 0, i32 0
// CHECK-NEXT: store ptr %16, ptr %18, align 4
// CHECK-NEXT: %19 = getelementptr inbounds { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %17, i32 0, i32 1
// CHECK-NEXT: store i32 0, ptr %19, align 4
// CHECK-NEXT: %20 = getelementptr inbounds { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %17, i32 0, i32 2
// CHECK-NEXT: store %"{{.*}}/runtime/internal/runtime.String" { ptr @0, i32 5 }, ptr %20, align 4
// CHECK-NEXT: store ptr %17, ptr %10, align 4
// CHECK-NEXT: %21 = load ptr, ptr %10, align 4
// CHECK-NEXT: %22 = call ptr @"{{.*}}/runtime/internal/runtime.AllocU"(i32 16)
// CHECK-NEXT: %23 = getelementptr inbounds { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %22, i32 0, i32 0
// CHECK-NEXT: store ptr %21, ptr %23, align 4
// CHECK-NEXT: %24 = getelementptr inbounds { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %22, i32 0, i32 1
// CHECK-NEXT: store i32 1, ptr %24, align 4
// CHECK-NEXT: %25 = getelementptr inbounds { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %22, i32 0, i32 2
// CHECK-NEXT: store %"{{.*}}/runtime/internal/runtime.String" { ptr @1, i32 6 }, ptr %25, align 4
// CHECK-NEXT: store ptr %22, ptr %10, align 4
// CHECK-NEXT: store ptr inttoptr (i32 1 to ptr), ptr %9, align 4
// CHECK-NEXT: br label %_llgo_2
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_5: ; preds = %_llgo_0
// CHECK-NEXT: store ptr null, ptr %9, align 4
// CHECK-NEXT: %26 = load ptr, ptr %8, align 4
// CHECK-NEXT: %27 = ptrtoint ptr %26 to i32
// CHECK-NEXT: switch i32 %27, label %_llgo_13 [
// CHECK-NEXT: i32 1, label %_llgo_3
// CHECK-NEXT: i32 2, label %_llgo_7
// CHECK-NEXT: i32 0, label %_llgo_2
// CHECK-NEXT: ]
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_6: ; preds = %_llgo_11
// CHECK-NEXT: ret void
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_7: ; preds = %_llgo_5, %_llgo_9
// CHECK-NEXT: store ptr inttoptr (i32 1 to ptr), ptr %8, align 4
// CHECK-NEXT: %28 = load i32, ptr %7, align 4
// CHECK-NEXT: %29 = load ptr, ptr %10, align 4
// CHECK-NEXT: %30 = icmp ne ptr %29, null
// CHECK-NEXT: br i1 %30, label %_llgo_10, label %_llgo_11
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_8: ; preds = %_llgo_2
// CHECK-NEXT: %31 = load ptr, ptr %10, align 4
// CHECK-NEXT: %32 = load { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %31, align 4
// CHECK-NEXT: %33 = extractvalue { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" } %32, 0
// CHECK-NEXT: store ptr %33, ptr %10, align 4
// CHECK-NEXT: %34 = extractvalue { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" } %32, 2
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.FreeDeferNode"(ptr %31)
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.PrintString"(%"{{.*}}/runtime/internal/runtime.String" %34)
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.PrintByte"(i8 10)
// CHECK-NEXT: br label %_llgo_9
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_9: ; preds = %_llgo_8, %_llgo_2
// CHECK-NEXT: br label %_llgo_7
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_10: ; preds = %_llgo_7
// CHECK-NEXT: %35 = load ptr, ptr %10, align 4
// CHECK-NEXT: %36 = load { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" }, ptr %35, align 4
// CHECK-NEXT: %37 = extractvalue { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" } %36, 0
// CHECK-NEXT: store ptr %37, ptr %10, align 4
// CHECK-NEXT: %38 = extractvalue { ptr, i32, %"{{.*}}/runtime/internal/runtime.String" } %36, 2
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.FreeDeferNode"(ptr %35)
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.PrintString"(%"{{.*}}/runtime/internal/runtime.String" %38)
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.PrintByte"(i8 10)
// CHECK-NEXT: br label %_llgo_11
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_11: ; preds = %_llgo_10, %_llgo_7
// CHECK-NEXT: %39 = load %"{{.*}}/runtime/internal/runtime.Defer", ptr %2, align 4
// CHECK-NEXT: %40 = extractvalue %"{{.*}}/runtime/internal/runtime.Defer" %39, 2
// CHECK-NEXT: call void @"{{.*}}/runtime/internal/runtime.SetThreadDefer"(ptr %40)
// CHECK-NEXT: %41 = load ptr, ptr %9, align 4
// CHECK-NEXT: %42 = ptrtoint ptr %41 to i32
// CHECK-NEXT: switch i32 %42, label %_llgo_12 [
// CHECK-NEXT: i32 0, label %_llgo_3
// CHECK-NEXT: i32 1, label %_llgo_6
// CHECK-NEXT: ]
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_12: ; preds = %_llgo_11
// CHECK-NEXT: unreachable
// CHECK-EMPTY:
// CHECK-NEXT: _llgo_13: ; preds = %_llgo_5
// CHECK-NEXT: unreachable
// CHECK-NEXT: }
1 change: 1 addition & 0 deletions cl/_testgo/deferdispatch/flags.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
GOOS=linux GOARCH=amd64
Loading
Loading