diff options
author | Keith Randall <khr@golang.org> | 2020-10-01 09:57:52 -0700 |
---|---|---|
committer | Alexander Rakoczy <alex@golang.org> | 2020-10-14 15:13:22 +0000 |
commit | 7863f742c4e8427a7169325b024c2d8a970e0134 (patch) | |
tree | 0e19add8adfcdaf24d51345bf4d4c76b17186494 /test | |
parent | 8b224e9951438283ae53ae35dc2a50a56fccc404 (diff) | |
download | go-7863f742c4e8427a7169325b024c2d8a970e0134.tar.gz go-7863f742c4e8427a7169325b024c2d8a970e0134.zip |
[release-branch.go1.15] cmd/compile: fix left shift constant folding rule
The 32-bit left shift constant folding rule should keep its result
properly sign extended.
Fixes #41720
Fixes #41711
Change-Id: I0fc74444d444274e911952e1725dab0b7737a846
Reviewed-on: https://go-review.googlesource.com/c/go/+/258817
Trust: Keith Randall <khr@golang.org>
Run-TryBot: Keith Randall <khr@golang.org>
Reviewed-by: David Chase <drchase@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Diffstat (limited to 'test')
-rw-r--r-- | test/fixedbugs/issue41711.go | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/fixedbugs/issue41711.go b/test/fixedbugs/issue41711.go new file mode 100644 index 00000000000..4e09440ba59 --- /dev/null +++ b/test/fixedbugs/issue41711.go @@ -0,0 +1,17 @@ +// compile -d=ssa/check/on + +// Copyright 2020 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 + +func f() uint32 { + s := "food" + x := uint32(s[0]) + uint32(s[1])<<8 + uint32(s[2])<<16 + uint32(s[3])<<24 + // x is a constant, but that's not known until lowering. + // shifting it by 8 moves the high byte up into the high 32 bits of + // a 64-bit word. That word is not properly sign-extended by the faulty + // rule, which causes the compiler to fail. + return x << 8 +} |