about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src/value_analysis.rs
AgeCommit message (Expand)AuthorLines
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-5/+1
2025-02-22Fix binding mode problemsMichael Goulet-2/+2
2025-02-19Remove `rustc_middle::mir::tcx` module.Nicholas Nethercote-1/+0
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-5/+5
2024-12-10Remove unused dataflow trait impls and bounds.Nicholas Nethercote-2/+2
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-8/+8
2024-10-31Remove `ValueAnalysis` and `ValueAnalysisWrapper`.Nicholas Nethercote-412/+4
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-1/+1
2024-10-27compiler: Add rustc_abi dependence to the compilerJubilee Young-1/+1
2024-10-23"innermost", "outermost", "leftmost", and "rightmost" don't need hyphensJosh Triplett-1/+1
2024-10-14Merge `AnalysisDomain` into `Analysis`.Nicholas Nethercote-7/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-09-09Remove unnecessary lifetime in `PlaceCollector`.Nicholas Nethercote-4/+4
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-1/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-2/+3
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+2
2024-07-13Propagate places through assignments.Camille GILLOT-10/+109
2024-07-13Create mapped places upon seeing them in the body.Camille GILLOT-122/+117
2024-07-07Support tail calls in mir via `TerminatorKind::TailCall`Maybe Waffle-0/+3
2024-07-01Make jump threading state sparse.Camille GILLOT-33/+58
2024-07-01Swap encapsulation of DCP state.Camille GILLOT-68/+81
2024-06-29Stop ICEing on impossible predicates.Camille GILLOT-2/+3
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_mir_dataflow`.Nicholas Nethercote-0/+1
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-1/+0
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-0/+1
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-02-06More comments, final tweaksMichael Goulet-0/+3
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-0/+3
2023-12-15NFC don't convert types to identical typesMatthias Krüger-5/+1
2023-11-25is_{some,ok}_andMichael Goulet-1/+1
2023-11-23Remove unnecessary things from `State` and `Map`.Nicholas Nethercote-25/+4
2023-11-23Remove unnecessary `ValueAnalysisWrapper::Direction`.Nicholas Nethercote-2/+0
2023-11-23Reduce `pub` usage.Nicholas Nethercote-1/+1
2023-10-21Improve naming and comments.Camille GILLOT-17/+45
2023-10-21Implement JumpThreading pass.Camille GILLOT-18/+89
2023-10-20s/generator/coroutine/Oli Scherer-1/+1
2023-10-20s/Generator/Coroutine/Oli Scherer-1/+1
2023-10-13Format all the let chains in compilerMichael Goulet-4/+8
2023-09-24Auto merge of #115794 - cjgillot:aggregate-no-box, r=davidtwcobors-1/+3
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-2/+2
2023-09-20Do not create a DerefLen place for `Box<[T]>`.Camille GILLOT-1/+3
2023-09-11Support non-scalar constants.Camille GILLOT-1/+26
2023-09-07Correct comment and assumption.Camille GILLOT-6/+5
2023-09-06Support array length.Camille GILLOT-0/+36
2023-09-05Support non-trivial scalars in ConstProp.Camille GILLOT-45/+29
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-1/+1
2023-08-20give some unwind-related terminators a more clear nameRalf Jung-2/+2
2023-08-16Make TerminatorEdge plural.Camille GILLOT-7/+7
2023-08-16Use TerminatorEdge for dataflow-const-prop.Camille GILLOT-18/+31
2023-08-16Allow apply_terminator_effect to customize edges.Camille GILLOT-6/+6
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-11-03 09:42:08 +0000