golang/go

cmd/compile: unnecessary bounds check when slicing after using `slices.Grow`

Open

#73.145 aberto em 3 de abr. de 2025

Ver no GitHub
 (2 comments) (1 reaction) (0 assignees)Go (19.008 forks)batch import
BugReportNeedsInvestigationPerformancecompiler/runtimehelp wanted

Métricas do repositório

Stars
 (133.883 stars)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)

Description

Go version

go version go1.24.1 linux/amd64

Output of go env in your module/workspace:

-

What did you do?

package pkg

import "slices"

func Foo() {
	var xs []int
	xs = slices.Grow(xs, 4)[:len(xs)+4]
}

What did you see happen?

Slicing after growing inserts a check for the capacity and a conditional call to runtime.panicSliceAcap

What did you expect to see?

The compiler should be able to tell that we just guaranteed that the slice's capacity is at least len(xs)+4 and shouldn't insert another check.

Guia do colaborador

Direção de pesquisa
Investigue os passes de otimização SSA do compilador que lidam com a eliminação de verificações de limites, focando especificamente em como o resultado de slices.Grow é rastreado para determinar a capacidade da slice. O objetivo é estender a análise para reconhecer que após chamar slices.Grow, a capacidade é pelo menos len(xs)+4, então a operação de slice subsequente não precisa de uma verificação de limites.
Pilha de tecnologia
go
Domain
compilers
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
GoGit
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
55