Skip to content

Avoid polymorphic comparison in backend #3649

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 10 commits into from
Apr 9, 2025
Merged

Conversation

xclerc
Copy link
Contributor

@xclerc xclerc commented Mar 4, 2025

(As per title.)

@xclerc xclerc added cfg backend non-material change Formatting, renaming, etc. but no semantic or public API changes labels Mar 4, 2025
Copy link

github-actions bot commented Mar 4, 2025

Selection Change Check

This PR modifies the original selection pass (targeting Mach).
Please check whether the changes should also be applied to the
CFG variant of the pass.

@xclerc xclerc force-pushed the shadow-poly-compare-further4 branch from f542d6e to 074c7f8 Compare March 4, 2025 16:25
@xclerc xclerc marked this pull request as ready for review March 4, 2025 17:16
@xclerc xclerc requested a review from gretay-js March 4, 2025 17:16
@xclerc xclerc force-pushed the shadow-poly-compare-further4 branch from adb2b97 to 1195cf7 Compare March 5, 2025 13:39
@xclerc xclerc force-pushed the shadow-poly-compare-further4 branch from 47936fb to dc5fe01 Compare March 18, 2025 11:08
@xclerc xclerc force-pushed the shadow-poly-compare-further4 branch from dc5fe01 to b8c9a3a Compare April 9, 2025 13:22
@xclerc xclerc merged commit 432ba57 into main Apr 9, 2025
26 checks passed
@xclerc xclerc deleted the shadow-poly-compare-further4 branch April 9, 2025 15:10
gretay-js pushed a commit to gretay-js/flambda-backend that referenced this pull request Apr 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backend cfg non-material change Formatting, renaming, etc. but no semantic or public API changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants