From feb28ecace3dda85fc8aa05359e6a1d9dc608fc3 Mon Sep 17 00:00:00 2001
From: visualfc <visualfc@gmail.com>
Date: Thu, 16 May 2024 20:14:04 +0800
Subject: [PATCH] ssa: fix castInt

---
 cl/_testdata/print/out.ll         |   6 ++--
 cl/_testrt/builtin/in.go          |   2 +-
 cl/_testrt/builtin/out.ll         |   2 +-
 cl/_testrt/cast/out.ll            |   2 +-
 cl/_testrt/mask/out.ll            |   6 ++--
 internal/abi/llgo_autogen.lla     | Bin 1679 -> 1680 bytes
 internal/runtime/llgo_autogen.lla | Bin 6610 -> 6611 bytes
 ssa/expr.go                       |  55 ++++++++++++++++--------------
 8 files changed, 39 insertions(+), 34 deletions(-)

diff --git a/cl/_testdata/print/out.ll b/cl/_testdata/print/out.ll
index 2e91fdad..691e954e 100644
--- a/cl/_testdata/print/out.ll
+++ b/cl/_testdata/print/out.ll
@@ -322,7 +322,7 @@ _llgo_15:                                         ; preds = %_llgo_13
   br i1 %40, label %_llgo_16, label %_llgo_17
 
 _llgo_16:                                         ; preds = %_llgo_15
-  %41 = sext i8 %39 to i64
+  %41 = zext i8 %39 to i64
   call void @main.printuint(i64 %41)
   br label %_llgo_1
 
@@ -335,7 +335,7 @@ _llgo_17:                                         ; preds = %_llgo_15
   br i1 %46, label %_llgo_18, label %_llgo_19
 
 _llgo_18:                                         ; preds = %_llgo_17
-  %47 = sext i16 %45 to i64
+  %47 = zext i16 %45 to i64
   call void @main.printuint(i64 %47)
   br label %_llgo_1
 
@@ -348,7 +348,7 @@ _llgo_19:                                         ; preds = %_llgo_17
   br i1 %52, label %_llgo_20, label %_llgo_21
 
 _llgo_20:                                         ; preds = %_llgo_19
-  %53 = sext i32 %51 to i64
+  %53 = zext i32 %51 to i64
   call void @main.printuint(i64 %53)
   br label %_llgo_1
 
diff --git a/cl/_testrt/builtin/in.go b/cl/_testrt/builtin/in.go
index 00857a49..cb936a02 100644
--- a/cl/_testrt/builtin/in.go
+++ b/cl/_testrt/builtin/in.go
@@ -25,5 +25,5 @@ func main() {
 	data = append(data, "def"...)
 	println(data)
 	var i any = 100
-	println(true, 100, -100, uint(100), int32(-100), 100.5, i, &i, uintptr(unsafe.Pointer(&i)))
+	println(true, 100, -100, uint(255), int32(-100), 100.5, i, &i, uintptr(unsafe.Pointer(&i)))
 }
diff --git a/cl/_testrt/builtin/out.ll b/cl/_testrt/builtin/out.ll
index 5cd53638..70a9fb85 100644
--- a/cl/_testrt/builtin/out.ll
+++ b/cl/_testrt/builtin/out.ll
@@ -292,7 +292,7 @@ _llgo_0:
   call void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64 -100)
   %129 = call %"github.com/goplus/llgo/internal/runtime.String" @"github.com/goplus/llgo/internal/runtime.NewString"(ptr @37, i64 1)
   call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %129)
-  call void @"github.com/goplus/llgo/internal/runtime.PrintUint"(i64 100)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintUint"(i64 255)
   %130 = call %"github.com/goplus/llgo/internal/runtime.String" @"github.com/goplus/llgo/internal/runtime.NewString"(ptr @38, i64 1)
   call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %130)
   call void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64 -100)
