From 75aea37cedaa6b31dd26668f820eb5631644385b Mon Sep 17 00:00:00 2001
From: visualfc <visualfc@gmail.com>
Date: Thu, 9 May 2024 13:45:29 +0800
Subject: [PATCH] ssa: bitcast float => iface.data

---
 cl/_testdata/print/in.go          |  35 +++++++
 cl/_testdata/print/out.ll         | 168 ++++++++++++++++++++++++++++++
 cl/compile.go                     |   8 ++
 cl/import.go                      |  16 +--
 internal/runtime/llgo_autogen.lla | Bin 3604 -> 3862 bytes
 internal/runtime/z_iface.go       |  34 ++++++
 ssa/expr.go                       |  39 ++++++-
 7 files changed, 292 insertions(+), 8 deletions(-)

diff --git a/cl/_testdata/print/in.go b/cl/_testdata/print/in.go
index aa623c27..7b44b61b 100644
--- a/cl/_testdata/print/in.go
+++ b/cl/_testdata/print/in.go
@@ -177,6 +177,41 @@ func main() {
 	printnl()
 	prinfsub(100.1)
 	printnl()
+	printnum(float32(1e9))
+	printnl()
+	printnum(float64(2e9))
+	printnl()
+}
+
+func printnum(v any) {
+	switch v := v.(type) {
+	case int:
+		printint(int64(v))
+	case int8:
+		printint(int64(v))
+	case int16:
+		printint(int64(v))
+	case int32:
+		printint(int64(v))
+	case int64:
+		printint(int64(v))
+	case uint:
+		printuint(uint64(v))
+	case uint8:
+		printuint(uint64(v))
+	case uint16:
+		printuint(uint64(v))
+	case uint32:
+		printuint(uint64(v))
+	case uint64:
+		printuint(uint64(v))
+	case uintptr:
+		printuint(uint64(v))
+	case float32:
+		printfloat(float64(v))
+	case float64:
+		printfloat(float64(v))
+	}
 }
 
 func prinxor(n int64) {
diff --git a/cl/_testdata/print/out.ll b/cl/_testdata/print/out.ll
index d47b639f..73ea91b5 100644
--- a/cl/_testdata/print/out.ll
+++ b/cl/_testdata/print/out.ll
@@ -5,6 +5,7 @@ source_filename = "main"
 %"github.com/goplus/llgo/internal/runtime.String" = type { ptr, i64 }
 %main.stringStruct = type { ptr, i64 }
 %main.slice = type { ptr, i64, i64 }
+%"github.com/goplus/llgo/internal/runtime.iface" = type { ptr, ptr }
 
 @"main.init$guard" = global ptr null
 @main.minhexdigits = global ptr null
@@ -91,6 +92,14 @@ _llgo_0:
   call void @main.printnl()
   call void @main.prinfsub(double 1.001000e+02)
   call void @main.printnl()
+  %3 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 13)
+  %4 = call %"github.com/goplus/llgo/internal/runtime.iface" @"github.com/goplus/llgo/internal/runtime.MakeAnyInt"(ptr %3, i64 1315859240)
+  call void @main.printnum(%"github.com/goplus/llgo/internal/runtime.iface" %4)
+  call void @main.printnl()
+  %5 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 14)
+  %6 = call %"github.com/goplus/llgo/internal/runtime.iface" @"github.com/goplus/llgo/internal/runtime.MakeAnyInt"(ptr %5, i64 4746175415993761792)
+  call void @main.printnum(%"github.com/goplus/llgo/internal/runtime.iface" %6)
+  call void @main.printnl()
   ret void
 }
 
@@ -363,6 +372,155 @@ _llgo_0:
   ret void
 }
 
