summaryrefslogtreecommitdiffstats
path: root/test/codegen/issue56440.go
blob: c6c1e667890ab99e284c97b1c33cce3d6b2b3c82 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
// asmcheck

// 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.

// Check to make sure that we recognize when the length of an append
// is constant. We check this by making sure that the constant length
// is folded into a load offset.

package p

func f(x []int) int {
	s := make([]int, 3)
	s = append(s, 4, 5)
	// amd64:`MOVQ\t40\(.*\),`
	return x[len(s)]
}

func g(x []int, p *bool) int {
	s := make([]int, 3)
	for {
		s = s[:3]
		if cap(s) < 5 {
			s = make([]int, 3, 5)
		}
		s = append(s, 4, 5)
		if *p {
			// amd64:`MOVQ\t40\(.*\),`
			return x[len(s)]
		}
	}
	return 0
}