Skip to content

Conversation

@hargoniX
Copy link
Contributor

@hargoniX hargoniX commented Oct 30, 2025

This PR improves the detection of situations where we branch multiple times on the same value in the
code generator. Previously this would only consider repeated branching on function arguments, now on
arbitrary values.

Closes: #11018

@hargoniX hargoniX requested a review from leodemoura as a code owner October 30, 2025 15:25
@hargoniX
Copy link
Contributor Author

!radar

@leanprover-radar
Copy link

leanprover-radar commented Oct 30, 2025

Benchmark results for c6a2114 against e11ef3e are in! @hargoniX

@hargoniX hargoniX added the changelog-compiler Compiler, runtime, and FFI label Oct 30, 2025
@hargoniX hargoniX added this pull request to the merge queue Oct 30, 2025
Merged via the queue into master with commit 8b28467 Oct 30, 2025
14 checks passed
@hargoniX hargoniX deleted the hbv/local_multi_cases branch October 30, 2025 17:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog-compiler Compiler, runtime, and FFI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Code generator misses simple path sensitive data flow analysis optimization

3 participants