diff --git a/cl/_testdata/print/out.ll b/cl/_testdata/print/out.ll index 800dd205..44457e28 100644 --- a/cl/_testdata/print/out.ll +++ b/cl/_testdata/print/out.ll @@ -395,404 +395,537 @@ _llgo_0: %1 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 %2 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 1) %3 = icmp eq ptr %1, %2 - %4 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 - %5 = ptrtoint ptr %4 to i64 - %6 = trunc i64 %5 to i1 - %7 = alloca { i1, i1 }, align 8 - %8 = getelementptr inbounds { i1, i1 }, ptr %7, i32 0, i32 0 - store i1 %6, ptr %8, align 1 - %9 = getelementptr inbounds { i1, i1 }, ptr %7, i32 0, i32 1 - store i1 true, ptr %9, align 1 - %10 = load { i1, i1 }, ptr %7, align 1 - %11 = alloca { i1, i1 }, align 8 - %12 = getelementptr inbounds { i1, i1 }, ptr %11, i32 0, i32 0 - store i1 false, ptr %12, align 1 - %13 = getelementptr inbounds { i1, i1 }, ptr %11, i32 0, i32 1 - store i1 false, ptr %13, align 1 - %14 = load { i1, i1 }, ptr %11, align 1 - %15 = select i1 %3, { i1, i1 } %10, { i1, i1 } %14 - %16 = extractvalue { i1, i1 } %15, 0 - %17 = extractvalue { i1, i1 } %15, 1 - br i1 %17, label %_llgo_2, label %_llgo_3 + br i1 %3, label %_llgo_31, label %_llgo_32 -_llgo_1: ; preds = %_llgo_30, %_llgo_29, %_llgo_28, %_llgo_26, %_llgo_24, %_llgo_22, %_llgo_20, %_llgo_18, %_llgo_16, %_llgo_14, %_llgo_12, %_llgo_10, %_llgo_8, %_llgo_6, %_llgo_4, %_llgo_2 +_llgo_1: ; preds = %_llgo_30, %_llgo_75, %_llgo_28, %_llgo_26, %_llgo_24, %_llgo_22, %_llgo_20, %_llgo_18, %_llgo_16, %_llgo_14, %_llgo_12, %_llgo_10, %_llgo_8, %_llgo_6, %_llgo_4, %_llgo_2 ret void -_llgo_2: ; preds = %_llgo_0 - call void @main.printbool(i1 %16) +_llgo_2: ; preds = %_llgo_33 + call void @main.printbool(i1 %65) br label %_llgo_1 -_llgo_3: ; preds = %_llgo_0 - %18 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 - %19 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 2) - %20 = icmp eq ptr %18, %19 - %21 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 - %22 = ptrtoint ptr %21 to i64 - %23 = alloca { i64, i1 }, align 8 - %24 = getelementptr inbounds { i64, i1 }, ptr %23, i32 0, i32 0 - store i64 %22, ptr %24, align 4 - %25 = getelementptr inbounds { i64, i1 }, ptr %23, i32 0, i32 1 - store i1 true, ptr %25, align 1 - %26 = load { i64, i1 }, ptr %23, align 4 - %27 = alloca { i64, i1 }, align 8 - %28 = getelementptr inbounds { i64, i1 }, ptr %27, i32 0, i32 0 - store i64 0, ptr %28, align 4 - %29 = getelementptr inbounds { i64, i1 }, ptr %27, i32 0, i32 1 - store i1 false, ptr %29, align 1 - %30 = load { i64, i1 }, ptr %27, align 4 - %31 = select i1 %20, { i64, i1 } %26, { i64, i1 } %30 - %32 = extractvalue { i64, i1 } %31, 0 - %33 = extractvalue { i64, i1 } %31, 1 - br i1 %33, label %_llgo_4, label %_llgo_5 +_llgo_3: ; preds = %_llgo_33 + %4 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %5 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 2) + %6 = icmp eq ptr %4, %5 + br i1 %6, label %_llgo_34, label %_llgo_35 -_llgo_4: ; preds = %_llgo_3 - call void @main.printint(i64 %32) +_llgo_4: ; preds = %_llgo_36 + call void @main.printint(i64 %78) br label %_llgo_1 -_llgo_5: ; preds = %_llgo_3 - %34 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 - %35 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 3) - %36 = icmp eq ptr %34, %35 - %37 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 - %38 = ptrtoint ptr %37 to i64 - %39 = trunc i64 %38 to i8 - %40 = alloca { i8, i1 }, align 8 - %41 = getelementptr inbounds { i8, i1 }, ptr %40, i32 0, i32 0 - store i8 %39, ptr %41, align 1 - %42 = getelementptr inbounds { i8, i1 }, ptr %40, i32 0, i32 1 - store i1 true, ptr %42, align 1 - %43 = load { i8, i1 }, ptr %40, align 1 - %44 = alloca { i8, i1 }, align 8 - %45 = getelementptr inbounds { i8, i1 }, ptr %44, i32 0, i32 0 - store i8 0, ptr %45, align 1 - %46 = getelementptr inbounds { i8, i1 }, ptr %44, i32 0, i32 1 - store i1 false, ptr %46, align 1 - %47 = load { i8, i1 }, ptr %44, align 1 - %48 = select i1 %36, { i8, i1 } %43, { i8, i1 } %47 - %49 = extractvalue { i8, i1 } %48, 0 - %50 = extractvalue { i8, i1 } %48, 1 - br i1 %50, label %_llgo_6, label %_llgo_7 +_llgo_5: ; preds = %_llgo_36 + %7 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %8 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 3) + %9 = icmp eq ptr %7, %8 + br i1 %9, label %_llgo_37, label %_llgo_38 -_llgo_6: ; preds = %_llgo_5 - %51 = sext i8 %49 to i64 - call void @main.printint(i64 %51) +_llgo_6: ; preds = %_llgo_39 + %10 = sext i8 %92 to i64 + call void @main.printint(i64 %10) br label %_llgo_1 -_llgo_7: ; preds = %_llgo_5 - %52 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 - %53 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 4) - %54 = icmp eq ptr %52, %53 - %55 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 - %56 = ptrtoint ptr %55 to i64 - %57 = trunc i64 %56 to i16 - %58 = alloca { i16, i1 }, align 8 - %59 = getelementptr inbounds { i16, i1 }, ptr %58, i32 0, i32 0 - store i16 %57, ptr %59, align 2 - %60 = getelementptr inbounds { i16, i1 }, ptr %58, i32 0, i32 1 - store i1 true, ptr %60, align 1 - %61 = load { i16, i1 }, ptr %58, align 2 - %62 = alloca { i16, i1 }, align 8 - %63 = getelementptr inbounds { i16, i1 }, ptr %62, i32 0, i32 0 - store i16 0, ptr %63, align 2 - %64 = getelementptr inbounds { i16, i1 }, ptr %62, i32 0, i32 1 - store i1 false, ptr %64, align 1 - %65 = load { i16, i1 }, ptr %62, align 2 - %66 = select i1 %54, { i16, i1 } %61, { i16, i1 } %65 - %67 = extractvalue { i16, i1 } %66, 0 - %68 = extractvalue { i16, i1 } %66, 1 - br i1 %68, label %_llgo_8, label %_llgo_9 +_llgo_7: ; preds = %_llgo_39 + %11 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %12 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 4) + %13 = icmp eq ptr %11, %12 + br i1 %13, label %_llgo_40, label %_llgo_41 -_llgo_8: ; preds = %_llgo_7 - %69 = sext i16 %67 to i64 - call void @main.printint(i64 %69) +_llgo_8: ; preds = %_llgo_42 + %14 = sext i16 %106 to i64 + call void @main.printint(i64 %14) br label %_llgo_1 -_llgo_9: ; preds = %_llgo_7 - %70 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 - %71 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 5) - %72 = icmp eq ptr %70, %71 - %73 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 - %74 = ptrtoint ptr %73 to i64 - %75 = trunc i64 %74 to i32 - %76 = alloca { i32, i1 }, align 8 - %77 = getelementptr inbounds { i32, i1 }, ptr %76, i32 0, i32 0 - store i32 %75, ptr %77, align 4 - %78 = getelementptr inbounds { i32, i1 }, ptr %76, i32 0, i32 1 - store i1 true, ptr %78, align 1 - %79 = load { i32, i1 }, ptr %76, align 4 - %80 = alloca { i32, i1 }, align 8 - %81 = getelementptr inbounds { i32, i1 }, ptr %80, i32 0, i32 0 - store i32 0, ptr %81, align 4 - %82 = getelementptr inbounds { i32, i1 }, ptr %80, i32 0, i32 1 - store i1 false, ptr %82, align 1 - %83 = load { i32, i1 }, ptr %80, align 4 - %84 = select i1 %72, { i32, i1 } %79, { i32, i1 } %83 - %85 = extractvalue { i32, i1 } %84, 0 - %86 = extractvalue { i32, i1 } %84, 1 - br i1 %86, label %_llgo_10, label %_llgo_11 +_llgo_9: ; preds = %_llgo_42 + %15 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %16 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 5) + %17 = icmp eq ptr %15, %16 + br i1 %17, label %_llgo_43, label %_llgo_44 -_llgo_10: ; preds = %_llgo_9 - %87 = sext i32 %85 to i64 - call void @main.printint(i64 %87) +_llgo_10: ; preds = %_llgo_45 + %18 = sext i32 %120 to i64 + call void @main.printint(i64 %18) br label %_llgo_1 -_llgo_11: ; preds = %_llgo_9 - %88 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 - %89 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 6) - %90 = icmp eq ptr %88, %89 - %91 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 - %92 = ptrtoint ptr %91 to i64 - %93 = alloca { i64, i1 }, align 8 - %94 = getelementptr inbounds { i64, i1 }, ptr %93, i32 0, i32 0 - store i64 %92, ptr %94, align 4 - %95 = getelementptr inbounds { i64, i1 }, ptr %93, i32 0, i32 1 - store i1 true, ptr %95, align 1 - %96 = load { i64, i1 }, ptr %93, align 4 - %97 = alloca { i64, i1 }, align 8 - %98 = getelementptr inbounds { i64, i1 }, ptr %97, i32 0, i32 0 - store i64 0, ptr %98, align 4 - %99 = getelementptr inbounds { i64, i1 }, ptr %97, i32 0, i32 1 - store i1 false, ptr %99, align 1 - %100 = load { i64, i1 }, ptr %97, align 4 - %101 = select i1 %90, { i64, i1 } %96, { i64, i1 } %100 - %102 = extractvalue { i64, i1 } %101, 0 - %103 = extractvalue { i64, i1 } %101, 1 - br i1 %103, label %_llgo_12, label %_llgo_13 +_llgo_11: ; preds = %_llgo_45 + %19 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %20 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 6) + %21 = icmp eq ptr %19, %20 + br i1 %21, label %_llgo_46, label %_llgo_47 -_llgo_12: ; preds = %_llgo_11 - call void @main.printint(i64 %102) +_llgo_12: ; preds = %_llgo_48 + call void @main.printint(i64 %133) br label %_llgo_1 -_llgo_13: ; preds = %_llgo_11 - %104 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 - %105 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 7) - %106 = icmp eq ptr %104, %105 - %107 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 - %108 = ptrtoint ptr %107 to i64 - %109 = alloca { i64, i1 }, align 8 - %110 = getelementptr inbounds { i64, i1 }, ptr %109, i32 0, i32 0 - store i64 %108, ptr %110, align 4 - %111 = getelementptr inbounds { i64, i1 }, ptr %109, i32 0, i32 1 - store i1 true, ptr %111, align 1 - %112 = load { i64, i1 }, ptr %109, align 4 - %113 = alloca { i64, i1 }, align 8 - %114 = getelementptr inbounds { i64, i1 }, ptr %113, i32 0, i32 0 - store i64 0, ptr %114, align 4 - %115 = getelementptr inbounds { i64, i1 }, ptr %113, i32 0, i32 1 - store i1 false, ptr %115, align 1 - %116 = load { i64, i1 }, ptr %113, align 4 - %117 = select i1 %106, { i64, i1 } %112, { i64, i1 } %116 - %118 = extractvalue { i64, i1 } %117, 0 - %119 = extractvalue { i64, i1 } %117, 1 - br i1 %119, label %_llgo_14, label %_llgo_15 +_llgo_13: ; preds = %_llgo_48 + %22 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %23 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 7) + %24 = icmp eq ptr %22, %23 + br i1 %24, label %_llgo_49, label %_llgo_50 -_llgo_14: ; preds = %_llgo_13 - call void @main.printuint(i64 %118) +_llgo_14: ; preds = %_llgo_51 + call void @main.printuint(i64 %146) br label %_llgo_1 -_llgo_15: ; preds = %_llgo_13 - %120 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 - %121 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 8) - %122 = icmp eq ptr %120, %121 - %123 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 - %124 = ptrtoint ptr %123 to i64 - %125 = trunc i64 %124 to i8 - %126 = alloca { i8, i1 }, align 8 - %127 = getelementptr inbounds { i8, i1 }, ptr %126, i32 0, i32 0 - store i8 %125, ptr %127, align 1 - %128 = getelementptr inbounds { i8, i1 }, ptr %126, i32 0, i32 1 - store i1 true, ptr %128, align 1 - %129 = load { i8, i1 }, ptr %126, align 1 - %130 = alloca { i8, i1 }, align 8 - %131 = getelementptr inbounds { i8, i1 }, ptr %130, i32 0, i32 0 - store i8 0, ptr %131, align 1 - %132 = getelementptr inbounds { i8, i1 }, ptr %130, i32 0, i32 1 - store i1 false, ptr %132, align 1 - %133 = load { i8, i1 }, ptr %130, align 1 - %134 = select i1 %122, { i8, i1 } %129, { i8, i1 } %133 - %135 = extractvalue { i8, i1 } %134, 0 - %136 = extractvalue { i8, i1 } %134, 1 - br i1 %136, label %_llgo_16, label %_llgo_17 +_llgo_15: ; preds = %_llgo_51 + %25 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %26 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 8) + %27 = icmp eq ptr %25, %26 + br i1 %27, label %_llgo_52, label %_llgo_53 -_llgo_16: ; preds = %_llgo_15 - %137 = zext i8 %135 to i64 - call void @main.printuint(i64 %137) +_llgo_16: ; preds = %_llgo_54 + %28 = zext i8 %160 to i64 + call void @main.printuint(i64 %28) br label %_llgo_1 -_llgo_17: ; preds = %_llgo_15 - %138 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 - %139 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 9) - %140 = icmp eq ptr %138, %139 - %141 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 - %142 = ptrtoint ptr %141 to i64 - %143 = trunc i64 %142 to i16 - %144 = alloca { i16, i1 }, align 8 - %145 = getelementptr inbounds { i16, i1 }, ptr %144, i32 0, i32 0 - store i16 %143, ptr %145, align 2 - %146 = getelementptr inbounds { i16, i1 }, ptr %144, i32 0, i32 1 - store i1 true, ptr %146, align 1 - %147 = load { i16, i1 }, ptr %144, align 2 - %148 = alloca { i16, i1 }, align 8 - %149 = getelementptr inbounds { i16, i1 }, ptr %148, i32 0, i32 0 - store i16 0, ptr %149, align 2 - %150 = getelementptr inbounds { i16, i1 }, ptr %148, i32 0, i32 1 - store i1 false, ptr %150, align 1 - %151 = load { i16, i1 }, ptr %148, align 2 - %152 = select i1 %140, { i16, i1 } %147, { i16, i1 } %151 - %153 = extractvalue { i16, i1 } %152, 0 - %154 = extractvalue { i16, i1 } %152, 1 - br i1 %154, label %_llgo_18, label %_llgo_19 +_llgo_17: ; preds = %_llgo_54 + %29 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %30 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 9) + %31 = icmp eq ptr %29, %30 + br i1 %31, label %_llgo_55, label %_llgo_56 -_llgo_18: ; preds = %_llgo_17 - %155 = zext i16 %153 to i64 - call void @main.printuint(i64 %155) +_llgo_18: ; preds = %_llgo_57 + %32 = zext i16 %174 to i64 + call void @main.printuint(i64 %32) br label %_llgo_1 -_llgo_19: ; preds = %_llgo_17 - %156 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 - %157 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 10) - %158 = icmp eq ptr %156, %157 - %159 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 - %160 = ptrtoint ptr %159 to i64 - %161 = trunc i64 %160 to i32 - %162 = alloca { i32, i1 }, align 8 - %163 = getelementptr inbounds { i32, i1 }, ptr %162, i32 0, i32 0 - store i32 %161, ptr %163, align 4 - %164 = getelementptr inbounds { i32, i1 }, ptr %162, i32 0, i32 1 - store i1 true, ptr %164, align 1 - %165 = load { i32, i1 }, ptr %162, align 4 - %166 = alloca { i32, i1 }, align 8 - %167 = getelementptr inbounds { i32, i1 }, ptr %166, i32 0, i32 0 - store i32 0, ptr %167, align 4 - %168 = getelementptr inbounds { i32, i1 }, ptr %166, i32 0, i32 1 - store i1 false, ptr %168, align 1 - %169 = load { i32, i1 }, ptr %166, align 4 - %170 = select i1 %158, { i32, i1 } %165, { i32, i1 } %169 - %171 = extractvalue { i32, i1 } %170, 0 - %172 = extractvalue { i32, i1 } %170, 1 - br i1 %172, label %_llgo_20, label %_llgo_21 +_llgo_19: ; preds = %_llgo_57 + %33 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %34 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 10) + %35 = icmp eq ptr %33, %34 + br i1 %35, label %_llgo_58, label %_llgo_59 -_llgo_20: ; preds = %_llgo_19 - %173 = zext i32 %171 to i64 - call void @main.printuint(i64 %173) +_llgo_20: ; preds = %_llgo_60 + %36 = zext i32 %188 to i64 + call void @main.printuint(i64 %36) br label %_llgo_1 -_llgo_21: ; preds = %_llgo_19 - %174 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 - %175 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 11) - %176 = icmp eq ptr %174, %175 - %177 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 - %178 = ptrtoint ptr %177 to i64 - %179 = alloca { i64, i1 }, align 8 - %180 = getelementptr inbounds { i64, i1 }, ptr %179, i32 0, i32 0 - store i64 %178, ptr %180, align 4 - %181 = getelementptr inbounds { i64, i1 }, ptr %179, i32 0, i32 1 +_llgo_21: ; preds = %_llgo_60 + %37 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %38 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 11) + %39 = icmp eq ptr %37, %38 + br i1 %39, label %_llgo_61, label %_llgo_62 + +_llgo_22: ; preds = %_llgo_63 + call void @main.printuint(i64 %201) + br label %_llgo_1 + +_llgo_23: ; preds = %_llgo_63 + %40 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %41 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 12) + %42 = icmp eq ptr %40, %41 + br i1 %42, label %_llgo_64, label %_llgo_65 + +_llgo_24: ; preds = %_llgo_66 + call void @main.printuint(i64 %214) + br label %_llgo_1 + +_llgo_25: ; preds = %_llgo_66 + %43 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %44 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 13) + %45 = icmp eq ptr %43, %44 + br i1 %45, label %_llgo_67, label %_llgo_68 + +_llgo_26: ; preds = %_llgo_69 + %46 = fpext float %229 to double + call void @main.printfloat(double %46) + br label %_llgo_1 + +_llgo_27: ; preds = %_llgo_69 + %47 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %48 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 14) + %49 = icmp eq ptr %47, %48 + br i1 %49, label %_llgo_70, label %_llgo_71 + +_llgo_28: ; preds = %_llgo_72 + call void @main.printfloat(double %243) + br label %_llgo_1 + +_llgo_29: ; preds = %_llgo_72 + %50 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %51 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 24) + %52 = icmp eq ptr %50, %51 + br i1 %52, label %_llgo_73, label %_llgo_74 + +_llgo_30: ; preds = %_llgo_75 + call void @main.printstring(%"github.com/goplus/llgo/internal/runtime.String" %256) + br label %_llgo_1 + +_llgo_31: ; preds = %_llgo_0 + %53 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %54 = ptrtoint ptr %53 to i64 + %55 = trunc i64 %54 to i1 + %56 = alloca { i1, i1 }, align 8 + %57 = getelementptr inbounds { i1, i1 }, ptr %56, i32 0, i32 0 + store i1 %55, ptr %57, align 1 + %58 = getelementptr inbounds { i1, i1 }, ptr %56, i32 0, i32 1 + store i1 true, ptr %58, align 1 + %59 = load { i1, i1 }, ptr %56, align 1 + br label %_llgo_33 + +_llgo_32: ; preds = %_llgo_0 + %60 = alloca { i1, i1 }, align 8 + %61 = getelementptr inbounds { i1, i1 }, ptr %60, i32 0, i32 0 + store i1 false, ptr %61, align 1 + %62 = getelementptr inbounds { i1, i1 }, ptr %60, i32 0, i32 1 + store i1 false, ptr %62, align 1 + %63 = load { i1, i1 }, ptr %60, align 1 + br label %_llgo_33 + +_llgo_33: ; preds = %_llgo_32, %_llgo_31 + %64 = phi { i1, i1 } [ %59, %_llgo_31 ], [ %63, %_llgo_32 ] + %65 = extractvalue { i1, i1 } %64, 0 + %66 = extractvalue { i1, i1 } %64, 1 + br i1 %66, label %_llgo_2, label %_llgo_3 + +_llgo_34: ; preds = %_llgo_3 + %67 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %68 = ptrtoint ptr %67 to i64 + %69 = alloca { i64, i1 }, align 8 + %70 = getelementptr inbounds { i64, i1 }, ptr %69, i32 0, i32 0 + store i64 %68, ptr %70, align 4 + %71 = getelementptr inbounds { i64, i1 }, ptr %69, i32 0, i32 1 + store i1 true, ptr %71, align 1 + %72 = load { i64, i1 }, ptr %69, align 4 + br label %_llgo_36 + +_llgo_35: ; preds = %_llgo_3 + %73 = alloca { i64, i1 }, align 8 + %74 = getelementptr inbounds { i64, i1 }, ptr %73, i32 0, i32 0 + store i64 0, ptr %74, align 4 + %75 = getelementptr inbounds { i64, i1 }, ptr %73, i32 0, i32 1 + store i1 false, ptr %75, align 1 + %76 = load { i64, i1 }, ptr %73, align 4 + br label %_llgo_36 + +_llgo_36: ; preds = %_llgo_35, %_llgo_34 + %77 = phi { i64, i1 } [ %72, %_llgo_34 ], [ %76, %_llgo_35 ] + %78 = extractvalue { i64, i1 } %77, 0 + %79 = extractvalue { i64, i1 } %77, 1 + br i1 %79, label %_llgo_4, label %_llgo_5 + +_llgo_37: ; preds = %_llgo_5 + %80 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %81 = ptrtoint ptr %80 to i64 + %82 = trunc i64 %81 to i8 + %83 = alloca { i8, i1 }, align 8 + %84 = getelementptr inbounds { i8, i1 }, ptr %83, i32 0, i32 0 + store i8 %82, ptr %84, align 1 + %85 = getelementptr inbounds { i8, i1 }, ptr %83, i32 0, i32 1 + store i1 true, ptr %85, align 1 + %86 = load { i8, i1 }, ptr %83, align 1 + br label %_llgo_39 + +_llgo_38: ; preds = %_llgo_5 + %87 = alloca { i8, i1 }, align 8 + %88 = getelementptr inbounds { i8, i1 }, ptr %87, i32 0, i32 0 + store i8 0, ptr %88, align 1 + %89 = getelementptr inbounds { i8, i1 }, ptr %87, i32 0, i32 1 + store i1 false, ptr %89, align 1 + %90 = load { i8, i1 }, ptr %87, align 1 + br label %_llgo_39 + +_llgo_39: ; preds = %_llgo_38, %_llgo_37 + %91 = phi { i8, i1 } [ %86, %_llgo_37 ], [ %90, %_llgo_38 ] + %92 = extractvalue { i8, i1 } %91, 0 + %93 = extractvalue { i8, i1 } %91, 1 + br i1 %93, label %_llgo_6, label %_llgo_7 + +_llgo_40: ; preds = %_llgo_7 + %94 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %95 = ptrtoint ptr %94 to i64 + %96 = trunc i64 %95 to i16 + %97 = alloca { i16, i1 }, align 8 + %98 = getelementptr inbounds { i16, i1 }, ptr %97, i32 0, i32 0 + store i16 %96, ptr %98, align 2 + %99 = getelementptr inbounds { i16, i1 }, ptr %97, i32 0, i32 1 + store i1 true, ptr %99, align 1 + %100 = load { i16, i1 }, ptr %97, align 2 + br label %_llgo_42 + +_llgo_41: ; preds = %_llgo_7 + %101 = alloca { i16, i1 }, align 8 + %102 = getelementptr inbounds { i16, i1 }, ptr %101, i32 0, i32 0 + store i16 0, ptr %102, align 2 + %103 = getelementptr inbounds { i16, i1 }, ptr %101, i32 0, i32 1 + store i1 false, ptr %103, align 1 + %104 = load { i16, i1 }, ptr %101, align 2 + br label %_llgo_42 + +_llgo_42: ; preds = %_llgo_41, %_llgo_40 + %105 = phi { i16, i1 } [ %100, %_llgo_40 ], [ %104, %_llgo_41 ] + %106 = extractvalue { i16, i1 } %105, 0 + %107 = extractvalue { i16, i1 } %105, 1 + br i1 %107, label %_llgo_8, label %_llgo_9 + +_llgo_43: ; preds = %_llgo_9 + %108 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %109 = ptrtoint ptr %108 to i64 + %110 = trunc i64 %109 to i32 + %111 = alloca { i32, i1 }, align 8 + %112 = getelementptr inbounds { i32, i1 }, ptr %111, i32 0, i32 0 + store i32 %110, ptr %112, align 4 + %113 = getelementptr inbounds { i32, i1 }, ptr %111, i32 0, i32 1 + store i1 true, ptr %113, align 1 + %114 = load { i32, i1 }, ptr %111, align 4 + br label %_llgo_45 + +_llgo_44: ; preds = %_llgo_9 + %115 = alloca { i32, i1 }, align 8 + %116 = getelementptr inbounds { i32, i1 }, ptr %115, i32 0, i32 0 + store i32 0, ptr %116, align 4 + %117 = getelementptr inbounds { i32, i1 }, ptr %115, i32 0, i32 1 + store i1 false, ptr %117, align 1 + %118 = load { i32, i1 }, ptr %115, align 4 + br label %_llgo_45 + +_llgo_45: ; preds = %_llgo_44, %_llgo_43 + %119 = phi { i32, i1 } [ %114, %_llgo_43 ], [ %118, %_llgo_44 ] + %120 = extractvalue { i32, i1 } %119, 0 + %121 = extractvalue { i32, i1 } %119, 1 + br i1 %121, label %_llgo_10, label %_llgo_11 + +_llgo_46: ; preds = %_llgo_11 + %122 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %123 = ptrtoint ptr %122 to i64 + %124 = alloca { i64, i1 }, align 8 + %125 = getelementptr inbounds { i64, i1 }, ptr %124, i32 0, i32 0 + store i64 %123, ptr %125, align 4 + %126 = getelementptr inbounds { i64, i1 }, ptr %124, i32 0, i32 1 + store i1 true, ptr %126, align 1 + %127 = load { i64, i1 }, ptr %124, align 4 + br label %_llgo_48 + +_llgo_47: ; preds = %_llgo_11 + %128 = alloca { i64, i1 }, align 8 + %129 = getelementptr inbounds { i64, i1 }, ptr %128, i32 0, i32 0 + store i64 0, ptr %129, align 4 + %130 = getelementptr inbounds { i64, i1 }, ptr %128, i32 0, i32 1 + store i1 false, ptr %130, align 1 + %131 = load { i64, i1 }, ptr %128, align 4 + br label %_llgo_48 + +_llgo_48: ; preds = %_llgo_47, %_llgo_46 + %132 = phi { i64, i1 } [ %127, %_llgo_46 ], [ %131, %_llgo_47 ] + %133 = extractvalue { i64, i1 } %132, 0 + %134 = extractvalue { i64, i1 } %132, 1 + br i1 %134, label %_llgo_12, label %_llgo_13 + +_llgo_49: ; preds = %_llgo_13 + %135 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %136 = ptrtoint ptr %135 to i64 + %137 = alloca { i64, i1 }, align 8 + %138 = getelementptr inbounds { i64, i1 }, ptr %137, i32 0, i32 0 + store i64 %136, ptr %138, align 4 + %139 = getelementptr inbounds { i64, i1 }, ptr %137, i32 0, i32 1 + store i1 true, ptr %139, align 1 + %140 = load { i64, i1 }, ptr %137, align 4 + br label %_llgo_51 + +_llgo_50: ; preds = %_llgo_13 + %141 = alloca { i64, i1 }, align 8 + %142 = getelementptr inbounds { i64, i1 }, ptr %141, i32 0, i32 0 + store i64 0, ptr %142, align 4 + %143 = getelementptr inbounds { i64, i1 }, ptr %141, i32 0, i32 1 + store i1 false, ptr %143, align 1 + %144 = load { i64, i1 }, ptr %141, align 4 + br label %_llgo_51 + +_llgo_51: ; preds = %_llgo_50, %_llgo_49 + %145 = phi { i64, i1 } [ %140, %_llgo_49 ], [ %144, %_llgo_50 ] + %146 = extractvalue { i64, i1 } %145, 0 + %147 = extractvalue { i64, i1 } %145, 1 + br i1 %147, label %_llgo_14, label %_llgo_15 + +_llgo_52: ; preds = %_llgo_15 + %148 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %149 = ptrtoint ptr %148 to i64 + %150 = trunc i64 %149 to i8 + %151 = alloca { i8, i1 }, align 8 + %152 = getelementptr inbounds { i8, i1 }, ptr %151, i32 0, i32 0 + store i8 %150, ptr %152, align 1 + %153 = getelementptr inbounds { i8, i1 }, ptr %151, i32 0, i32 1 + store i1 true, ptr %153, align 1 + %154 = load { i8, i1 }, ptr %151, align 1 + br label %_llgo_54 + +_llgo_53: ; preds = %_llgo_15 + %155 = alloca { i8, i1 }, align 8 + %156 = getelementptr inbounds { i8, i1 }, ptr %155, i32 0, i32 0 + store i8 0, ptr %156, align 1 + %157 = getelementptr inbounds { i8, i1 }, ptr %155, i32 0, i32 1 + store i1 false, ptr %157, align 1 + %158 = load { i8, i1 }, ptr %155, align 1 + br label %_llgo_54 + +_llgo_54: ; preds = %_llgo_53, %_llgo_52 + %159 = phi { i8, i1 } [ %154, %_llgo_52 ], [ %158, %_llgo_53 ] + %160 = extractvalue { i8, i1 } %159, 0 + %161 = extractvalue { i8, i1 } %159, 1 + br i1 %161, label %_llgo_16, label %_llgo_17 + +_llgo_55: ; preds = %_llgo_17 + %162 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %163 = ptrtoint ptr %162 to i64 + %164 = trunc i64 %163 to i16 + %165 = alloca { i16, i1 }, align 8 + %166 = getelementptr inbounds { i16, i1 }, ptr %165, i32 0, i32 0 + store i16 %164, ptr %166, align 2 + %167 = getelementptr inbounds { i16, i1 }, ptr %165, i32 0, i32 1 + store i1 true, ptr %167, align 1 + %168 = load { i16, i1 }, ptr %165, align 2 + br label %_llgo_57 + +_llgo_56: ; preds = %_llgo_17 + %169 = alloca { i16, i1 }, align 8 + %170 = getelementptr inbounds { i16, i1 }, ptr %169, i32 0, i32 0 + store i16 0, ptr %170, align 2 + %171 = getelementptr inbounds { i16, i1 }, ptr %169, i32 0, i32 1 + store i1 false, ptr %171, align 1 + %172 = load { i16, i1 }, ptr %169, align 2 + br label %_llgo_57 + +_llgo_57: ; preds = %_llgo_56, %_llgo_55 + %173 = phi { i16, i1 } [ %168, %_llgo_55 ], [ %172, %_llgo_56 ] + %174 = extractvalue { i16, i1 } %173, 0 + %175 = extractvalue { i16, i1 } %173, 1 + br i1 %175, label %_llgo_18, label %_llgo_19 + +_llgo_58: ; preds = %_llgo_19 + %176 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %177 = ptrtoint ptr %176 to i64 + %178 = trunc i64 %177 to i32 + %179 = alloca { i32, i1 }, align 8 + %180 = getelementptr inbounds { i32, i1 }, ptr %179, i32 0, i32 0 + store i32 %178, ptr %180, align 4 + %181 = getelementptr inbounds { i32, i1 }, ptr %179, i32 0, i32 1 store i1 true, ptr %181, align 1 - %182 = load { i64, i1 }, ptr %179, align 4 - %183 = alloca { i64, i1 }, align 8 - %184 = getelementptr inbounds { i64, i1 }, ptr %183, i32 0, i32 0 - store i64 0, ptr %184, align 4 - %185 = getelementptr inbounds { i64, i1 }, ptr %183, i32 0, i32 1 + %182 = load { i32, i1 }, ptr %179, align 4 + br label %_llgo_60 + +_llgo_59: ; preds = %_llgo_19 + %183 = alloca { i32, i1 }, align 8 + %184 = getelementptr inbounds { i32, i1 }, ptr %183, i32 0, i32 0 + store i32 0, ptr %184, align 4 + %185 = getelementptr inbounds { i32, i1 }, ptr %183, i32 0, i32 1 store i1 false, ptr %185, align 1 - %186 = load { i64, i1 }, ptr %183, align 4 - %187 = select i1 %176, { i64, i1 } %182, { i64, i1 } %186 - %188 = extractvalue { i64, i1 } %187, 0 - %189 = extractvalue { i64, i1 } %187, 1 - br i1 %189, label %_llgo_22, label %_llgo_23 + %186 = load { i32, i1 }, ptr %183, align 4 + br label %_llgo_60 -_llgo_22: ; preds = %_llgo_21 - call void @main.printuint(i64 %188) - br label %_llgo_1 +_llgo_60: ; preds = %_llgo_59, %_llgo_58 + %187 = phi { i32, i1 } [ %182, %_llgo_58 ], [ %186, %_llgo_59 ] + %188 = extractvalue { i32, i1 } %187, 0 + %189 = extractvalue { i32, i1 } %187, 1 + br i1 %189, label %_llgo_20, label %_llgo_21 -_llgo_23: ; preds = %_llgo_21 - %190 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 - %191 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 12) - %192 = icmp eq ptr %190, %191 - %193 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 - %194 = ptrtoint ptr %193 to i64 - %195 = alloca { i64, i1 }, align 8 - %196 = getelementptr inbounds { i64, i1 }, ptr %195, i32 0, i32 0 - store i64 %194, ptr %196, align 4 - %197 = getelementptr inbounds { i64, i1 }, ptr %195, i32 0, i32 1 - store i1 true, ptr %197, align 1 - %198 = load { i64, i1 }, ptr %195, align 4 - %199 = alloca { i64, i1 }, align 8 - %200 = getelementptr inbounds { i64, i1 }, ptr %199, i32 0, i32 0 - store i64 0, ptr %200, align 4 - %201 = getelementptr inbounds { i64, i1 }, ptr %199, i32 0, i32 1 - store i1 false, ptr %201, align 1 - %202 = load { i64, i1 }, ptr %199, align 4 - %203 = select i1 %192, { i64, i1 } %198, { i64, i1 } %202 - %204 = extractvalue { i64, i1 } %203, 0 - %205 = extractvalue { i64, i1 } %203, 1 - br i1 %205, label %_llgo_24, label %_llgo_25 +_llgo_61: ; preds = %_llgo_21 + %190 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %191 = ptrtoint ptr %190 to i64 + %192 = alloca { i64, i1 }, align 8 + %193 = getelementptr inbounds { i64, i1 }, ptr %192, i32 0, i32 0 + store i64 %191, ptr %193, align 4 + %194 = getelementptr inbounds { i64, i1 }, ptr %192, i32 0, i32 1 + store i1 true, ptr %194, align 1 + %195 = load { i64, i1 }, ptr %192, align 4 + br label %_llgo_63 -_llgo_24: ; preds = %_llgo_23 - call void @main.printuint(i64 %204) - br label %_llgo_1 +_llgo_62: ; preds = %_llgo_21 + %196 = alloca { i64, i1 }, align 8 + %197 = getelementptr inbounds { i64, i1 }, ptr %196, i32 0, i32 0 + store i64 0, ptr %197, align 4 + %198 = getelementptr inbounds { i64, i1 }, ptr %196, i32 0, i32 1 + store i1 false, ptr %198, align 1 + %199 = load { i64, i1 }, ptr %196, align 4 + br label %_llgo_63 -_llgo_25: ; preds = %_llgo_23 - %206 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 - %207 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 13) - %208 = icmp eq ptr %206, %207 - %209 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 - %210 = ptrtoint ptr %209 to i64 - %211 = trunc i64 %210 to i32 - %212 = bitcast i32 %211 to float - %213 = alloca { float, i1 }, align 8 - %214 = getelementptr inbounds { float, i1 }, ptr %213, i32 0, i32 0 - store float %212, ptr %214, align 4 - %215 = getelementptr inbounds { float, i1 }, ptr %213, i32 0, i32 1 - store i1 true, ptr %215, align 1 - %216 = load { float, i1 }, ptr %213, align 4 - %217 = alloca { float, i1 }, align 8 - %218 = getelementptr inbounds { float, i1 }, ptr %217, i32 0, i32 0 - store double 0.000000e+00, ptr %218, align 8 - %219 = getelementptr inbounds { float, i1 }, ptr %217, i32 0, i32 1 - store i1 false, ptr %219, align 1 - %220 = load { float, i1 }, ptr %217, align 4 - %221 = select i1 %208, { float, i1 } %216, { float, i1 } %220 - %222 = extractvalue { float, i1 } %221, 0 - %223 = extractvalue { float, i1 } %221, 1 - br i1 %223, label %_llgo_26, label %_llgo_27 +_llgo_63: ; preds = %_llgo_62, %_llgo_61 + %200 = phi { i64, i1 } [ %195, %_llgo_61 ], [ %199, %_llgo_62 ] + %201 = extractvalue { i64, i1 } %200, 0 + %202 = extractvalue { i64, i1 } %200, 1 + br i1 %202, label %_llgo_22, label %_llgo_23 -_llgo_26: ; preds = %_llgo_25 - %224 = fpext float %222 to double - call void @main.printfloat(double %224) - br label %_llgo_1 +_llgo_64: ; preds = %_llgo_23 + %203 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %204 = ptrtoint ptr %203 to i64 + %205 = alloca { i64, i1 }, align 8 + %206 = getelementptr inbounds { i64, i1 }, ptr %205, i32 0, i32 0 + store i64 %204, ptr %206, align 4 + %207 = getelementptr inbounds { i64, i1 }, ptr %205, i32 0, i32 1 + store i1 true, ptr %207, align 1 + %208 = load { i64, i1 }, ptr %205, align 4 + br label %_llgo_66 -_llgo_27: ; preds = %_llgo_25 - %225 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 - %226 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 14) - %227 = icmp eq ptr %225, %226 - %228 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 - %229 = ptrtoint ptr %228 to i64 - %230 = bitcast i64 %229 to double - %231 = alloca { double, i1 }, align 8 - %232 = getelementptr inbounds { double, i1 }, ptr %231, i32 0, i32 0 - store double %230, ptr %232, align 8 - %233 = getelementptr inbounds { double, i1 }, ptr %231, i32 0, i32 1 - store i1 true, ptr %233, align 1 - %234 = load { double, i1 }, ptr %231, align 8 - %235 = alloca { double, i1 }, align 8 - %236 = getelementptr inbounds { double, i1 }, ptr %235, i32 0, i32 0 - store double 0.000000e+00, ptr %236, align 8 - %237 = getelementptr inbounds { double, i1 }, ptr %235, i32 0, i32 1 - store i1 false, ptr %237, align 1 - %238 = load { double, i1 }, ptr %235, align 8 - %239 = select i1 %227, { double, i1 } %234, { double, i1 } %238 - %240 = extractvalue { double, i1 } %239, 0 - %241 = extractvalue { double, i1 } %239, 1 - br i1 %241, label %_llgo_28, label %_llgo_29 +_llgo_65: ; preds = %_llgo_23 + %209 = alloca { i64, i1 }, align 8 + %210 = getelementptr inbounds { i64, i1 }, ptr %209, i32 0, i32 0 + store i64 0, ptr %210, align 4 + %211 = getelementptr inbounds { i64, i1 }, ptr %209, i32 0, i32 1 + store i1 false, ptr %211, align 1 + %212 = load { i64, i1 }, ptr %209, align 4 + br label %_llgo_66 -_llgo_28: ; preds = %_llgo_27 - call void @main.printfloat(double %240) - br label %_llgo_1 +_llgo_66: ; preds = %_llgo_65, %_llgo_64 + %213 = phi { i64, i1 } [ %208, %_llgo_64 ], [ %212, %_llgo_65 ] + %214 = extractvalue { i64, i1 } %213, 0 + %215 = extractvalue { i64, i1 } %213, 1 + br i1 %215, label %_llgo_24, label %_llgo_25 -_llgo_29: ; preds = %_llgo_27 - %242 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 - %243 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 24) - %244 = icmp eq ptr %242, %243 +_llgo_67: ; preds = %_llgo_25 + %216 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %217 = ptrtoint ptr %216 to i64 + %218 = trunc i64 %217 to i32 + %219 = bitcast i32 %218 to float + %220 = alloca { float, i1 }, align 8 + %221 = getelementptr inbounds { float, i1 }, ptr %220, i32 0, i32 0 + store float %219, ptr %221, align 4 + %222 = getelementptr inbounds { float, i1 }, ptr %220, i32 0, i32 1 + store i1 true, ptr %222, align 1 + %223 = load { float, i1 }, ptr %220, align 4 + br label %_llgo_69 + +_llgo_68: ; preds = %_llgo_25 + %224 = alloca { float, i1 }, align 8 + %225 = getelementptr inbounds { float, i1 }, ptr %224, i32 0, i32 0 + store double 0.000000e+00, ptr %225, align 8 + %226 = getelementptr inbounds { float, i1 }, ptr %224, i32 0, i32 1 + store i1 false, ptr %226, align 1 + %227 = load { float, i1 }, ptr %224, align 4 + br label %_llgo_69 + +_llgo_69: ; preds = %_llgo_68, %_llgo_67 + %228 = phi { float, i1 } [ %223, %_llgo_67 ], [ %227, %_llgo_68 ] + %229 = extractvalue { float, i1 } %228, 0 + %230 = extractvalue { float, i1 } %228, 1 + br i1 %230, label %_llgo_26, label %_llgo_27 + +_llgo_70: ; preds = %_llgo_27 + %231 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %232 = ptrtoint ptr %231 to i64 + %233 = bitcast i64 %232 to double + %234 = alloca { double, i1 }, align 8 + %235 = getelementptr inbounds { double, i1 }, ptr %234, i32 0, i32 0 + store double %233, ptr %235, align 8 + %236 = getelementptr inbounds { double, i1 }, ptr %234, i32 0, i32 1 + store i1 true, ptr %236, align 1 + %237 = load { double, i1 }, ptr %234, align 8 + br label %_llgo_72 + +_llgo_71: ; preds = %_llgo_27 + %238 = alloca { double, i1 }, align 8 + %239 = getelementptr inbounds { double, i1 }, ptr %238, i32 0, i32 0 + store double 0.000000e+00, ptr %239, align 8 + %240 = getelementptr inbounds { double, i1 }, ptr %238, i32 0, i32 1 + store i1 false, ptr %240, align 1 + %241 = load { double, i1 }, ptr %238, align 8 + br label %_llgo_72 + +_llgo_72: ; preds = %_llgo_71, %_llgo_70 + %242 = phi { double, i1 } [ %237, %_llgo_70 ], [ %241, %_llgo_71 ] + %243 = extractvalue { double, i1 } %242, 0 + %244 = extractvalue { double, i1 } %242, 1 + br i1 %244, label %_llgo_28, label %_llgo_29 + +_llgo_73: ; preds = %_llgo_29 %245 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 %246 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %245, align 8 %247 = alloca { %"github.com/goplus/llgo/internal/runtime.String", i1 }, align 8 @@ -801,20 +934,22 @@ _llgo_29: ; preds = %_llgo_27 %249 = getelementptr inbounds { %"github.com/goplus/llgo/internal/runtime.String", i1 }, ptr %247, i32 0, i32 1 store i1 true, ptr %249, align 1 %250 = load { %"github.com/goplus/llgo/internal/runtime.String", i1 }, ptr %247, align 8 + br label %_llgo_75 + +_llgo_74: ; preds = %_llgo_29 %251 = alloca { %"github.com/goplus/llgo/internal/runtime.String", i1 }, align 8 %252 = getelementptr inbounds { %"github.com/goplus/llgo/internal/runtime.String", i1 }, ptr %251, i32 0, i32 0 store { ptr, i64 } zeroinitializer, ptr %252, align 8 %253 = getelementptr inbounds { %"github.com/goplus/llgo/internal/runtime.String", i1 }, ptr %251, i32 0, i32 1 store i1 false, ptr %253, align 1 %254 = load { %"github.com/goplus/llgo/internal/runtime.String", i1 }, ptr %251, align 8 - %255 = select i1 %244, { %"github.com/goplus/llgo/internal/runtime.String", i1 } %250, { %"github.com/goplus/llgo/internal/runtime.String", i1 } %254 + br label %_llgo_75 + +_llgo_75: ; preds = %_llgo_74, %_llgo_73 + %255 = phi { %"github.com/goplus/llgo/internal/runtime.String", i1 } [ %250, %_llgo_73 ], [ %254, %_llgo_74 ] %256 = extractvalue { %"github.com/goplus/llgo/internal/runtime.String", i1 } %255, 0 %257 = extractvalue { %"github.com/goplus/llgo/internal/runtime.String", i1 } %255, 1 br i1 %257, label %_llgo_30, label %_llgo_1 - -_llgo_30: ; preds = %_llgo_29 - call void @main.printstring(%"github.com/goplus/llgo/internal/runtime.String" %256) - br label %_llgo_1 } define void @main.printbool(i1 %0) { diff --git a/cl/_testgo/strucintf/out.ll b/cl/_testgo/strucintf/out.ll index f53f87e7..07c3ac59 100644 --- a/cl/_testgo/strucintf/out.ll +++ b/cl/_testgo/strucintf/out.ll @@ -68,148 +68,175 @@ _llgo_0: %5 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %2, 0 %6 = load ptr, ptr @"main.struct$MYpsoM99ZwFY087IpUOkIw1zjBA_sgFXVodmn1m-G88", align 8 %7 = icmp eq ptr %5, %6 - %8 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %2, 1 - %9 = ptrtoint ptr %8 to i64 - %10 = alloca { i64 }, align 8 - %11 = getelementptr inbounds { i64 }, ptr %10, i32 0, i32 0 - store i64 %9, ptr %11, align 4 - %12 = load { i64 }, ptr %10, align 4 - %13 = alloca { { i64 }, i1 }, align 8 - %14 = getelementptr inbounds { { i64 }, i1 }, ptr %13, i32 0, i32 0 - store { i64 } %12, ptr %14, align 4 - %15 = getelementptr inbounds { { i64 }, i1 }, ptr %13, i32 0, i32 1 - store i1 true, ptr %15, align 1 - %16 = load { { i64 }, i1 }, ptr %13, align 4 - %17 = alloca { { i64 }, i1 }, align 8 - %18 = getelementptr inbounds { { i64 }, i1 }, ptr %17, i32 0, i32 0 - store { i64 } zeroinitializer, ptr %18, align 4 - %19 = getelementptr inbounds { { i64 }, i1 }, ptr %17, i32 0, i32 1 - store i1 false, ptr %19, align 1 - %20 = load { { i64 }, i1 }, ptr %17, align 4 - %21 = select i1 %7, { { i64 }, i1 } %16, { { i64 }, i1 } %20 - %22 = extractvalue { { i64 }, i1 } %21, 0 - store { i64 } %22, ptr %4, align 4 - %23 = extractvalue { { i64 }, i1 } %21, 1 - br i1 %23, label %_llgo_1, label %_llgo_3 + br i1 %7, label %_llgo_10, label %_llgo_11 -_llgo_1: ; preds = %_llgo_0 - %24 = getelementptr inbounds { i64 }, ptr %4, i32 0, i32 0 - %25 = load i64, ptr %24, align 4 - call void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64 %25) +_llgo_1: ; preds = %_llgo_12 + %8 = getelementptr inbounds { i64 }, ptr %4, i32 0, i32 0 + %9 = load i64, ptr %8, align 4 + call void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64 %9) call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) br label %_llgo_2 _llgo_2: ; preds = %_llgo_3, %_llgo_1 - %26 = call %"github.com/goplus/llgo/internal/runtime.eface" @"github.com/goplus/llgo/cl/internal/foo.Bar"() - %27 = alloca { i64 }, align 8 - %28 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %27, i64 8) - %29 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %26, 0 - %30 = load ptr, ptr @"_llgo_struct$K-dZ9QotZfVPz2a0YdRa9vmZUuDXPTqZOlMShKEDJtk", align 8 - %31 = icmp eq ptr %29, %30 - %32 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %26, 1 - %33 = ptrtoint ptr %32 to i64 - %34 = alloca { i64 }, align 8 - %35 = getelementptr inbounds { i64 }, ptr %34, i32 0, i32 0 - store i64 %33, ptr %35, align 4 - %36 = load { i64 }, ptr %34, align 4 - %37 = alloca { { i64 }, i1 }, align 8 - %38 = getelementptr inbounds { { i64 }, i1 }, ptr %37, i32 0, i32 0 - store { i64 } %36, ptr %38, align 4 - %39 = getelementptr inbounds { { i64 }, i1 }, ptr %37, i32 0, i32 1 - store i1 true, ptr %39, align 1 - %40 = load { { i64 }, i1 }, ptr %37, align 4 - %41 = alloca { { i64 }, i1 }, align 8 - %42 = getelementptr inbounds { { i64 }, i1 }, ptr %41, i32 0, i32 0 - store { i64 } zeroinitializer, ptr %42, align 4 - %43 = getelementptr inbounds { { i64 }, i1 }, ptr %41, i32 0, i32 1 - store i1 false, ptr %43, align 1 - %44 = load { { i64 }, i1 }, ptr %41, align 4 - %45 = select i1 %31, { { i64 }, i1 } %40, { { i64 }, i1 } %44 - %46 = extractvalue { { i64 }, i1 } %45, 0 - store { i64 } %46, ptr %28, align 4 - %47 = extractvalue { { i64 }, i1 } %45, 1 - br i1 %47, label %_llgo_4, label %_llgo_6 + %10 = call %"github.com/goplus/llgo/internal/runtime.eface" @"github.com/goplus/llgo/cl/internal/foo.Bar"() + %11 = alloca { i64 }, align 8 + %12 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %11, i64 8) + %13 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %10, 0 + %14 = load ptr, ptr @"_llgo_struct$K-dZ9QotZfVPz2a0YdRa9vmZUuDXPTqZOlMShKEDJtk", align 8 + %15 = icmp eq ptr %13, %14 + br i1 %15, label %_llgo_13, label %_llgo_14 -_llgo_3: ; preds = %_llgo_0 - %48 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 - %49 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %48, i32 0, i32 0 - store ptr @0, ptr %49, align 8 - %50 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %48, i32 0, i32 1 - store i64 11, ptr %50, align 4 - %51 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %48, align 8 - call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %51) +_llgo_3: ; preds = %_llgo_12 + %16 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %17 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %16, i32 0, i32 0 + store ptr @0, ptr %17, align 8 + %18 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %16, i32 0, i32 1 + store i64 11, ptr %18, align 4 + %19 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %16, align 8 + call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %19) call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) br label %_llgo_2 -_llgo_4: ; preds = %_llgo_2 - %52 = getelementptr inbounds { i64 }, ptr %28, i32 0, i32 0 - %53 = load i64, ptr %52, align 4 - call void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64 %53) +_llgo_4: ; preds = %_llgo_15 + %20 = getelementptr inbounds { i64 }, ptr %12, i32 0, i32 0 + %21 = load i64, ptr %20, align 4 + call void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64 %21) call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) br label %_llgo_5 _llgo_5: ; preds = %_llgo_6, %_llgo_4 - %54 = alloca { i64 }, align 8 - %55 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %54, i64 8) - %56 = call %"github.com/goplus/llgo/internal/runtime.eface" @"github.com/goplus/llgo/cl/internal/foo.F"() - %57 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %56, 0 - %58 = load ptr, ptr @"main.struct$MYpsoM99ZwFY087IpUOkIw1zjBA_sgFXVodmn1m-G88", align 8 - %59 = icmp eq ptr %57, %58 - %60 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %56, 1 - %61 = ptrtoint ptr %60 to i64 - %62 = alloca { i64 }, align 8 - %63 = getelementptr inbounds { i64 }, ptr %62, i32 0, i32 0 - store i64 %61, ptr %63, align 4 - %64 = load { i64 }, ptr %62, align 4 - %65 = alloca { { i64 }, i1 }, align 8 - %66 = getelementptr inbounds { { i64 }, i1 }, ptr %65, i32 0, i32 0 - store { i64 } %64, ptr %66, align 4 - %67 = getelementptr inbounds { { i64 }, i1 }, ptr %65, i32 0, i32 1 - store i1 true, ptr %67, align 1 - %68 = load { { i64 }, i1 }, ptr %65, align 4 - %69 = alloca { { i64 }, i1 }, align 8 - %70 = getelementptr inbounds { { i64 }, i1 }, ptr %69, i32 0, i32 0 - store { i64 } zeroinitializer, ptr %70, align 4 - %71 = getelementptr inbounds { { i64 }, i1 }, ptr %69, i32 0, i32 1 - store i1 false, ptr %71, align 1 - %72 = load { { i64 }, i1 }, ptr %69, align 4 - %73 = select i1 %59, { { i64 }, i1 } %68, { { i64 }, i1 } %72 - %74 = extractvalue { { i64 }, i1 } %73, 0 - store { i64 } %74, ptr %55, align 4 - %75 = extractvalue { { i64 }, i1 } %73, 1 - br i1 %75, label %_llgo_7, label %_llgo_9 + %22 = alloca { i64 }, align 8 + %23 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %22, i64 8) + %24 = call %"github.com/goplus/llgo/internal/runtime.eface" @"github.com/goplus/llgo/cl/internal/foo.F"() + %25 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %24, 0 + %26 = load ptr, ptr @"main.struct$MYpsoM99ZwFY087IpUOkIw1zjBA_sgFXVodmn1m-G88", align 8 + %27 = icmp eq ptr %25, %26 + br i1 %27, label %_llgo_16, label %_llgo_17 -_llgo_6: ; preds = %_llgo_2 - %76 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 - %77 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %76, i32 0, i32 0 - store ptr @1, ptr %77, align 8 - %78 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %76, i32 0, i32 1 - store i64 11, ptr %78, align 4 - %79 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %76, align 8 - call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %79) +_llgo_6: ; preds = %_llgo_15 + %28 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %29 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %28, i32 0, i32 0 + store ptr @1, ptr %29, align 8 + %30 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %28, i32 0, i32 1 + store i64 11, ptr %30, align 4 + %31 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %28, align 8 + call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %31) call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) br label %_llgo_5 -_llgo_7: ; preds = %_llgo_5 - %80 = getelementptr inbounds { i64 }, ptr %55, i32 0, i32 0 - %81 = load i64, ptr %80, align 4 - call void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64 %81) +_llgo_7: ; preds = %_llgo_18 + %32 = getelementptr inbounds { i64 }, ptr %23, i32 0, i32 0 + %33 = load i64, ptr %32, align 4 + call void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64 %33) call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) br label %_llgo_8 _llgo_8: ; preds = %_llgo_9, %_llgo_7 ret i32 0 -_llgo_9: ; preds = %_llgo_5 - %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 @2, ptr %83, align 8 - %84 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %82, i32 0, i32 1 - store i64 9, ptr %84, align 4 - %85 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %82, align 8 - call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %85) +_llgo_9: ; preds = %_llgo_18 + %34 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %35 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %34, i32 0, i32 0 + store ptr @2, ptr %35, align 8 + %36 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %34, i32 0, i32 1 + store i64 9, ptr %36, align 4 + %37 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %34, align 8 + call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %37) call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) br label %_llgo_8 + +_llgo_10: ; preds = %_llgo_0 + %38 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %2, 1 + %39 = ptrtoint ptr %38 to i64 + %40 = alloca { i64 }, align 8 + %41 = getelementptr inbounds { i64 }, ptr %40, i32 0, i32 0 + store i64 %39, ptr %41, align 4 + %42 = load { i64 }, ptr %40, align 4 + %43 = alloca { { i64 }, i1 }, align 8 + %44 = getelementptr inbounds { { i64 }, i1 }, ptr %43, i32 0, i32 0 + store { i64 } %42, ptr %44, align 4 + %45 = getelementptr inbounds { { i64 }, i1 }, ptr %43, i32 0, i32 1 + store i1 true, ptr %45, align 1 + %46 = load { { i64 }, i1 }, ptr %43, align 4 + br label %_llgo_12 + +_llgo_11: ; preds = %_llgo_0 + %47 = alloca { { i64 }, i1 }, align 8 + %48 = getelementptr inbounds { { i64 }, i1 }, ptr %47, i32 0, i32 0 + store { i64 } zeroinitializer, ptr %48, align 4 + %49 = getelementptr inbounds { { i64 }, i1 }, ptr %47, i32 0, i32 1 + store i1 false, ptr %49, align 1 + %50 = load { { i64 }, i1 }, ptr %47, align 4 + br label %_llgo_12 + +_llgo_12: ; preds = %_llgo_11, %_llgo_10 + %51 = phi { { i64 }, i1 } [ %46, %_llgo_10 ], [ %50, %_llgo_11 ] + %52 = extractvalue { { i64 }, i1 } %51, 0 + store { i64 } %52, ptr %4, align 4 + %53 = extractvalue { { i64 }, i1 } %51, 1 + br i1 %53, label %_llgo_1, label %_llgo_3 + +_llgo_13: ; preds = %_llgo_2 + %54 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %10, 1 + %55 = ptrtoint ptr %54 to i64 + %56 = alloca { i64 }, align 8 + %57 = getelementptr inbounds { i64 }, ptr %56, i32 0, i32 0 + store i64 %55, ptr %57, align 4 + %58 = load { i64 }, ptr %56, align 4 + %59 = alloca { { i64 }, i1 }, align 8 + %60 = getelementptr inbounds { { i64 }, i1 }, ptr %59, i32 0, i32 0 + store { i64 } %58, ptr %60, align 4 + %61 = getelementptr inbounds { { i64 }, i1 }, ptr %59, i32 0, i32 1 + store i1 true, ptr %61, align 1 + %62 = load { { i64 }, i1 }, ptr %59, align 4 + br label %_llgo_15 + +_llgo_14: ; preds = %_llgo_2 + %63 = alloca { { i64 }, i1 }, align 8 + %64 = getelementptr inbounds { { i64 }, i1 }, ptr %63, i32 0, i32 0 + store { i64 } zeroinitializer, ptr %64, align 4 + %65 = getelementptr inbounds { { i64 }, i1 }, ptr %63, i32 0, i32 1 + store i1 false, ptr %65, align 1 + %66 = load { { i64 }, i1 }, ptr %63, align 4 + br label %_llgo_15 + +_llgo_15: ; preds = %_llgo_14, %_llgo_13 + %67 = phi { { i64 }, i1 } [ %62, %_llgo_13 ], [ %66, %_llgo_14 ] + %68 = extractvalue { { i64 }, i1 } %67, 0 + store { i64 } %68, ptr %12, align 4 + %69 = extractvalue { { i64 }, i1 } %67, 1 + br i1 %69, label %_llgo_4, label %_llgo_6 + +_llgo_16: ; preds = %_llgo_5 + %70 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %24, 1 + %71 = ptrtoint ptr %70 to i64 + %72 = alloca { i64 }, align 8 + %73 = getelementptr inbounds { i64 }, ptr %72, i32 0, i32 0 + store i64 %71, ptr %73, align 4 + %74 = load { i64 }, ptr %72, align 4 + %75 = alloca { { i64 }, i1 }, align 8 + %76 = getelementptr inbounds { { i64 }, i1 }, ptr %75, i32 0, i32 0 + store { i64 } %74, ptr %76, align 4 + %77 = getelementptr inbounds { { i64 }, i1 }, ptr %75, i32 0, i32 1 + store i1 true, ptr %77, align 1 + %78 = load { { i64 }, i1 }, ptr %75, align 4 + br label %_llgo_18 + +_llgo_17: ; preds = %_llgo_5 + %79 = alloca { { i64 }, i1 }, align 8 + %80 = getelementptr inbounds { { i64 }, i1 }, ptr %79, i32 0, i32 0 + store { i64 } zeroinitializer, ptr %80, align 4 + %81 = getelementptr inbounds { { i64 }, i1 }, ptr %79, i32 0, i32 1 + store i1 false, ptr %81, align 1 + %82 = load { { i64 }, i1 }, ptr %79, align 4 + br label %_llgo_18 + +_llgo_18: ; preds = %_llgo_17, %_llgo_16 + %83 = phi { { i64 }, i1 } [ %78, %_llgo_16 ], [ %82, %_llgo_17 ] + %84 = extractvalue { { i64 }, i1 } %83, 0 + store { i64 } %84, ptr %23, align 4 + %85 = extractvalue { { i64 }, i1 } %83, 1 + br i1 %85, label %_llgo_7, label %_llgo_9 } declare ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr, i64) diff --git a/cl/_testgo/struczero/in.go b/cl/_testgo/struczero/in.go new file mode 100644 index 00000000..6b0e5dbf --- /dev/null +++ b/cl/_testgo/struczero/in.go @@ -0,0 +1,25 @@ +package main + +import "github.com/goplus/llgo/cl/internal/foo" + +type bar struct { + pb *byte + f float32 +} + +func Foo(v any) (ret bar, ok bool) { + ret, ok = v.(bar) + return +} + +func Bar(v any) (ret foo.Foo, ok bool) { + ret, ok = v.(foo.Foo) + return +} + +func main() { + ret, ok := Foo(nil) + println(ret.pb, ret.f, ok) + ret2, ok2 := Bar(foo.Foo{}) + println(ret2.Pb(), ret2.F, ok2) +} diff --git a/cl/_testgo/struczero/out.ll b/cl/_testgo/struczero/out.ll new file mode 100644 index 00000000..64cbcf58 --- /dev/null +++ b/cl/_testgo/struczero/out.ll @@ -0,0 +1,319 @@ +; ModuleID = 'main' +source_filename = "main" + +%"github.com/goplus/llgo/cl/internal/foo.Foo" = type { ptr, float } +%"github.com/goplus/llgo/internal/runtime.eface" = type { ptr, ptr } +%main.bar = type { ptr, float } +%"github.com/goplus/llgo/internal/runtime.String" = type { ptr, i64 } +%"github.com/goplus/llgo/internal/abi.StructField" = type { %"github.com/goplus/llgo/internal/abi.Name", ptr, i64 } +%"github.com/goplus/llgo/internal/abi.Name" = type { ptr } +%"github.com/goplus/llgo/internal/runtime.Slice" = type { ptr, i64, i64 } + +@"main.init$guard" = global ptr null +@"github.com/goplus/llgo/cl/internal/foo.Foo" = linkonce global ptr null +@main.bar = global ptr null +@__llgo_argc = global ptr null +@__llgo_argv = global ptr null +@0 = private unnamed_addr constant [3 x i8] c"pb\00", align 1 +@"*_llgo_byte" = linkonce global ptr null +@1 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1 +@2 = private unnamed_addr constant [2 x i8] c"F\00", align 1 +@3 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1 +@4 = private unnamed_addr constant [5 x i8] c"main\00", align 1 +@5 = private unnamed_addr constant [43 x i8] c"github.com/goplus/llgo/cl/internal/foo.Foo\00", align 1 +@6 = private unnamed_addr constant [3 x i8] c"pb\00", align 1 +@7 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1 +@8 = private unnamed_addr constant [2 x i8] c"f\00", align 1 +@9 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1 +@10 = private unnamed_addr constant [5 x i8] c"main\00", align 1 +@11 = private unnamed_addr constant [9 x i8] c"main.bar\00", align 1 + +define { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 } @main.Bar(%"github.com/goplus/llgo/internal/runtime.eface" %0) { +_llgo_0: + %1 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %2 = load ptr, ptr @"github.com/goplus/llgo/cl/internal/foo.Foo", align 8 + %3 = icmp eq ptr %1, %2 + br i1 %3, label %_llgo_1, label %_llgo_2 + +_llgo_1: ; preds = %_llgo_0 + %4 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %5 = load %"github.com/goplus/llgo/cl/internal/foo.Foo", ptr %4, align 8 + %6 = alloca { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 }, align 8 + %7 = getelementptr inbounds { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 }, ptr %6, i32 0, i32 0 + store %"github.com/goplus/llgo/cl/internal/foo.Foo" %5, ptr %7, align 8 + %8 = getelementptr inbounds { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 }, ptr %6, i32 0, i32 1 + store i1 true, ptr %8, align 1 + %9 = load { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 }, ptr %6, align 8 + br label %_llgo_3 + +_llgo_2: ; preds = %_llgo_0 + %10 = alloca { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 }, align 8 + %11 = getelementptr inbounds { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 }, ptr %10, i32 0, i32 0 + store { ptr, double } zeroinitializer, ptr %11, align 8 + %12 = getelementptr inbounds { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 }, ptr %10, i32 0, i32 1 + store i1 false, ptr %12, align 1 + %13 = load { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 }, ptr %10, align 8 + br label %_llgo_3 + +_llgo_3: ; preds = %_llgo_2, %_llgo_1 + %14 = phi { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 } [ %9, %_llgo_1 ], [ %13, %_llgo_2 ] + %15 = extractvalue { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 } %14, 0 + %16 = extractvalue { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 } %14, 1 + %mrv = insertvalue { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 } poison, %"github.com/goplus/llgo/cl/internal/foo.Foo" %15, 0 + %mrv1 = insertvalue { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 } %mrv, i1 %16, 1 + ret { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 } %mrv1 +} + +define { %main.bar, i1 } @main.Foo(%"github.com/goplus/llgo/internal/runtime.eface" %0) { +_llgo_0: + %1 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 0 + %2 = load ptr, ptr @main.bar, align 8 + %3 = icmp eq ptr %1, %2 + br i1 %3, label %_llgo_1, label %_llgo_2 + +_llgo_1: ; preds = %_llgo_0 + %4 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %0, 1 + %5 = load %main.bar, ptr %4, align 8 + %6 = alloca { %main.bar, i1 }, align 8 + %7 = getelementptr inbounds { %main.bar, i1 }, ptr %6, i32 0, i32 0 + store %main.bar %5, ptr %7, align 8 + %8 = getelementptr inbounds { %main.bar, i1 }, ptr %6, i32 0, i32 1 + store i1 true, ptr %8, align 1 + %9 = load { %main.bar, i1 }, ptr %6, align 8 + br label %_llgo_3 + +_llgo_2: ; preds = %_llgo_0 + %10 = alloca { %main.bar, i1 }, align 8 + %11 = getelementptr inbounds { %main.bar, i1 }, ptr %10, i32 0, i32 0 + store { ptr, double } zeroinitializer, ptr %11, align 8 + %12 = getelementptr inbounds { %main.bar, i1 }, ptr %10, i32 0, i32 1 + store i1 false, ptr %12, align 1 + %13 = load { %main.bar, i1 }, ptr %10, align 8 + br label %_llgo_3 + +_llgo_3: ; preds = %_llgo_2, %_llgo_1 + %14 = phi { %main.bar, i1 } [ %9, %_llgo_1 ], [ %13, %_llgo_2 ] + %15 = extractvalue { %main.bar, i1 } %14, 0 + %16 = extractvalue { %main.bar, i1 } %14, 1 + %mrv = insertvalue { %main.bar, i1 } poison, %main.bar %15, 0 + %mrv1 = insertvalue { %main.bar, i1 } %mrv, i1 %16, 1 + ret { %main.bar, i1 } %mrv1 +} + +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 @"github.com/goplus/llgo/cl/internal/foo.init"() + call void @"main.init$abi"() + 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 = alloca %main.bar, align 8 + %3 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %2, i64 16) + %4 = call { %main.bar, i1 } @main.Foo(%"github.com/goplus/llgo/internal/runtime.eface" zeroinitializer) + %5 = extractvalue { %main.bar, i1 } %4, 0 + store %main.bar %5, ptr %3, align 8 + %6 = extractvalue { %main.bar, i1 } %4, 1 + %7 = getelementptr inbounds %main.bar, ptr %3, i32 0, i32 0 + %8 = load ptr, ptr %7, align 8 + %9 = getelementptr inbounds %main.bar, ptr %3, i32 0, i32 1 + %10 = load float, ptr %9, align 4 + call void @"github.com/goplus/llgo/internal/runtime.PrintPointer"(ptr %8) + call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32) + %11 = fpext float %10 to double + call void @"github.com/goplus/llgo/internal/runtime.PrintFloat"(double %11) + call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32) + call void @"github.com/goplus/llgo/internal/runtime.PrintBool"(i1 %6) + call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) + %12 = alloca %"github.com/goplus/llgo/cl/internal/foo.Foo", align 8 + %13 = call ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr %12, i64 16) + %14 = load ptr, ptr @"github.com/goplus/llgo/cl/internal/foo.Foo", align 8 + %15 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16) + store %"github.com/goplus/llgo/cl/internal/foo.Foo" zeroinitializer, ptr %15, align 8 + %16 = alloca %"github.com/goplus/llgo/internal/runtime.eface", align 8 + %17 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %16, i32 0, i32 0 + store ptr %14, ptr %17, align 8 + %18 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %16, i32 0, i32 1 + store ptr %15, ptr %18, align 8 + %19 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %16, align 8 + %20 = call { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 } @main.Bar(%"github.com/goplus/llgo/internal/runtime.eface" %19) + %21 = extractvalue { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 } %20, 0 + store %"github.com/goplus/llgo/cl/internal/foo.Foo" %21, ptr %13, align 8 + %22 = extractvalue { %"github.com/goplus/llgo/cl/internal/foo.Foo", i1 } %20, 1 + %23 = load %"github.com/goplus/llgo/cl/internal/foo.Foo", ptr %13, align 8 + %24 = call ptr @"(github.com/goplus/llgo/cl/internal/foo.Foo).Pb"(%"github.com/goplus/llgo/cl/internal/foo.Foo" %23) + %25 = getelementptr inbounds %"github.com/goplus/llgo/cl/internal/foo.Foo", ptr %13, i32 0, i32 1 + %26 = load float, ptr %25, align 4 + call void @"github.com/goplus/llgo/internal/runtime.PrintPointer"(ptr %24) + call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32) + %27 = fpext float %26 to double + call void @"github.com/goplus/llgo/internal/runtime.PrintFloat"(double %27) + call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32) + call void @"github.com/goplus/llgo/internal/runtime.PrintBool"(i1 %22) + call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) + ret i32 0 +} + +declare void @"github.com/goplus/llgo/cl/internal/foo.init"() + +declare void @"github.com/goplus/llgo/internal/runtime.init"() + +declare ptr @"github.com/goplus/llgo/internal/runtime.Zeroinit"(ptr, i64) + +declare void @"github.com/goplus/llgo/internal/runtime.PrintPointer"(ptr) + +declare void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8) + +declare void @"github.com/goplus/llgo/internal/runtime.PrintFloat"(double) + +declare void @"github.com/goplus/llgo/internal/runtime.PrintBool"(i1) + +declare ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64) + +declare ptr @"(github.com/goplus/llgo/cl/internal/foo.Foo).Pb"(%"github.com/goplus/llgo/cl/internal/foo.Foo") + +define void @"main.init$abi"() { +_llgo_0: + %0 = load ptr, ptr @"github.com/goplus/llgo/cl/internal/foo.Foo", align 8 + %1 = icmp eq ptr %0, null + br i1 %1, label %_llgo_1, label %_llgo_2 + +_llgo_1: ; preds = %_llgo_0 + %2 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %3 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %2, i32 0, i32 0 + store ptr @0, ptr %3, align 8 + %4 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %2, i32 0, i32 1 + store i64 2, ptr %4, align 4 + %5 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %2, align 8 + %6 = load ptr, ptr @"*_llgo_byte", align 8 + %7 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %8 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %7, i32 0, i32 0 + store ptr @1, ptr %8, align 8 + %9 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %7, i32 0, i32 1 + store i64 0, ptr %9, align 4 + %10 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %7, align 8 + %11 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" %5, ptr %6, i64 0, %"github.com/goplus/llgo/internal/runtime.String" %10, i1 false, i1 false) + %12 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %13 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %12, i32 0, i32 0 + store ptr @2, ptr %13, align 8 + %14 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %12, i32 0, i32 1 + store i64 1, ptr %14, align 4 + %15 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %12, align 8 + %16 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 13) + %17 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %18 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %17, i32 0, i32 0 + store ptr @3, ptr %18, align 8 + %19 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %17, i32 0, i32 1 + store i64 0, ptr %19, align 4 + %20 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %17, align 8 + %21 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" %15, ptr %16, i64 8, %"github.com/goplus/llgo/internal/runtime.String" %20, i1 true, i1 false) + %22 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %23 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %22, i32 0, i32 0 + store ptr @4, ptr %23, align 8 + %24 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %22, i32 0, i32 1 + store i64 4, ptr %24, align 4 + %25 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %22, align 8 + %26 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 48) + %27 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %26, i64 0 + store %"github.com/goplus/llgo/internal/abi.StructField" %11, ptr %27, align 8 + %28 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %26, i64 1 + store %"github.com/goplus/llgo/internal/abi.StructField" %21, ptr %28, align 8 + %29 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8 + %30 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %29, i32 0, i32 0 + store ptr %26, ptr %30, align 8 + %31 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %29, i32 0, i32 1 + store i64 2, ptr %31, align 4 + %32 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %29, i32 0, i32 2 + store i64 2, ptr %32, align 4 + %33 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %29, align 8 + %34 = call ptr @"github.com/goplus/llgo/internal/runtime.Struct"(%"github.com/goplus/llgo/internal/runtime.String" %25, %"github.com/goplus/llgo/internal/runtime.Slice" %33) + %35 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %36 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %35, i32 0, i32 0 + store ptr @5, ptr %36, align 8 + %37 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %35, i32 0, i32 1 + store i64 42, ptr %37, align 4 + %38 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %35, align 8 + %39 = call ptr @"github.com/goplus/llgo/internal/runtime.Named"(%"github.com/goplus/llgo/internal/runtime.String" %38, ptr %34) + store ptr %39, ptr @"github.com/goplus/llgo/cl/internal/foo.Foo", align 8 + br label %_llgo_2 + +_llgo_2: ; preds = %_llgo_1, %_llgo_0 + %40 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %41 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %40, i32 0, i32 0 + store ptr @6, ptr %41, align 8 + %42 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %40, i32 0, i32 1 + store i64 2, ptr %42, align 4 + %43 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %40, align 8 + %44 = load ptr, ptr @"*_llgo_byte", align 8 + %45 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %46 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %45, i32 0, i32 0 + store ptr @7, ptr %46, align 8 + %47 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %45, i32 0, i32 1 + store i64 0, ptr %47, align 4 + %48 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %45, align 8 + %49 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" %43, ptr %44, i64 0, %"github.com/goplus/llgo/internal/runtime.String" %48, i1 false, i1 false) + %50 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %51 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %50, i32 0, i32 0 + store ptr @8, ptr %51, align 8 + %52 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %50, i32 0, i32 1 + store i64 1, ptr %52, align 4 + %53 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %50, align 8 + %54 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 13) + %55 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %56 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %55, i32 0, i32 0 + store ptr @9, ptr %56, align 8 + %57 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %55, i32 0, i32 1 + store i64 0, ptr %57, align 4 + %58 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %55, align 8 + %59 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" %53, ptr %54, i64 8, %"github.com/goplus/llgo/internal/runtime.String" %58, i1 false, i1 false) + %60 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %61 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %60, i32 0, i32 0 + store ptr @10, ptr %61, align 8 + %62 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %60, i32 0, i32 1 + store i64 4, ptr %62, align 4 + %63 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %60, align 8 + %64 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 48) + %65 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %64, i64 0 + store %"github.com/goplus/llgo/internal/abi.StructField" %49, ptr %65, align 8 + %66 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %64, i64 1 + store %"github.com/goplus/llgo/internal/abi.StructField" %59, ptr %66, align 8 + %67 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8 + %68 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %67, i32 0, i32 0 + store ptr %64, ptr %68, align 8 + %69 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %67, i32 0, i32 1 + store i64 2, ptr %69, align 4 + %70 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %67, i32 0, i32 2 + store i64 2, ptr %70, align 4 + %71 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %67, align 8 + %72 = call ptr @"github.com/goplus/llgo/internal/runtime.Struct"(%"github.com/goplus/llgo/internal/runtime.String" %63, %"github.com/goplus/llgo/internal/runtime.Slice" %71) + %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 @11, ptr %74, align 8 + %75 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %73, i32 0, i32 1 + store i64 8, ptr %75, align 4 + %76 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %73, align 8 + %77 = call ptr @"github.com/goplus/llgo/internal/runtime.Named"(%"github.com/goplus/llgo/internal/runtime.String" %76, ptr %72) + store ptr %77, ptr @main.bar, align 8 + ret void +} + +declare ptr @"github.com/goplus/llgo/internal/runtime.Struct"(i64, %"github.com/goplus/llgo/internal/runtime.String", %"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, i1) + +declare ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64) + +declare ptr @"github.com/goplus/llgo/internal/runtime.Named"(%"github.com/goplus/llgo/internal/runtime.String", ptr) diff --git a/cl/internal/foo/foo.go b/cl/internal/foo/foo.go index e385a31d..0c4e7d33 100644 --- a/cl/internal/foo/foo.go +++ b/cl/internal/foo/foo.go @@ -7,3 +7,12 @@ func Bar() any { func F() any { return struct{ v int }{1} } + +type Foo struct { + pb *byte + F float32 +} + +func (v Foo) Pb() *byte { + return v.pb +} diff --git a/internal/runtime/llgo_autogen.lla b/internal/runtime/llgo_autogen.lla index 06b2a807..4187e819 100644 Binary files a/internal/runtime/llgo_autogen.lla and b/internal/runtime/llgo_autogen.lla differ diff --git a/internal/runtime/z_type.go b/internal/runtime/z_type.go index d5186fe7..e28dd638 100644 --- a/internal/runtime/z_type.go +++ b/internal/runtime/z_type.go @@ -124,4 +124,10 @@ func Pointer(elem *Type) *Type { return &ret.Type } +// Named returns a named type. +func Named(name string, typ *Type) *Type { + ret := *typ // TODO(xsw): named type + return &ret +} + // ----------------------------------------------------------------------------- diff --git a/ssa/abi/abi.go b/ssa/abi/abi.go index 042755f8..48badc0c 100644 --- a/ssa/abi/abi.go +++ b/ssa/abi/abi.go @@ -111,31 +111,53 @@ func (b *Builder) Init(pkg string) { } // TypeName returns the ABI type name for the specified type. -func (b *Builder) TypeName(t types.Type) (ret string, private bool) { +func (b *Builder) TypeName(t types.Type) (ret string, pub bool) { switch t := t.(type) { case *types.Basic: - return BasicName(t), false + return BasicName(t), true case *types.Pointer: - ret, private = b.TypeName(t.Elem()) - return "*" + ret, private + ret, pub = b.TypeName(t.Elem()) + return "*" + ret, pub case *types.Struct: return b.StructName(t) + case *types.Named: + o := t.Obj() + return TypeName(o), o.Exported() } panic("todo") } +// PathOf returns the package path of the specified package. +func PathOf(pkg *types.Package) string { + if pkg.Name() == "main" { + return "main" + } + return pkg.Path() +} + +// FullName returns the full name of a package member. +func FullName(pkg *types.Package, name string) string { + return PathOf(pkg) + "." + name +} + +// TypeName returns the ABI type name for the specified named type. +func TypeName(o *types.TypeName) string { + return FullName(o.Pkg(), o.Name()) +} + +// BasicName returns the ABI type name for the specified basic type. func BasicName(t *types.Basic) string { return "_llgo_" + t.Name() } // StructName returns the ABI type name for the specified struct type. -func (b *Builder) StructName(t *types.Struct) (ret string, private bool) { +func (b *Builder) StructName(t *types.Struct) (ret string, pub bool) { hash, private := b.structHash(t) hashStr := base64.RawURLEncoding.EncodeToString(hash) if private { - return b.Pkg + ".struct$" + hashStr, true + return b.Pkg + ".struct$" + hashStr, false } - return "_llgo_struct$" + hashStr, false + return "_llgo_struct$" + hashStr, true } func (b *Builder) structHash(t *types.Struct) (ret []byte, private bool) { @@ -152,8 +174,8 @@ func (b *Builder) structHash(t *types.Struct) (ret []byte, private bool) { if f.Embedded() { name = "-" } - ft, fpriv := b.TypeName(f.Type()) - if fpriv { + ft, pub := b.TypeName(f.Type()) + if !pub { private = true } fmt.Fprintln(h, name, ft) diff --git a/ssa/interface.go b/ssa/interface.go index 4478d200..51d8ab37 100644 --- a/ssa/interface.go +++ b/ssa/interface.go @@ -32,14 +32,19 @@ import ( func (b Builder) abiBasic(t *types.Basic) Expr { /* TODO(xsw): - name := abi.BasicName(t) - g := b.Pkg.NewVarFrom(name, b.Prog.AbiTypePtrPtr()) - return b.Load(g.Expr) + return b.abiExtern(abi.BasicName(t)) */ kind := int(abi.BasicKind(t)) return b.InlineCall(b.Pkg.rtFunc("Basic"), b.Prog.Val(kind)) } +/* +func (b Builder) abiExtern(name string) Expr { + g := b.Pkg.NewVarFrom(name, b.Prog.AbiTypePtrPtr()) + return b.Load(g.Expr) +} +*/ + func (b Builder) abiTypeOf(t types.Type) Expr { switch t := t.(type) { case *types.Basic: @@ -48,10 +53,18 @@ func (b Builder) abiTypeOf(t types.Type) Expr { return b.abiPointerOf(t) case *types.Struct: return b.abiStructOf(t) + case *types.Named: + return b.abiNamedOf(t) } panic("todo") } +func (b Builder) abiNamedOf(t *types.Named) Expr { + under := b.abiTypeOf(t.Underlying()) + name := NameOf(t) + return b.Call(b.Pkg.rtFunc("Named"), b.Str(name), under) +} + func (b Builder) abiPointerOf(t *types.Pointer) Expr { elem := b.abiTypeOf(t.Elem()) return b.Call(b.Pkg.rtFunc("Pointer"), elem) @@ -71,7 +84,7 @@ func (b Builder) abiStructOf(t *types.Struct) Expr { off := uintptr(prog.OffsetOf(typ, i)) flds[i] = b.structField(sfAbi, prog, f, off, t.Tag(i)) } - pkgPath := b.Str(pkg.abi.Pkg) + pkgPath := b.Str(pkg.Path()) params := strucAbi.raw.Type.(*types.Signature).Params() tSlice := prog.rawType(params.At(params.Len() - 1).Type().(*types.Slice)) fldSlice := b.SliceLit(tSlice, flds...) @@ -89,17 +102,17 @@ func (b Builder) structField(sfAbi Expr, prog Program, f *types.Var, offset uint // abiType returns the abi type of the specified type. func (b Builder) abiType(t types.Type) Expr { - if tx, ok := t.(*types.Basic); ok { + switch tx := t.(type) { + case *types.Basic: return b.abiBasic(tx) } pkg := b.Pkg - name, private := pkg.abi.TypeName(t) + name, pub := pkg.abi.TypeName(t) g := pkg.VarOf(name) if g == nil { prog := b.Prog g = pkg.doNewVar(name, prog.AbiTypePtrPtr()) g.Init(prog.Null(g.Type)) - pub := !private if pub { g.impl.SetLinkage(llvm.LinkOnceAnyLinkage) } @@ -284,11 +297,28 @@ func (b Builder) TypeAssert(x Expr, assertedTyp Type, commaOk bool) Expr { if commaOk { prog := b.Prog t := prog.Tuple(assertedTyp, prog.Bool()) - val := b.valFromData(assertedTyp, b.faceData(x.impl)) - zero := prog.Zero(assertedTyp) - valTrue := aggregateValue(b.impl, t.ll, val.impl, prog.BoolVal(true).impl) - valFalse := aggregateValue(b.impl, t.ll, zero.impl, prog.BoolVal(false).impl) - return Expr{llvm.CreateSelect(b.impl, eq.impl, valTrue, valFalse), t} + blks := b.Func.MakeBlocks(3) + b.If(eq, blks[0], blks[1]) + + b.SetBlockEx(blks[2], AtEnd, false) + phi := b.Phi(t) + phi.AddIncoming(b, blks[:2], func(i int) Expr { + if i == 0 { + b.SetBlockEx(blks[0], AtEnd, false) + val := b.valFromData(assertedTyp, b.faceData(x.impl)) + valTrue := aggregateValue(b.impl, t.ll, val.impl, prog.BoolVal(true).impl) + b.Jump(blks[2]) + return Expr{valTrue, t} + } + b.SetBlockEx(blks[1], AtEnd, false) + zero := prog.Zero(assertedTyp) + valFalse := aggregateValue(b.impl, t.ll, zero.impl, prog.BoolVal(false).impl) + b.Jump(blks[2]) + return Expr{valFalse, t} + }) + b.SetBlockEx(blks[2], AtEnd, false) + b.blk.last = blks[2].last + return phi.Expr } blks := b.Func.MakeBlocks(2) b.If(eq, blks[0], blks[1]) @@ -299,74 +329,6 @@ func (b Builder) TypeAssert(x Expr, assertedTyp Type, commaOk bool) Expr { return b.valFromData(assertedTyp, b.faceData(x.impl)) } -/* -func (b Builder) TypeAssert(x Expr, assertedTyp Type, commaOk bool) (ret Expr) { - if debugInstr { - log.Printf("TypeAssert %v, %v, %v\n", x.impl, assertedTyp.raw.Type, commaOk) - } - // TODO(xsw) - // if x.kind != vkEface { - // panic("todo: non empty interface") - // } - switch assertedTyp.kind { - case vkSigned, vkUnsigned, vkFloat, vkBool: - pkg := b.Pkg - fnName := "I2Int" - if commaOk { - fnName = "CheckI2Int" - } - fn := pkg.rtFunc(fnName) - var kind types.BasicKind - var typ Expr - switch t := assertedTyp.raw.Type.(type) { - case *types.Basic: - kind = t.Kind() - typ = b.abiBasic(t) - default: - panic("todo") - } - ret = b.InlineCall(fn, x, typ) - if kind != types.Uintptr { - conv := func(v llvm.Value) llvm.Value { - switch kind { - case types.Float32: - v = castInt(b, v, b.Prog.Int32()) - v = llvm.CreateBitCast(b.impl, v, assertedTyp.ll) - case types.Float64: - v = llvm.CreateBitCast(b.impl, v, assertedTyp.ll) - default: - v = castInt(b, v, assertedTyp) - } - return v - } - if !commaOk { - ret.Type = assertedTyp - ret.impl = conv(ret.impl) - } else { - ret.Type = b.Prog.toTuple( - types.NewTuple( - types.NewVar(token.NoPos, nil, "", assertedTyp.RawType()), - ret.Type.RawType().(*types.Tuple).At(1), - ), - ) - val0 := conv(llvm.CreateExtractValue(b.impl, ret.impl, 0)) - val1 := llvm.CreateExtractValue(b.impl, ret.impl, 1) - ret.impl = llvm.ConstStruct([]llvm.Value{val0, val1}, false) - } - } - return - case vkString: - pkg := b.Pkg - fnName := "I2String" - if commaOk { - fnName = "CheckI2String" - } - return b.InlineCall(pkg.rtFunc(fnName), x) - } - panic("todo") -} -*/ - // ----------------------------------------------------------------------------- /* diff --git a/ssa/package.go b/ssa/package.go index eea49fe1..6eb26db1 100644 --- a/ssa/package.go +++ b/ssa/package.go @@ -551,6 +551,11 @@ func (p Package) closureStub(b Builder, t *types.Struct, v Expr) Expr { // ----------------------------------------------------------------------------- +// Path returns the package path. +func (p Package) Path() string { + return p.abi.Pkg +} + // String returns a string representation of the package. func (p Package) String() string { return p.mod.String() @@ -564,7 +569,7 @@ func (p Package) AfterInit(b Builder, ret BasicBlock) { b.SetBlockEx(ret, afterInit, false) if doAbiInit { sigAbiInit := types.NewSignatureType(nil, nil, nil, nil, nil, false) - fn := p.NewFunc(p.abi.Pkg+".init$abi", sigAbiInit, InC) + fn := p.NewFunc(p.Path()+".init$abi", sigAbiInit, InC) fnb := fn.MakeBody(1) for _, abiInit := range p.abiini { abiInit(unsafe.Pointer(fnb)) diff --git a/ssa/type.go b/ssa/type.go index 21c8c780..ece67e4c 100644 --- a/ssa/type.go +++ b/ssa/type.go @@ -20,6 +20,7 @@ import ( "fmt" "go/types" + "github.com/goplus/llgo/ssa/abi" "github.com/goplus/llvm" ) @@ -401,20 +402,19 @@ func (p Program) toNamed(raw *types.Named) Type { } } +// NameOf returns the full name of a named type. func NameOf(typ *types.Named) string { - obj := typ.Obj() - return FullName(obj.Pkg(), obj.Name()) + return abi.TypeName(typ.Obj()) } +// FullName returns the full name of a package member. func FullName(pkg *types.Package, name string) string { - return PathOf(pkg) + "." + name + return abi.FullName(pkg, name) } +// PathOf returns the package path of the specified package. func PathOf(pkg *types.Package) string { - if pkg.Name() == "main" { - return "main" - } - return pkg.Path() + return abi.PathOf(pkg) } // -----------------------------------------------------------------------------