about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform
AgeCommit message (Expand)AuthorLines
2023-02-05Simplify construction of replacement map.Camille GILLOT-89/+69
2023-02-05Introduce helper.Camille GILLOT-24/+23
2023-02-05Make SROA expand assignments.Camille GILLOT-23/+65
2023-02-05Fix SROA without deaggregation.Camille GILLOT-45/+82
2023-02-04Turn projections into copies in CopyProp.Camille GILLOT-2/+2
2023-02-02Stop deaggegating MIR.Camille GILLOT-53/+0
2023-02-02Stop deaggregating enums in MIR.Camille GILLOT-39/+40
2023-02-02Handle aggregates in DataflowConstProp.Camille GILLOT-0/+25
2023-02-02Put a DefId in AggregateKind.Camille GILLOT-0/+1
2023-02-02Rollup merge of #107524 - cjgillot:both-storage, r=RalfJungMatthias Krüger-11/+14
2023-02-01Auto merge of #107536 - GuillaumeGomez:rollup-xv7dx2h, r=GuillaumeGomezbors-6/+8
2023-01-31Rollup merge of #107467 - WaffleLapkin:uneq, r=oli-obkGuillaume Gomez-6/+8
2023-01-31make unaligned_reference a hard errorRalf Jung-26/+17
2023-01-31Remove both StorageLive and StorageDead in CopyProp.Camille GILLOT-11/+14
2023-01-31Auto merge of #107443 - cjgillot:generator-less-query, r=compiler-errorsbors-1/+4
2023-01-30Rollup merge of #107172 - cjgillot:no-nal, r=nagisaMatthias Krüger-254/+70
2023-01-30Replace some `_ == _ || _ == _`s with `matches!(_, _ | _)`sMaybe Waffle-2/+2
2023-01-30Use `Mutability::{is_mut, is_not}`Maybe Waffle-3/+2
2023-01-30Replace enum `==`s with `match`es where it makes senseMaybe Waffle-1/+4
2023-01-30Allow more deriving on packed structs.Nicholas Nethercote-40/+6
2023-01-30Treat Drop as a rmw operationGiacomo Pasini-0/+29
2023-01-29Remove obsolete comment.Camille GILLOT-1/+0
2023-01-29Reimplement NormalizeArrayLen.Camille GILLOT-253/+70
2023-01-29Test drop_tracking_mir before querying generator.Camille GILLOT-1/+4
2023-01-29Auto merge of #106908 - cjgillot:copyprop-ssa, r=oli-obkbors-4/+420
2023-01-29Auto merge of #106227 - bryangarza:ctfe-limit, r=oli-obkbors-1/+72
2023-01-29Auto merge of #107406 - cjgillot:eliminate-witnesses, r=compiler-errorsbors-17/+18
2023-01-28Remove `HirId -> LocalDefId` map from HIR.Camille GILLOT-1/+2
2023-01-28Take a LocalDefId in hir::Visitor::visit_fn.Camille GILLOT-1/+1
2023-01-28Only compute mir_generator_witnesses query in drop_tracking_mir mode.Camille GILLOT-17/+18
2023-01-27Restrict amount of ignored locals.Camille GILLOT-9/+28
2023-01-27Separate witness type computation from the generator transform.Camille GILLOT-28/+286
2023-01-27Remember where a type was kept in MIR.Camille GILLOT-4/+13
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-17/+65
2023-01-27Extract SsaLocals abstraction.Camille GILLOT-175/+240
2023-01-27Pacify tidy.Camille GILLOT-3/+3
2023-01-27Discard raw pointers from SSA locals.Camille GILLOT-2/+4
2023-01-27Only consider a local to be SSA if assignment dominates all uses.Camille GILLOT-2/+21
2023-01-27Implement SSA CopyProp pass.Camille GILLOT-0/+269
2023-01-27Allow to remove unused definitions without renumbering locals.Camille GILLOT-2/+14
2023-01-27Consider `CopyForDeref` for DestProp.Camille GILLOT-2/+3
2023-01-26fix up subst_identity vs skip_binder; add some FIXMEs as identified in reviewKyle Matsuda-1/+2
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-8/+7
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-3/+8
2023-01-26Disable ConstGoto opt in cleanup blocksJakob Degen-0/+9
2023-01-26Auto merge of #105582 - saethlin:instcombine-assert-inhabited, r=cjgillotbors-2/+84
2023-01-24Delete `SimplifyArmIdentity` and `SimplifyBranchSame` mir optsJakob Degen-825/+0
2023-01-23Thread a ParamEnv down to might_permit_raw_initBen Kimock-8/+15
2023-01-24Improve efficiency of has_back_edge(...)Bryan Garza-10/+11