JuliaLang / julia
78%
master: 78%

LAST BUILD BRANCH: mg/neoverse-512tvb
DEFAULT BRANCH: master
Repo Added
Files 351
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x

coverage: 77.962% (+0.3%) from 77.623%
1652

push

buildkite

web-flow 
codegen: Propagate `ipo_purity_bits` to LLVM function attributes (#61394)

Translate Julia's inferred effects (consistent, effect_free, nothrow,
terminates, notaskstate) into LLVM function attributes so that
middle-end passes like GVN, LICM, and DSE can exploit them.

The key design insight is that GC interactions don't need to be visible
before GC lowering. Call-site declarations get optimistic memory
attributes (e.g. memory(argmem: read)) that enable pre-GC optimizations,
then LateLowerGCFrame widens them to memory(readwrite) before safepoint
analysis so post-GC passes see correct semantics.

Attributes added:
- nounwind: for nothrow functions (with uwtable(async) on definitions
  to preserve .eh_frame for stack scanning)
- mustprogress: for terminating functions
- willreturn: for nothrow+terminating functions
- memory(argmem: read): for consistent+effect_free functions with no
  user-facing pointer arguments (call-site declarations only)
- readnone on gcstack param: for notaskstate functions, so LICM can
  hoist pure calls past heap stores
- "julia.safepoint" marker: on all call-site declarations, used by
  LateLowerGCFrame to identify and widen optimistic attrs

LateLowerGCFrame strips all optimistic attributes (memory effects,
readnone on gcstack) from both call instructions and function
declarations before safepoint analysis runs.

Previously explored in #47844

Developed with Claude

---------

Co-authored-by: Claude <noreply@anthropic.com>
Co-authored-by: Gabriel Baraldi <28694980+gbaraldi@users.noreply.github.com>

65490 of 84002 relevant lines covered (77.96%)

23535049.1 hits per line

Relevant lines Covered
84002 RELEVANT LINES 65490 COVERED LINES
23535049.1 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1652 main codegen: Propagate `ipo_purity_bits` to LLVM function attributes (#61394) Translate Julia's inferred effects (consistent, effect_free, nothrow, terminates, notaskstate) into LLVM function attributes so that middle-end passes like GVN, LICM, and D... push web-flow buildkite
77.96
1649 main Make `SourceRef` contain `Ref{SourceFile}` instead of `SourceFile` (#61402) push web-flow buildkite
77.62
1639 main codegen: LLVM 21 ThreadSafeContext and EHFrame compatibility (#61273) ## Summary - Add `withContextDo` compatibility shim for `ThreadSafeContext` API changes in LLVM 21 (which removes `getLock()`, `Lock`, and `getContext()` in favor of callback-... push web-flow buildkite
76.8
1595 main SharedArrays: Skip a `finally` step if we throw before the `shmmem_create_pid` local is defined (#61141) In theory, if we throw on line 116 (e.g. if `getpid()` or `randstring()` throws), then we'll enter the `finally` block before we ever define ... push web-flow buildkite
76.82
1576 main Supporting sticky (generational) immix (#57327) Adding support for sticky immix. Needs to be merged after: - https://github.com/JuliaLang/julia/pull/57237 - https://github.com/JuliaLang/julia/pull/57176 - https://github.com/JuliaLang/julia/pull/... push web-flow buildkite
75.06
1574 main fix `detect_closure_boxes` to only consider active methods (#60929) Fixes #https://github.com/JuliaLang/julia/issues/60922 push web-flow buildkite
76.71
1572 main docs: clarify 'using A, B' semantics (#60856) Resolves #36090 push web-flow buildkite
76.68
1562 main Fix `@test_loweringerror` macro to return the `code` correctly. (#60598) for the PR #60556, the macro returns nothing so nothing has happened. --------- Co-authored-by: Claire Foster <aka.c42f@gmail.com> push web-flow buildkite
76.75
1560 main avoid some more `Core.Box` in Base and SharedArrays (#60599) push web-flow buildkite
76.71
1554 main [JuliaLowering] Fix-up always-defined check in `is_valid_body_ir_argument` (#60602) This was slightly mis-translated from the flisp side: ```scheme (define (valid-body-ir-argument? aval) (or (valid-ir-argument? aval) (and (sym... push web-flow buildkite
76.66
See All Builds (6523)