1521
78%

Ran 30 Apr 2026 11:41AM UTC

Jobs 0

Files 0

Run time –

Badge

Embed ▾

pending completion

Build # 1521

Build Type

push

buildkite

Committed by

web-flow

Commit Message

inference: concrete-evaluate when const-prop refines effects to foldable (#61677)

`const_prop_call` may refine effects to be foldable when the original
call was not (e.g., when constant arguments make a branch dead,
eliminating side effects). Previously such cases would only receive the
const-prop' result. Now we re-check eligibility on the const-prop'd
effects/edge and prefer concrete evaluation when it becomes applicable,
yielding `Const` returns and `EFFECTS_TOTAL`.

Note that we do not want to simply check concrete-eval eligibility
upfront on const-prop'd effects to avoid the secondary check: concrete
eval was originally introduced as a fast path for const-prop' itself, so
reversing the order (running const-prop' before concrete-eval) would
defeat that purpose by paying the const-prop' cost even for calls that
the cheaper, upfront concrete-eval check would have caught. The
secondary check here is intentionally constrained to `eligibility ===
:none`, where the upfront concrete-eval was not applicable to begin
with.

Coverage Stats

Source Files on build 1521

Detailed source file information is not available for this build.

JuliaLang / julia / 1521
78%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on build 1521

JuliaLang / julia / 1521 78%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on build 1521

JuliaLang / julia / 1521
78%

README BADGES
x