+define void @main.printnum(%"github.com/goplus/llgo/internal/runtime.iface" %0) {
+_llgo_0:
+  %1 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 2)
+  %2 = call { i64, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Int"(%"github.com/goplus/llgo/internal/runtime.iface" %0, ptr %1)
+  %3 = extractvalue { i64, i1 } %2, 0
+  %4 = extractvalue { i64, i1 } %2, 1
+  br i1 %4, label %_llgo_2, label %_llgo_3
+
+_llgo_1:                                          ; preds = %_llgo_26, %_llgo_25, %_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.printint(i64 %3)
+  br label %_llgo_1
+
+_llgo_3:                                          ; preds = %_llgo_0
+  %5 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 3)
+  %6 = call { i64, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Int"(%"github.com/goplus/llgo/internal/runtime.iface" %0, ptr %5)
+  %7 = extractvalue { i64, i1 } %6, 0
+  %8 = extractvalue { i64, i1 } %6, 1
+  br i1 %8, label %_llgo_4, label %_llgo_5
+
+_llgo_4:                                          ; preds = %_llgo_3
+  call void @main.printint(i64 %7)
+  br label %_llgo_1
+
+_llgo_5:                                          ; preds = %_llgo_3
+  %9 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 4)
+  %10 = call { i64, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Int"(%"github.com/goplus/llgo/internal/runtime.iface" %0, ptr %9)
+  %11 = extractvalue { i64, i1 } %10, 0
+  %12 = extractvalue { i64, i1 } %10, 1
+  br i1 %12, label %_llgo_6, label %_llgo_7
+
+_llgo_6:                                          ; preds = %_llgo_5
+  call void @main.printint(i64 %11)
+  br label %_llgo_1
+
+_llgo_7:                                          ; preds = %_llgo_5
+  %13 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 5)
+  %14 = call { i64, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Int"(%"github.com/goplus/llgo/internal/runtime.iface" %0, ptr %13)
+  %15 = extractvalue { i64, i1 } %14, 0
+  %16 = extractvalue { i64, i1 } %14, 1
+  br i1 %16, label %_llgo_8, label %_llgo_9
+
+_llgo_8:                                          ; preds = %_llgo_7
+  call void @main.printint(i64 %15)
+  br label %_llgo_1
+
+_llgo_9:                                          ; preds = %_llgo_7
+  %17 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 6)
+  %18 = call { i64, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Int"(%"github.com/goplus/llgo/internal/runtime.iface" %0, ptr %17)
+  %19 = extractvalue { i64, i1 } %18, 0
+  %20 = extractvalue { i64, i1 } %18, 1
+  br i1 %20, label %_llgo_10, label %_llgo_11
+
+_llgo_10:                                         ; preds = %_llgo_9
+  call void @main.printint(i64 %19)
+  br label %_llgo_1
+
+_llgo_11:                                         ; preds = %_llgo_9
+  %21 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 7)
+  %22 = call { i64, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Int"(%"github.com/goplus/llgo/internal/runtime.iface" %0, ptr %21)
+  %23 = extractvalue { i64, i1 } %22, 0
+  %24 = extractvalue { i64, i1 } %22, 1
+  br i1 %24, label %_llgo_12, label %_llgo_13
+
+_llgo_12:                                         ; preds = %_llgo_11
+  call void @main.printuint(i64 %23)
+  br label %_llgo_1
+
+_llgo_13:                                         ; preds = %_llgo_11
+  %25 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 8)
+  %26 = call { i64, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Int"(%"github.com/goplus/llgo/internal/runtime.iface" %0, ptr %25)
+  %27 = extractvalue { i64, i1 } %26, 0
+  %28 = extractvalue { i64, i1 } %26, 1
+  br i1 %28, label %_llgo_14, label %_llgo_15
+
+_llgo_14:                                         ; preds = %_llgo_13
+  call void @main.printuint(i64 %27)
+  br label %_llgo_1
+
+_llgo_15:                                         ; preds = %_llgo_13
+  %29 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 9)
+  %30 = call { i64, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Int"(%"github.com/goplus/llgo/internal/runtime.iface" %0, ptr %29)
+  %31 = extractvalue { i64, i1 } %30, 0
+  %32 = extractvalue { i64, i1 } %30, 1
+  br i1 %32, label %_llgo_16, label %_llgo_17
+
+_llgo_16:                                         ; preds = %_llgo_15
+  call void @main.printuint(i64 %31)
+  br label %_llgo_1
+
+_llgo_17:                                         ; preds = %_llgo_15
+  %33 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 10)
+  %34 = call { i64, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Int"(%"github.com/goplus/llgo/internal/runtime.iface" %0, ptr %33)
+  %35 = extractvalue { i64, i1 } %34, 0
+  %36 = extractvalue { i64, i1 } %34, 1
+  br i1 %36, label %_llgo_18, label %_llgo_19
+
+_llgo_18:                                         ; preds = %_llgo_17
+  call void @main.printuint(i64 %35)
+  br label %_llgo_1
+
+_llgo_19:                                         ; preds = %_llgo_17
+  %37 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 11)
+  %38 = call { i64, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Int"(%"github.com/goplus/llgo/internal/runtime.iface" %0, ptr %37)
+  %39 = extractvalue { i64, i1 } %38, 0
+  %40 = extractvalue { i64, i1 } %38, 1
+  br i1 %40, label %_llgo_20, label %_llgo_21
+
+_llgo_20:                                         ; preds = %_llgo_19
+  call void @main.printuint(i64 %39)
+  br label %_llgo_1
+
+_llgo_21:                                         ; preds = %_llgo_19
+  %41 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 12)
+  %42 = call { i64, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Int"(%"github.com/goplus/llgo/internal/runtime.iface" %0, ptr %41)
+  %43 = extractvalue { i64, i1 } %42, 0
+  %44 = extractvalue { i64, i1 } %42, 1
+  br i1 %44, label %_llgo_22, label %_llgo_23
+
+_llgo_22:                                         ; preds = %_llgo_21
+  call void @main.printuint(i64 %43)
+  br label %_llgo_1
+
+_llgo_23:                                         ; preds = %_llgo_21
+  %45 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 13)
+  %46 = call { float, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Float32"(%"github.com/goplus/llgo/internal/runtime.iface" %0, ptr %45)
+  %47 = extractvalue { float, i1 } %46, 0
+  %48 = extractvalue { float, i1 } %46, 1
+  br i1 %48, label %_llgo_24, label %_llgo_25
+
+_llgo_24:                                         ; preds = %_llgo_23
+  %49 = fpext float %47 to double
+  call void @main.printfloat(double %49)
+  br label %_llgo_1
+
+_llgo_25:                                         ; preds = %_llgo_23
+  %50 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 14)
+  %51 = call { double, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Float64"(%"github.com/goplus/llgo/internal/runtime.iface" %0, ptr %50)
+  %52 = extractvalue { double, i1 } %51, 0
+  %53 = extractvalue { double, i1 } %51, 1
+  br i1 %53, label %_llgo_26, label %_llgo_1
+
+_llgo_26:                                         ; preds = %_llgo_25
+  call void @main.printfloat(double %52)
+  br label %_llgo_1
+}
+
 define void @main.printsp() {
 _llgo_0:
   %0 = call %"github.com/goplus/llgo/internal/runtime.String" @"github.com/goplus/llgo/internal/runtime.NewString"(ptr @8, i64 1)
@@ -437,6 +595,16 @@ declare void @"github.com/goplus/llgo/internal/runtime.init"()
 
 declare %"github.com/goplus/llgo/internal/runtime.String" @"github.com/goplus/llgo/internal/runtime.NewString"(ptr, i64)
 
+declare ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64)
+
+declare %"github.com/goplus/llgo/internal/runtime.iface" @"github.com/goplus/llgo/internal/runtime.MakeAnyInt"(ptr, i64)
+
 declare %"github.com/goplus/llgo/internal/runtime.Slice" @"github.com/goplus/llgo/internal/runtime.NewSlice3"(ptr, i64, i64, i64, i64, i64)
 
 declare ptr @"github.com/goplus/llgo/internal/runtime.StringData"(%"github.com/goplus/llgo/internal/runtime.String")
