summary refs log tree commit diff
path: root/compiler/rustc_mir_transform
AgeCommit message (Expand)AuthorLines
2025-02-06Revert "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=dav...Rémy Rakic-0/+21
2025-02-06Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-1/+90
2025-01-10Don't create cycles by normalizing opaques defined in the body we're checkingMichael Goulet-1/+6
2024-12-27MatchBranchSimplification: Consider empty-unreachable otherwise branchclubby789-9/+21
2024-12-24Auto merge of #134625 - compiler-errors:unsafe-binders-ty, r=oli-obkbors-2/+5
2024-12-23Always run tail_expr_drop_order lint on promoted MIRMichael Goulet-1/+2
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-2/+5
2024-12-22Delete `Rvalue::Len`Scott McMurray-90/+1
2024-12-20coverage: Rename `basic_coverage_blocks` to just `graph`Zalathar-93/+61
2024-12-19Rollup merge of #134497 - Zalathar:spans, r=jieyouxuMatthias Krüger-150/+18
2024-12-19Rollup merge of #133702 - RalfJung:single-variant, r=oli-obk许杰友 Jieyou Xu (Joe)-25/+12
2024-12-19coverage: Store coverage source regions as `Span` until codegenZalathar-150/+18
2024-12-18mir-opt: Do not handle the cleanup BB in the EarlyOtherwiseBranchDianQK-0/+4
2024-12-18mir: require `is_cleanup` when creating `BasicBlockData`DianQK-15/+19
2024-12-18mir-opt: a sub-BB of a cleanup BB must also be a cleanup BBDianQK-1/+2
2024-12-18Reapply "Auto merge of #129047 - DianQK:early_otherwise_branch_scalar, r=cjgi...DianQK-85/+175
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-3/+3
2024-12-18Variants::Single: do not use invalid VariantIdx for uninhabited enumsRalf Jung-25/+12
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-8/+5
2024-12-16rename rustc_attr to rustc_attr_parsing and create rustc_attr_data_structuresJonathan Dönszelmann-3/+3
2024-12-14Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=davidtwco,R...bors-21/+0
2024-12-13Rollup merge of #133938 - nnethercote:rustc_mir_dataflow-renamings, r=oli-obkMatthias Krüger-24/+24
2024-12-13Auto merge of #133899 - scottmcm:strip-mir-debuginfo, r=oli-obkbors-0/+37
2024-12-13Stabilize async closuresMichael Goulet-2/+0
2024-12-10Implement projection and shim for AFIDTMichael Goulet-3/+53
2024-12-10We don't need `NonNull::as_ptr` debuginfoScott McMurray-0/+37
2024-12-10Rollup merge of #134029 - Zalathar:zero, r=oli-obkLeón Orell Valerian Liehr-5/+102
2024-12-10Rollup merge of #133946 - Zalathar:ready-first, r=oli-obkLeón Orell Valerian Liehr-146/+125
2024-12-10Rename some `Analysis` and `ResultsVisitor` methods.Nicholas Nethercote-8/+8
2024-12-10Improve terminology in `elaborate_drops.rs`.Nicholas Nethercote-16/+16
2024-12-09Rollup merge of #134073 - DianQK:fix-131227, r=oli-obkLeón Orell Valerian Liehr-2/+7
2024-12-09dataflow_const_prop: do not eval a ptr address in SwitchIntDianQK-2/+7
2024-12-09Auto merge of #133891 - nnethercote:MixedBitSet, r=Mark-Simulacrumbors-26/+29
2024-12-08coverage: Use a query to find counters/expressions that must be zeroZalathar-4/+101
2024-12-08coverage: Move `CoverageIdsInfo` into `mir::coverage`Zalathar-2/+2
2024-12-07coverage: Prefer to visit nodes whose predecessors have been visitedZalathar-146/+125
2024-12-05Change `ChunkedBitSet<MovePathIndex>`s to `MixedBitSet`.Nicholas Nethercote-26/+29
2024-12-04fn_sig_for_fn_abi should return a ty::FnSig, no need for a binderMichael Goulet-2/+2
2024-12-04coverage: Remove the expression simplifier from `CoverageCounters`Zalathar-51/+4
2024-12-04coverage: Use a separate counter type during counter creationZalathar-73/+94
2024-12-04coverage: Add an extra "transcribe" step after counter creationZalathar-3/+170
2024-12-04coverage: Use a single `make_phys_counter` methodZalathar-19/+4
2024-12-04coverage: Rename `CounterIncrementSite` to just `Site`Zalathar-13/+14
2024-12-04coverage: Extract `subtracted_sum` in counter creationZalathar-8/+8
2024-12-03Bounds-check with PtrMetadata instead of Len in MIRScott McMurray-21/+0
2024-12-02Rollup merge of #133732 - nnethercote:fix-Z-dump-mir-dataflow, r=compiler-errorsGuillaume Gomez-1/+1
2024-12-02Rollup merge of #133751 - lcnr:no-trait-solving-on-type, r=compiler-errorsGuillaume Gomez-1/+1
2024-12-02remove `Ty::is_copy_modulo_regions`lcnr-1/+1
2024-12-02mir validator: don't store mir phaselcnr-57/+34
2024-12-02Simplify `ResultsHandle`.Nicholas Nethercote-1/+1