feat(gnovm): add software floating point package

gno.land/pkg/sdk/vm/convert.go

@@ -3,6 +3,7 @@ package vm
 import (
 	"encoding/base64"
 	"fmt"
+	"math"
 	"strconv"
 	"strings"
 
@@ -143,11 +144,11 @@ func convertArgToGno(arg string, argT gno.Type) (tv gno.TypedValue) {
 			return
 		case gno.Float32Type:
 			value := convertFloat(arg, 32)
-			tv.SetFloat32(float32(value))
+			tv.SetFloat32(math.Float32bits(float32(value)))
 			return
 		case gno.Float64Type:
 			value := convertFloat(arg, 64)
-			tv.SetFloat64(value)
+			tv.SetFloat64(math.Float64bits(value))
 			return
 		default:
 			panic(fmt.Sprintf("unexpected primitive type %s", bt.String()))

gnovm/pkg/gnolang/frame.go

@@ -2,6 +2,7 @@ package gnolang
 
 import (
 	"fmt"
+	"math"
 	"strings"
 )
 
@@ -207,9 +208,9 @@ func toConstExpTrace(cte *ConstExpr) string {
 		case Uint64Type:
 			return fmt.Sprintf("%d", tv.GetUint64())
 		case Float32Type:
-			return fmt.Sprintf("%v", tv.GetFloat32())
+			return fmt.Sprintf("%v", math.Float32frombits(tv.GetFloat32()))
 		case Float64Type:
-			return fmt.Sprintf("%v", tv.GetFloat64())
+			return fmt.Sprintf("%v", math.Float64frombits(tv.GetFloat64()))
 		}
 	}
 

gnovm/pkg/gnolang/gonative.go

@@ -2,7 +2,10 @@
 
 import (
 	"fmt"
+	"math"
 	"reflect"
+
+	"github.com/gnolang/gno/gnovm/pkg/gnolang/internal/softfloat"
 )
 
 // NOTE
@@ -329,9 +332,9 @@
 	case reflect.Uint64:
 		tv.SetUint64(rv.Uint())
 	case reflect.Float32:
-		tv.SetFloat32(float32(rv.Float()))
+		tv.SetFloat32(softfloat.F64to32(math.Float64bits(rv.Float())))
 	case reflect.Float64:
-		tv.SetFloat64(rv.Float())
+		tv.SetFloat64(math.Float64bits(rv.Float()))
 	case reflect.Array:
 		tv.V = alloc.NewNative(rv)
 	case reflect.Slice:
@@ -428,11 +431,11 @@
 		}
 	case Float32Kind:
 		if lvl != 0 {
-			tv.SetFloat32(float32(rv.Float()))
+			tv.SetFloat32(softfloat.F64to32(math.Float64bits(rv.Float())))
 		}
 	case Float64Kind:
 		if lvl != 0 {
-			tv.SetFloat64(rv.Float())
+			tv.SetFloat64(math.Float64bits(rv.Float()))
 		}
 	case BigintKind:
 		panic("not yet implemented")
@@ -644,9 +647,9 @@
 	case reflect.Uint64:
 		tv.SetUint64(rv.Uint())
 	case reflect.Float32:
-		tv.SetFloat32(float32(rv.Float()))
+		tv.SetFloat32(softfloat.F64to32(math.Float64bits(rv.Float())))
 	case reflect.Float64:
-		tv.SetFloat64(rv.Float())
+		tv.SetFloat64(math.Float64bits(rv.Float()))
 	case reflect.Array:
 		rvl := rv.Len()
 		if rv.Type().Elem().Kind() == reflect.Uint8 {
@@ -1049,9 +1052,9 @@
 		case Uint64Type:
 			rv.SetUint(tv.GetUint64())
 		case Float32Type:
-			rv.SetFloat(float64(tv.GetFloat32()))
+			rv.SetFloat(math.Float64frombits(softfloat.F32to64(tv.GetFloat32())))
 		case Float64Type:
-			rv.SetFloat(tv.GetFloat64())
+			rv.SetFloat(math.Float64frombits(tv.GetFloat64()))
 		default:
 			panic(fmt.Sprintf(
 				"unexpected type %s",

gnovm/pkg/gnolang/internal/softfloat/copy.sh

@@ -0,0 +1,32 @@
+#!/bin/sh
+
+# softfloat64.go:
+# - add header
+# - change package name
+cat > runtime_softfloat64.go << EOF
+// Code generated by copy.sh. DO NOT EDIT.
+// This file is copied from \$GOROOT/src/runtime/softfloat64.go.
+// It is the software floating point implementation used by the Go runtime.
+
+EOF
+cat "$GOROOT/src/runtime/softfloat64.go" >> ./runtime_softfloat64.go
+sed -i 's/^package runtime$/package softfloat/' runtime_softfloat64.go
+
+# softfloat64_test.go:
+# - add header
+# - change package name
+# - change import to right package
+# - change GOARCH to runtime.GOARCH, and import the "runtime" package
+cat > runtime_softfloat64_test.go << EOF
+// Code generated by copy.sh. DO NOT EDIT.
+// This file is copied from \$GOROOT/src/runtime/softfloat64_test.go.
+// It is the tests for the software floating point implementation
+// used by the Go runtime.
+
+EOF
+cat "$GOROOT/src/runtime/softfloat64_test.go" >> ./runtime_softfloat64_test.go
+sed -i 's/^package runtime_test$/package softfloat_test/
+s#^\t\. "runtime"$#\t. "github.com/gnolang/gno/gnovm/pkg/gnolang/internal/softfloat"#
+s/GOARCH/runtime.GOARCH/g
+16a\
+    "runtime"' runtime_softfloat64_test.go