+
+declare { i64, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Int"(%"github.com/goplus/llgo/internal/runtime.iface", ptr)
+
+declare { float, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Float32"(%"github.com/goplus/llgo/internal/runtime.iface", ptr)
+
+declare { double, i1 } @"github.com/goplus/llgo/internal/runtime.CheckI2Float64"(%"github.com/goplus/llgo/internal/runtime.iface", ptr)
diff --git a/cl/compile.go b/cl/compile.go
index 354f27ed..b3ae1cb3 100644
--- a/cl/compile.go
+++ b/cl/compile.go
@@ -289,6 +289,10 @@ func (p *context) funcOf(fn *ssa.Function) (ret llssa.Function, ftype int) {
 			ftype = llgoAllocaCStr
 		case "unreachable":
 			ftype = llgoUnreachable
+		case "bitCastTo64F":
+			ftype = llgoBitCastTo64F
+		case "bitCastTo32F":
+			ftype = llgoBitCastTo32F
 		default:
 			panic("unknown llgo instruction: " + name)
 		}
@@ -522,6 +526,10 @@ func (p *context) compileInstrOrValue(b llssa.Builder, iv instrOrValue, asValue
 				ret = p.allocaCStr(b, args)
 			case llgoUnreachable: // func unreachable()
 				b.Unreachable()
+			case llgoBitCastTo32F:
+				ret = b.BitCast(p.compileValue(b, args[0]), b.Prog.Type(types.Typ[types.Float32], llssa.InGo))
+			case llgoBitCastTo64F:
+				ret = b.BitCast(p.compileValue(b, args[0]), b.Prog.Float64())
 			default:
 				panic("todo")
 			}
diff --git a/cl/import.go b/cl/import.go
index a298eb6e..f01d58dc 100644
--- a/cl/import.go
+++ b/cl/import.go
@@ -301,13 +301,15 @@ const (
 	cFunc       = int(llssa.InC)
 	llgoInstr   = -1
 
-	llgoInstrBase   = 0x80
-	llgoUnreachable = llgoInstrBase + 0
-	llgoCstr        = llgoInstrBase + 1
-	llgoAlloca      = llgoInstrBase + 2
-	llgoAllocaCStr  = llgoInstrBase + 3
-	llgoAdvance     = llgoInstrBase + 4
-	llgoIndex       = llgoInstrBase + 5
+	llgoInstrBase    = 0x80
+	llgoUnreachable  = llgoInstrBase + 0
+	llgoCstr         = llgoInstrBase + 1
+	llgoAlloca       = llgoInstrBase + 2
+	llgoAllocaCStr   = llgoInstrBase + 3
+	llgoAdvance      = llgoInstrBase + 4
+	llgoIndex        = llgoInstrBase + 5
+	llgoBitCastTo32F = llgoInstrBase + 6
+	llgoBitCastTo64F = llgoInstrBase + 7
 )
 
 func (p *context) funcName(fn *ssa.Function, ignore bool) (*types.Package, string, int) {
diff --git a/internal/runtime/llgo_autogen.lla b/internal/runtime/llgo_autogen.lla
index 88a6bf6944390d5cb4c65f48854298b53dfe1bd3..1bb3e9d8214b7618268901704b9c95ed1f7ebba4 100644
GIT binary patch
delta 3810
zcmV<84ju879F`tAP)h>@6aWAK2mlv;saU_am*rv(001wf000jF8~|)=XK!C&b#!lM
zWo|BPY*kbV00Z5BJZ9d1JdrsZe`{<41gS{9SngthbkjYc!1ZuIdtY{M5y-ZZ2rJ88
zTkbY3`rl8aL`r<KC5n<$oEF%|iKXF?oOy;b91ef7-fvciBzpJO`q}#NG0vV2i<{+U
z{pxYEO%D54N%FXP6{lIWOT*;V?vQ5jI{I<4-yC+!=>8#2qBLAb`MVblf8V{BOr}kr
zz4?&s;`H$%C!alUBkQZR&34yT?7P;t7F6Pga2fGL@_*V9$-;$%M$U}`udUx*>$4RH
zf8?J4`sBNRw4(kYiA5H3D$P3^F5;Vy`O7sT<o%MzIAH&;4@A8$`9H0Ae_DrIp;gij
z@Jp(-0YeWI!#}xg+{(x2e>dqfYUVN7EW!j6NDoQUg2W=+$4fLu`)+jNG|ql_JcPSd
zH#+<HOZ3Zep6vXO+g<!A%p&WMB2`=6hpW}jT5i&P7N(i?JM;?Cvz8a{;6IX0m^tuu
zF&XQ4zYeqI(|>LI;@S$6_%XG><QC`<_1)t{VFRL|M)X~p9Vh5Ce<0{nf_tPuR-CS)
z&(`LUS(^uIu{orxJxA3&P1SKKsu+K)ro`{>_t`4i?Y4O%(dS~eYjZle^-i}AszKU@
zX}o-GP4i~nuq{ni(L<a@SWueF+nXfWEdO(Hi6CWaUs+!#_vpcU`}M@KrbsH5VNyun
z?K(sclSlLKcTtAFf0=^Gw=V7frrG`!vfoGReUx1m92J;l7huV;3$@wBs(Fmt$0&=E
zXdR^)A{?iMOjM|<g-oOqq|3SPttyhJuZ0i<W;%J7o7lU}_W7b1%6tslTjwd@M+Y&E
zCopVJuHM0^!%TW(QolvJ4MOR%SFjjV;3LV{XPaH5)yr}Ue;kHGS1kw{T_+6?dCq?T
z)QU$Wff~=LOW1JH1AgCZV1b;80_iiO5%5a7+&)vu!arxFfO}Y}=W4dm@`1cryg?@~
z4lF`$UV&mwAM8&0@b<91xYQ63DM%Pm1877IfDttyBM${dH7tKnR0CI31BX!qq$jyS
zEd(Zi1Q6ZOe;7T+To&R=<-bFpl-i<;*}fKL&loEi)D-5c^?(+9Xz^}+Ys1!4wEUAU
zLEC6h>7Y^3GGk8)sxQr)@O|yUnvjmGP}~zy+-0~hVob2ZT$1-hRc>TT;^lg4MSoGt
zF-5N~c1SX(xp_#!MU+_6LQ(+tJDijv1YTQ>|NALlf1XEqH-9En>=RbX$gJQ20k$|I
zb7n*UcHFXEmJ1_UjN4YWLDGo7M{1Jg?JW!Z%b!PIIuL(}WPcH7%W$9JM$zN>*I3ul
z1MA%<G~($#+GU@@<iG>Lb`$S6>2>ipMDMzgru;o{^hNXp{+P2CT~k9XJ_N{&!LBnV
z(*IJbe{h_SXa1RiyVd5fNTN=7=er}`jd(ZW-SBuvA+18ZLZ4Nb#%MbMwc?M6<S|rZ
zURA=H@RVs>V;VRHY(*$m3)SAG*@$Q(qK$|)D5A;ms#0PCRwdLOL#pZ}B}}o8n8v7z
zx*DL`d#%kC{@3+3doEwQ<iW@`6_)`<(8#W%e-TDX!;usqB1jMM8X#yyfvjXVOBMnt
z<9T`S1vGV;fKLae*m$`{sKl+wY~lShpXxClGFsEontq4z5QG&p)M3mxPJv5Qu21Xt
zujp@L`><x076!W5!T_&552czmXW@PLXY?keCRk^`4Ree6{IrQzE!zIL%bEQ*+CA4n
ze_eoM{fBfHh0CW9d6E_UmwsYv{2${(BmR&0|I*?^2;-~Bk3o=k&H?g(1$hlaa}JPq
z&IIzV8syO^wn6wYRyLyhi0%WUJHqY~(+vVQJO^->8U~9zM;+sF4&a7o0&YhQ-2D&O
z1)Iz!g>KzcqcStr!2@e1Kvzd4C_<wvf9PP_e0)Y@y?$8+y?`~_1|(qJV;e5PdsX5i
z&21}lC2b~@Iu$bC0`_~mGDAY3wcvuaKdv+m8!&O$xuGQqhW+kqk~tGG2S<{zH7ypf
zMQs5_BJ;<ZVPob~NS*?UnI;*@fK4mJ7Nlj=TwqH#YF^>=pumjR;Pu^<5t~PBe;%=U
z#AcJ&Tp(-yTDHM0V3<KJN&Z_~=ynv?t+C^29=qK^vAcs8a^e)37RVbqAHmGL<S3Uy
zS}!&5UN}Am-76E3Ac^TS6SAq{Z=;A!C(~!#EJ?x{#?6u=n!Y1u$wV8}mYg(wfz<SQ
zvf!Eo68+<*Z+6`D%^A}Nv@&^Qf40v|CJ$g!dHS$Ql3X5OW<7eO8O|}0+b)@7;utn=
z9nyKuVcg!KKjIg;xDi==^5*ON1M0q!wP*D1$ElDYYX_&oK7p)6nntJMdvq#fxT^9R
zpcHstV8Ex{WFx5jfGR$`54ZAcT@49Z=S0`x_I{5D=Ts+(^Wm+F^t9XPf5Go?k*V^h
z6#d)hCF2%^ebw$d=P>yMMzEgnO5lvwI5SlY)Qy;1s~>3uHV^rf(r^r(sm?PCV{A^^
zCPs5CYv)B5YQUTsA3%v5l@^shOL3i+HM6E3uU)<&?V1_UE}zjZy8XXTGTI%x`S!nO
zWcxoC(ejf^KRMSza=_plf8+#-iXsfvlHx^&rsikbAGi7aaTD1Q4qbNb4-2YiQ^(vg
zi9x5CVwFTsK5?rcm#%^+dmd%aOobjbdyr#~uHx7VJvi%H!k$l6|B+<0c#Q6&5_*iX
z^S=jVik&V~TrfEkxIvu48aK11nMiIYD8k%`u!y*EYuuayMw+_se|1j|nhV?z9U$Dy
zPjKTBZu~CXV4oEt6kHz?YAtZK*c3`!BfgLlEQ*Wut+t#O3u(}UabEJFV}@u(hG^Dh
zhyrT0eB4(J2Z`@l*X0tVq8N0a{Jt?w5rKg2@u?f;Y$vxoIKJcmQp?cwUpUTOi0)K*
zx@NH|#@q22+vsbke<#mV=VPA!(BfOh2K4qA`-mh+B;RN#!O+eso4)M{Rv9qMC$FhZ
z?&LZt9VY)A4pZp^ms<g|@4{d5&*Lx6dUKbI?ANj|Cy8dwEukc0AnuV03NoG7maR4)
zP2e34gARs~(EZ6#0Z<&4Dym+&i>#{yukkssYG9l}e4XlGe=s{ukUau|{K)})9Y~#3
zGbJ)Kt8el<>mIuUWG0BqmWuEtTR^=laphX_m7W7;9I?NraO}XGtOryspy9Cr)PbY{
z4I->{kB@G5&lIacNP^pt)lDsbO<=h5im-Co4EXD=DUE`j8E?d8Gz#`mK^l6ZsKXvK
z7m6qD<fUh1f4N7sEpW*0u|S<o7J;$uQaIE`OPrJ*iJ5vy;?9ZDa!KXRiTNm2Z`G32
zjnLxOeKrD>YSE%1llV0o<@PjGhGV&Fpv}`h%8e=9h3%@pm#rEq{w^ww(c15Y(zN!#
zNgrhb(}QwI&V8J!{7#PpyV_YOn1#1t7LL>ZlBQpAe;P^*`4wo?P5J*BrQ__sq}gwD
z?SoYL`;500Z`_5g>VDMYm^ugUzo*@e&M{uGP>7MPnsJ?6BVCoI?e>3>4_l9<(kLeX
ztdHQOq%2Ca;3d7#Wmd*5wU28sSGoY(;318Z8*x>RZY{(kIs4cD+ylvFQhcro8?>w6
z;{@twe>=)_mEJ;fGVTKj_pILzB&V2YsEllx0cBLpteo34B*#rYv{_5vgBVIQu8OQx
z!w1<sD(I>we_o5%6%jn=ipHeOM7PYuiy<2??j`CZi5J5ja1)BL*ZScPnpUF<vI4qt
zW3d%d^zFh~_wd$S-($lxTDxrHeQg8W*EX2je};Kz>$i;}@KUbqllpFhW&oIx0m<37
z7a#(B{ly+6fH_E}fdS@EkxKFbe31#(?dr5Xpm(oVu2hWypZHUS8jzJJHP_S=+DD%=
zbhl~#aIJ_fP2Y(ADikGOgTZ<VG@rcz`7{9|2~LnnYeHI!l+<A9MRAE--KWjEN#>7b
ze@bwxslV23mzvQ8o#dzDhH?ym4;QS5cI)ZInQ)Yl&+XN}^;^Dscd9&B{eJJ-nc3pa
ziIJ<XY1NcwH<GstGL(n$Jp*^T@aWQRf0CNr7BUroiGGpaNZ#lI-ky3236R&Wbg*kT
zIv9m;Act_FY0lSjc{^L%GtKEB%fK3+f7<r}4t|NYfr>iNUm+C=DBIUBW)rlP5k&BZ
z$3wVVUDSCkZPG9%sXC-UueUPNi8eTl<fa^4Ly!>!)k2SmVmoSL4Wvp!OJb_xQ>M@Y
zTuB5Rb#9pEp`!VLdhaNjhr=}QDw=nPY2G{U-23Nkes*5b3(hNg^Ye-xu+KaBf8flx
z2UNf})cC8AZ>avOpl_)5RoDmoff!Js-%t!db_R4~V4QCTXxZiNw5sxG-Dx?rG){L~
zMLMhI?iWYPW6yncqUF;9CEaP^!&X%dkxsM%t{6xsV)Lr5m;q_6B^DT<2DocMx>1AN
z?NHsQIoySU-Kdo}SDDd)dRl@3e`@8qBQttX&%`6~f@A2sHBb{6T!|hb3E=eIHdM8J
zVqIdQZAaC%*MHlts_hfj*hJf&s_j|-ZTqUWPprdCv^`U`J@3EmK-D(M!RWK`xw7#S
zzNZm%v6Zb4fo)1~0|THNP{JD+0N;QT;J^R~2b2(Z%HuH7x)S8T04N8Pe=r9Iz&WnQ
zKfhsT<~ma#-}S8}>wq@#_WiHxZT6h6fda*L8{X(XB*kt>j+tct18;O|@AUDdV9gYm
ztq1MhfDQkn&7Rv`n656(9a4PCyFj+5*fPT0CKJsF<nwHbSM_(1B%95(ism}GfBzSC
zYsevYv2IQOg)nI1OSNIkf0kaF)f4RfLgTQvUrs|@-u58LSLu}czz&A48-JG*z1wWb
zy^MjD6!OkL8axWo*VfI=&6Rcgu+5*&9^`fW3y+_L$7K?h=HPaX#}Wa>75@!QbHH<k
zhg$MXnSfm~#6F|3QAyve!xa0+T6b&1F!>))O928N0~7!N00;mV4SuOuzqgm=Vh#WR
YFQk*h4JZTMe>{`!4Il=q4gdfE0G%y!pa1{>

delta 3550
zcmV<44I%QD9+Vt8P)h>@6aWAK2mteor&##XTJm5G007yI000jF8~|)=XK!C&b#!lM
zWo|BPY*kbV00a5-IcA9*I*~aXe`jn01gS{9Sngth^wRrK;CeWqy)V1B2ozgMgq3Bl
zEq9w;^uM1-i4<RLiK65b=LNP&Yinjm&OF0;A@!s4alPDU$%psOPtFfdY4N;&xLK@M
zZ=TkhY`=SxWl!rjX<j7TJkH*1_j!@7k{>3!^?tiZ?jO@E$>UX0K6}yff7y%4WZL$-
zH=l}anm=8X<cpV0;{4@oitV+NhQ9Ny1C{hKUL+!s@{evriugf6qm;&j*Um4#^VLbC
zU(4SB`YrT-?L_@kmdYZQRN4<Ven@XVmk%>U$n&*~X~h4}P6Rua@{dlkKd<7A#Fg*?
zVNI2pF!Y6L`X{%oxqN<kf0w@?Hc#35A<i&?e4k|<NIb;5bb;n**N;w`r^Vl%_VISv
zkIpXrGx_^rncVUpH{0|}TqMpuN2a#CkC)4>vsmZ5BF+ov7YHiVa~2mL;D@|;TP?&Y
z-L2wc@%&%cy|{MbEPcuyFu4US2!@p44ymP+=F8-(v)&iZ`q6n<fA90<PM`{pQ}w)t
zDz<8;E%E#NU9n8I+fB(N`C82(GgFgW?>KkROwuOK)5Tk7TC#b^bDAuZ$23py^tWHd
zcUiVx{O95l8S2!%a{ij!qc7gOZzqm3Mf1IgvuaImS26lB`D*$3HYxBYQ!x3~hyTxp
z{HKurJX!6M;<A#ce?kJcf*?U$Xe=&P_(Re@B}I}Yt0XTF;WV#wqQNR7dnbb+L(bOm
zvLT7aS}8$fXOMTL<GNdKUM{MsEa$Mh&zk~qc97tB0psrE*a1#GZqZwl`Z?LI5%$%i
zg4Lvg5NXD)SZ@=fQPxY~aT5A^MKBmTVL<e``~eV`fM^1Be@RoHh~c9zghPvg6>=sk
zWXR1%BpT^r^FlQX|D4qd9$=%M>%~S+nLJrNK^HHL971m1fFffLZZCUyzu#P38YqYo
zB&?VLv|<LpiW!iZhmxUM);}nlfiIhZ$C&}LlhUD93R8Xs5Zf@AJ<eTL>Pq#$$C$L%
zVv5<J5oXUge=iv^217Q+!1>lisOMzy8{XD+v7I{Lp-N@PlT=h+n<Ej&I)EP`1J~hq
zAmg{sNnyo}-~hBHAIL`B%88_l)y7GFr#@qf9(~v%t(=yQA&Vc9%$Zi20))TANv%TQ
zt<(CyAIpt-QV#PcLd8AepRBA3o)F;5GcxC91mIw(f7lkKGLmh$>lACGjp*~$_6wS`
ze3xvCFLAc#jd-(8ck8_NqM)2Dw|)j3cnE!te=WBA<eIuy@hgDLHS9arBK1FO(@V>F
zD1T=Fsyo`XH~4?7HpNT**rf<Yt}TBKte}z0q7g<)%N`iW2r_`52a-ip$VzexD%V->
z1Iy7%e`xA+8-*T1@o|=ci}e|uMWVJ}=(8U^`_Z!>9o>&2JFlIjHMceeG<X}*Z~ZIz
zgLo}$nYC|#RqhOU-DRlFti1>y<KL2ZIdz^U85W47#d3aGr^^n!KW|H6|BdpcCa4KK
z#CM->lX&qQKV*r~X2W#CF8BnA61q*p*E-wkf8mL><Gfi^f-*Gvk_~pPoNyK!3@b7i
z1gv=;kbw1oJbZ%px?~#7m(=+;m)mAdrEE&Xf9^JJNZN!|Qt<xASMJdwZjUy%v?al?
z-+xas=XTTJK!V@UV*yvT7GP!9euxdfpPoYUEudLxlH~?`stS9Mjyq~eEYlrzgVUn|
ze>2{Lb1CREHlMNijLm0kwusFYvX+k(Ys>+|3<^ogzjcLfPlMeC*%15K?T?DxJ))2!
zoe4%DZ>i?St-PW=K%=df26!*EBtZYlMkYw%`s}1^82oLOvFYXdth*&eI>WkK@?_U{
zz%AL}L4C<l*B2>WU!Y2^DIhUC?D}She_h|4bA7-l%dhf%cC!3{PxBAql@xh?U}ryi
zfQ=BCsC}0zF!3xqw;rkfQ#iK|=pXTeLf(jMK1KKS{Q>pR$T~234--@<khMop;T}O&
zqD|+Z;(H7#RJf{(8lVz*Utz+h+hQZA{DiuQKgJt%CEq}URwdC@yt&^Y!X?#-f2QZK
z^Kpu9g&zEjkeRA~D$&1t&jRKk)m8i3oJV5`YgkWYC2%HMoSn{CJrjF-^#e>``;<?u
z4Ts>F+B~;0#_ptR(}W<hanD3$23#NF2u9@Ttf>B3tLxOKP0NCHg_f*qX2rTf&bny%
zf0q?>IBxs$e_*BjU#e*Rn@@l9f3BtGfYA%&^-{yCvA5Y$yz11{{6zI}SFDfQ=#KE{
zwrjV4pmsL(>}``cbed^)Nwh0c*ai7?7evJisCafxedxu5f_QWn$DjHDfm*zfn*I~%
zXbCvmM~59bV;BD(ktO!}EO8~|Op*pk3K?l;Z99?tUQmRkkzo-@<1^A6e*;F3NE7sL
z4w_5S5E~%U%#TRp6KTRe(%_gCA{1QhGwLmHx7ZXaLL>2T4y+EW4Q;kU6bot6g9~2D
zspF<-My6=iXNn@~wL&~rg8)e!S>Npvq^cP8U;LplO_PCu{^6w?r|(<X9vrUtzt*FT
z!yiVpm!dm%<gs0@ii>svf6h0CeOti29`;E#Y~k4ITjvJMYK%i<5)_(mHI-ngvdXt_
z2a;C?-1aGG>yvwhPTGJeJVn4%BTZcjn0*)VQh1tpX*O86WTjrq!<-_UHFu<Awvk*T
zl?-G$XSS`bm`xA^4vPVXmDK&wSpiU<mL{v-go}Kr1JN#;jdi?He_|b%hN=8ALH-B`
ziYG^ibs!B^?Hr#oJkc#y)&sr*WG9KsA0rDDC7{8LxCt%A+e0F59&x;<3GBd}><4rq
zpyjy%G=QWD4Wg`U#7E2BGtF)glH@kzZPO@TlLYR)BWyx83-P*d%c5XlCmQkjBdG)2
zN&*8})!_h^3*{4cf9hkYs@@}}1P=Kc3p6RRNP_j(!m$c1X;w!hcFt1El@qH+sq4y#
z{VdjCC#m&J=!GdmGJ#sN=x|zF{+Q2l2L>i1h}<{P78oDp#uV=2ZZ`_mTrFKFBpZ#@
z`-Cc^=^TNRF{%`10OL@c`#5%+5Iqj;8+V~#5#Gl|d|v+7f3*CX(@=8CuR^1K#{bVG
zKd=64TK!g6i7AbL$b4J%#9iF!-VZj9X>#EHd#Y~q&hg3@g;*J?ozTg*GE`;T?(mmG
z^7oN67RB|S4UxQ5T#M2!c}Xt`oYi?t<Kr6KHG#mjcu3=DA+G7sWl}tfvwy>{Jy2Xw
zD)y@INjvs#e^9`l?Wo&T2207Qq>mKR^Km;+oMNJ>GEy=F+N_#gJ$GqJPFQ^C@}7PG
zHB?w!lUZw~5AuCf(AO{ioXOW!89eWb=A`Uox9sGLA)hZEB<rNe7sCN?6Uw<)_V5R7
ztI;J{0o}Rr*a|87_K~cAdTVYTv0)mWL$>oBz$4rNe>_^)hGpm)x1CkswOj+OjNL}<
z0I;J2inDL8Kn2A67YEP)?jV@~2G~DEs^|v@Wg+;mtJnU3z9pv#r5FK15>HiTKz5?k
zUDHTtmwYYIefi~=o9lv`_KoEC%23KZ7-U<Z#qJF#wh35iaDrT06S7)lq!zDUl()#u
zJ6iZKf64x_Oa*SWjo12BsX0q9X@08SdV>M*@q&-gZauR+6V4Kfy}jmdl2KRhj$O~i
zzB7h7Gh015vGO_<dTUC%x7>6~GSr9h0}J;(i|Ep=K1toK@f)PBnYY}uda1)eBZUOW
zi&D@<Efhvdum36j!>lQUORR-h%NPADQ!_2;e<07mJ0Irr2q(W}-=KV(Q%9Jn3{X|q
zuT~Ru)e+`xWvr~VPa4N1HHQ@F)%R8g(FKQ*-qe$82{NLn+2|2f>_$z#1F6x_nwakL
zDO+d(t`rK61~(3Ss9`_S=sgX4I1YPX!`>f<eQ?^f4^PW}c3RboPOEzJ)2beDPrLZw
zf5f;4big;({Ogc!tnurhZ!G>g>;vIQ0_f0hECC?D0;V}IAvOc_+U5SVn(NW})AH!m
zIQ?l=?W~5?FM(FTpZn@XE2I~c^rtnWFOuv}D-tdP=|ybb+$&~5TbafJ3)Fz{T9AI!
zD)k3;^uKx;N7Yeafm&q(rYD9(YD`;#e+6pwxg$Gvz;@!1e8C}f-dMO37+lE_AxYp2
z%^T`?AK91K;O*&n2gCFBb-a&wV;j5!9q-xjyh9!DBl|ELyk|Pz^Wk|%I^LuQV@T$6
zE%PI>rxkQ@wcN+RHZ8b;5zq~2;SG#{Z$JxhU<8B%T8KLqaaiH51vxMR$^k9Re}NHj
zPPpS=EZ9LSrCFe^`ZCQrpi91ehhN!R?tvmrxeXV(_gPg9ahq4!;zGA^rBA#H*3Jd9
zY|`G3`1C(2_S|mce0gc_km7SW1X7;juMrlCOtd3V?6avJHLoHmip|W8<|e&={}=bx
zkVEeBy*0yMgh3l$nu0BV_0o)Of3OcLi^I`=y$osnwg*MOO0U)jelkqM_`8zm-Fidb
z%NQAHp&0z5$)gZ`?cChlTsgOooATSmqxv5ID&ptiagoKfJGfopxkNy5C4NHN9Ppaq
zsaAZaZosYu;=f~1sHD%bFvb5PGhAjGCjSFaO928N0~7!N00;o{i>Fxl3DR2fU=08O
Y*^QIM4k!cp^f{C84j=}p4FCWD09B{<mH+?%

diff --git a/internal/runtime/z_iface.go b/internal/runtime/z_iface.go
index 9c8f4f6f..2c4a1e8d 100644
--- a/internal/runtime/z_iface.go
+++ b/internal/runtime/z_iface.go
@@ -77,4 +77,38 @@ func CheckI2Int(v Interface, t *Type) (uintptr, bool) {
 	return 0, false
 }
 
+func I2Float64(v Interface, t *Type) float64 {
+	if v.tab._type == t {
+		return bitCastTo64F(uint64(uintptr(v.data)))
+	}
+	panic("I2Float64: type mismatch")
+}
+
+func CheckI2Float64(v Interface, t *Type) (float64, bool) {
+	if v.tab._type == t {
+		return bitCastTo64F(uint64(uintptr(v.data))), true
+	}
+	return 0, false
+}
+
+func I2Float32(v Interface, t *Type) float32 {
+	if v.tab._type == t {
+		return bitCastTo32F(uint32(uintptr(v.data)))
+	}
+	panic("I2Float32: type mismatch")
+}
+
+func CheckI2Float32(v Interface, t *Type) (float32, bool) {
+	if v.tab._type == t {
+		return bitCastTo32F(uint32(uintptr(v.data))), true
+	}
+	return 0, false
+}
+
+//go:linkname bitCastTo64F llgo.bitCastTo64F
+func bitCastTo64F(uint64) float64
+
+//go:linkname bitCastTo32F llgo.bitCastTo32F
+func bitCastTo32F(uint32) float32
+
 // -----------------------------------------------------------------------------
diff --git a/ssa/expr.go b/ssa/expr.go
index 8b254a75..7d2715d6 100644
--- a/ssa/expr.go
+++ b/ssa/expr.go
@@ -1056,6 +1056,17 @@ func (b Builder) MakeInterface(tinter Type, x Expr) (ret Expr) {
 			tptr := prog.Uintptr()
 			vptr := Expr{llvm.CreateIntCast(b.impl, x.impl, tptr.ll), tptr}
 			return Expr{b.InlineCall(pkg.rtFunc("MakeAnyInt"), t, vptr).impl, tinter}
+		case kind == types.Float32:
+			t := b.InlineCall(pkg.rtFunc("Basic"), prog.Val(int(kind)))
+			tptr := prog.Uintptr()
+			i32 := b.impl.CreateBitCast(x.impl, prog.tyInt32(), "")
+			vptr := Expr{llvm.CreateIntCast(b.impl, i32, tptr.ll), tptr}
+			return Expr{b.InlineCall(pkg.rtFunc("MakeAnyInt"), t, vptr).impl, tinter}
+		case kind == types.Float64:
+			t := b.InlineCall(pkg.rtFunc("Basic"), prog.Val(int(kind)))
+			tptr := prog.Uintptr()
+			vptr := Expr{b.impl.CreateBitCast(x.impl, tptr.ll, ""), tptr}
+			return Expr{b.InlineCall(pkg.rtFunc("MakeAnyInt"), t, vptr).impl, tinter}
 		case kind == types.String:
 			return Expr{b.InlineCall(pkg.rtFunc("MakeAnyString"), x).impl, tinter}
 		}
@@ -1107,7 +1118,7 @@ func (b Builder) TypeAssert(x Expr, assertedTyp Type, commaOk bool) (ret Expr) {
 		log.Printf("TypeAssert %v, %v, %v\n", x.impl, assertedTyp.raw.Type, commaOk)
 	}
 	switch assertedTyp.kind {
-	case vkSigned, vkUnsigned, vkFloat:
+	case vkSigned, vkUnsigned:
 		pkg := b.Func.Pkg
 		fnName := "I2Int"
 		if commaOk {
@@ -1123,6 +1134,25 @@ func (b Builder) TypeAssert(x Expr, assertedTyp Type, commaOk bool) (ret Expr) {
 		}
 		typ := b.InlineCall(pkg.rtFunc("Basic"), b.Prog.Val(int(kind)))
 		return b.InlineCall(fn, x, typ)
+	case vkFloat:
+		var fnName string
+		kind := assertedTyp.raw.Underlying().(*types.Basic).Kind()
+		switch kind {
+		case types.Float32:
+			fnName = "I2Float32"
+			if commaOk {
+				fnName = "CheckI2Float32"
+			}
+		case types.Float64:
+			fnName = "I2Float64"
+			if commaOk {
+				fnName = "CheckI2Float64"
+			}
+		}
+		pkg := b.Func.Pkg
+		fn := pkg.rtFunc(fnName)
+		typ := b.InlineCall(pkg.rtFunc("Basic"), b.Prog.Val(int(kind)))
+		return b.InlineCall(fn, x, typ)
 	}
 	panic("todo")
 }
@@ -1232,4 +1262,11 @@ func (b Builder) BuiltinCall(fn string, args ...Expr) (ret Expr) {
 	panic("todo")
 }
 
+// BitCast bit cast expr to type
+func (b Builder) BitCast(val Expr, typ Type) (ret Expr) {
+	ret.Type = typ
+	ret.impl = b.impl.CreateBitCast(val.impl, typ.ll, "")
+	return
+}
+
 // -----------------------------------------------------------------------------