diff --git a/cl/_testrt/cast/out.ll b/cl/_testrt/cast/out.ll
index 65c7100b..5e6f5e05 100644
--- a/cl/_testrt/cast/out.ll
+++ b/cl/_testrt/cast/out.ll
@@ -199,7 +199,7 @@ _llgo_2:                                          ; preds = %_llgo_0
 
 define void @main.cvtUinptr(i32 %0, i64 %1) {
 _llgo_0:
-  %2 = sext i32 %0 to i64
+  %2 = zext i32 %0 to i64
   %3 = icmp ne i64 %2, %1
   br i1 %3, label %_llgo_1, label %_llgo_2
 
diff --git a/cl/_testrt/mask/out.ll b/cl/_testrt/mask/out.ll
index c64b738f..99f341da 100644
--- a/cl/_testrt/mask/out.ll
+++ b/cl/_testrt/mask/out.ll
@@ -57,7 +57,7 @@ _llgo_0:
   %9 = call %"github.com/goplus/llgo/internal/runtime.String" @"github.com/goplus/llgo/internal/runtime.NewString"(ptr @2, i64 1)
   call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %9)
   %10 = call i8 @main.mask_shl8u(i8 127, i64 5)
-  %11 = sext i8 %10 to i64
+  %11 = zext i8 %10 to i64
   call void @"github.com/goplus/llgo/internal/runtime.PrintUint"(i64 %11)
   %12 = call %"github.com/goplus/llgo/internal/runtime.String" @"github.com/goplus/llgo/internal/runtime.NewString"(ptr @3, i64 1)
   call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %12)
@@ -67,7 +67,7 @@ _llgo_0:
   %15 = call %"github.com/goplus/llgo/internal/runtime.String" @"github.com/goplus/llgo/internal/runtime.NewString"(ptr @4, i64 1)
   call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %15)
   %16 = call i8 @main.mask_shl8u(i8 127, i64 16)
-  %17 = sext i8 %16 to i64
+  %17 = zext i8 %16 to i64
   call void @"github.com/goplus/llgo/internal/runtime.PrintUint"(i64 %17)
   %18 = call %"github.com/goplus/llgo/internal/runtime.String" @"github.com/goplus/llgo/internal/runtime.NewString"(ptr @5, i64 1)
   call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %18)
@@ -81,7 +81,7 @@ _llgo_0:
   %23 = call %"github.com/goplus/llgo/internal/runtime.String" @"github.com/goplus/llgo/internal/runtime.NewString"(ptr @7, i64 1)
   call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %23)
   %24 = call i8 @main.mask_shr8u(i8 127, i64 5)
-  %25 = sext i8 %24 to i64
+  %25 = zext i8 %24 to i64
   call void @"github.com/goplus/llgo/internal/runtime.PrintUint"(i64 %25)
   %26 = call %"github.com/goplus/llgo/internal/runtime.String" @"github.com/goplus/llgo/internal/runtime.NewString"(ptr @8, i64 1)
   call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" %26)
