about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src
AgeCommit message (Expand)AuthorLines
2023-05-14Auto merge of #111517 - lukas-code:addr-of-mutate, r=tmiaskobors-17/+17
2023-05-13Do not ICE on deeply nested borrows.Camille GILLOT-2/+4
2023-05-13Iterate ReferencePropagation to fixpoint.Camille GILLOT-2/+4
2023-05-13Implement references VarDebugInfo.Camille GILLOT-0/+19
2023-05-13allow mutating function args through `&raw const`Lukas Markeffsky-5/+16
2023-05-12remove no-op logicLukas Markeffsky-13/+2
2023-05-12Rollup merge of #111441 - cjgillot:issue-111422, r=JakobDegenMatthias Krüger-30/+60
2023-05-11Rollup merge of #111432 - cjgillot:issue-111426, r=oli-obkMatthias Krüger-7/+13
2023-05-10Auto merge of #110820 - cjgillot:faster-dcp, r=oli-obkbors-17/+17
2023-05-10Avoid shadowing.Camille GILLOT-2/+2
2023-05-10Do not see through copies of mutable pointers.Camille GILLOT-5/+6
2023-05-10Iteratively replace pointers.Camille GILLOT-25/+54
2023-05-10Use visit_assign to detect SSA locals.Camille GILLOT-7/+13
2023-05-09Correct StorageLive comment.Camille GILLOT-2/+1
2023-05-09Only check storage liveness for direct projections.Camille GILLOT-6/+3
2023-05-09Do not check StorageLive dominates address-taking.Camille GILLOT-41/+75
2023-05-09Only check that StorageLive dominates address-taking.Camille GILLOT-4/+1
2023-05-09Explicit performance concern.Camille GILLOT-2/+2
2023-05-09Do not consider borrowed Freeze locals as SSA.Camille GILLOT-29/+34
2023-05-09Implement SSA-based reference propagation.Camille GILLOT-43/+417
2023-05-09Extract handle_set_discriminant.Camille GILLOT-15/+15
2023-05-09Make HasTop and HasBottom consts.Camille GILLOT-2/+2
2023-05-08Auto merge of #111358 - compiler-errors:rollup-yv27vrp, r=compiler-errorsbors-198/+384
2023-05-08Auto merge of #111007 - JakobDegen:nrvo, r=tmiaskobors-1/+2
2023-05-08Rollup merge of #111004 - clubby789:migrate-mir-transform, r=oli-obkMichael Goulet-198/+384
2023-05-08Auto merge of #110824 - cjgillot:const-prop-index, r=JakobDegen,oli-obkbors-0/+18
2023-05-08Disable nrvo mir optJakob Degen-1/+2
2023-05-08Rollup merge of #110297 - kylematsuda:earlybinder_tcx_subst, r=BoxyUwUDylan DPC-5/+13
2023-05-07Propagate PlaceElem::Index.Camille GILLOT-0/+18
2023-05-06make subst_mir take EarlyBinderKyle Matsuda-3/+7
2023-05-06use EarlyBinder in tcx.(try_)subst_mir_and_normalize_erasing_regionsKyle Matsuda-2/+6
2023-05-06Rename InstCombine to InstSimplifyBen Kimock-29/+29
2023-05-04Reject borrows of projections in ConstProp.Camille GILLOT-5/+15
2023-05-04Rollup merge of #110826 - cjgillot:place-mention-use, r=JakobDegen,lcnrMatthias Krüger-0/+1
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-5/+4
2023-05-02Migrate `mir_transform` to translatable diagnosticsclubby789-198/+384
2023-05-02Auto merge of #111082 - saethlin:box-assertkind, r=saethlinbors-3/+3
2023-05-02Auto merge of #109521 - tmiasko:const-prop-validation, r=wesleywiserbors-25/+3
2023-05-01Box AssertKindBen Kimock-3/+3
2023-05-01Auto merge of #111066 - matthiaskrgr:rollup-4k6rj23, r=matthiaskrgrbors-4/+1
2023-04-30Codegen fewer instructions in `mem::replace`Scott McMurray-0/+23
2023-04-30Leave promoteds untainted by errors when borrowck failsTomasz Miąsko-4/+1
2023-04-30Rollup merge of #110973 - bindsdev:packed-struct-ref-diagnostic-note, r=compi...Matthias Krüger-2/+5
2023-04-29Make PlaceMention a non-mutating use.Camille GILLOT-0/+1
2023-04-28improve error notes for packed struct reference diagnosticbindsdev-2/+5
2023-04-28Make drop_flags an IndexVec.Camille GILLOT-7/+8
2023-04-27Auto merge of #110882 - BoxyUwU:rename-some-ty-flags, r=compiler-errorsbors-5/+5
2023-04-27rename `needs_subst` to `has_param`Boxy-5/+5
2023-04-27Auto merge of #110728 - cjgillot:no-false-optes, r=oli-obkbors-38/+46
2023-04-27Remove workaround for CastKind::Transmute from const propTomasz Miąsko-10/+0