Skip to content

The reaper#2213

Merged
mshinwell merged 50 commits intooxcaml:mainfrom
Ekdohibs:omega
Oct 30, 2024
Merged

The reaper#2213
mshinwell merged 50 commits intooxcaml:mainfrom
Ekdohibs:omega

Conversation

@Ekdohibs
Copy link
Copy Markdown
Contributor

@Ekdohibs Ekdohibs commented Jan 8, 2024

This PR, written with @chambart, adds a first version of a global pass executed after simplify, used to perform some cleanup work made possible when we look at a compilation unit globally.

While the code is not production-ready yet and can be improved (and the code produced can be further improved as well), it should be ready for a first round of testing.

@mshinwell mshinwell added the flambda2 Prerequisite for, or part of, flambda2 label Jan 8, 2024
@Ekdohibs Ekdohibs force-pushed the omega branch 2 times, most recently from cb08d12 to 3c3d621 Compare January 15, 2024 13:47
@Ekdohibs Ekdohibs force-pushed the omega branch 2 times, most recently from 47dd842 to 3101f13 Compare April 11, 2024 08:54
@Ekdohibs Ekdohibs marked this pull request as ready for review May 7, 2024 15:03
@Ekdohibs Ekdohibs force-pushed the omega branch 3 times, most recently from 57f6ee1 to b996581 Compare May 24, 2024 11:02
@mshinwell mshinwell changed the title Flambda2 global pass, first draft The reaper Jun 25, 2024
@mshinwell mshinwell linked an issue Jun 25, 2024 that may be closed by this pull request
@Ekdohibs Ekdohibs force-pushed the omega branch 3 times, most recently from 5a38036 to 88d75d1 Compare July 8, 2024 08:32
Copy link
Copy Markdown
Contributor Author

@Ekdohibs Ekdohibs left a comment

Choose a reason for hiding this comment

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

WIP review

Comment thread driver/compiler_hooks.ml Outdated
Comment thread middle_end/flambda2/flambda2.ml Outdated
Comment thread middle_end/flambda2/identifiers/code_id_or_name.ml Outdated
Comment thread middle_end/flambda2/identifiers/code_id_or_name.mli Outdated
Comment thread middle_end/flambda2/reaper/dep_solver.ml Outdated
Comment thread middle_end/flambda2/reaper/traverse.ml Outdated
Comment thread middle_end/flambda2/reaper/traverse.ml Outdated
Comment thread middle_end/flambda2/reaper/traverse.ml Outdated
Comment thread middle_end/flambda2/reaper/traverse.ml Outdated
Comment thread middle_end/flambda2/reaper/traverse_acc.ml Outdated
Comment thread middle_end/flambda2/reaper/traverse_acc.ml Outdated
Comment thread middle_end/flambda2/reaper/traverse_acc.mli Outdated
Comment thread middle_end/flambda2/reaper/traverse_acc.mli Outdated
Comment thread middle_end/flambda2/reaper/traverse_acc.mli Outdated
Comment thread middle_end/flambda2/reaper/traverse_denv.mli
Comment thread middle_end/flambda2/simplify/env/downwards_acc.ml
Comment thread middle_end/flambda2/terms/flambda_primitive.ml
Copy link
Copy Markdown
Collaborator

@mshinwell mshinwell left a comment

Choose a reason for hiding this comment

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

As discussed, we're going to merge this - everything outside the reaper/ directory is fully reviewed, and we will continue with the code review of that directory separately. This should make testing easier; we think this is in a pretty good state, in any case.

@mshinwell mshinwell merged commit e921aaf into oxcaml:main Oct 30, 2024
bclement-ocp added a commit to bclement-ocp/oxcaml that referenced this pull request Jul 15, 2025
Since the reaper (oxcaml#2213) has been merged, the `-dfexpr` flag
accidentally prints twice. Fix the logic to only print it once (after
the reaper if enabled, to mimic the `-dflambda` flag).
bclement-ocp added a commit that referenced this pull request Jul 18, 2025
Since the reaper (#2213) has been merged, the `-dfexpr` flag
accidentally prints twice. Fix the logic to only print it once (after
the reaper if enabled, to mimic the `-dflambda` flag).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

flambda2 Prerequisite for, or part of, flambda2

Projects

None yet

Development

Successfully merging this pull request may close these issues.

The reaper (global pass), first version

3 participants