From 40dd25c1229a1242feb09ee38f6eb63cf8576cb3 Mon Sep 17 00:00:00 2001 From: xushiwei Date: Sat, 25 May 2024 01:11:35 +0800 Subject: [PATCH] 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) } // -----------------------------------------------------------------------------