From 40dd25c1229a1242feb09ee38f6eb63cf8576cb3 Mon Sep 17 00:00:00 2001 From: xushiwei Date: Sat, 25 May 2024 01:11:35 +0800 Subject: [PATCH 1/4] abi: support named --- cl/_testgo/struczero/in.go | 17 +++ cl/_testgo/struczero/out.ll | 182 ++++++++++++++++++++++++++++++ internal/runtime/llgo_autogen.lla | Bin 10105 -> 10149 bytes internal/runtime/z_type.go | 6 + ssa/abi/abi.go | 40 +++++-- ssa/cl_test.go | 2 +- ssa/interface.go | 37 ++++-- ssa/package.go | 7 +- ssa/type.go | 14 +-- 9 files changed, 279 insertions(+), 26 deletions(-) create mode 100644 cl/_testgo/struczero/in.go create mode 100644 cl/_testgo/struczero/out.ll diff --git a/cl/_testgo/struczero/in.go b/cl/_testgo/struczero/in.go new file mode 100644 index 00000000..9a8db831 --- /dev/null +++ b/cl/_testgo/struczero/in.go @@ -0,0 +1,17 @@ +package main + +type bar struct { + pb *byte + f float32 +} + +func Foo(v any) (ret bar, ok bool) { + ret, ok = v.(bar) + return +} + +func main() { + ret, ok := Foo(nil) + println("Hi") + println(ret.pb, ret.f, ok) +} diff --git a/cl/_testgo/struczero/out.ll b/cl/_testgo/struczero/out.ll new file mode 100644 index 00000000..1ccc2962 --- /dev/null +++ b/cl/_testgo/struczero/out.ll @@ -0,0 +1,182 @@ +; ModuleID = 'main' +source_filename = "main" + +%main.bar = type { ptr, float } +%"github.com/goplus/llgo/internal/runtime.eface" = type { ptr, ptr } +%"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 +@main.bar = global ptr null +@__llgo_argc = global ptr null +@__llgo_argv = global ptr null +@0 = private unnamed_addr constant [3 x i8] c"Hi\00", align 1 +@1 = private unnamed_addr constant [3 x i8] c"pb\00", align 1 +@"*_llgo_byte" = linkonce global ptr null +@2 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1 +@3 = private unnamed_addr constant [2 x i8] c"f\00", align 1 +@4 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1 +@5 = private unnamed_addr constant [5 x i8] c"main\00", align 1 +@6 = private unnamed_addr constant [9 x i8] c"main.bar\00", align 1 + +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 + %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 + %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 + %14 = select i1 %3, { %main.bar, i1 } %9, { %main.bar, i1 } %13 + %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 @"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 = 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 @0, ptr %8, align 8 + %9 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %7, i32 0, i32 1 + store i64 2, ptr %9, align 4 + %10 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %7, align 8 + call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %10) + call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) + %11 = getelementptr inbounds %main.bar, ptr %3, i32 0, i32 0 + %12 = load ptr, ptr %11, align 8 + %13 = getelementptr inbounds %main.bar, ptr %3, i32 0, i32 1 + %14 = load float, ptr %13, align 4 + call void @"github.com/goplus/llgo/internal/runtime.PrintPointer"(ptr %12) + call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32) + %15 = fpext float %14 to double + call void @"github.com/goplus/llgo/internal/runtime.PrintFloat"(double %15) + 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) + ret i32 0 +} + +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.PrintString"(%"github.com/goplus/llgo/internal/runtime.String") + +declare void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8) + +declare void @"github.com/goplus/llgo/internal/runtime.PrintPointer"(ptr) + +declare void @"github.com/goplus/llgo/internal/runtime.PrintFloat"(double) + +declare void @"github.com/goplus/llgo/internal/runtime.PrintBool"(i1) + +define void @"main.init$abi"() { +_llgo_0: + %0 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %1 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %0, i32 0, i32 0 + store ptr @1, ptr %1, align 8 + %2 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %0, i32 0, i32 1 + store i64 2, ptr %2, align 4 + %3 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %0, align 8 + %4 = load ptr, ptr @"*_llgo_byte", align 8 + %5 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %6 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %5, i32 0, i32 0 + store ptr @2, ptr %6, align 8 + %7 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %5, i32 0, i32 1 + store i64 0, ptr %7, align 4 + %8 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %5, align 8 + %9 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" %3, ptr %4, i64 0, %"github.com/goplus/llgo/internal/runtime.String" %8, i1 false, i1 false) + %10 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %11 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %10, i32 0, i32 0 + store ptr @3, ptr %11, align 8 + %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %10, i32 0, i32 1 + store i64 1, ptr %12, align 4 + %13 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %10, align 8 + %14 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 13) + %15 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %16 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %15, i32 0, i32 0 + store ptr @4, ptr %16, align 8 + %17 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %15, i32 0, i32 1 + store i64 0, ptr %17, align 4 + %18 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %15, align 8 + %19 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" %13, ptr %14, i64 8, %"github.com/goplus/llgo/internal/runtime.String" %18, i1 false, i1 false) + %20 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %21 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %20, i32 0, i32 0 + store ptr @5, ptr %21, align 8 + %22 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %20, i32 0, i32 1 + store i64 4, ptr %22, align 4 + %23 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %20, align 8 + %24 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 48) + %25 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %24, i64 0 + store %"github.com/goplus/llgo/internal/abi.StructField" %9, ptr %25, align 8 + %26 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %24, i64 1 + store %"github.com/goplus/llgo/internal/abi.StructField" %19, ptr %26, align 8 + %27 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8 + %28 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %27, i32 0, i32 0 + store ptr %24, ptr %28, align 8 + %29 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %27, i32 0, i32 1 + store i64 2, ptr %29, align 4 + %30 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %27, i32 0, i32 2 + store i64 2, ptr %30, align 4 + %31 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %27, align 8 + %32 = call ptr @"github.com/goplus/llgo/internal/runtime.Struct"(%"github.com/goplus/llgo/internal/runtime.String" %23, %"github.com/goplus/llgo/internal/runtime.Slice" %31) + %33 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 + %34 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %33, i32 0, i32 0 + store ptr @6, ptr %34, align 8 + %35 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %33, i32 0, i32 1 + store i64 8, ptr %35, align 4 + %36 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %33, align 8 + %37 = call ptr @"github.com/goplus/llgo/internal/runtime.Named"(%"github.com/goplus/llgo/internal/runtime.String" %36, ptr %32) + store ptr %37, 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.AllocU"(i64) + +declare ptr @"github.com/goplus/llgo/internal/runtime.Named"(%"github.com/goplus/llgo/internal/runtime.String", ptr) diff --git a/internal/runtime/llgo_autogen.lla b/internal/runtime/llgo_autogen.lla index 06b2a807e9ede1c8ddd4c968e5a0addb2bf66283..52761dea63ad254d539366ee3ff9e9f730e9f00f 100644 GIT binary patch delta 10019 zcmV+;C*0WiPNh#cP)h>@6aWAK2mqwMxL7oeN5t_a0007g0RRsG8~|)=XK!C&b#!lM zWo|BPY*kbV00ZN&=YW_Q=yq_V33 zv1O56UDta(@AV(Ezpw8O%lh?SXa70-eQ&u?pYkmiqGgUsJ8Uj5iSXFT7$|62S(aPvoL|8KtFTFjVz zkKjSm{$aWBr!C(-Y$UdgubbZ*!wo)#{_mxG_T7H#Y}GKi2JeAb)+o|?|2W@xlp$#W<>KZ`dJxx_FYMx`_gmi0 zcZ*wkR6F{vhvoX+d^vlAv)M;F)=#s;>aM;YFy3Od*#F_-FyG!8c6zlty!#^The^E*)BfJ_jU6t$}{iY&hPHFv)lD*x1X=}vp1-JqR*5+&2C>Tnuk8l z)`$IUeLvgIR}c07BuR5d^X1}UHA5FS==g9LtKnAl!+gK^P|tSn7x(+w{BhkZz!?$u zn4lQ&mwLOVTexT*ZhkffAw8yr)U;mX*Q@;({O&w1c8~M@?R#fdX^#O@V?fTTy2s3V zjG3!3ca(-_)`7f#Yqsxh=Zu;kAC(Y2Dx2r5@8ECW?)G=}cDrd_Qh(&P(73l3H^uR{ zXX@n*uW;{EdHi|3CHM2?&K;oYv8if+m+o!uK^^+(Yxn6s#GszOa-Z&T@%0V+cK)sV ze2+V?&;8OP1>`D$_d#q6?SFJHPN^|*&f zvj8ChXAMtUZ@-w?gIzQdZ?USGMC~t3zg#ZYxBqzYlByt=$<^%Fi?{TPZ<8-BX0uDW z&$sg>7t=R?k8}EE`PJt0ZM|ooT%wELV&4DHk?+66_UHBEuHL`oGvb{E5HY&e*T7XUqA!dO5q~pCRYp_(D8{zL@p???0Lg zQ{U~Hm5Wglxl?R==3`6@euqlAr4RMKUe=HGYEQR+Yq8?eam>K(Sp{F2%FnSh2&m!nq z1U-wO--ihLp8rcww-7ZWXab#GZsFe(Ph|Ihg2^Tjo|vAUCt^WxsVAo(cw!FDjj}GD zNUjxcG$v6@JPC&-rma#Yh9PF>Wr*bo`Qd1y3IkXzN3Yz~qdamF*OCm39jzMD*7}0D z*RVH#)zIr#>&>SZ99@H9^=#rG7Q;w>_)pu&fl%DZAY|-QT`UGT_yVeOrmZd`mL`CL{iqzBK8SAhAtrXEqqz%RVbcQ0l9v=|l zrN1GC2lF()-Z!^ElFDqqrni88`ndf-H*7^k+=uz{U=z<~z1Xc+LVQ(RgwjWUP{%X$ zbM_+*V7XRO&HV}j)yU1!oxmrHFN_JN9K}V%<6{^Jhzt%ekS8F5T?R6N1h(h}`wS%Y z>4k(LZ@SEz7cc+RH$wI5)!!DYJF!g~iqclIot$y(d|LTv%z$uQmzzF+AhrSOKs`pgu@aB;4G*3K5s~ffLQ{AW6OT-^6Hh6P z*s=jwv|^kWFLCJvKLtWTL{ka@r4-D5W-+f&v_cHcfy;uvV?7%Y&ql=4mD}J(1SK_Y zAv{YLN>=2FNEdu6@q$LW1%3Y_%EpZZ=wL+Z_%eHuIS>y<@FXpAxLUk_j7TDl$R=tQ z(Ld=#98V*X0WHW@r2^_Qzpui4q@$Rj2Ye@}?Y=|GUlfd!_R ztoHjg8=oBn#SNN&*`y$U6*UWn2?USZJZMBPgFE4|LSA0=;-pu5xVGON+A~(P{1Zg9 zD0sp%A8g&O<(9tO07OJKg4QEv2(~a%1#s8`vDgAU#il-6fRBJqyJR2^5wC3-#jWHFskKKF3e>)ES;bo`>98Uc+f5y>t#NXK6`BAKmzhOGo zCJY@A)+XmVDQoL^2?E1EI$naqic^4p%G+S`&(!{0^54QTiAN-VxKkdDo^Ud-;yF)1 zM5K+1#NXn&UZyI4&fKA{QRZ-fx<+Q5I@Fb0)Kz-n@WKx-;KA|;JeYyNgVcx0e@fL) z~VH@Cb@_-)gQ4ETeENSOy7ksc;}W z3IIW66(V@08g=FsYS1p99Bb>$E$qbFq9Cp_=NF<$5)6rdg8z1hcS_(~vR`8umS&3S zqJxt((~wGTVzCldOifKMQ`3Wi^V_F~9mPde;jqzsR%|UWy;RA-2O$HoEd+7uNIlnS zR>~tLF-OcNnR&CJGsVVivc4|6G)gA3+2o#nKxbq45AiVvB9XJn;?wI3Z#I$!&KF8iKU4&TW4)iA-AZA*`iXZZ#i4* zh$b2M07bIRZ&b(;hVHEx|#U{(QxZ~{CAKKgY15+;*73LAg@H+e|5 zT!Q%eyJlf)(?pt>rKPM!hbiSg>H%Yw$MAI+t6b_ap|BwkqZ~dA5czR{rY)>|B6c7k zf_L{LKW5IHh%}u-ct?~`j?ZkAXVV$w6I4P8cn^^BZ0h5cZ^F?L z*%};(M}`PoH8PkOLShFIk||1v1>y+F1e8nsP(pnTY5OPny+FL6WgutvEzEyoZy|{Y z8PvBhAC2IAw`RYR&gu!!m>d9&F+0mm1jD!yJuMkH6OE6fV^+Gy&!fXtjvj$+p9cF` zh>z)dy{fCm=cWEwk((npBs~JwIqh}F6ed=TFJJs!L$&+Atk=t^y7>gQZoaKr=+0x| zL_E43Dq8k>_UhHEtJ%%{hAtQEUS->{fmls77jVWfW|YE{WO)WwMir6_6n{^9T1&EQ z;p4md<9^0IWtsK_%OmZzNMbIsS=3>F`;z{s0>bds1w?Ugwvw-z{r#MS8eU@v%YQ;S zsFNpa=Kd`FG!76&dIC_l%U^dRAxb-aYXWPnD^Nocv~6&qBv#dR0(QVE!A_F*+1;f%?`p z?+YNE2dA@S#%Z(ND!VX6Z;-9vLRc`l)T!7Ot{?X17ACI}_Fw(y#DCaKH>S{yT&v*h zAIkIZY2|SDT$uvKr(FMAeVW;)?gsd^dW@nRBe_)fdYyXN|I`b4>WyU8w?A+JqC6=? zs&^q8@-IMm1EY{;@3*d``Z&H`JwlAeX_?t@Ro4Pb1&N|F6Oa~f3!(0`ee8kHq}f}BQ}lbXQw zj(pd`g&=X17R#$ z==c8T?P6aG=zsiLvSCiBQhx-z>i<}r$G*k*h{vtE`t=Rs50d|xGy-M_hDP{V>v?VDpcww1gJnIs>ph6m{&R} z%n`5}p?|%3~|B#&=8S98twud|; zf+NC@`6Y${4V$B6rWz(LMCoRCtf@XB8esg`Zr< z3n&V3AI#!7i&XkxY$pQKGELnI)vwze#e6iwF5uAZ_QUnXm;L5nYMYb;D z#cfQfU&1(gjtB+hhkL~R|5)uk2h~`Et&CTeCc$!K) z{E4sTgL;mdVBZ*c8l<5{FdY_zmqzs{^?*>nNh!!uLB&RF71RmkhMhw@Qg8rIV>DEv z5Pu5F&MUDLS7%fDp9KxeWI(0 zz%D+Iu_9F=p?=B=X;6>nzI#Tl@vv^5I% zP%Z51e;?+{XFcp$4|~?bCf36&z+UQNZC3JhKmxP&5Kq1UZ1_4sjAcj->}h*Xualqv z{_n>8WyYy1jrCmKw^n!=&<7;$)_!}aL7@H|&}(?~Y6VK5xjDTZCD2rY1ozzNo`0zN z8;U3B3V}~ncP>3mHFNae(o=ttQhybzE4k9!Ja^IFxWG*^EI}L}rS14&Dz?Tp6EE)! z>(r@|W1Cad-U|pZ9FStz7Gv12p@~@o2BU~3K2}5%CP6N15g}1oYnf806<9&nhk|VD zlo;hV+w~)@d$W7a>KU5V^Hj^APg9=k(?1;3ic!lgx5=@VA%HPz(FGzPDqWUvswhlW z!jbbuf%?8qMVkpU;Piq`j|MfZMJStDbCKQpqD7mKK;?a3n{5eh86AFa-<9<88-G6_WFApQ_T2(rtBbCU7vL-asMl`#D zzq1*fnU=#Hk`*Q2NFc@c)h~-{?Wu`P!YDNtWVal$H+_&HKV1uGK~Y%mNnSfZ@VQ?U;sV;f{}gS2=Pc{*6x!0MwbJDBN|`Ysk; z5|!_kS)|OmWQDRfVERwBCTUHoWb14;$A9$$K(qSRbrG%G%qdY$nN#ZQx@VJJ?TADd zd4bS>NMh*hzc#|+nuAYtA-@e)$!RyN$Xwj^{`58`E2Mqr_auEaJ$$vJS z1IUk#Oy#sLo+DHdUpy`pCKXE(3Dh4F-E?# zM|B};PF%GinkI?P$*ji8Ms242hJP#D?IA|Iw)N%X_5;0kD|+2I6?#nlR~b>qFZ5=; z*sWLmL;myZH*wWVaVpKA=-8k2z3Vxci+^eeODyKn zStnq4(#3z*yJ0Z=bI!$c&c$=i#mJlst9ZkCk}f8R1`Aa!3mNjAoNSUh5)NJ;C?tX0 zN)qn8U{vW$87C)5AW#a25g6r^x9%wYgp@$l1*08{CATe>$q6kc-b+oovX*58Z7HBH zv6jWuc-s(TMOO^}40e0JxPQ1y0i)n6wf+Q20D)?L*skV>Cy00qr8oydmvQD}(oQ-8 z^`YVXLL~>#+yn@-L7Plisl8p!L!wzxCDJ%5f3`F^1erN0Ro^_UsGJmX5zLW_O32XV z&^XaNv=9w(rJb8EQh}s$6c^$Akf_!}g|Y{9en=U1S!XAz*~`f2$A9(kc zfQIAte<^0Ii38Zs?KvEtUyY?<>Yg~Myc!+>+9|JM9Y`{Q54)Tg*#(XNpK@XdADtP= zs@N&H))Fw5opP^Set&vyDh+1o>I)W31jG?yB5{n zc%q%)Ad$85W_LOMb!e}SFU_=fhZk%0g!x{Apey}pU1@^Y-O%a@zU`vMTfn)eA})pxIGxqGTZLa3hKk+p3+2S}hTOO-)8+JKwCTZldR@zbX6@U%pkiS#Yz_<>ye zC;+5;d@L2oiN?>PJ+OUF!D+7GmGDn3lB1O4<2&N>Qh!{SO6J&tG?M;p4^>puXy1ED zRVl7553=d?@ZT)z<=sH5UOhIFots!M3uhh?6n`yqA%7Wa>T;I>mLc7WZ|9G_^k4Sf z`e*j_(}mKwYn9~O8@P8*JKTCP3b_}Oj~8}=y83dqlDIs0FDfg&*L$?>IqiG!0QRGA ztZIj8<*k_6=w2GVQ)w6*=&W16r)MBz`}&5azIa@znaB9voGb}z)X+f1}8*kGcSV#!1sdA+(7lQNJ$Pk{JRXj z+EH#&SH9UcqSBs1He|^-xo;z?tB&lf+;akBA>xGso5{@0Kb1X)WsKM90-9~)Q)eE{ zynn=E0bk}n8{2kfl1`qibNy>duzsp6Q>Xv!HJO(Jk-H6xPBA$@UVx3^E2jp ziodnt8oLv@;n3{qX0(+W^{HJRU5D=Mm3zgp1*xWc-Et=}%)EDYo^SoaRXlpqm)_!M$+fnM+__j$KfJwjekG)!TB z<+p|6Jzc%itn3LL^HzH72NgE|sa*cUNFJFX4(|T=JD7vGD&yU^?v8c(Z_UIEU4IA$ zdpo9`x4Ji)6%|5#sGkKhuuGU&b0;?-l`dQ~d&8s8kB0-aHKlO>or46jBc!~zU`N^E ztWl!(exMa~W}=Ha)Q*rYqfZqkm48X6?1|Ld5kjmTVg1VGj?iA_InTSu%^hjJWb6pt z<@Hvqk_u(Qx1@9gF8{Wjq(ZS4rYjI5j)Zvp#>KM~gGNdJTk6;AWBNTLyGi@7n=~;_ zB=y-%YO|Y^xC|OGMJqK#TI$Jb*CNt8HozqE$(pYcNM7^7`cyedQ*+CF7=Jajan!VM zwyb%k;n2BJ!668&*bymK|!SUdaIa zz?aR8sM8WqRZBH5kg8hREW}7xOTANR)kDz$CA&or%^+Dp)`t~jrsk3PtRS;lLFTgp zYFuRoC&*k*fL&b;D+!MV=zs3vmSq_vC&>D6f-E(6EZ|VFIYH)CJIYwKqdWv~>x~(p z_xpEA8=icRR3@jdt;vYH%&>4XQ(eoBHM`OQs%U`f?Nc}3EiW`I;yCjTCyhR?$~ey4 z&za8coar1J+DT4rZx$Dw6H_~BzNEF2JT>*ToL0x>zt4^-Y~1sfLx0+Dc^~^N&kb3Z z`}SLI+i!VgZb>N>wj!~%q%u)*WNt~32o<)#$9AOPPD*0vdpW)A1s@iY7ZiPXK_Pen zf4$EO3dg%z7&}$uYNtwbrvh^e;~q}o*VQJX5$f~tJAsj}6k z%2k`1XB=~&@(d_1mqG1VlmW$~G$C1K)rVD9CabJ`R$1AsvVZansLC~9D4BXNVYUilxn5Rz^|{cMoS7raNtkjLM7d zaWOlriyOsQL41F!%AFM3#jGHyVVPCO3W*qViZL@pJ^cid$DpJSlWE>*0_lm*W}0yv zSDuFqH;*-RQ-21m4Q+C66NAtW(*sU50jxjk1&*MrU zF=CYT0g0P;S|=N*K$SQps1g$>Zl1WF75w*38kz|eBV=L4&37BN!kt3sC|rz0Jzprt zpBSx=3Wtyh86)H?aR}L396}~)jF5tj5wdV&`aN@h3V&;VSQ?!8q&&Vq`~Z-tq9f)L zMq-me9Z9H{CkaVcl4t-E;2DlH2{CVy+B)h<5?jZ-JbLSz?-^UiJS%$Zs6^ndRGc5( zInlTs7uL>E$2r1c5FnIK>|CGBY^KE0o#Trqerh(tPI5M{lO%VJB7gDu7sl^!rZXe|MeNda@2brE96-+XL7v#NB21JO4 z8GnjnFhee52T4~PuqysQV$5gEwd7pah?X`zn{%Tur^xCEn0rW}YYv*-T(C8fXzgu2wcVpPNyefuaF6C;_B=IuYxiMRv8VoWt8|nIkP(3Dl zNhBOPQQi94kw$6jMYN4|ZL8;cokCmUhT^H3X_^75@;Hr!%ETF6liR$!3T=#vf!Bq= zJ%&Pkc^B;=u`Y{&>6~f=wr2qhQ9+0ReIV_^%94w^^1*W?xza(2t+>!>J9eL8FMqn_ zkO;?@-;j`|`i(4F1W2J>)zNiusi`tzUt`2JiSllriWOlb;V+!qw2L!Myb86Ef!Z9h zi9&4Lwf3x0Kc={PG*`vmEbO5bZ^rDi;<&ybZ) z6_pXdBv6W6hAiD=24_lLrOpc?PC#PuMF?zA>14Q|F{NYe8<0}D;;Y6xXpxwa;k9eo zjHn1|oo&VE(BXP21e;DZ=dMh@Q+g~hL8VeeMKE(!JjUnbQcxd{Q<@njaewOjn^N1| z#E>FON#!mLhWQvwBrP=)Vc3r37L+zphMi;pHMf=7(Wm5ghC+fNQ>C-8AJJ;BlyURS zQC~A+tkl$BGo`;~p8lFK?vVlNuUQ}cH4EymnM(Y&^FOn&L6SQLNoH6ix#{@GmEVH} zM_L<@^9VtJO0RMQ@{YoH+J77)A$gI@vOjrh2QX%>mI@2LR13}2LJM!9e9r)tpuCR~ zlp8)PW1&(B%BzrIOve>MSJ~7rd&4c;?Rv|fyL$CC{l^pR-vL|&->;0J3sc=-uQtO} zO*-sp*sT|lECXnl&4_LXZnr&F^;4%z*ym4tHQ$fASQJYca~&^6cYn3d{K8)2sOfwD zOE{uZ#grm>!=GZ91G`2+a*w*0iAVIKFXpLvABwnafhuw%kH@}kr#L0E4%L|`L~Xr8 z76Yqe@w!v)ZfQR#8d@5O4)}+M!+fhtS{hcU3y)1xh|SQgWy@@kMGPrFM$09M&9%iF zpG%8CeF;^J3S9;2Cx6lU%%^!hZh8HQR!>@9k5BXZwB_~bXo`)ho|? z^{Vq;J(QgH@X?w19%^HJr`rEE&UdQyx3Rucy}yn3N%!dF6KLaprd`hVib;*BOpmX~+N(rv}! z$EuuGoN<>m(d{$=M&oxM!CZb`JD5kb0F1`(KY}3u#3=y5kN|Hh#=~X+M&nd~V90>C zMDT0!w=w69D!4uTjlM361Z)o5JMX2hg9MA~m`$srh>>7`hM?NJuOB!2 zPmKyxws=Ua9229;0}JUL-A3YZ{;&FRzInTQY!tV!vwtD7iA2h65vA}`uky`yzPfuE z-&{hz?|rib!x?1wubmDCGUD9oaG+WgB%{+qR`tjIj)q~}HWN|JB6+GzDCfh>)V*~3 z28eosG=BOleFJ2)$7KRSD5@2K(}MSUhBG6j(aY6oYrq>7C6CSZVUR#~qsWT{DU2Sq zMy+@eMSo}ni1T3Y+`JHtXejbhq6$2?ivC{qzAl|FUl!8R7ZLEH>jZsEqIcJgD0Nf$ zV0uNT3MtSDTVgWCT)cwpZfq$`Abu9S%F!XcYRGcDXE)II$Y}F8#$g|77Yh>TG!njW z`X&*j7ASr^W|cZW465^4IH17pf2O*KIK6|cHh(yrTqR-3GO?vThJ^^Y3*>Y~1wYuE zF&3u#su}dF_2!c}uX5BatQ>5QZk|%;u4k`ay}Fv++;5t1@9(`^FYGZtbmDe7mr-z! zY%i&Ny>dTM9k;GkHfrEIx0_GKgzWEdiGMuKMK)WydiA%(>W*!gISN&8j5Qi-_r7%4 zHydja-LTz>-2c2??CY0up4aN$1y=RA{!q6r>y!5;BMzj#xL7oeN5t_a0007glPD)B tDdV?LW_5TA009K`0RR956aWAKP)h{{000000RRC2RR910Iwt@C007j#gtq_y delta 10002 zcmV+tC+*m!Px($bP)h>@6aWAK2ms@@xLArE{XNAd005GE0RRsG8~|)=XK!C&b#!lM zWo|BPY*kbV00T*?P-aT1kvJ`Xju9l8FXIgiT58F}P$Y+kV<*Ue->&=YW_Q=yq`j*E zv1O56UDta(@AV(Ezpw8O%lhSCXa70-2vI%{+p#9(eII4)ciqk^G9j_Z=S}r*i`mCf_uNQ*^$HTK4yLWzWl1W z>Ak+}+?l@XVB=diY~U7ue7C5VcZ2spENc{Ly?dN*yu+5qi*j+8@`%Mn;0wFB>HU_s z^WEZ>9@UP%>tVTmJ73OT<81bUj`j2Gu)3@72aLB^E%twSILx=9V-cZnlf}^L^d?it^06H}ku@?d*2F+U@77{p>Y=s^~N2&$HWSi{_yZ zv-M#=Ti?&N^VLKBKS|P@(R{ghSk2JI4LUv?#%j1#{V?Az-q*9;yT$!}Hh)|<3vfon zJtimy{I%Y$=@u@Uhnt^`K}e5jAvLX+_~mN<6~8-=i{0aVfBVjvRoY{~)EJO6$L=w+ z9%JTe%pIlSnROt4Z=3DA+c~4=$44bZkILpb>pS?HH@p2^z1?n_m((BlEi~@!#Z7Vi z?U{Oc!z72xuiU45Tzq}QUd>;* z&-b|V`rI!)LhfnOx0&yLdyt_$K-4Vm7;^ z`+PfJaxr~>^EjtpmS1f?-`0Ef$tAk@J?8!Y9QpoBY=2%q?&|$>J|nKoCS194ri+c~ zzF#lyhRk=jtGD}?RCfG8HH2p7$e;Mz?Tr2UdbXUut(UV){uy%qjW5JQ=&M=p|Nf)7 zF!kN8S-BV`kvqkt+2|ul96*yA~@h9mfppo(27@dCP9U-in)& zh%aGl7G&yKAT%f%P7Rspp)iF(0THH;~DmP=2KjZN!2yaVCXzCgm8q;n0RPP6csc z<+yBro@EEsT;}3Sl{E>b(M>rEWY40I*F3SOfritK`%*m|yEOy3^iSJnwC}0h9dh>t zV%5x_UbMq%ThDLb&EGC-$)<5Eo2C+oE+tm}yb`A6kJPe!5Jdxdh3nrUDcw%~Xo`?m(rJkIE;E6dnH_Ezr zBDq$)(U?Rr@gy9Un6^rp7>1agmm!uX0pTk8wr zUc=t}O+&BWtT!K@adZua)w79%SPUci;Xj2-O{@y@O^sw|o*rLHMhk3B5RVBkw#jaP zg7WxkzM6vZ!>(y0lHoZQGWVE~h1=e4KB}7~nHRg@*_Bjn7q^d_*>1TPzrSX$8pDXf z5N>sKOnqHQkWhlknKt0cS>h?8$RxcaiuC?^*o@K^g8T@~MvtdB1VV8qgOIULaj8#n zwgJyHnY%lFW16p^2%FY&)?`-}sYR@Rsg*FtiidoZcql9%O=%E}3~@oT--k@5M{B5f$&0%p65^}kB9uOVf;yg| zpR*rn0L!(KYVKDMs77v%?gTzrd|^xg=O`{B9v{On2kbmca<5kX0f zTL@3mg_0HdM5GHom3ToT-GaV<5oO~>0(3AUb$pq<$Q+0VBY2V)Ib1D&UPdI5Mr0E; zi|C(pB95mK$$%DQtMO=rS>V0)tl<}x>u%Jl!^`FA4`WOC; zBYDN&*j?!;QsZx!j?{$W4MJ*iu9K2l$4d~HJ>KyW92VpOdX~4rrsvfDT=Ij$GSNmP zBe+u@ZOwBsu;L3(Kt!aCip1aIx?ZL#?%AQPQRZ2Ix<+O}I@Fb0)Kz-n*}^X@;HvTn zT$O>qRn(`)e@fMVPvqKyT`Dlt1tiVUMjfgy&_$V+fjq}a=iy*3Y97eOT<{2rcHe5Q z3oOHJEO-M6xv20I+bfNrvfL27l7~9;+%$-kPmcX`=DKxaKT(j&ne*MyBnfXs!BM-z zTP1KV*{?ASOEblE(ZNZYX-I!SVzCld+)GU_Q`3Wim)oa*haJU5RfVw8WmfzvFuhdC zzy~1%u`L8~>PS7;iBrlWCNW3MCz*M(p)P(!3vV`(2IOptBeO~6Z1R}dU^W}ds2&eXr8cp!q)Qwq=HRBEVGeLiO|}l}$C7M` zrHM3KXKhiF`3Vhwst)eTV(kW^LT=0G!zWYoH0SJ8h#u}fy0J(IHFk8F?N0^O6pA3A zdy*|rgPkr80GN5${w6I=p)w}@FlH;0F<9(z%3v6En*<6qZk0(?07bp4VV zw%9|KesWA9NI{JBR?~bOz7aSH7=X;OO}pIBH+e|5T!Q$2p1WpYYtuxUn5CtxMu*Mh zKI#EumB;XP7^__BF`+OP5ThJEEDiZ_X{If#{BL$(8iIE}BR_`AoQO1?LU>1%QI5}S zlxNc!W^0euC1t_&lKC&Xh$UW$lh`3`0NMjj4QK z!ZGowQEl3P_^!~L#;Q&fAYz{rwzFC&a&ZEy8Y@@?rm_f(Dur!dJBIN9+NCoBK0rJ< z9cvK7iI~NlQBULbzWGLSR-7Ur?HkVJ&A z>06kOMsU7gvtLPP^#o{44uHm(z11dyVVpK>Z5bgGjgO;aR=UT}qr+8>9)WG22Ky_B zkLh~7Dxk*arT$ovn~+T!CRU6ur~7?Fwfn!U*UP9n?gX}uyRBO2PFUf@ zFuEOoDthyJ_Tt5htJ%%{hA!-0Wq+}OSdA|iaK{Aeo;;ZQv+&ajKosc-K;15Xf8C9QDD8Bj39PlQKn+RIw!wvxSXI{v z*a53dI!PX4cmEK-E(0I}+&Po*Q6XZVReTc>nT+Bv!xmzFJF6$P5 z_3EBN(ud{+>RZ>mPQ7#Ue%PB^n7l~XfAyae zV>8{DLN{`)g0p`p&%dXYtle{E3K*Yq{crVYW}mtn;MeLgigJwPQr+uy>Sg~^FXX8= zl2zaSzy*l%q!6jzg=omX0O1XcLY{Sh4h2zK-satc9^q?QjZc1I_Vab~OR5*jhi5+< zWbPsst}`kHi4ep}dF*xMXb5H@K?^Pj+zl^5;sEvT6@lAS#cxe-*a8i}EoA)v4flxq zTN5W{{;U4b)lg+Ba0-d6CWo@)*7A~8jy%I!iV4=z!#gn9dQ|i?;ChA!7K$K$V4%Jl zes&%xuEb-l1_wyVHBN^sSrN-)n`%rs3vA&^dKR|34?Yz)fU)%|jrDovG^z}sGbc4F zOZ)^mjW8!Qf$JUlu6MJ*wt~0#l9BM`L$%joKU6y2zb^1u{e)?i}4ZrcEXx2?18U0o0?Yb z9dB59C1BkBOM#5akwr%x%1aG=TBViI3~f^TGzM);{vXK$}o)P>8#IX zWR=gz>?AZGyYk31GzM%Wa3sD#r+RTxYwuEHq*G21+g^BMf{vr!FWZ1vn7mOc0lA(N z(uS)?xqL97cmCMM^vp>zimUg1^{W1`-_h6K($aitL-`NIl`@J{0S0O@8RbwSW1U6e zTqAQxv>uWj#@f<`Ci0GdU0bI+K}D6Wcn4huDO6Eq%6V{Ka6s?Fw&KTfgw$22)J+Ib zfl5@7_1ZA6bW)fjU^PN}ziXVk+5o?ncueXpuq472oL6&#G9`gSCcet))G6U!b)4 zoWYfGdy8yc#EaXQQon?8^c)ci$PWYa0$NE>C^)qv8=>&HelM^UUDQ$PlO!Y*QV`9J zSel#BpYJr4c=!{4-^>T~z%;?WG4M1Y3>Qp?=d$kfnl(jo2!v6Uq%c zhjygk0G`HZs6-(Yl$}?KPexYD5kc9Lq(=m@wgYizUV6k73FHA_DD!t6rS`Vxt;#<# zb1L{gW>*TeIKk}8!0erjfsR^{NJ*zsff|$E^F-ktuB~lKR}+Ep%H=T9C^LC9$04A7Sbi0>V2u&r_q5fP!d3`?X*nwAqRm@JAu8U? zqKh+NQ)z1y?x9-PxBouOmrr`wlOFb@hfS=9S%AIN#oDao>3{@g?IE6g0oZ_af*8w? z8rakJo?a(^K>_^Vjrq%rQ&$@6xx8 zsRRk`xzRm3^*0nx&=mqdS>3txG}X+}e@jpOMN0iutghrrZ}Z$md*cE($*=@*e3Z81 zgQ?gW+f2N?GptjmN{($#QF|{S#Be~0VOxx0zlJ7%W(^pOBAWPE5lxr`xvWKmL}jgI zN}*O@1zjHsvaM5Ml;3UFkF@U1?kTHhXjadsS_XacWS{=wm{yEhZn;g4wG07_QHw4R z0a59)gi}RfvJ#G*FACK6bt>9Spb@vVO0|KCP~OoAN5@KS`0aGfh0Qrk*c+HB7b60P>(%Z0uHG^V8?I!Re6^Rt<2nIw(AIxL#;l-=INEti_A zgqjQ8`wC_!U9gRScpp;BN5I8E2#LiKi8VT}izriKJ@N(eoChr>vgxllVHHXI9I2v$m5B&87={@vQC8-u*awlZ4KlbvTD*xo9jt6% z_0g3b%yde97Yi?m%6H2wQf6JULfIQI{ij-!v?f)ubvB#hfBFHSS$*reh}Lc9lqjdn zDRp+;v&pV@M52qlKWfM=4`tP;7!o@H}USFu54>y zw{|O{Q%uFKrxD>|b+DMRN%`x-nb9Vafa0Q18kY2$zOk;Cf}BMf68`yh!L-CefhY3Pp{pIUUyD~ z9#j8KM%3{Oy;(1I>lOcy|2+F$T=i0%N;4=rHY)v+P_n7EjoU;D8w{|mD`1Y!5sr!D z0W%x=hcpR}sbf7u!WeJ;jT_VS3Jg&}@9I$|nsQKP(o!@EOjz>7nitdS6Q#%>`66%c zdJg8Ie;UFPi@9{x2^gMq@!$1s7!3cEbMcgO@sx8hGUvi7-f*6zi%FuvLRHH`hI}U{ zo1~6}gVzTNNg%h9ggY-7RXS6~$q5n&l)_;IMmgoJJ4!zxB~W$2Xvbp7ZHr}cLW_y_ zQj@N%Wf?(R3g}C$Wid70HpE!b6~jM+-QF)Qf9_JiDELaPKS2^epqd}HtNGyxA|692 z&VkTnocWlvla4@rXgI%6$pJJs0m5w1CKFa_Z*!jElmzVW==}gHxDZ+ zCxu)DbEKjYGITjKPBafKL_=I@=jMx4AgLV1ML0hss`XHz>;au0QifgD*@)UKh$!Fu*dxSy1c;6`2v+xhfVwf1UJ$3L2}!D z&mn8WeV?~i2(e?#TS``BAi#>QVsb{WZ(^yu94qYd`@$+a8Y@btbnk#rE{8NkMDCPM0j`+OP9~Y*QIkq5; zq<`B(6%{qw_g+#}ifhY*YG2;TH|z%GP&?JWPaKXwmtL}KRDlx&8H0ZS83DoxbEEU z&m&>uhV{wJz)*W04@U;UjkTpHwE)&T7PO#QufDf1l|eeLi_;m?aOBt(MWM4*#$cj5 z?(v|E=U%(t*zPe*XiT+&l$+F*Z?=u7w5N~_Su#%U+lcC_BRebioWNL!c%i^%GIR4!WzS(5 z<8``#W*hm`nMX4(fAL74#&7(}WEml5GLuSR5_z^F5y`;bnsMR8DMUtaVq^plb?^+X z-$Xq;>>=U&jJclTZ*927?nG`lG<&)kZKXziYL`dX;roXrV*y`KzSq7ktWn z-fdNnkQWpUQr7r_kd5+>H%$qh)Q3m45^^XT*A;Q(z-DcpbO zAc5=%DK9SAQFeH%^igHzQTnMx*iJ2CF4p<#j-O()%>*eIsR}M=zNAeImVmH(w-i3s zhB6onV=?=?W@@)OBfzpBXhofw=%Nm_Bc#jdQ-w)of6^&?BK3BJ5Nk(RzjC=Fw3m6# z^Dc68N187gJ3@DPy%npZLYeR_DII~!zilU}P^^XN3dD#bAs)YR@hrulQPTgG`t|yl zeh?S2HgGNlzN)3^gdh*(}i1dyPFo}G!=Bosf*L<)(RZh~> z+%g|Ve@$&1H7%SiYo2L1bZ%5IN?j$oRR=%=EHOW;ODLJROUX1#T{MIsHl}%sbUnp} zl@Xz3hZ?F^GQd9YWiun{v;HGM5uzS69PI!lMDYe|xxPSq8}ovOb(3OU)e%I8&}~l2hB8#YN}D)J~c&Y3(FWO?@q=)p7anvttSy_q^qh zfA(A6$9~ImL)PWK{g&JITV9!4Qc8ubNUSZXOq3j%TT&!Kg)Q*09Vxhzk{J44PA_}G zhlS(?MIT;J2wuQn@AHDf@vaueP8GS@snXo3=1ay-RmM^aYEczDe8sL3#zod;sj>y6 zYKs%9W;DYXo>~v8b{V#oXaj6UpP)Hde+g-Blzq&N5*uey`sPMyn;T^|3o5sz>D=}t zSi5pNz-SGpSd@_TUiP8)(xms&r}xsP_tL{_#Euz&P3fvlxK(Y!F$NT3>TLz7HdTGp zrpmOSDqn4?Y_+L!)u!ed#~i3U1Io)~P&*c7K=CL|NLE?(VU?B1Dl4B=RyM1we>?-K zat)};>)huRjZ`}pV?mid10w9Aw6`@?RN9)#j#*POlc-EOtSQ|YBF36xX)~9VkyOLo z!&!#uPFo_Q@}hfO%ns|~Mln_p-`}coC&hL#D@bZsX4SDmBF3Cz%nVUaKY`>iDCxsw zns=H&dg8O0W*oJOOb){HxDrT=7$to`;^v*!$p$J=B~A&d!~}|)C$47&|GkrjW{7b8*67s~M`M(d-(A!I_v2>D7JLbeu%kck>2q+nx&EZmrW&)lEFf7&0G1}8o# zkM9pZ0A#A@i1~z(*kn*g66)niLeiBa8o&g2hT}{^%$uaPj(U>B)-f-S-n!;{#?~>< zirzXZ5x6TA=SO!=G;YU*wR6;Qj<6U62;~zy*C#WZDY10t_~MD5nvJlNoXzVb$(^If zpx8NL7f5ctXY3p?%~$Swe?amhH`a$URAP715%B;Sd(e=Gh`4r&{|m)9V@x|aTTst3 z>E&7`xphbZ=Q44;%cR9zX&yGW&eJB^WloHV$K87f)aQeGIek!SafX1~2RVKp)aLj> zrsoHFt{>9sEF)329zSzX-w*2L{6UuY2L;?e$npOm&jF;iE;qN%f3sLxfdvv{^bxUG zP_CNx;;LzBZe14Os;R?OGvsU?eax}_Q0Adnt?n}tW&BlqPM}Iq)=LS>Odtzo0VODN zl%UMTvgl*p&Us)~E6_lq+;yVR6sVBMdI^cl5)xTJNMw$X$Xp>oAMOH=x5DDqri9`+S#NEiVn$I5DH{1~K?l}Hg_Gf^o5mob9V=}FitWI~&` zI=jH@pe?T-mk|)5=ZxxMdY&F@$)sIkCW7v}foy1#>iD~Ne_M4^bSWs~+$w!;%vPrc zgAC0^y8a+kkI7yV35QNpw|;h{QQCSDZDU>A>bYL0(3ZHNc&cWaW`L?ZPGg}maYonV zHZQM28>3?2bs=z%p-^AmMSDoB%VJ!tv!dB&4Z+Ba0RRQfOCobRAr3s*Kpz7_m*FyxXT@MHor=3+FcN z;!G2-LTzNAHivAY5F2-`eJl$J*Vx>Ms$~3Q+p1u2j=fYJHfyYu=#)AhDyt$cQOE;OpnNnA&^MZ&IkXU>X0vl9187^o{=~(*)q*Si> zs__n5BxYoI?OHY?DuP;PTk$z`xSk5Zrc=$iE7R|k9!pG6sT5HW%v=?Z@j1B^)W_qL zW`;?efBOEW)OI&9q{vcIxl4m#J_Zv>OU*1YkYLDE z=`8F=wAw3W+&pvC*Nhk|HTBm_>93imzh;bkWPti>)<=KMg8FNw62I;I&n#?^j- z85T)yIzDpc_h7-1)&}G}LJ*+RtK5LRqwt+Jf5%8jUgWauPoCNVj9IIt!h$c=LNm3{ z!doccGe9LM@1q3ehR@1as8oXTDkK=wafQ%THudw~aLabP-tysZ%EG^C!NU??+uMilvOXju)f5 zf7)k$VXtx2^aKAT98sxaN|C(bPch7aU85kmM_tUsBl^)7^VGZ#MO?N(6}geeW8bz@ zoRV3G>P!@(w%#F&fz`2i-6?msv>y}=EsaD6{KLaxzSSiy4J*`z$EGR7X6V+kWj4qn zhLj(p<&wna+TxARrA44Vhbl&et^)Owe`tN?)4U$Hy#7S1CoQkXr+Iza^7`~Nug}hV z_W5~VU!3>qmFK;B)p@TTO3r)u=*)Z%wK2X^?SC8RJJtHzSl_AM-^Tl-dvx*%v~j;v zO#s^`Ft$XeQ~DEKS++^kSgd;L*j^LPSVVQ3h#!lWNgvq>%^54Rd!a>*m8%+kfAM4S zMw27U%R6J~wqo&PRZc6;xXYU8cA5aA@w<;;ENJK-c6=|H)(tK5tRty-D%sq zv+3WRwY~d@A^`F3yzSk^^zSa(f8KpW1%!Ba+4k;g`gd1t??%Z9m`l?7_EWI7R^EnA zz}!$PcS9#&Z>W{Op%XAT)XL$|30NFz<#ETX9gw%TayfJYHizw<_tMuvg2i>rrqxlz zNH9P{Q0?8fkDL9+Mg=NcJS0|*iBaW&h4hYYBk?%@SN%BOyxBcAid)#(e-PP3BIUM- zQuwJ?`DQy`-93+QE+OCdu33WN3^M%JP6q=Sac*@uP%R3Q(di+p`on%l!!T}}iKu3g zJXI!?^I>M{Ub=k)L_I+oKYf4Kbd9ZhGUWi6C6nQC81s+^Qe=mDqm(G_j3u)<#2zb$T zg1#luyX!`jx~Y6Hy`ocv6zGI4F&SenUO{#@wiG51KMP*v=#XADWI5im8|Zsvw0Ruk zun)D11qpN-312vUlZa9a6h9ubN}V4D)%h$OP+<2zQ(Z)y-a%Fye;iJ(k}zeN*is+E zLIm6ea=M~|AMDK-3)6km4EoJ_^HH2vIqDWx4z@=(PbqZQvllO3T+MFoH_f;A_uj1+ z_Lv_!al4$$D7Z(qmsGx9xu2+xTh}TZHSnF=%|~NG_IJ3%KOW~In=M_v_}gN2$2QCy zg{n8k8jZDkUpnlY8?}gT*zQE`f7vef^>aDTYjy7et9o3&uUnV(lOrc14&%1CSc)C} cJ;f#f0Frx?R3|6`Nve~6Cm{w7CjbBd0I$QIx&QzG 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..b7dd63b4 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: + return NamedName(t), false // all named types are private } 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 +} + +// NamedName returns the ABI type name for the specified named type. +func NamedName(t *types.Named) string { + o := t.Obj() + 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/cl_test.go b/ssa/cl_test.go index 513944c1..469d246a 100644 --- a/ssa/cl_test.go +++ b/ssa/cl_test.go @@ -26,7 +26,7 @@ import ( ) func TestFromTestgo(t *testing.T) { - cltest.FromDir(t, "", "../cl/_testgo", false) + cltest.FromDir(t, "struczero", "../cl/_testgo", false) } func TestFromTestpy(t *testing.T) { diff --git a/ssa/interface.go b/ssa/interface.go index 4478d200..1991d352 100644 --- a/ssa/interface.go +++ b/ssa/interface.go @@ -32,14 +32,17 @@ 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 +51,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 := abi.NamedName(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 +82,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 +100,27 @@ 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 { + var name string + var pub bool + var pkg = b.Pkg + switch tx := t.(type) { + case *types.Basic: return b.abiBasic(tx) + case *types.Named: + o := tx.Obj() + oPkgPath := abi.PathOf(o.Pkg()) + name = oPkgPath + "." + o.Name() + if oPkgPath != pkg.Path() { + return b.abiExtern(name) + } + default: + name, pub = pkg.abi.TypeName(t) } - pkg := b.Pkg - name, private := 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) } 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..800f0755 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.NamedName(typ) } +// 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) } // ----------------------------------------------------------------------------- From 1226308f3d5cc79b3e7837c8f7773aa95f36cba8 Mon Sep 17 00:00:00 2001 From: xushiwei Date: Sat, 25 May 2024 07:43:24 +0800 Subject: [PATCH 2/4] TypeAssert bugfix; testcase struczero --- cl/_testgo/struczero/in.go | 1 - cl/_testgo/struczero/out.ll | 62 ++++++++++++------------ ssa/cl_test.go | 2 +- ssa/interface.go | 95 +++++++++---------------------------- 4 files changed, 53 insertions(+), 107 deletions(-) diff --git a/cl/_testgo/struczero/in.go b/cl/_testgo/struczero/in.go index 9a8db831..00d6af19 100644 --- a/cl/_testgo/struczero/in.go +++ b/cl/_testgo/struczero/in.go @@ -12,6 +12,5 @@ func Foo(v any) (ret bar, ok bool) { func main() { ret, ok := Foo(nil) - println("Hi") println(ret.pb, ret.f, ok) } diff --git a/cl/_testgo/struczero/out.ll b/cl/_testgo/struczero/out.ll index 1ccc2962..634a13a2 100644 --- a/cl/_testgo/struczero/out.ll +++ b/cl/_testgo/struczero/out.ll @@ -12,20 +12,22 @@ source_filename = "main" @main.bar = global ptr null @__llgo_argc = global ptr null @__llgo_argv = global ptr null -@0 = private unnamed_addr constant [3 x i8] c"Hi\00", align 1 -@1 = private unnamed_addr constant [3 x i8] c"pb\00", align 1 +@0 = private unnamed_addr constant [3 x i8] c"pb\00", align 1 @"*_llgo_byte" = linkonce global ptr null -@2 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1 -@3 = private unnamed_addr constant [2 x i8] c"f\00", align 1 -@4 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1 -@5 = private unnamed_addr constant [5 x i8] c"main\00", align 1 -@6 = private unnamed_addr constant [9 x i8] c"main.bar\00", align 1 +@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 [9 x i8] c"main.bar\00", align 1 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 @@ -34,13 +36,19 @@ _llgo_0: %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 - %14 = select i1 %3, { %main.bar, i1 } %9, { %main.bar, i1 } %13 + 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 @@ -74,22 +82,14 @@ _llgo_0: %5 = extractvalue { %main.bar, i1 } %4, 0 store %main.bar %5, ptr %3, align 8 %6 = extractvalue { %main.bar, i1 } %4, 1 - %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 @0, ptr %8, align 8 - %9 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %7, i32 0, i32 1 - store i64 2, ptr %9, align 4 - %10 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %7, align 8 - call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %10) - call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10) - %11 = getelementptr inbounds %main.bar, ptr %3, i32 0, i32 0 - %12 = load ptr, ptr %11, align 8 - %13 = getelementptr inbounds %main.bar, ptr %3, i32 0, i32 1 - %14 = load float, ptr %13, align 4 - call void @"github.com/goplus/llgo/internal/runtime.PrintPointer"(ptr %12) + %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) - %15 = fpext float %14 to double - call void @"github.com/goplus/llgo/internal/runtime.PrintFloat"(double %15) + %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) @@ -100,12 +100,10 @@ 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.PrintString"(%"github.com/goplus/llgo/internal/runtime.String") +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.PrintPointer"(ptr) - declare void @"github.com/goplus/llgo/internal/runtime.PrintFloat"(double) declare void @"github.com/goplus/llgo/internal/runtime.PrintBool"(i1) @@ -114,35 +112,35 @@ define void @"main.init$abi"() { _llgo_0: %0 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 %1 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %0, i32 0, i32 0 - store ptr @1, ptr %1, align 8 + store ptr @0, ptr %1, align 8 %2 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %0, i32 0, i32 1 store i64 2, ptr %2, align 4 %3 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %0, align 8 %4 = load ptr, ptr @"*_llgo_byte", align 8 %5 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 %6 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %5, i32 0, i32 0 - store ptr @2, ptr %6, align 8 + store ptr @1, ptr %6, align 8 %7 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %5, i32 0, i32 1 store i64 0, ptr %7, align 4 %8 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %5, align 8 %9 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" %3, ptr %4, i64 0, %"github.com/goplus/llgo/internal/runtime.String" %8, i1 false, i1 false) %10 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 %11 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %10, i32 0, i32 0 - store ptr @3, ptr %11, align 8 + store ptr @2, ptr %11, align 8 %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %10, i32 0, i32 1 store i64 1, ptr %12, align 4 %13 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %10, align 8 %14 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 13) %15 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 %16 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %15, i32 0, i32 0 - store ptr @4, ptr %16, align 8 + store ptr @3, ptr %16, align 8 %17 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %15, i32 0, i32 1 store i64 0, ptr %17, align 4 %18 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %15, align 8 %19 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" %13, ptr %14, i64 8, %"github.com/goplus/llgo/internal/runtime.String" %18, i1 false, i1 false) %20 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 %21 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %20, i32 0, i32 0 - store ptr @5, ptr %21, align 8 + store ptr @4, ptr %21, align 8 %22 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %20, i32 0, i32 1 store i64 4, ptr %22, align 4 %23 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %20, align 8 @@ -162,7 +160,7 @@ _llgo_0: %32 = call ptr @"github.com/goplus/llgo/internal/runtime.Struct"(%"github.com/goplus/llgo/internal/runtime.String" %23, %"github.com/goplus/llgo/internal/runtime.Slice" %31) %33 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 %34 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %33, i32 0, i32 0 - store ptr @6, ptr %34, align 8 + store ptr @5, ptr %34, align 8 %35 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %33, i32 0, i32 1 store i64 8, ptr %35, align 4 %36 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %33, align 8 diff --git a/ssa/cl_test.go b/ssa/cl_test.go index 469d246a..513944c1 100644 --- a/ssa/cl_test.go +++ b/ssa/cl_test.go @@ -26,7 +26,7 @@ import ( ) func TestFromTestgo(t *testing.T) { - cltest.FromDir(t, "struczero", "../cl/_testgo", false) + cltest.FromDir(t, "", "../cl/_testgo", false) } func TestFromTestpy(t *testing.T) { diff --git a/ssa/interface.go b/ssa/interface.go index 1991d352..0e89d8d3 100644 --- a/ssa/interface.go +++ b/ssa/interface.go @@ -305,11 +305,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]) @@ -320,74 +337,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") -} -*/ - // ----------------------------------------------------------------------------- /* From 1c8f860b6e46e96ed2744d25a8382192e935c4c4 Mon Sep 17 00:00:00 2001 From: xushiwei Date: Sat, 25 May 2024 07:47:00 +0800 Subject: [PATCH 3/4] gentests --- cl/_testdata/print/out.ll | 857 +++++++++++++++++------------- cl/_testgo/strucintf/out.ll | 261 +++++---- internal/runtime/llgo_autogen.lla | Bin 10149 -> 10149 bytes 3 files changed, 640 insertions(+), 478 deletions(-) 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/internal/runtime/llgo_autogen.lla b/internal/runtime/llgo_autogen.lla index 52761dea63ad254d539366ee3ff9e9f730e9f00f..4187e81956bb7f991ceeb9c948779cc503d4087b 100644 GIT binary patch delta 49 zcmZ4Lzto>Mz?+#xgn@y9gW;0x&WXIL?03`x)9$JTZnWf8X9fyQ_Ea}!28vCtS62f7 DV^I$$ delta 49 zcmZ4Lzto>Mz?+#xgn@y9gJH?O9TRy~*&lBYNPD_HV523kIx|pcvZuN+Gf-@Dy}B9z Dk`57( From 5eac8d860a0aa2a0350fcb8993f0aaaa100a94ea Mon Sep 17 00:00:00 2001 From: xushiwei Date: Sat, 25 May 2024 08:20:09 +0800 Subject: [PATCH 4/4] abiType fix --- cl/_testgo/struczero/in.go | 9 ++ cl/_testgo/struczero/out.ll | 261 +++++++++++++++++++++++++++--------- cl/internal/foo/foo.go | 9 ++ ssa/abi/abi.go | 8 +- ssa/interface.go | 18 +-- ssa/type.go | 2 +- 6 files changed, 228 insertions(+), 79 deletions(-) diff --git a/cl/_testgo/struczero/in.go b/cl/_testgo/struczero/in.go index 00d6af19..6b0e5dbf 100644 --- a/cl/_testgo/struczero/in.go +++ b/cl/_testgo/struczero/in.go @@ -1,5 +1,7 @@ package main +import "github.com/goplus/llgo/cl/internal/foo" + type bar struct { pb *byte f float32 @@ -10,7 +12,14 @@ func Foo(v any) (ret bar, ok bool) { 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 index 634a13a2..64cbcf58 100644 --- a/cl/_testgo/struczero/out.ll +++ b/cl/_testgo/struczero/out.ll @@ -1,24 +1,68 @@ ; ModuleID = 'main' source_filename = "main" -%main.bar = type { ptr, float } +%"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 +@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 [9 x i8] c"main.bar\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: @@ -63,6 +107,7 @@ _llgo_0: _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 @@ -93,9 +138,37 @@ _llgo_0: 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) @@ -108,64 +181,132 @@ 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 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 - %1 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %0, i32 0, i32 0 - store ptr @0, ptr %1, align 8 - %2 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %0, i32 0, i32 1 - store i64 2, ptr %2, align 4 - %3 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %0, align 8 - %4 = load ptr, ptr @"*_llgo_byte", align 8 - %5 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 - %6 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %5, i32 0, i32 0 - store ptr @1, ptr %6, align 8 - %7 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %5, i32 0, i32 1 - store i64 0, ptr %7, align 4 - %8 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %5, align 8 - %9 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" %3, ptr %4, i64 0, %"github.com/goplus/llgo/internal/runtime.String" %8, i1 false, i1 false) - %10 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 - %11 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %10, i32 0, i32 0 - store ptr @2, ptr %11, align 8 - %12 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %10, i32 0, i32 1 - store i64 1, ptr %12, align 4 - %13 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %10, align 8 - %14 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 13) - %15 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 - %16 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %15, i32 0, i32 0 - store ptr @3, ptr %16, align 8 - %17 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %15, i32 0, i32 1 - store i64 0, ptr %17, align 4 - %18 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %15, align 8 - %19 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" %13, ptr %14, i64 8, %"github.com/goplus/llgo/internal/runtime.String" %18, i1 false, i1 false) - %20 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 - %21 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %20, i32 0, i32 0 - store ptr @4, ptr %21, align 8 - %22 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %20, i32 0, i32 1 - store i64 4, ptr %22, align 4 - %23 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %20, align 8 - %24 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 48) - %25 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %24, i64 0 - store %"github.com/goplus/llgo/internal/abi.StructField" %9, ptr %25, align 8 - %26 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %24, i64 1 - store %"github.com/goplus/llgo/internal/abi.StructField" %19, ptr %26, align 8 - %27 = alloca %"github.com/goplus/llgo/internal/runtime.Slice", align 8 - %28 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %27, i32 0, i32 0 - store ptr %24, ptr %28, align 8 - %29 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %27, i32 0, i32 1 - store i64 2, ptr %29, align 4 - %30 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.Slice", ptr %27, i32 0, i32 2 - store i64 2, ptr %30, align 4 - %31 = load %"github.com/goplus/llgo/internal/runtime.Slice", ptr %27, align 8 - %32 = call ptr @"github.com/goplus/llgo/internal/runtime.Struct"(%"github.com/goplus/llgo/internal/runtime.String" %23, %"github.com/goplus/llgo/internal/runtime.Slice" %31) - %33 = alloca %"github.com/goplus/llgo/internal/runtime.String", align 8 - %34 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %33, i32 0, i32 0 - store ptr @5, ptr %34, align 8 - %35 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.String", ptr %33, i32 0, i32 1 - store i64 8, ptr %35, align 4 - %36 = load %"github.com/goplus/llgo/internal/runtime.String", ptr %33, align 8 - %37 = call ptr @"github.com/goplus/llgo/internal/runtime.Named"(%"github.com/goplus/llgo/internal/runtime.String" %36, ptr %32) - store ptr %37, ptr @main.bar, align 8 + %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 } @@ -175,6 +316,4 @@ declare %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/l declare ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64) -declare ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(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/ssa/abi/abi.go b/ssa/abi/abi.go index b7dd63b4..48badc0c 100644 --- a/ssa/abi/abi.go +++ b/ssa/abi/abi.go @@ -121,7 +121,8 @@ func (b *Builder) TypeName(t types.Type) (ret string, pub bool) { case *types.Struct: return b.StructName(t) case *types.Named: - return NamedName(t), false // all named types are private + o := t.Obj() + return TypeName(o), o.Exported() } panic("todo") } @@ -139,9 +140,8 @@ func FullName(pkg *types.Package, name string) string { return PathOf(pkg) + "." + name } -// NamedName returns the ABI type name for the specified named type. -func NamedName(t *types.Named) string { - o := t.Obj() +// TypeName returns the ABI type name for the specified named type. +func TypeName(o *types.TypeName) string { return FullName(o.Pkg(), o.Name()) } diff --git a/ssa/interface.go b/ssa/interface.go index 0e89d8d3..51d8ab37 100644 --- a/ssa/interface.go +++ b/ssa/interface.go @@ -38,10 +38,12 @@ func (b Builder) abiBasic(t *types.Basic) Expr { 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) { @@ -59,7 +61,7 @@ func (b Builder) abiTypeOf(t types.Type) Expr { func (b Builder) abiNamedOf(t *types.Named) Expr { under := b.abiTypeOf(t.Underlying()) - name := abi.NamedName(t) + name := NameOf(t) return b.Call(b.Pkg.rtFunc("Named"), b.Str(name), under) } @@ -100,22 +102,12 @@ 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 { - var name string - var pub bool - var pkg = b.Pkg switch tx := t.(type) { case *types.Basic: return b.abiBasic(tx) - case *types.Named: - o := tx.Obj() - oPkgPath := abi.PathOf(o.Pkg()) - name = oPkgPath + "." + o.Name() - if oPkgPath != pkg.Path() { - return b.abiExtern(name) - } - default: - name, pub = pkg.abi.TypeName(t) } + pkg := b.Pkg + name, pub := pkg.abi.TypeName(t) g := pkg.VarOf(name) if g == nil { prog := b.Prog diff --git a/ssa/type.go b/ssa/type.go index 800f0755..ece67e4c 100644 --- a/ssa/type.go +++ b/ssa/type.go @@ -404,7 +404,7 @@ func (p Program) toNamed(raw *types.Named) Type { // NameOf returns the full name of a named type. func NameOf(typ *types.Named) string { - return abi.NamedName(typ) + return abi.TypeName(typ.Obj()) } // FullName returns the full name of a package member.