1 files changed, 17 insertions, 0 deletions
diff --git a/test/fixedbugs/issue41711.go b/test/fixedbugs/issue41711.go
new file mode 100644
index 0000000000..4e09440ba5
--- /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
+}