about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/ssa.rs
AgeCommit message (Expand)AuthorLines
2024-05-13Remove `extern crate rustc_middle` from `rustc_mir_transform`.Nicholas Nethercote-0/+1
2024-04-20Pacify tidy.Camille GILLOT-1/+1
2024-04-20GVN borrowed locals too.Camille GILLOT-12/+43
2024-03-12Remove unused fields in some structuresArthur Carcano-3/+2
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2023-12-31Inline dominator check.Camille GILLOT-0/+1
2023-11-14Fix def-use check for call terminatorsTomasz Miąsko-22/+33
2023-11-08rename `BorrowKind::Shallow` to `Fake`lcnr-1/+1
2023-10-08Also consider call and yield as MIR SSA.Camille GILLOT-28/+49
2023-10-05Replace LocationExtended with DefLocation in SsaLocalsTomasz Miąsko-27/+11
2023-10-05Remove small dominators optimization from SsaLocalsTomasz Miąsko-41/+23
2023-09-28Only visit reachable nodes in SsaLocals.Camille GILLOT-8/+4
2023-09-24Embed simplification into VnState.Camille GILLOT-0/+18
2023-09-24Add global value numbering pass.Camille GILLOT-1/+19
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-3/+5
2023-06-19add FIXME's for a later refactoringlcnr-0/+1
2023-06-19mir opt: fix subtype handlinglcnr-0/+7
2023-05-29unique borrows are mutating useslcnr-1/+0
2023-05-17Do not clone dominator tree for SSA analysis.Camille GILLOT-11/+8
2023-05-17Cache dominators.Camille GILLOT-2/+5
2023-05-14Simplify implementation.Camille GILLOT-22/+16
2023-05-14Merge return place with other locals in CopyProp.Camille GILLOT-6/+18
2023-05-10Use visit_assign to detect SSA locals.Camille GILLOT-7/+13
2023-05-09Correct StorageLive comment.Camille GILLOT-2/+1
2023-05-09Do not check StorageLive dominates address-taking.Camille GILLOT-37/+35
2023-05-09Only check that StorageLive dominates address-taking.Camille GILLOT-4/+1
2023-05-09Do not consider borrowed Freeze locals as SSA.Camille GILLOT-19/+30
2023-05-09Implement SSA-based reference propagation.Camille GILLOT-41/+89
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-02Use `&IndexSlice` instead of `&IndexVec` where possibleScott McMurray-2/+2
2023-02-27Do not grow `assignment_order` needlessly.Camille GILLOT-2/+5
2023-02-27Special case deref projections in SsaVisitor.Camille GILLOT-14/+35
2023-02-17Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillotMatthias Krüger-1/+1
2023-02-16Rename some region-specific stuffMichael Goulet-1/+1
2023-02-12Enable CopyProp by default, tune the impl a bitBen Kimock-4/+39
2023-01-27Use successor location for dominator check.Camille GILLOT-1/+1
2023-01-27Do not merge locals that have their address taken.Camille GILLOT-4/+7
2023-01-27Extract SsaLocals abstraction.Camille GILLOT-0/+219