diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/fixedbugs/issue50671.go | 35 | ||||
-rw-r--r-- | test/fixedbugs/issue50854.go | 38 |
2 files changed, 73 insertions, 0 deletions
diff --git a/test/fixedbugs/issue50671.go b/test/fixedbugs/issue50671.go new file mode 100644 index 0000000000..9f4742bfcd --- /dev/null +++ b/test/fixedbugs/issue50671.go @@ -0,0 +1,35 @@ +// run + +// Copyright 2022 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. + +// Issue 50671: sign extension eliminated incorrectly on MIPS64. + +package main + +//go:noinline +func F(x int32) (float64, int64) { + a := float64(x) + b := int64(x) + return a, b +} + +var a, b, c float64 + +// Poison some floating point registers with non-zero high bits. +// +//go:noinline +func poison(x float64) { + a = x - 123.45 + b = a * 1.2 + c = b + 3.4 +} + +func main() { + poison(333.3) + _, b := F(123) + if b != 123 { + panic("FAIL") + } +} diff --git a/test/fixedbugs/issue50854.go b/test/fixedbugs/issue50854.go new file mode 100644 index 0000000000..a5be9195f1 --- /dev/null +++ b/test/fixedbugs/issue50854.go @@ -0,0 +1,38 @@ +// run + +// Copyright 2022 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 + +// This checks for incorrect application of CMP(-x,y) -> CMN(x,y) in arm and arm64 + +//go:noinline +func f(p int64, x, y int64) bool { return -x <= p && p <= y } + +//go:noinline +func g(p int32, x, y int32) bool { return -x <= p && p <= y } + +// There are some more complicated patterns involving compares and shifts, try to trigger those. + +//go:noinline +func h(p int64, x, y int64) bool { return -(x<<1) <= p && p <= y } + +//go:noinline +func k(p int32, x, y int32) bool { return -(1<<x) <= p && p <= y } + +//go:noinline +func check(b bool) { + if b { + return + } + panic("FAILURE") +} + +func main() { + check(f(1, -1<<63, 1<<63-1)) + check(g(1, -1<<31, 1<<31-1)) + check(h(1, -1<<62, 1<<63-1)) + check(k(1, 31, 1<<31-1)) +} |