Skip to content

scopedvalues: Fold reads from enclosing scopes - #15

Closed
adienes wants to merge 1 commit into
masterfrom
sv-perf
Closed

scopedvalues: Fold reads from enclosing scopes#15
adienes wants to merge 1 commit into
masterfrom
sv-perf

Conversation

@adienes

@adienes adienes commented Jun 18, 2026

Copy link
Copy Markdown
Owner

Make ScopedValues.with inlineable so call-site constants reach the
optimizer. Propagate SROA type refinements immediately, fold identity
comparisons using refined types, and recompute effects after replacing
KeyValue.get.

Fixes JuliaLang#58330

Written with AI assistance (Codex).

Co-authored-by: Codex noreply@openai.com

@adienes
adienes force-pushed the sv-perf branch 2 times, most recently from 286d274 to 128052f Compare August 15, 2026 14:04
@adienes adienes changed the title Sv perf scopedvalues: Fold reads from enclosing scopes Aug 15, 2026
Make `ScopedValues.with` inlineable so call-site constants reach the
optimizer. Propagate SROA type refinements immediately, fold identity
comparisons using refined types, and recompute effects after replacing
`KeyValue.get`.

Fixes JuliaLang#58330

Written with AI assistance (Codex).

Co-authored-by: Codex <noreply@openai.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Scoped Value performance issue

1 participant