Skip to content

Conversation

vouillon
Copy link
Member

Structure.is_merge_node is called for many successors of a node and was linear in the number of predecessor, which could yield a quadratic behavior during Wasm code generation, especially after #1934 which removes some intermediate blocks (see Fiat-Crypto benchmark).

@vouillon vouillon merged commit 7d1b0f8 into master Apr 16, 2025
24 of 26 checks passed
@vouillon vouillon deleted the perf-fix branch April 16, 2025 15:47
@hhugo
Copy link
Member

hhugo commented Apr 16, 2025

How does this affect perf compared to pre-1934 ?

@vouillon
Copy link
Member Author

This does not seem to make any difference.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants