Document MIR dataflow framework #564
Assignees
Comments
Dylan-DPC-zz
pushed a commit
to Dylan-DPC-zz/rust
that referenced
this issue
Mar 27, 2020
…anup, r=eddyb Remove framework in `dataflow/mod.rs` in favor of "generic" one This is the culmination of the work described in rust-lang/compiler-team#202. All dataflow analyses (including the one in `clippy`) have been ported to use the framework in `dataflow/generic`, which can efficiently handle both gen/kill and generic problems. This PR moves the framework in `dataflow/generic` to `dataflow/framework`, and removes the gen/kill framework in `dataflow/mod.rs`. More comprehensive documentation for the new framework is tracked in rust-lang/rustc-dev-guide#564. `clippy` will need to change the path it uses to import the dataflow analysis traits.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
rust-lang/rust#65672 just got merged, so we have a new framework for dataflow analyses in the compiler. I'm in the process of porting analyses that use
BitDenotationto the new framework (see rust-lang/rust#68241). The new framework has decent in-line documentation, but I think newer contributors would benefit greatly from a high-level overview of dataflow analysis inrustc.The text was updated successfully, but these errors were encountered: