cmd/compile: allow inlining of ORANGE

Updates #14768

Change-Id: I33831f616eae5eeb099033e2b9cf90fa70d6ca86
Reviewed-on: https://go-review.googlesource.com/c/go/+/356869
Run-TryBot: Alberto Donizetti <alb.donizetti@gmail.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Dan Scales <danscales@google.com>
Trust: Dan Scales <danscales@google.com>
Trust: Alberto Donizetti <alb.donizetti@gmail.com>
This commit is contained in:
nimelehin 2021-10-19 18:59:34 +03:00 committed by Dan Scales
parent 2ff1074f5a
commit a3bb28e5ff
5 changed files with 48 additions and 3 deletions

View file

@ -358,8 +358,7 @@ func (v *hairyVisitor) doNode(n ir.Node) bool {
return true
}
case ir.ORANGE,
ir.OSELECT,
case ir.OSELECT,
ir.OGO,
ir.ODEFER,
ir.ODCLTYPE, // can't print yet

View file

@ -0,0 +1,27 @@
// run
// Copyright 2021 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 r(j int) {
loop:
for i, c := range "goclang" {
if i == 2 {
continue loop
}
println(string(c))
}
}
func main() {
loop:
for j := 0; j < 4; j++ {
r(j)
if j == 0 {
break loop
}
}
}

View file

@ -0,0 +1,6 @@
g
o
l
a
n
g

View file

@ -160,6 +160,19 @@ func switchType(x interface{}) int { // ERROR "can inline switchType" "x does no
}
}
func inlineRangeIntoMe(data []int) { // ERROR "can inline inlineRangeIntoMe" "data does not escape"
rangeFunc(data, 12) // ERROR "inlining call to rangeFunc"
}
func rangeFunc(xs []int, b int) int { // ERROR "can inline rangeFunc" "xs does not escape"
for i, x := range xs {
if x == b {
return i
}
}
return -1
}
type T struct{}
func (T) meth(int, int) {} // ERROR "can inline T.meth"

View file

@ -1,6 +1,6 @@
package x
func indexByte(xs []byte, b byte) int { // ERROR "xs does not escape"
func indexByte(xs []byte, b byte) int { // ERROR "xs does not escape" "can inline indexByte"
for i, x := range xs {
if x == b {
return i