cmd/compile: fix buglet in walk convert phase relating to convF32/64

The helper function used by the compiler's walk phase to determine
whether a param can be passed in a single float register wasn't quite
correct (didn't allow for the possibility of struct with two fields,
first zero size and second float). Fix up the helper to take this
case into account.

Updates #40724.

Change-Id: I55b42a1b17ea86de1d696788f029ad3aae4a179c
Reviewed-on: https://go-review.googlesource.com/c/go/+/308689
Trust: Than McIntosh <thanm@google.com>
Run-TryBot: Than McIntosh <thanm@google.com>
Reviewed-by: Cherry Zhang <cherryyz@google.com>

diff --git a/src/cmd/compile/internal/walk/convert.go b/src/cmd/compile/internal/walk/convert.go
index 3d30aefd5f3d90f8bcf92ef8bb851460fef7b359..547e08dcabbaaffe474f1955ab25173c7e454d1c 100644 (file)
--- a/src/cmd/compile/internal/walk/convert.go
+++ b/src/cmd/compile/internal/walk/convert.go
@@ -312,7 +312,22 @@ func convFuncName(from, to *types.Type) (fnname string, needsaddr bool) {
                case types.TARRAY:
                        return t.NumElem() == 1 && isFloatLike(t.Elem())
                case types.TSTRUCT:
-                       return t.NumFields() == 1 && isFloatLike(t.Field(0).Type)
+                       // allow for the possibility that we have a series of
+                       // leading fields that are zero size before a float field.
+                       // in addition, if we find a float field, it needs to be
+                       // the last item in the struct (a trailing zero length
+                       // field would introduce padding).
+                       fsl := t.FieldSlice()
+                       for idx, f := range fsl {
+                               if f.Type.Width == 0 {
+                                       continue
+                               }
+                               if isFloatLike(f.Type) && idx == len(fsl)-1 {
+                                       return true
+                               }
+                               return false
+                       }
+                       return false
                }
                return false
        }

diff --git a/test/abi/convF_criteria.go b/test/abi/convF_criteria.go
new file mode 100644 (file)
index 0000000..77ed56d
--- /dev/null
+++ b/test/abi/convF_criteria.go
@@ -0,0 +1,27 @@
+// run
+
+// Copyright 2021 The Go Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+package main
+
+import "fmt"
+
+type myStruct struct {
+       F0 [0]struct{}
+       F1 float32
+}
+
+type myStruct2 struct {
+       F0 [0]struct{}
+       F1 float32
+       F2 [0]struct{}
+}
+
+func main() {
+       x := myStruct{F1: -1.25}
+       fmt.Println(x)
+       x2 := myStruct2{F1: -7.97}
+       fmt.Println(x2)
+}

diff --git a/test/abi/convF_criteria.out b/test/abi/convF_criteria.out
new file mode 100644 (file)
index 0000000..457f0de
--- /dev/null
+++ b/test/abi/convF_criteria.out
@@ -0,0 +1,2 @@
+{[] -1.25}
+{[] -7.97 []}