Module engine

This module re-implements rustc_mir_dataflow::Engine for performance reasons.

The Engine implementation in rustc optimizes for minimizing memory usage by only materializing results at the start of basic blocks, and recomputing the analysis when visiting results. However, this strategy involves a lot of creation and deletion of the analysis domain.

The information flow analysis has a large domain of size O(|places| * |locations|). Profiling showed that a significant portion of analysis time was just the engine allocating / cloning / dropping the domain, not doing computation. Therefore this engine improves performance but increases memory usage by up-front materializing the domain at every Location.

Structs

• AnalysisResults
  An alternative implementation of rustc_mir_dataflow::Results.

Functions

• iterate_to_fixpoint
  Runs a given Analysis to a fixpoint over the given Body.