about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src/framework/mod.rs
AgeCommit message (Expand)AuthorLines
2025-07-08Apply effects to otherwise edge in dataflow analysisAmogh Shivaram-0/+1
2025-04-24Separate `Analysis` and `Results`.Nicholas Nethercote-17/+13
2025-02-17Remove `SwitchIntTarget`.Nicholas Nethercote-6/+1
2025-02-17Add `SwitchTargetValue`.Nicholas Nethercote-2/+4
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-3/+3
2024-12-16Simplify dataflow `SwitchInt` handling.Nicholas Nethercote-16/+23
2024-12-13Rollup merge of #133938 - nnethercote:rustc_mir_dataflow-renamings, r=oli-obkMatthias Krüger-40/+42
2024-12-10Rollup merge of #134065 - nnethercote:mv-write_graphviz_results, r=tmiaskoLeón Orell Valerian Liehr-1/+1
2024-12-10Reorder some `Analysis` methods.Nicholas Nethercote-21/+21
2024-12-10Rename some `Analysis` and `ResultsVisitor` methods.Nicholas Nethercote-18/+19
2024-12-10Rename `EntrySets` as `EntryStates`.Nicholas Nethercote-8/+9
2024-12-09Move `write_graphviz_results` from `results.rs` to `graphviz.rs`.Nicholas Nethercote-1/+1
2024-12-09Remove `ChunkedBitSet` impls that are no longer needed.Nicholas Nethercote-17/+1
2024-12-05Introduce `MixedBitSet`.Nicholas Nethercote-1/+17
2024-12-02Fix crash with `-Zdump-mir-dataflow`Nicholas Nethercote-2/+2
2024-11-29Remove unused `HybridBitSet` methods from `BitSetExt`.Nicholas Nethercote-19/+1
2024-11-26Rollup merge of #133326 - nnethercote:rm-DefinitelyInitializedPlaces, r=cjgillotMichael Goulet-10/+0
2024-11-26Make it possible for `ResultsCursor` to borrow a `Results`.Nicholas Nethercote-4/+3
2024-11-26Add some useful comments.Nicholas Nethercote-2/+3
2024-11-26Merge `apply_effects_in_block` and `join_state_into_successors_of`.Nicholas Nethercote-7/+2
2024-11-22Remove the `DefinitelyInitializedPlaces` analysis.Nicholas Nethercote-10/+0
2024-11-05Remove `ResultsVisitable`.Nicholas Nethercote-1/+1
2024-11-05Replace `BorrowckResults` with `Borrowck`.Nicholas Nethercote-1/+1
2024-10-30Remove `Engine`.Nicholas Nethercote-6/+72
2024-10-30Remove `Analysis::into_engine`.Nicholas Nethercote-14/+19
2024-10-14Add defaults for `Analysis::apply_{call_return_effect,terminator_effect}`.Nicholas Nethercote-7/+10
2024-10-14Merge `AnalysisDomain` into `Analysis`.Nicholas Nethercote-22/+19
2024-10-14Remove `GenKillAnalysis`.Nicholas Nethercote-149/+10
2024-10-14Minimize use of `GenKill`.Nicholas Nethercote-2/+2
2024-10-14Tweak `GenKillAnalysis` method arguments.Nicholas Nethercote-5/+4
2024-10-14Remove `Engine::new_gen_kill`.Nicholas Nethercote-52/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-08-29Add `warn(unreachable_pub)` to `rustc_mir_dataflow`.Nicholas Nethercote-2/+2
2024-07-14Stop using the gen keyword in the compilerMichael Goulet-15/+15
2023-12-08Tweak `GenKillAnalysis`.Nicholas Nethercote-9/+12
2023-11-27Deparameterize `Results` and `ResultsCursor`.Nicholas Nethercote-1/+1
2023-11-27Remove `ResultsCloned` and `ResultsClonedCursor`.Nicholas Nethercote-2/+2
2023-11-27Remove `ResultsRefCursor`.Nicholas Nethercote-1/+1
2023-11-27Remove `CloneAnalysis`.Nicholas Nethercote-15/+0
2023-11-23Avoid unnecessary exports.Nicholas Nethercote-1/+1
2023-10-22use visibility to check unused imports and delete some stmtsbohan-1/+1
2023-10-20s/generator/coroutine/Oli Scherer-1/+1
2023-08-16Make TerminatorEdge plural.Camille GILLOT-4/+4
2023-08-16Rename MaybeUnreachable.Camille GILLOT-6/+8
2023-08-16Allow apply_terminator_effect to customize edges.Camille GILLOT-68/+12
2023-08-16Introduce MaybeUnreachable.Camille GILLOT-1/+17
2023-08-16Move domain_size to GenKillAnalysis.Camille GILLOT-9/+2
2023-06-27Export AnalysisResults trait in rustc_mir_dataflowFlorian Groult-1/+1
2023-05-18Take MIR dataflow analyses by mutable reference.Jason Newcomb-23/+38
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1