summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src/impls
AgeCommit message (Collapse)AuthorLines
2023-08-16Use Terminator::edges for backward analysis too.Camille GILLOT-1/+1
2023-08-16Only evaluate yield place after resume in liveness.Camille GILLOT-15/+31
2023-08-16Rename YieldResumeEffect.Camille GILLOT-6/+6
2023-08-16Make TerminatorEdge plural.Camille GILLOT-15/+15
2023-08-16Rename MaybeUnreachable.Camille GILLOT-7/+6
2023-08-16Only run MaybeInitializedPlaces once for drop elaboration.Camille GILLOT-9/+63
2023-08-16Allow apply_terminator_effect to customize edges.Camille GILLOT-99/+78
2023-08-16Move domain_size to GenKillAnalysis.Camille GILLOT-0/+36
2023-08-16Move initialization dataflow impls into their own module.Camille GILLOT-749/+756
2023-08-16Simplify for_each_mut_borrow.Camille GILLOT-58/+9
2023-07-19Turn copy into moves during DSE.Camille GILLOT-1/+2
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-2/+6
2023-07-04bring back un_derefer and rewrite it againDrMeepster-4/+4
2023-06-08Auto merge of #108293 - Jarcho:mut_analyses, r=eholkbors-66/+74
Take MIR dataflow analyses by mutable reference The main motivation here is any analysis requiring dynamically sized scratch memory to work. One concrete example would be pointer target tracking, where tracking the results of a dereference can result in multiple possible targets. This leads to processing multi-level dereferences requiring the ability to handle a changing number of potential targets per step. A (simplified) function for this would be `fn apply_deref(potential_targets: &mut Vec<Target>)` which would use the scratch space contained in the analysis to send arguments and receive the results. The alternative to this would be to wrap everything in a `RefCell`, which is what `MaybeRequiresStorage` currently does. This comes with a small perf cost and loses the compiler's guarantee that we don't try to take multiple borrows at the same time. For the implementation: * `AnalysisResults` is an unfortunate requirement to avoid an unconstrained type parameter error. * `CloneAnalysis` could just be `Clone` instead, but that would result in more work than is required to have multiple cursors over the same result set. * `ResultsVisitor` now takes the results type on in each function as there's no other way to have access to the analysis without cloning it. This could use an associated type rather than a type parameter, but the current approach makes it easier to not care about the type when it's not necessary. * `MaybeRequiresStorage` now no longer uses a `RefCell`, but the graphviz formatter now does. It could be removed, but that would require even more changes and doesn't really seem necessary.
2023-05-29unique borrows are mutating useslcnr-2/+1
2023-05-18Take MIR dataflow analyses by mutable reference.Jason Newcomb-66/+74
2023-05-09Explicitly skip arguments.Camille GILLOT-0/+1
2023-05-09Implement SSA-based reference propagation.Camille GILLOT-1/+67
2023-04-29Make PlaceMention a non-mutating use.Camille GILLOT-0/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-06Rename `Abort` terminator to `Terminate`Gary Guo-3/+3
Unify terminology used in unwind action and terminator, and reflect the fact that a nounwind panic is triggered instead of an immediate abort is triggered for this terminator.
2023-03-09Introduce a no-op PlaceMention statement for `let _ =`.Camille GILLOT-0/+2
2023-03-07Remove DropAndReplace terminatorGiacomo Pasini-4/+1
PR 107844 made DropAndReplace unused, let's remove it completely from the codebase.
2023-02-16Replace some `then`s with some `then_some`sMaybe Waffle-1/+1
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-7/+1
2023-02-06Only exclude locals if the place is not indirect.Camille GILLOT-1/+3
2023-01-23Create stable metric to measure long computation in Const EvalBryan Garza-0/+2
This patch adds a `MirPass` that tracks the number of back-edges and function calls in the CFG, adds a new MIR instruction to increment a counter every time they are encountered during Const Eval, and emit a warning if a configured limit is breached.
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-2/+2
2022-12-13Don't require owned data in `MaybeStorageLive`Jakob Degen-6/+7
2022-11-26Rewrite dest prop.Jakob Degen-124/+0
This fixes a number of correctness issues from the previous version. Additionally, we use a new strategy which has much better performance charactersitics and also finds more opportunities to apply the optimization.
2022-09-06Generalize the Assume intrinsic statement to a general Intrinsic statementOli Scherer-4/+2
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-0/+2
2022-08-25Add method that applies DefUse effectTomasz Miąsko-15/+11
2022-08-25Fix liveness analysis for yield terminatorsTomasz Miąsko-32/+61
A resume place is evaluated and assigned to only after a yield terminator resumes. Ensure that locals used when evaluating the resume place are live across the yield.
2022-08-01Remove redundant `TransferWrapper` structTomasz Miąsko-14/+2
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-4/+4
This is no longer used only for debugging options (e.g. `-Zoutput-width`, `-Zallow-features`). Rename it to be more clear.
2022-07-12add new rval, pull deref earlyouz-a-1/+2
2022-07-06Fix missing word in commentpierwill-1/+1
2022-07-01cleanup mir visitor for `rustc::pass_by_value`lcnr-5/+5
2022-06-17Auto merge of #97863 - JakobDegen:bitset-choice, r=nnethercotebors-2/+2
`BitSet` related perf improvements This commit makes two changes: 1. Changes `MaybeLiveLocals` to use `ChunkedBitSet` 2. Overrides the `fold` method for the iterator for `ChunkedBitSet` I have local benchmarks verifying that each of these changes individually yield significant perf improvements to #96451 . I'm hoping this will be true outside of that context too. If that is not the case, I'll try to gate things on where they help as needed r? `@nnethercote` who I believe was working on closely related things, cc `@tmiasko` because of the destprop pr
2022-06-14`BitSet` perf improvementsJakob Degen-2/+2
This commit makes two changes: 1. Changes `MaybeLiveLocals` to use `ChunkedBitSet` 2. Overrides the `fold` method for the iterator for `ChunkedBitSet`
2022-06-12Merge arms in borrowed locals transfer functionTomasz Miąsko-7/+1
2022-06-12Remove duplicated implementations of borrowed locals analysisTomasz Miąsko-0/+21
2022-06-08Rollup merge of #97597 - tmiasko:simplify-locals-side-effects, ↵Dylan DPC-6/+3
r=RalfJung,JakobDegen Preserve unused pointer to address casts Fixes #97421. cc `@RalfJung`
2022-06-07Preserve unused pointer to address castsTomasz Miąsko-6/+3
2022-06-07Remove `AlwaysLiveLocals` wrapper structTomasz Miąsko-3/+2
It is just a wrapper around a `BitSet` and doesn't have any functionality of its own.
2022-05-31Add a pointer to address cast kindTomasz Miąsko-15/+8
A pointer to address cast are often special-cased. Introduce a dedicated cast kind to make them easy distinguishable.
2022-05-24Add dead store elimination passJakob Degen-22/+161
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-8/+6
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 21:23:07 +0000