golang/go

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

Open

#73 145 ouverte le 3 avr. 2025

Voir sur GitHub
 (2 commentaires) (1 réaction) (0 assignés)Go (19 008 forks)batch import
BugReportNeedsInvestigationPerformancecompiler/runtimehelp wanted

Métriques du dépôt

Stars
 (133 883 stars)
Métriques de merge PR
 (Aucune PR mergée en 30 j)

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.

Guide contributeur

Direction de recherche
Examinez les passes d'optimisation SSA du compilateur qui gèrent l'élimination des vérifications de limites, en vous concentrant sur la façon dont le résultat de slices.Grow est suivi pour déterminer la capacité de la tranche. L'objectif est d'étendre l'analyse pour reconnaître qu'après avoir appelé slices.Grow, la capacité est d'au moins len(xs)+4, de sorte que l'opération de tranche suivante n'a pas besoin d'une vérification de limites.
Stack technique
go
Domaine
compilers
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
GoGit
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
55