about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src/framework/direction.rs
AgeCommit message (Expand)AuthorLines
2024-12-16Remove a `FIXME` comment.Nicholas Nethercote-2/+0
2024-12-16Remove `opt_clone_from_or_clone`.Nicholas Nethercote-30/+13
2024-12-16Simplify dataflow `SwitchInt` handling.Nicholas Nethercote-96/+34
2024-12-10Rename some `Analysis` and `ResultsVisitor` methods.Nicholas Nethercote-44/+44
2024-11-26Add some useful comments.Nicholas Nethercote-3/+6
2024-11-26Merge `apply_effects_in_block` and `join_state_into_successors_of`.Nicholas Nethercote-155/+130
2024-11-05Remove `ResultsVisitable`.Nicholas Nethercote-28/+28
2024-10-14Remove `Engine::new_gen_kill`.Nicholas Nethercote-58/+8
2024-09-13Rename `FlowState` as `Domain`.Nicholas Nethercote-10/+10
2024-07-29Reformat `use` declarations.Nicholas Nethercote-1/+2
2024-02-24Change InlineAsm to allow multiple targets insteadGary Guo-5/+8
2023-12-08Remove unused arguments from `ResultsVisitor::visit_block_{start,end}`.Nicholas Nethercote-4/+4
2023-11-23Use `'mir` lifetime name more.Nicholas Nethercote-7/+7
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-4/+4
2023-08-16Specify that method only applies statement effects.Camille GILLOT-3/+3
2023-08-16Make TerminatorEdge plural.Camille GILLOT-12/+12
2023-08-16Allow apply_terminator_effect to customize edges.Camille GILLOT-107/+60
2023-06-18Better error for non const `PartialEq` call generated by `match`Deadbeef-9/+1
2023-06-08Auto merge of #108293 - Jarcho:mut_analyses, r=eholkbors-30/+30
2023-05-25Remove DesugaringKind::Replace.Camille GILLOT-1/+1
2023-05-18Take MIR dataflow analyses by mutable reference.Jason Newcomb-30/+30
2023-04-06Rename `Abort` terminator to `Terminate`Gary Guo-1/+1
2023-04-06Refactor unwind from Option to a new enumGary Guo-7/+7
2023-03-07Remove DropAndReplace terminatorGiacomo Pasini-1/+0
2023-02-23Remove dead unwinds before drop elaborationTomasz Miąsko-28/+3
2023-01-02Fix handling of dead unwinds in backward analysesTomasz Miąsko-1/+1
2022-12-09Remove unneeded field from `SwitchTargets`Jakob Degen-2/+2
2022-07-07Move `switch_sources` from Body to BasicBlocksTomasz Miąsko-1/+1
2022-07-07Move `predecessors` from Body to BasicBlocksTomasz Miąsko-1/+1
2022-06-07Change `Direction::{is_forward,is_backward}` functions into constantsTomasz Miąsko-10/+4
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-7/+13
2022-05-22Lifetime variance fixes for rustcMichael Goulet-3/+3
2022-05-08Use sparse representation of switch sourcesTomasz Miąsko-1/+1
2022-05-08Avoid constructing switch sources unless necessaryTomasz Miąsko-3/+4
2022-03-27NitDylan MacKenzie-3/+1
2022-03-26Address review commentsSamuel E. Moelius III-7/+11
2022-03-24Implement `apply_switch_int_edge_effects` for backward analysesSamuel E. Moelius III-5/+55
2021-12-16Remove `in_band_lifetimes` from `rustc_mir_dataflow`LegionMammal978-16/+16
2021-12-03Add initial AST and MIR support for unwinding from inline assemblyAmanieu d'Antras-10/+49
2021-09-07Move the dataflow framework to its own crate.Camille GILLOT-0/+564