blob: 4e09440ba59801894ef4c90a84eb738c3c4c9b0e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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
}
|