diff --git a/internal/abi/llgo_autogen.lla b/internal/abi/llgo_autogen.lla
index f2eafdd0145b0ecc079acb9afffb6ae38f6a84ff..be9b522a510d8eca7a117fe482c55fdfb9103e45 100644
GIT binary patch
delta 1630
zcmV-k2BG<n4Ui3gP)h>@6aWAK2mptnuvqoGRgT;R006~g000jF8~|)=XK!C&b#!lM
zWo|BPY*kbV00SQQMP?!RMP_w)3jhHG^#K3?1QY-O0PUP>Z`(E$hQI4q5W$QlgOTXs
zYl{LMx(z6{4h7opfowCb09o=BX;>HJzfY7UilWtpiue+LQm_Jb;8@}zpF{FIR&2c?
zALCsX(honAx8&76NWW&A>ur3v*~iB)yT1v;eS8x{DNQ0jyzw`|E9*Yak}bWx3ql(C
z2b!OEp>W=XWldC$yZ$Lj{BK{r9qC2ha+?1n4@B+E;-o1#rb+n_EN0|UF{~6ZKXqC@
zcy9i%YW{zJ;8Dn96|6YUbCn~$|LRA*$Ju3wzh=?4Pr$%g6c5S)Kd>iv{+9NMs&?=n
z`Ak$gILV?kIMD0QVX)2nq&k$M{dxpN;uTJnqKW5E`5aU3#7F<AXJHf%%{k0xcah`{
z)A&=G^z4*!sDh%gU}=(V(;?4X>zz`7APUkS_L-l5?ASo|VZ8Cff<%;sp=IspT@caY
z7w;}Ef9$kHUkSVQC2L_~Uy%pvmYs5IzqSaOI4mYjX-E$=O4%_%w28B5cdy8&j&RD~
z#6Hc>>IVzr=0Uc87<L*(`v9D)yupN~r&zA_*q6}z_;84$vEpg;UOO9Jkw!{K>c4hA
z%>p`qQb=us_&zCC51&Emw;<XL15lR%ob{b^VXf$xL6tHL0!{b1)9k+X^(EB!kpem!
zfgVQHdlM4{p1%(oQGKuZfXh1;4xqZ%WZ=ae%LY>0YdU61I~EbHve%rTg}n<NP+fl>
zmEY+www&%z>YnRyotg<+b+Bs*VLCM%1EPa}#RKx3YLhqNIlQ2Z$a88wV9&wA0eDVL
z=9hfXBjqA=T{jiD{b9*K?60O{#{RH~aQ0Vog4$mfJOi-5nhMhXuuyc{U(Ez<f7rEz
zu)ms(0sF(^0oh+;2Q#67%`J089w?Cl%b)>F03(zbLAB5TA?<D`@qr7X0Y(r@lsK7x
zQAGo=aK0!JgGys(Py;YWi4RgA4dBu3kP;oVNE%pa2%D5B8Bj_Cpg>+(@;70WRjNni
zlAI3MBB5vi{>Zt&%?L^c;zXQ{85@EE!g&y<1T~-za0cK$oC(r;ph$H44kv;(9q1}T
zI1VRcz;2*$Kwk6d^ih8kUQ>n|lh<&6I$*DXq5*gf=K}W{C>e;?a5iSV1_}u0HJlRE
zYdXLgfY)#)NUwn+(d{*y2-<6)s|evWoQwglfx-cK4gX%D3A3rc#5f|i5eR|p28;*b
zHv${D;ehEt97o_|#&W=raGoQOf|^bzKm%|cfeX@hz*uzqjz9%%Jm3|Da2|nwjsfcd
z144NZZ`O$T)Poq4`3Q{A>H`LZa36sV^aD?5HrhY!B$B~vA(#%v3k5=k#1M=LXodnS
ztQvMgGz2#k$Ux-~3`V;h3S8iN2wqnZKNR?w5JWH{kRf((!~PqBeN{mSwud7rH-d>X
zCC)N`Ws^g9^4F&%^fxpllT#0W9O=1hm0fdQ6Xkzz$T6XLGT&CM*aE%NeX`2dbu~J%
zd!^(*Ra8@qr-V*>#_6BW%DAU3;}Z{jyBCKAndL#k*x#`O%A>p~@xx#rk(HRfnU-1S
zv6yr0*Sm{xEzZX^Zynd78kg5QVav9;v#RILQr;b;=kuy7vp!v!v#zXvpdSfwS%~#H
z;Z-Z)bv3Mc@0sJ+Er?yGM(o%U)0y;qS#@U7r!&i<GuXdR71P*p&nY`jD`tlmn`Q6m
z<9KbHU4gSFaa~BydD2&XI<qc1GXq}{JCUBZke;=Z<_mS*e-bU)NP7Zlne0lgKsGNq
zwt9D3Q8y%`PqkLL$N+VJwDtdv_Vncd<7sj2mz|cL*mS?o`~Hr%s4`S+c<ffor;V-J
z?wra${fNC>WXt2e_z(R%Eq?2fG-iVquMy08@p$5@$xtj`-{gc_zSpq);x^w+%a^jJ
zbAhlX`)ykaSBsz<mh-YVEDhIo%;#kOvUBoR9PEht-PA8G<pkJ9e6c&zGQ+BkmA7UW
z%Rot5eqVJ)UK{EAG)^dsna?z;X8`SUqF4HIv{E8j-tsj53s6e|0v-bt000080EeNl
cSoOPAj@*+u1}y^~_(hXx1|S9{1^@s607OdyOaK4?

delta 1629
zcmV-j2BP_p4UY|fP)h>@6aWAK2mtkqr&!IbJr&yp006~g000jF8~|)=XK!C&b#!lM
zWo|BPY*kbV00aH>Ic9epI%aiv3jhHG^#K3?1QY-O0PURrZ<{z6hkxg<u%e6BPEm_P
zzHXYd)9y~1?sl4V`@JHGn;{X%5jfpc^?x4_Fvek5Q~a@ipt?y*l?MFU&ujaALKEJS
zPvI`{*~eeVJMwDp#b1-n%{DyT?!%*>oNj%8AKrRF%%Z^cZ{3ae$~uKfv}Jeqp3egJ
zz|!+Z3g?Y1YpinI&CgNfe*5z6$VO?)ar%=y5VbS&lP2UCN5zA;n2|@tuu{bI)JgH+
zOw)%|{r>}hk3t^HVEJ**R5{{@uWrzJoNb2qTM}%$1oY@4e^3tiF?(|FZdsS8Y6t(B
z&P1hyqa=vE1H1Xl_qJ)DRELtcUyUG7yuztcH1YfipJU3M_~ah-ER6i2K8N}2&Xe3?
z8h?(Xj-65tl~XhpERK?G+~=8Vy;ln01z!BqK5?UeT{e)tA8uSfClMsRZ&^Eb?*%OX
z#rx6K>sDLzwXj=XWi5>DYw}>-WvATPZ!AK_G>ge%=CcC};_MhN*n~;2J1O$1BAoL#
zw$Jmk{E-Ejra`u@@3$I7^8n~|+F-=ubF8WL*p<+S@Nfu&q2j6aUOO9Jkp@af>c4hA
z^#VG7P)JRK_%W%h9zKKA?_RL$2cR|sxad3QlC`2^29?Ut3pDNLPQClu*OyS^2MXw7
z1bP^i?@de;c>X?UK=r-i11|4aIDqP2k%1R?EE`B|ujrU5?N~&(%3g7T7WOuHKz03j
zRQ_Q7*mBxKsd}!*bt)!k)xoYMgy~dl42TYY77xgC%1z#c=kS6uAkV4zfISBb2jDps
znP1aE50s10b=_3p_J<_{vA>Fr8T-Q`!r5QN32J|B@btj`Dk@0(!$Q$*e-#t7{bAP<
z!u~2Y2J8=u2V{S>9n6FR*0;<7d7wlJEQ1Cx0gO;$1l2+VgtWV%#0M^j1{gssQQ~BO
zMimXf!ug^^3@VMSLG{2KB|b=fG=N99LrQeeB57cyA#75jWI!nmfC71C!QX^YmZ=_)
zOL973i-e*9_#@{6HzOz+h!b%(W^4!w2<JhZ64ZcN!0Cbea3)CWfg;iEJDdpGbfBvU
z;W(U(0lR_10eQ{m^GE$ncuf&%NM6H#>43ckiU!~{oD1A*pkyFk!`Ybe8Ym!~*KkTu
zuW13N2VTROAiV~PM7P&)B51FHt|Elja54tG1_}q{HT-*pCd{V#661i}Mj!;X8!#S#
z-w15rh6APpaU6k<8Os4f!g-EB3Tis70QJCi1TIM10b|kaI|3E7@qkwp!g&OLItHu<
z3<%{tyjdgSQw?HB<|8mds}C3u!hHlf&<{MJ*=YZ?lSl@yg<v`uFBAwF5<@U1pcx9R
zuxi)}Q6Jn;AOn>{Fc|H2C~$%6A$VOu{7~RyLJ+}-K!(`D4ZCj$_H_xt+a8Xj*a*gS
zLg+GmWs^du>FX2XyBp?{@wo?oRC+$OimuT&MET!aa*SA-%y(rgwm|QEpRA&FU5$?I
zPAU0M71b2uDWTJzarXDKGVW;0_}Bs8?uBMSW@!*Vba&YS#Zk_LxW2a!$VyD#Ov|iu
zvY2!1*Sqs^EiT73ZyeX69GBBMVaukuv#RFKQr;b;=ku~Fvo2kkXI)u;K|c~Q%|fg%
z39lLnughW0JI@?yHz1zU3Nf`MrZegJvh2*FOJ|mOXRv>t%BL}%UQ(vC5i{k*X4!fA
zP^XFWRN(ALTo=-Fp7d3h&aCs!%)nQ~&ZOrJq-V{f`9fWHpG1o$(vCn{CcBa=kj+bu
zt=^qR)HTWIQms`kGC&=FZT-KaJ$*UAcv`0R%T7y2Y`Wj){dmV)lo`r5yzExX=Z&r0
z?r7<sZjim4XUpNfcw+y?`EMN(huNUTYXq}SJf65}(ih9uH#y;!@6;?mzs+~u@}=zQ
zTp(GK-L@@-t3}Wai@xj)OT)Dt^EsKn?40})dOM<iH}%n#oB*3eFLpX9GOXHIacg$5
z3>2j0_f;3<wUIu>VZ^eS=}cpK2GBewI;Af~D<v|^Tbjo2P)h*<9s?8r000O8^^2!i
b&8$5Y+mkv5Ed%}ZIg@GzAO<7`000002*Vr5

diff --git a/internal/runtime/llgo_autogen.lla b/internal/runtime/llgo_autogen.lla
index 652fbb7f298b075dbf157be09e9a5c738bc0f410..ebb1ce756eaf7011cf8bfa45ad59a2250c7707e4 100644
GIT binary patch
delta 1415
zcmV;21$g?>Gt)CTP)h>@6aWAK2moNDuvp!+>rx*X003wH000jF8~|)=XK!C&b#!lM
zWo|BPY*kbV00VUWMP_yVu{azQe~9q+@=JwNKQf^s3lG852x!fGp&0e)D%%2HVxUmU
zKk(WrnYRL!kLcCMkB92E-0yd?e&j_&c9kRbRn*+>c9AH-CPn3d=fe!}?ow9GUg3z9
zg+UUTT-d<cp=Q4H!feP&`o^KG_>ks!q}+CLcGiI16o=&k)9rYPYH{Lzf47IqUWQ%k
z!4$j!NVWXE{FZLc;j-CwnVYxxVBEO*={IGS`$DQ6shS9(cODMRJX~8^(Xx!G{mu9F
zJghrFZ1_IIX0I+B7^;J5l9*hQR!2zn^y5j=D?YpwqImLr%2MH6N>qpYT`)Ja<kYd8
zR)#{FiJVraozVix(|$*?e_7=xhreqtcoIL~j9m7D__;&xbX?A4W~!G|LJMU{S=BXb
z0YJyVz_Y$XYNd6%C*!W3e~<n+U(JGhT@p>Hj;|!%`SpfYfR*CQ3RP^}7rOVt4q5&|
zKJ<q(hJp?&)c=bM?h`fMgw0O&Q(zYAkAbv-XJoTG9vR!FI3>}@e?1e0c&c-<uMRP8
zv28Cj9+wA{2qbrre22W|92zZQ-oJ||^tMZ_bz`1NbXcwuuebR|=%q^AtE%NTa+l?6
zrQ(Zq!iby9#FiQewcU5@B||u*s<-<IbQK_oE>iNsa*#Mv6>dcp?sOnBEeh$c&*<aV
zv**vBU(H_K?N9;Ze;ut}ZKgtTI%J{eC+iNKvtixY5^=SeF1{tZ2Znls(1d@wKNkDj
zOL4<nt`Hr^`z$o*1;__edU}Z=E?49sYBtxCYa`3JYlB*N!)AN;@OtxbX^!|cleG}p
zGhco|aAm$#H=Aa8*s}aYZy&ZS52sl^YFR#-X8HKMXP=yRfBE#hsF$4=_44zg9th5R
z_~6WZ54179srJ8(^G)^sZLDvq_1kzKNG1ZHjr&an0F+O_Hm0IPVF8P(xX%SyqjC4S
zNP?SX;;=Foi5yvGxG8hRa?32Ixe~eemD60Q+^y7UF47eVSeD%?laabx+tgtdTZQCd
z53>>E2Y#?0e-QKse(;|(5hq#09%gGU?e#+gV(PJn*$5c`KXf2g+t4`HDelaj7sFT7
zO|nd0I~;#)*tT|uUgBfzux;&l{I#RDwL7G-kG12rwbSv}PTJP)(8GMJowlu=kH2=-
zwl?(`j=6Z=x_F1}>4m!lt*cML+gh0$n1H*1R`v!af8cMRmBE1tI2>qYaa|UNm(^RD
z9GHO1fmSvLCg5{W-uWpSa2w(fOEARWe)xX9s~&0{C_B~N{kS4|k4;<-SMUNk(Q(+`
zt&3mFb+P++Sl61HISk_Hw2v~`{f}ZuulB{}_L+O8FJ13b{R%?#T*$Uk(n(p>k6H&!
zhFVv_e;c|Zoy^<jt+P;1Dr&*Y{i=edsTRGbc+yC8lfmpQ79D9(*&2Qr3-@`cVc7AS
zak2OF(`-=*W6Rex&Gj(0c1u$tB1A2i(u9@R6o*fH@_Eu+Eu1M2&r|9*APj<DR+RDE
z2hi^3eQ!&1ipVMzIENJn=2R0*H6ow-Y5!wHf8_y}$#zVc*~gp>RVYH<wbktt3X=(a
z6_#3hLzE(xkf{YOx#_g)ncPpwPb#;Rfpw}PjwcRFH3{=nB+TTRUt`!D14_f7`Oiur
zn^U%!ycxDmzc=-yZ??OK=Dh4Gp;T94ce;px^^Gy8=b9~6MWZ~vTI0P$^7TsnhLu0z
zGc&_mZFr_B$!-9WpTUZW0G$9ef5;;DL0+KIeEuI$O928N0~7!N00;nJq_9}swChqI
VlYAL10(AY8s~I5%Xc+(i006K3%dP+b

delta 1414
zcmV;11$p|@Gtx6SP)h>@6aWAK2mnTSuviZuBAFf;003wH000jF8~|)=XK!C&b#!lM
zWo|BPY*kbV00VQcMP_xcu{azQf6KPYFBMMx$b^n8JOoc8pf&S_V$`RrYzugafkG+&
zz-y~y-U?JcqE{b39;(}Nzu(FFkrxr!RgTnGQFFW7MWO_o6qN&>4>Q2KOIbC0g(FrL
z21#UcVFPQ2n)%WTvmq<#8;7#uLz?4}a@)z-Sp#-c9F_}Ax8o(M#fkgfe;z7(8FsA)
zQ}6~L)$;f9Te>-i%VyhUZr<X9apUHv-;`DE3#oRbY9fT*c{nihaBXQt%QB|+H{aLu
zu<ih{;rk4my}EE<s1Bw{Vsc4Z9U;}zk0(j5`0!GQ;>q(VONDbOQ627g!Q9Z2Q^#^z
z84778a$22sMhhfQ`yI(<f0dsc{;s{?N&I{>a@h;w=MKHoaXFKjsa{eEEtDl?RoAQq
z038DZ&-xCjmDcT^jJtaNJ^JH(H4E-_Ni?N8zLI$7*Be>^R*EkxRIzbi=-vxEWcdgA
z&>zki3OcM%|1U1MPt<r5Hapo*fmx_O2GRzek<IRSWNe$_ltd%<e@qnOsm{s1I>fle
zw!P4JTpmy&klaP`9rBuUXtacR|1P4?+b*@%jd?23VYy1Y-sT&jmnv<qs+QZxU6!wv
ziZ9j)BW^MiTWTQGcHgm=4B?Qf-tH&RRe&J6NXZM!LE=nRxD{2n(}BpeD5SqWqmN(D
zo<DznHG6fpLj{a?f3$kFnF__}kcFO~tUGkhhIMC4#MNfH_?GM*80rl|6aMM`SnO{v
z#SL${LUbJOv(TUyARkQW=_Q7^T#<*U*<4SqjV$A?4Qk;Ho9*4h>&?TZIpWt$)<R^@
zeE9{zmHAfPY?|d^%kmSweb}-*oM!o`W%+2D<>T|7eRAIAf7A1#UUpv8%g>8?AUN;g
zgER9z(8l<t+W$7rH`V*MvA(I+Z{vL+nFxS3?l%<xP(A_Mn2HjG1uUxKJ{M$-#@**4
z32v5&!^&JFa%7p|rpy(~Ewh~FO61;GPIIMlw^FCMNLM6aS$3;TM(S>DQ-@V-6_STN
z%tnwO_`!Zaf6yQJ!GF?3oMa7qn60_A*AESdsmC5>BV+*l(1BQOL*rPdxHETN3|~<<
z$ufEEaQwAl+u9v^iI26zwzcE&*N)oO?vTbl){fiOPRCz6X<NHP5A(5h+O~E+{@PjF
z+SFq>=Hhwl;vKf97w!_Yu092CYh`X=0`3M{*&CREf4_lN1_vhKaG;gNby*x<R&Ql;
zU;-`&TG<?!fX_jB=cj1EZHPlG!4QA@;rsQjdZ=}v>{NI6<BH@xHgP#z!3*R>$6<T7
zE`BZ7#qQ%_U2AUUFo>hmKFVbGKZ+r}+83MKXYQH4biGgYD+tkZA=^qxCuLPXY8^Bg
zYF!0yf9Q^MGH;u=&O$w@s0A<gs|uQ?TJ)acNh8rs2D7(VbfiUPYxrR-+~=i+VaIF6
z#oo_PvqdG0Enm|#*TdM_Elr7t5Vc@R6INnV96s&I=Sg$5aHc#wPpRL4FbH~CQO0i{
zK)ajwy)DftBCAy399A5dQ%x|{h<xg&{f`lqe+OJ9+c9NkA9FTTp$K``R<}<mOeXYI
zSZe7FQHoeXrWUy5rqixxaz7<MsoYWq)~Sj(o;WPkB+OHhFq3P3jbU>PC=G+=KP!c7
zPT6AeX4pFY-qe%6+3p^i^RlaiQeB1J=^_HwH^!izYqnSwjq><vjrS7C*DLiKR{n&~
zG7N9E;hCl+y8%dk1}i24bOO};A&cAxd4Wdr`F~JL0RkQa6aWAK2mnTSuviZuBAFhO
UeHkqRbFY)E86gH|82|tP0B3i$i2wiq

diff --git a/ssa/expr.go b/ssa/expr.go
index 1ebf1973..b1a050ac 100644
--- a/ssa/expr.go
+++ b/ssa/expr.go
@@ -1059,7 +1059,7 @@ func (b Builder) Convert(t Type, x Expr) (ret Expr) {
 	case *types.Basic:
 		switch typ.Kind() {
 		case types.Uintptr:
-			ret.impl = castInt(b.impl, x.impl, t.ll)
+			ret.impl = castUintptr(b, x.impl, t)
 			return
 		case types.UnsafePointer:
 			ret.impl = castPtr(b.impl, x.impl, t.ll)
@@ -1067,19 +1067,10 @@ func (b Builder) Convert(t Type, x Expr) (ret Expr) {
 		}
 		switch xtyp := x.RawType().Underlying().(type) {
 		case *types.Basic:
-			size := b.Prog.SizeOf(t)
-			xsize := b.Prog.SizeOf(x.Type)
 			if typ.Info()&types.IsInteger != 0 {
 				// int <- int/float
 				if xtyp.Info()&types.IsInteger != 0 {
-					// if xsize > size {
-					// 	ret.impl = b.impl.CreateTrunc(x.impl, t.ll, "")
-					// } else if typ.Info()&types.IsUnsigned != 0 {
-					// 	ret.impl = b.impl.CreateZExt(x.impl, t.ll, "")
-					// } else {
-					// 	ret.impl = b.impl.CreateSExt(x.impl, t.ll, "")
-					// }
-					ret.impl = castInt(b.impl, x.impl, t.ll)
+					ret.impl = castInt(b, x.impl, t)
 					return
 				} else if xtyp.Info()&types.IsFloat != 0 {
 					if typ.Info()&types.IsUnsigned != 0 {
@@ -1099,11 +1090,7 @@ func (b Builder) Convert(t Type, x Expr) (ret Expr) {
 					}
 					return
 				} else if xtyp.Info()&types.IsFloat != 0 {
-					if xsize > size {
-						ret.impl = b.impl.CreateFPTrunc(x.impl, t.ll, "")
-					} else {
-						ret.impl = b.impl.CreateFPExt(x.impl, t.ll, "")
-					}
+					ret.impl = castFloat(b, x.impl, t)
 					return
 				}
 			}
@@ -1115,15 +1102,33 @@ func (b Builder) Convert(t Type, x Expr) (ret Expr) {
 	panic("todo")
 }
 
-func castInt(b llvm.Builder, x llvm.Value, t llvm.Type) llvm.Value {
-	xt := x.Type()
-	if xt.TypeKind() == llvm.PointerTypeKind {
-		return llvm.CreatePtrToInt(b, x, t)
+func castUintptr(b Builder, x llvm.Value, typ Type) llvm.Value {
+	if x.Type().TypeKind() == llvm.PointerTypeKind {
+		return llvm.CreatePtrToInt(b.impl, x, typ.ll)
 	}
-	if xt.IntTypeWidth() <= t.IntTypeWidth() {
-		return llvm.CreateIntCast(b, x, t)
+	return castInt(b, x, typ)
+}
+
+func castInt(b Builder, x llvm.Value, typ Type) llvm.Value {
+	xsize := b.Prog.td.TypeAllocSize(x.Type())
+	size := b.Prog.td.TypeAllocSize(typ.ll)
+	if xsize > size {
+		return b.impl.CreateTrunc(x, typ.ll, "")
+	} else if typ.kind == vkUnsigned {
+		return b.impl.CreateZExt(x, typ.ll, "")
+	} else {
+		return b.impl.CreateSExt(x, typ.ll, "")
+	}
+}
+
+func castFloat(b Builder, x llvm.Value, typ Type) llvm.Value {
+	xsize := b.Prog.td.TypeAllocSize(x.Type())
+	size := b.Prog.td.TypeAllocSize(typ.ll)
+	if xsize > size {
+		return b.impl.CreateFPTrunc(x, typ.ll, "")
+	} else {
+		return b.impl.CreateFPExt(x, typ.ll, "")
 	}
-	return llvm.CreateTrunc(b, x, t)
 }
 
 func castPtr(b llvm.Builder, x llvm.Value, t llvm.Type) llvm.Value {
@@ -1245,12 +1250,12 @@ func (b Builder) TypeAssert(x Expr, assertedTyp Type, commaOk bool) (ret Expr) {
 			conv := func(v llvm.Value) llvm.Value {
 				switch kind {
 				case types.Float32:
-					v = castInt(b.impl, v, b.Prog.tyInt32())
+					v = castInt(b, v, b.Prog.Type(types.Typ[types.Int32], InC))
 					v = b.impl.CreateBitCast(v, assertedTyp.ll, "")
 				case types.Float64:
 					v = b.impl.CreateBitCast(v, assertedTyp.ll, "")
 				default:
-					v = castInt(b.impl, v, assertedTyp.ll)
+					v = castInt(b, v, assertedTyp)
 				}
 				return v
 			}