Skip to content

perf: upgrade to LLVM 22#13545

Merged
hargoniX merged 5 commits into
masterfrom
hbv/llvm22
May 6, 2026
Merged

perf: upgrade to LLVM 22#13545
hargoniX merged 5 commits into
masterfrom
hbv/llvm22

Conversation

@hargoniX
Copy link
Copy Markdown
Contributor

@hargoniX hargoniX commented Apr 27, 2026 •
edited
Loading

This PR upgrades LLVM from version 19 to version 22. This brings general performance improvements of up to 5% instructions depending on benchmark.

@hargoniX
Copy link
Copy Markdown
Contributor Author

hargoniX commented Apr 27, 2026

!bench

@leanprover-radar
Copy link
Copy Markdown

leanprover-radar commented Apr 27, 2026 •
edited
Loading

Benchmark results for 5a889d1 against a2cf1d6 are in. No significant results found. @hargoniX

  • 🟥 build//instructions: +742.4M (+0.01%)

No significant changes detected.

@github-actions github-actions Bot added the toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN label Apr 27, 2026
@mathlib-lean-pr-testing
Copy link
Copy Markdown

mathlib-lean-pr-testing Bot commented Apr 27, 2026 •
edited
Loading

Mathlib CI status (docs):

  • ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase a2cf1d6e2a2a600d1a08cb3eca996b6031f08403 --onto 3c6317b6d77a565b4217532d1190ac6955dba842. You can force Mathlib CI using the force-mathlib-ci label. (2026-04-27 19:10:32)
  • ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase a2cf1d6e2a2a600d1a08cb3eca996b6031f08403 --onto 0a6c31520b2ebaa6e71227454b46ebfb4986ae7b. You can force Mathlib CI using the force-mathlib-ci label. (2026-05-02 21:44:55)
  • ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase aa6fa1cf1a7c7a7161ceeda64c934176abc3595b --onto dae325700c89e23c453b1d6d5ed5432d87880062. You can force Mathlib CI using the force-mathlib-ci label. (2026-05-05 16:11:58)
  • ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase ea6e76707835317858b7dd36c95322679c50aaac --onto 8ebd294673e9e0397c5ccf2ab9a65b0f3e937918. You can force Mathlib CI using the force-mathlib-ci label. (2026-05-06 10:37:09)
  • ❗ Mathlib CI can not be attempted yet, as the nightly-testing-2026-05-06 tag does not exist there yet. We will retry when you push more commits. If you rebase your branch onto nightly-with-mathlib, Mathlib CI should run now. You can force Mathlib CI using the force-mathlib-ci label. (2026-05-06 12:48:55)

@leanprover-bot
Copy link
Copy Markdown
Collaborator

leanprover-bot commented Apr 27, 2026 •
edited
Loading

Reference manual CI status:

  • ❗ Reference manual CI will not be attempted unless your PR branches off the nightly-with-manual branch. Try git rebase a2cf1d6e2a2a600d1a08cb3eca996b6031f08403 --onto 3fc99eef102549c743c6c63547983319bfae6f01. You can force reference manual CI using the force-manual-ci label. (2026-04-27 19:10:34)
  • ❗ Reference manual CI will not be attempted unless your PR branches off the nightly-with-manual branch. Try git rebase aa6fa1cf1a7c7a7161ceeda64c934176abc3595b --onto 3fc99eef102549c743c6c63547983319bfae6f01. You can force reference manual CI using the force-manual-ci label. (2026-05-05 16:12:00)
  • ❗ Reference manual CI will not be attempted unless your PR branches off the nightly-with-manual branch. Try git rebase ea6e76707835317858b7dd36c95322679c50aaac --onto 3fc99eef102549c743c6c63547983319bfae6f01. You can force reference manual CI using the force-manual-ci label. (2026-05-06 10:37:10)
  • ❗ Reference manual CI can not be attempted yet, as the nightly-testing-2026-05-06 tag does not exist there yet. We will retry when you push more commits. If you rebase your branch onto nightly-with-manual, reference manual CI should run now. You can force reference manual CI using the force-manual-ci label. (2026-05-06 12:48:58)

@hargoniX
Copy link
Copy Markdown
Contributor Author

hargoniX commented May 2, 2026

!bench

@leanprover-radar
Copy link
Copy Markdown

leanprover-radar commented May 2, 2026 •
edited
Loading

Benchmark results for 6596bf6 against a2cf1d6 are in. No significant results found. @hargoniX

  • 🟥 build//instructions: +566.2M (+0.00%)

No significant changes detected.

@hargoniX
Copy link
Copy Markdown
Contributor Author

hargoniX commented May 5, 2026

!bench

@leanprover-radar
Copy link
Copy Markdown

leanprover-radar commented May 5, 2026 •
edited
Loading

Benchmark results for ee86505 against aa6fa1c are in. There are significant results. @hargoniX

  • ✅ build//instructions: -197.2G (-1.69%)

Large changes (41✅, 5🟥)

Too many entries to display here. View the full report on radar instead.

Medium changes (33✅, 3🟥)

Too many entries to display here. View the full report on radar instead.

Small changes (1845✅, 10🟥)

Too many entries to display here. View the full report on radar instead.

@hargoniX hargoniX changed the title perf: LLVM 19 -> 22 perf: upgrade to LLVM 22 May 6, 2026
@hargoniX hargoniX added the changelog-compiler Compiler, runtime, and FFI label May 6, 2026
@hargoniX
Copy link
Copy Markdown
Contributor Author

hargoniX commented May 6, 2026

!bench

@hargoniX hargoniX marked this pull request as ready for review May 6, 2026 09:44
@hargoniX hargoniX requested a review from kim-em as a code owner May 6, 2026 09:44
@leanprover-radar
Copy link
Copy Markdown

leanprover-radar commented May 6, 2026 •
edited
Loading

Benchmark results for e505d9d against ea6e767 are in. There are significant results. @hargoniX

  • ✅ build//instructions: -197.2G (-1.69%)

Large changes (42✅, 5🟥)

Too many entries to display here. View the full report on radar instead.

Medium changes (35✅, 3🟥)

Too many entries to display here. View the full report on radar instead.

Small changes (1852✅, 7🟥)

Too many entries to display here. View the full report on radar instead.

@hargoniX hargoniX added the release-ci Enable all CI checks for a PR, like is done for releases label May 6, 2026
@hargoniX hargoniX enabled auto-merge May 6, 2026 11:23
@hargoniX hargoniX added this pull request to the merge queue May 6, 2026
Merged via the queue into master with commit 8d2b5d0 May 6, 2026
40 checks passed
@hargoniX hargoniX deleted the hbv/llvm22 branch May 6, 2026 13:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@kim-em kim-em Awaiting requested review from kim-em kim-em is a code owner

Assignees

No one assigned

Labels

changelog-compiler Compiler, runtime, and FFI release-ci Enable all CI checks for a PR, like is done for releases toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@hargoniX @leanprover-radar @leanprover-bot