-
Notifications
You must be signed in to change notification settings - Fork 556
Open
Labels
A-dataflowArea: dataflow analysis A-mir-optArea: MIR optimizations E-help-wantedCall for participation: extra help is wanted E-mediumDifficulty: might require some prior knowledge or code reading E-needs-writeupCall for participation: discussion can be written up without much research required T-compilerRelevant to compiler team
@jyn514
Description
@JakobDegen has very kindly written up a summary of how dataflow works: https://hackmd.io/@2S4Crel_Q9OwC_vamlwXmw/ryqfn_vZn
Unlike the existing chapter (https://rustc-dev-guide.rust-lang.org/mir/dataflow.html#dataflow-analysis), this is a conceptual background, not a guide to how to write a dataflow pass. Both documents are useful and it would be nice to combine them somehow.
cc @rust-lang/wg-mir-opt @camelid, this might be a fun project.
Metadata
Metadata
Assignees
Labels
A-dataflowArea: dataflow analysis A-mir-optArea: MIR optimizations E-help-wantedCall for participation: extra help is wanted E-mediumDifficulty: might require some prior knowledge or code reading E-needs-writeupCall for participation: discussion can be written up without much research required T-compilerRelevant to compiler team