mirror of
https://github.com/golang/go.git
synced 2025-05-05 15:43:04 +00:00
cmd/compile: don't combine loads in generated equality functions
... if the architecture can't do unaligned loads. We already handle this in a few places, but this particular place was added in CL 399542 and missed this additional restriction. Fixes #67160 Change-Id: I45988f11ff3ed45df1c4da3f0931ab1fdb22dbfe Reviewed-on: https://go-review.googlesource.com/c/go/+/583175 Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com> Auto-Submit: Keith Randall <khr@google.com> Reviewed-by: Keith Randall <khr@google.com> LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com> Reviewed-by: Derek Parker <parkerderek86@gmail.com> Reviewed-by: Cherry Mui <cherryyz@google.com>
This commit is contained in:
parent
cc1659916d
commit
3c72dd513c
@ -147,7 +147,7 @@ func calculateCostForType(t *types.Type) int64 {
|
|||||||
return EqStructCost(t)
|
return EqStructCost(t)
|
||||||
case types.TSLICE:
|
case types.TSLICE:
|
||||||
// Slices are not comparable.
|
// Slices are not comparable.
|
||||||
base.Fatalf("eqStructFieldCost: unexpected slice type")
|
base.Fatalf("calculateCostForType: unexpected slice type")
|
||||||
case types.TARRAY:
|
case types.TARRAY:
|
||||||
elemCost := calculateCostForType(t.Elem())
|
elemCost := calculateCostForType(t.Elem())
|
||||||
cost = t.NumElem() * elemCost
|
cost = t.NumElem() * elemCost
|
||||||
@ -370,6 +370,11 @@ func eqmem(p, q ir.Node, field int, size int64) ir.Node {
|
|||||||
}
|
}
|
||||||
|
|
||||||
func eqmemfunc(size int64, t *types.Type) (fn *ir.Name, needsize bool) {
|
func eqmemfunc(size int64, t *types.Type) (fn *ir.Name, needsize bool) {
|
||||||
|
if !base.Ctxt.Arch.CanMergeLoads && t.Alignment() < int64(base.Ctxt.Arch.Alignment) && t.Alignment() < t.Size() {
|
||||||
|
// We can't use larger comparisons if the value might not be aligned
|
||||||
|
// enough for the larger comparison. See issues 46283 and 67160.
|
||||||
|
size = 0
|
||||||
|
}
|
||||||
switch size {
|
switch size {
|
||||||
case 1, 2, 4, 8, 16:
|
case 1, 2, 4, 8, 16:
|
||||||
buf := fmt.Sprintf("memequal%d", int(size)*8)
|
buf := fmt.Sprintf("memequal%d", int(size)*8)
|
||||||
|
32
test/fixedbugs/issue67160.go
Normal file
32
test/fixedbugs/issue67160.go
Normal file
@ -0,0 +1,32 @@
|
|||||||
|
// run
|
||||||
|
|
||||||
|
// Copyright 2024 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.
|
||||||
|
|
||||||
|
// Test to make sure that we don't try using larger loads for
|
||||||
|
// generated equality functions on architectures that can't do
|
||||||
|
// unaligned loads.
|
||||||
|
|
||||||
|
package main
|
||||||
|
|
||||||
|
// T has a big field that wants to be compared with larger loads/stores.
|
||||||
|
// T is "special" because of the unnamed field, so it needs a generated equality function.
|
||||||
|
// T is an odd number of bytes in size and has alignment 1.
|
||||||
|
type T struct {
|
||||||
|
src [8]byte
|
||||||
|
_ byte
|
||||||
|
}
|
||||||
|
|
||||||
|
// U contains 8 copies of T, each at a different %8 alignment.
|
||||||
|
type U [8]T
|
||||||
|
|
||||||
|
//go:noinline
|
||||||
|
func f(x, y *U) bool {
|
||||||
|
return *x == *y
|
||||||
|
}
|
||||||
|
|
||||||
|
func main() {
|
||||||
|
var a U
|
||||||
|
_ = f(&a, &a)
|
||||||
|
}
|
Loading…
x
Reference in New Issue
Block a user