Skip to content

Conversation

@erik-krogh
Copy link
Contributor

@erik-krogh erik-krogh commented Oct 26, 2020

The only real change is this new call callInputStep(f, _, _, _, _) inside reachesReturn, which pulls some context into reachesReturn to make the result of the predicate smaller.
The rest is just moving things around.

Only adding the callInputStep(..) call, or only moving things around, does not improve performance. Both are needed.

This was motivated by me noticing that reachesReturn was computing a needlessly big result, where most the of rows were pruned afterwards.

An thorough evaluation shows an average speedup of 0.5-1%.
But the result depends on the benchmark.
A benchmark like azure-sdk-for-node sees a 3-4% speedup, while other benchmarks see a small slowdown.

@github-actions github-actions bot added the JS label Oct 26, 2020
@erik-krogh erik-krogh marked this pull request as ready for review November 2, 2020 20:26
@erik-krogh erik-krogh requested a review from a team as a code owner November 2, 2020 20:26
@codeql-ci codeql-ci merged commit b55f18b into github:main Nov 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants