Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Port #10404: Generic dataflow analyzer #641

Closed
lukemaurer opened this issue May 6, 2022 · 2 comments
Closed

Port #10404: Generic dataflow analyzer #641

lukemaurer opened this issue May 6, 2022 · 2 comments
Assignees
@mshinwell
Labels
4.13/4.14 merge Backports of 4.13 and 4.14 changes backend backport from upstream OCaml

Comments

@lukemaurer
Copy link
Contributor

Backport ocaml/ocaml#10404.
@lukemaurer lukemaurer added backport from upstream OCaml 4.13/4.14 merge Backports of 4.13 and 4.14 changes labels May 6, 2022
@lukemaurer lukemaurer changed the title Generic dataflow analyzer Port #10404: Generic dataflow analyzer May 6, 2022
@mshinwell mshinwell assigned mshinwell and unassigned xclerc Jul 13, 2022
@mshinwell
Copy link
Collaborator

I'll do this together with the safepoints work.

@mshinwell
Copy link
Collaborator

Already merged with the safepoints work in flambda-backend. It is not however yet used for liveness, unlike upstream, but that should be ok -- our "original" liveness pass has some performance improvements anyway; and we will migrate to Cfg in due course.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mshinwell mshinwell

Labels
4.13/4.14 merge Backports of 4.13 and 4.14 changes backend backport from upstream OCaml
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@lukemaurer @mshinwell @xclerc