Skip to content

Misc: Add stage overlap script #19156

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Apr 3, 2025
Merged

Conversation

aschackmull
Copy link
Contributor

I'm adding this script, since it's been quite useful for me. The code is somewhat ad-hoc, but it does the job well enough. Possible future extensions: it would be nice to filter trivial predicates for which we don't care whether they're repeated across stages. That could be done by actually parsing some DIL or staying with the ad-hoc nature, we could also add an optional argument with an allow-list of predicate prefixes. Regardless, as-is it's quite useful to get an overview of the different stages in DIL and their overlap. The script also works on concatenated DIL from several queries (which is what you get when you dump DIL from compiling an entire suite).

@Copilot Copilot AI review requested due to automatic review settings March 31, 2025 09:25
Copy link
Contributor

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR introduces a new Python script to compute stage overlap from DIL files, providing quick insights into the distribution of predicates across different stages.

  • Added a new script at misc/scripts/stageoverlap.py that processes DIL files
  • Implements basic stage caching and predicate recomputation logic

Tip: Leave feedback on Copilot's review comments with the 👎 and 👍 buttons to help improve review quality. Learn more

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@aschackmull aschackmull merged commit 5f290eb into github:main Apr 3, 2025
6 checks passed
@aschackmull aschackmull deleted the misc/stageoverlap branch April 3, 2025 11:40
@hvitved hvitved mentioned this pull request Apr 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants