Skip to content

[analysis] Make it easier to implement a transfer function - #6077

Merged
tlively merged 1 commit into
mainfrom
simplify-txfn
Nov 2, 2023
Merged

[analysis] Make it easier to implement a transfer function#6077
tlively merged 1 commit into
mainfrom
simplify-txfn

Conversation

@tlively

Copy link
Copy Markdown
Member

Combine the transfer and getDependents methods of a transfer function so
that a transfer function only has to implement transfer, which now returns a
range of basic blocks that may need to be re-analyzed.

To make it easier to implement the returned basic block range, change the
requirement so that it provides iterators to const BasicBlock* rather than
BasicBlock. This allows us to entirely remove cfg-impl.h.

Combine the `transfer` and `getDependents` methods of a transfer function so
that a transfer function only has to implement `transfer`, which now returns a
range of basic blocks that may need to be re-analyzed.
To make it easier to implement the returned basic block range, change the
requirement so that it provides iterators to `const BasicBlock*` rather than
`BasicBlock`. This allows us to entirely remove cfg-impl.h.
@tlively

Copy link
Copy Markdown
MemberAuthor

Current dependencies on/for this PR:

This stack of pull requests is managed by Graphite.

@tlively
tlively merged commit 4fba26a into mainNov 2, 2023
@tlively
tlively deleted the simplify-txfn branch November 2, 2023 20:50
radekdoulik pushed a commit to dotnet/binaryen that referenced this pull request Jul 12, 2024
…ly#6077)
Combine the `transfer` and `getDependents` methods of a transfer function so
that a transfer function only has to implement `transfer`, which now returns a
range of basic blocks that may need to be re-analyzed.
To make it easier to implement the returned basic block range, change the
requirement so that it provides iterators to `const BasicBlock*` rather than
`BasicBlock`. This allows us to entirely remove cfg-impl.h.
Sign up for freeto 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

@tlively@kripken