diff --git a/cl/_testgo/selects/in.go b/cl/_testgo/selects/in.go new file mode 100644 index 00000000..abfd8207 --- /dev/null +++ b/cl/_testgo/selects/in.go @@ -0,0 +1,30 @@ +package main + +func main() { + c1 := make(chan struct{}, 1) + c2 := make(chan struct{}, 1) + c3 := make(chan struct{}, 1) + c4 := make(chan struct{}, 1) + + go func() { + <-c1 + println("<-c1") + + select { + case c2 <- struct{}{}: + println("c2<-") + case <-c3: + println("<-c3") + } + }() + + c1 <- struct{}{} + println("c1<-") + + select { + case <-c2: + println("<-c2") + case <-c4: + println("<-c4") + } +} diff --git a/cl/_testgo/selects/out.ll b/cl/_testgo/selects/out.ll new file mode 100644 index 00000000..1a78d713 --- /dev/null +++ b/cl/_testgo/selects/out.ll @@ -0,0 +1,382 @@ +; ModuleID = 'main' +source_filename = "main" + +%"github.com/goplus/llgo/c/pthread.RoutineFunc" = type { ptr, ptr } +%"github.com/goplus/llgo/internal/runtime.String" = type { ptr, i64 } +%"github.com/goplus/llgo/internal/runtime.ChanOp" = type { ptr, ptr, i32, i1 } +%"github.com/goplus/llgo/internal/runtime.Slice" = type { ptr, i64, i64 } +%"github.com/goplus/llgo/internal/runtime.eface" = type { ptr, ptr } + +@"main.init$guard" = global i1 false, align 1 +@__llgo_argc = global i32 0, align 4 +@__llgo_argv = global ptr null, align 8 +@0 = private unnamed_addr constant [4 x i8] c"c1<-", align 1 +@1 = private unnamed_addr constant [4 x i8] c"<-c2", align 1 +@2 = private unnamed_addr constant [4 x i8] c"<-c4", align 1 +@3 = private unnamed_addr constant [31 x i8] c"blocking select matched no case", align 1 +@_llgo_string = linkonce global ptr null, align 8 +@4 = private unnamed_addr constant [4 x i8] c"<-c1", align 1 +@5 = private unnamed_addr constant [4 x i8] c"c2<-", align 1 +@6 = private unnamed_addr constant [4 x i8] c"<-c3", align 1 + +define void @main.init() { +_llgo_0: + %0 = load i1, ptr @"main.init$guard", align 1 + br i1 %0, label %_llgo_2, label %_llgo_1 + +_llgo_1: ; preds = %_llgo_0 + store i1 true, ptr @"main.init$guard", align 1 + call void @"main.init$after"() + br label %_llgo_2 + +_llgo_2: ; preds = %_llgo_1, %_llgo_0 + ret void +} + +define i32 @main(i32 %0, ptr %1) { +_llgo_0: + store i32 %0, ptr @__llgo_argc, align 4 + store ptr %1, ptr @__llgo_argv, align 8 + call void @"github.com/goplus/llgo/internal/runtime.init"() + call void @main.init() + %2 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64 8) + %3 = call ptr @"github.com/goplus/llgo/internal/runtime.NewChan"(i64 0, i64 1) + store ptr %3, ptr %2, align 8 + %4 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64 8) + %5 = call ptr @"github.com/goplus/llgo/internal/runtime.NewChan"(i64 0, i64 1) + store ptr %5, ptr %4, align 8 + %6 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64 8) + %7 = call ptr @"github.com/goplus/llgo/internal/runtime.NewChan"(i64 0, i64 1) + store ptr %7, ptr %6, align 8 + %8 = call ptr @"github.com/goplus/llgo/internal/runtime.NewChan"(i64 0, i64 1) + %9 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 24) + %10 = getelementptr inbounds { ptr, ptr, ptr }, ptr %9, i32 0, i32 0 + store ptr %2, ptr %10, align 8 + %11 = getelementptr inbounds { ptr, ptr, ptr }, ptr %9, i32 0, i32 1 + store ptr %4, ptr %11, align 8 + %12 = getelementptr inbounds { ptr, ptr, ptr }, ptr %9, i32 0, i32 2 + store ptr %6, ptr %12, align 8 + %13 = alloca { ptr, ptr }, align 8 + %14 = getelementptr inbounds { ptr, ptr }, ptr %13, i32 0, i32 0 + store ptr @"main.main$1", ptr %14, align 8 + %15 = getelementptr inbounds { ptr, ptr }, ptr %13, i32 0, i32 1 + store ptr %9, ptr %15, align 8 + %16 = load { ptr, ptr }, ptr %13, align 8 + %17 = call ptr @malloc(i64 16) + %18 = getelementptr inbounds { { ptr, ptr } }, ptr %17, i32 0, i32 0 + store { ptr, ptr } %16, ptr %18, align 8 + %19 = alloca i8, i64 8, align 1 + %20 = alloca %"github.com/goplus/llgo/c/pthread.RoutineFunc", align 8 + %21 = getelementptr inbounds %"github.com/goplus/llgo/c/pthread.RoutineFunc", ptr %20, i32 0, i32 0 + store ptr @"__llgo_stub.main._llgo_routine$1", ptr %21, align 8 + %22 = getelementptr inbounds %"github.com/goplus/llgo/c/pthread.RoutineFunc", ptr %20, i32 0, i32 1 + store ptr null, ptr %22, align 8 + %23 = load %"github.com/goplus/llgo/c/pthread.RoutineFunc", ptr %20, align 8 + %24 = call i32 @"github.com/goplus/llgo/internal/runtime.CreateThread"(ptr %19, ptr null, %"github.com/goplus/llgo/c/pthread.RoutineFunc" %23, ptr %17) + %25 = load ptr, ptr %2, align 8 + %26 = alloca {}, align 8 + %27 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %26, i64 0) + store {} zeroinitializer, ptr %27, align 1 + %28 = call i1 @"github.com/goplus/llgo/internal/runtime.ChanSend"(ptr %25, ptr %27, i64 0) + %29 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %30 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %29, i32 0, i32 0 + store ptr @0, ptr %30, align 8 + %31 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %29, i32 0, i32 1 + store i64 4, ptr %31, align 4 + %32 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %29, align 8 + call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %32) + call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) + %33 = load ptr, ptr %4, align 8 + %34 = alloca {}, align 8 + %35 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %34, i64 0) + %36 = alloca %"github.com/goplus/llgo/internal/runtime.ChanOp", align 8 + %37 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %36, i32 0, i32 0 + store ptr %33, ptr %37, align 8 + %38 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %36, i32 0, i32 1 + store ptr %35, ptr %38, align 8 + %39 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %36, i32 0, i32 2 + store i64 0, ptr %39, align 4 + %40 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %36, i32 0, i32 3 + store i1 false, ptr %40, align 1 + %41 = load %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %36, align 8 + %42 = alloca {}, align 8 + %43 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %42, i64 0) + %44 = alloca %"github.com/goplus/llgo/internal/runtime.ChanOp", align 8 + %45 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %44, i32 0, i32 0 + store ptr %8, ptr %45, align 8 + %46 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %44, i32 0, i32 1 + store ptr %43, ptr %46, align 8 + %47 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %44, i32 0, i32 2 + store i64 0, ptr %47, align 4 + %48 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %44, i32 0, i32 3 + store i1 false, ptr %48, align 1 + %49 = load %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %44, align 8 + %50 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 48) + %51 = getelementptr %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %50, i64 0 + store %"github.com/goplus/llgo/internal/runtime.ChanOp" %41, ptr %51, align 8 + %52 = getelementptr %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %50, i64 1 + store %"github.com/goplus/llgo/internal/runtime.ChanOp" %49, ptr %52, align 8 + %53 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8 + %54 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %53, i32 0, i32 0 + store ptr %50, ptr %54, align 8 + %55 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %53, i32 0, i32 1 + store i64 2, ptr %55, align 4 + %56 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %53, i32 0, i32 2 + store i64 2, ptr %56, align 4 + %57 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %53, align 8 + %58 = call { i64, i1 } @"github.com/goplus/llgo/internal/runtime.Select"(%"github.com/goplus/llgo/internal/runtime.Slice" %57) + %59 = extractvalue { i64, i1 } %58, 0 + %60 = extractvalue { i64, i1 } %58, 1 + %61 = extractvalue %"github.com/goplus/llgo/internal/runtime.ChanOp" %41, 1 + %62 = load {}, ptr %61, align 1 + %63 = extractvalue %"github.com/goplus/llgo/internal/runtime.ChanOp" %49, 1 + %64 = load {}, ptr %63, align 1 + %65 = alloca { i64, i1, {}, {} }, align 8 + %66 = getelementptr inbounds { i64, i1, {}, {} }, ptr %65, i32 0, i32 0 + store i64 %59, ptr %66, align 4 + %67 = getelementptr inbounds { i64, i1, {}, {} }, ptr %65, i32 0, i32 1 + store i1 %60, ptr %67, align 1 + %68 = getelementptr inbounds { i64, i1, {}, {} }, ptr %65, i32 0, i32 2 + store {} %62, ptr %68, align 1 + %69 = getelementptr inbounds { i64, i1, {}, {} }, ptr %65, i32 0, i32 3 + store {} %64, ptr %69, align 1 + %70 = load { i64, i1, {}, {} }, ptr %65, align 4 + %71 = extractvalue { i64, i1, {}, {} } %70, 0 + %72 = icmp eq i64 %71, 0 + br i1 %72, label %_llgo_2, label %_llgo_3 + +_llgo_1: ; preds = %_llgo_4, %_llgo_2 + ret i32 0 + +_llgo_2: ; preds = %_llgo_0 + %73 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %74 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %73, i32 0, i32 0 + store ptr @1, ptr %74, align 8 + %75 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %73, i32 0, i32 1 + store i64 4, ptr %75, align 4 + %76 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %73, align 8 + call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %76) + call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) + br label %_llgo_1 + +_llgo_3: ; preds = %_llgo_0 + %77 = icmp eq i64 %71, 1 + br i1 %77, label %_llgo_4, label %_llgo_5 + +_llgo_4: ; preds = %_llgo_3 + %78 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %79 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %78, i32 0, i32 0 + store ptr @2, ptr %79, align 8 + %80 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %78, i32 0, i32 1 + store i64 4, ptr %80, align 4 + %81 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %78, align 8 + call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %81) + call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) + br label %_llgo_1 + +_llgo_5: ; preds = %_llgo_3 + %82 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %83 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %82, i32 0, i32 0 + store ptr @3, ptr %83, align 8 + %84 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %82, i32 0, i32 1 + store i64 31, ptr %84, align 4 + %85 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %82, align 8 + %86 = load ptr, ptr @_llgo_string, align 8 + %87 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16) + store %"github.com/goplus/llgo/internal/runtime.String" %85, ptr %87, align 8 + %88 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8 + %89 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %88, i32 0, i32 0 + store ptr %86, ptr %89, align 8 + %90 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %88, i32 0, i32 1 + store ptr %87, ptr %90, align 8 + %91 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %88, align 8 + call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %91) + unreachable +} + +define void @"main.main$1"(ptr %0) { +_llgo_0: + %1 = load { ptr, ptr, ptr }, ptr %0, align 8 + %2 = extractvalue { ptr, ptr, ptr } %1, 0 + %3 = load ptr, ptr %2, align 8 + %4 = alloca {}, align 8 + %5 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %4, i64 0) + %6 = call i1 @"github.com/goplus/llgo/internal/runtime.ChanRecv"(ptr %3, ptr %5, i64 0) + %7 = load {}, ptr %5, align 1 + %8 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %9 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %8, i32 0, i32 0 + store ptr @4, ptr %9, align 8 + %10 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %8, i32 0, i32 1 + store i64 4, ptr %10, align 4 + %11 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %8, align 8 + call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %11) + call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) + %12 = extractvalue { ptr, ptr, ptr } %1, 1 + %13 = load ptr, ptr %12, align 8 + %14 = extractvalue { ptr, ptr, ptr } %1, 2 + %15 = load ptr, ptr %14, align 8 + %16 = alloca {}, align 8 + %17 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %16, i64 0) + store {} zeroinitializer, ptr %17, align 1 + %18 = alloca %"github.com/goplus/llgo/internal/runtime.ChanOp", align 8 + %19 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %18, i32 0, i32 0 + store ptr %13, ptr %19, align 8 + %20 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %18, i32 0, i32 1 + store ptr %17, ptr %20, align 8 + %21 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %18, i32 0, i32 2 + store i32 0, ptr %21, align 4 + %22 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %18, i32 0, i32 3 + store i1 true, ptr %22, align 1 + %23 = load %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %18, align 8 + %24 = alloca {}, align 8 + %25 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %24, i64 0) + %26 = alloca %"github.com/goplus/llgo/internal/runtime.ChanOp", align 8 + %27 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %26, i32 0, i32 0 + store ptr %15, ptr %27, align 8 + %28 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %26, i32 0, i32 1 + store ptr %25, ptr %28, align 8 + %29 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %26, i32 0, i32 2 + store i64 0, ptr %29, align 4 + %30 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %26, i32 0, i32 3 + store i1 false, ptr %30, align 1 + %31 = load %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %26, align 8 + %32 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 48) + %33 = getelementptr %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %32, i64 0 + store %"github.com/goplus/llgo/internal/runtime.ChanOp" %23, ptr %33, align 8 + %34 = getelementptr %"github.com/goplus/llgo/internal/runtime.ChanOp", ptr %32, i64 1 + store %"github.com/goplus/llgo/internal/runtime.ChanOp" %31, ptr %34, align 8 + %35 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8 + %36 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %35, i32 0, i32 0 + store ptr %32, ptr %36, align 8 + %37 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %35, i32 0, i32 1 + store i64 2, ptr %37, align 4 + %38 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %35, i32 0, i32 2 + store i64 2, ptr %38, align 4 + %39 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %35, align 8 + %40 = call { i64, i1 } @"github.com/goplus/llgo/internal/runtime.Select"(%"github.com/goplus/llgo/internal/runtime.Slice" %39) + %41 = extractvalue { i64, i1 } %40, 0 + %42 = extractvalue { i64, i1 } %40, 1 + %43 = extractvalue %"github.com/goplus/llgo/internal/runtime.ChanOp" %31, 1 + %44 = load {}, ptr %43, align 1 + %45 = alloca { i64, i1, {} }, align 8 + %46 = getelementptr inbounds { i64, i1, {} }, ptr %45, i32 0, i32 0 + store i64 %41, ptr %46, align 4 + %47 = getelementptr inbounds { i64, i1, {} }, ptr %45, i32 0, i32 1 + store i1 %42, ptr %47, align 1 + %48 = getelementptr inbounds { i64, i1, {} }, ptr %45, i32 0, i32 2 + store {} %44, ptr %48, align 1 + %49 = load { i64, i1, {} }, ptr %45, align 4 + %50 = extractvalue { i64, i1, {} } %49, 0 + %51 = icmp eq i64 %50, 0 + br i1 %51, label %_llgo_2, label %_llgo_3 + +_llgo_1: ; preds = %_llgo_4, %_llgo_2 + ret void + +_llgo_2: ; preds = %_llgo_0 + %52 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %53 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %52, i32 0, i32 0 + store ptr @5, ptr %53, align 8 + %54 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %52, i32 0, i32 1 + store i64 4, ptr %54, align 4 + %55 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %52, align 8 + call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %55) + call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) + br label %_llgo_1 + +_llgo_3: ; preds = %_llgo_0 + %56 = icmp eq i64 %50, 1 + br i1 %56, label %_llgo_4, label %_llgo_5 + +_llgo_4: ; preds = %_llgo_3 + %57 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %58 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %57, i32 0, i32 0 + store ptr @6, ptr %58, align 8 + %59 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %57, i32 0, i32 1 + store i64 4, ptr %59, align 4 + %60 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %57, align 8 + call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %60) + call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) + br label %_llgo_1 + +_llgo_5: ; preds = %_llgo_3 + %61 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %62 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %61, i32 0, i32 0 + store ptr @3, ptr %62, align 8 + %63 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %61, i32 0, i32 1 + store i64 31, ptr %63, align 4 + %64 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %61, align 8 + %65 = load ptr, ptr @_llgo_string, align 8 + %66 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16) + store %"github.com/goplus/llgo/internal/runtime.String" %64, ptr %66, align 8 + %67 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8 + %68 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %67, i32 0, i32 0 + store ptr %65, ptr %68, align 8 + %69 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %67, i32 0, i32 1 + store ptr %66, ptr %69, align 8 + %70 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %67, align 8 + call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %70) + unreachable +} + +declare void @"github.com/goplus/llgo/internal/runtime.init"() + +declare ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64) + +declare ptr @"github.com/goplus/llgo/internal/runtime.NewChan"(i64, i64) + +declare ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64) + +declare ptr @malloc(i64) + +define ptr @"main._llgo_routine$1"(ptr %0) { +_llgo_0: + %1 = load { { ptr, ptr } }, ptr %0, align 8 + %2 = extractvalue { { ptr, ptr } } %1, 0 + %3 = extractvalue { ptr, ptr } %2, 1 + %4 = extractvalue { ptr, ptr } %2, 0 + call void %4(ptr %3) + call void @free(ptr %0) + ret ptr null +} + +declare void @free(ptr) + +declare i32 @"github.com/goplus/llgo/internal/runtime.CreateThread"(ptr, ptr, %"github.com/goplus/llgo/c/pthread.RoutineFunc", ptr) + +define linkonce ptr @"__llgo_stub.main._llgo_routine$1"(ptr %0, ptr %1) { +_llgo_0: + %2 = tail call ptr @"main._llgo_routine$1"(ptr %1) + ret ptr %2 +} + +declare i1 @"github.com/goplus/llgo/internal/runtime.ChanSend"(ptr, ptr, i64) + +declare ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr, i64) + +declare void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String") + +declare void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8) + +declare { i64, i1 } @"github.com/goplus/llgo/internal/runtime.Select"(%"github.com/goplus/llgo/internal/runtime.Slice") + +define void @"main.init$after"() { +_llgo_0: + %0 = load ptr, ptr @_llgo_string, 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 24) + store ptr %2, ptr @_llgo_string, align 8 + br label %_llgo_2 + +_llgo_2: ; preds = %_llgo_1, %_llgo_0 + ret void +} + +declare ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64) + +declare void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface") + +declare i1 @"github.com/goplus/llgo/internal/runtime.ChanRecv"(ptr, ptr, i64) diff --git a/internal/runtime/z_chan.go b/internal/runtime/z_chan.go index fca39e59..59bae35f 100644 --- a/internal/runtime/z_chan.go +++ b/internal/runtime/z_chan.go @@ -37,7 +37,7 @@ type Chan struct { getp int len int cap int - sops *selectOp + sops []*selectOp sends uint16 close bool } @@ -64,7 +64,7 @@ func ChanCap(p *Chan) int { } func notifyOps(p *Chan) { - for sop := p.sops; sop != nil; sop = sop.next { + for _, sop := range p.sops { sop.notify() } } @@ -227,22 +227,18 @@ func ChanRecv(p *Chan, v unsafe.Pointer, eltSize int) (recvOK bool) { type selectOp struct { mutex sync.Mutex cond sync.Cond - next *selectOp - - sem bool + sem bool } func (p *selectOp) init() { p.mutex.Init(nil) p.cond.Init(nil) - p.next = nil p.sem = false } func (p *selectOp) end() { p.mutex.Destroy() p.cond.Destroy() - p.next = nil } func (p *selectOp) notify() { @@ -311,18 +307,18 @@ func Select(ops ...ChanOp) (isel int, recvOK bool) { func prepareSelect(c *Chan, selOp *selectOp) { c.mutex.Lock() - selOp.next = c.sops - c.sops = selOp + c.sops = append(c.sops, selOp) c.mutex.Unlock() } func endSelect(c *Chan, selOp *selectOp) { c.mutex.Lock() - pp := &c.sops - for *pp != selOp { - pp = &(*pp).next + for i, op := range c.sops { + if op == selOp { + c.sops = append(c.sops[:i], c.sops[i+1:]...) + break + } } - *pp = selOp.next c.mutex.Unlock() }