golang/go

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

Open

#73.145 geöffnet am 3. Apr. 2025

Auf GitHub ansehen
 (2 Kommentare) (1 Reaktion) (0 zugewiesene Personen)Go (19.008 Forks)batch import
BugReportNeedsInvestigationPerformancecompiler/runtimehelp wanted

Repository-Metriken

Stars
 (133.883 Stars)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

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.

Contributor Guide

Research-Richtung
Untersuchen Sie die SSA Optimierungspässe des Compilers, die die Entfernung von Bereichsprüfungen behandeln, und konzentrieren Sie sich darauf, wie das Ergebnis von slices.Grow verfolgt wird, um die Slice Kapazität zu bestimmen. Das Ziel ist es, die Analyse zu erweitern, um zu erkennen, dass nach dem Aufruf von slices.Grow die Kapazität mindestens len(xs)+4 beträgt, sodass die nachfolgende Slice Operation keine Bereichsprüfung benötigt.
Tech Stack
go
Domain
compilers
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
GoGit
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
55