about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform
AgeCommit message (Expand)AuthorLines
2025-01-09Add an InstSimplify for repetitive array expressionsBen Kimock-0/+30
2025-01-08Make the aggregate-then-transmute handling more generalScott McMurray-13/+9
2025-01-08Refactor the cast-then-cast cases together, and support transmute-then-transmuteScott McMurray-89/+113
2025-01-08Use layout information to detect transparent transmutesScott McMurray-9/+34
2025-01-08Apply suggestions from code reviewscottmcm-2/+2
2025-01-08[mir-opt] GVN some more transmute casesScott McMurray-24/+55
2025-01-08Don't create cycles by normalizing opaques defined in the body we're checkingMichael Goulet-1/+6
2025-01-06Transmute from NonNull to pointer when elaborating a box deref (MCP807)Scott McMurray-13/+14
2025-01-04Auto merge of #135031 - RalfJung:intrinsics-without-body, r=oli-obkbors-1/+2
2025-01-04rustc_intrinsic: support functions without body; they are implicitly marked a...Ralf Jung-1/+2
2025-01-03remove unused function paramsMatthias Krüger-19/+9
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