golang/go

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

Open

#73.145 aperta il 3 apr 2025

Vedi su GitHub
 (2 commenti) (1 reazione) (0 assegnatari)Go (19.008 fork)batch import
BugReportNeedsInvestigationPerformancecompiler/runtimehelp wanted

Metriche repository

Star
 (133.883 star)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Esamina i passaggi di ottimizzazione SSA del compilatore che gestiscono l'eliminazione dei controlli dei limiti, concentrandoti su come viene tracciato il risultato di slices.Grow per determinare la capacità della slice. L'obiettivo è estendere l'analisi per riconoscere che dopo aver chiamato slices.Grow, la capacità è almeno len(xs)+4, quindi l'operazione di slicing successiva non necessita di un controllo dei limiti.
Tech stack
go
Dominio
compilers
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
GoGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
55