about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src
AgeCommit message (Expand)AuthorLines
2025-01-19Run `clippy --fix` for `unnecessary_map_or` lintYotam Ofek-1/+1
2025-01-19Auto merge of #135709 - lqd:bring-back-len, r=compiler-errorsbors-1/+111
2025-01-19Auto merge of #135715 - matthiaskrgr:rollup-9a18sxj, r=matthiaskrgrbors-7/+388
2025-01-18Revert "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=dav...Rémy Rakic-0/+21
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-1/+90
2025-01-18Consolidate ad-hoc MIR lints into real pass-manager-based MIR lintsMichael Goulet-7/+388
2025-01-18coverage: Add a few more comments to counter creationZalathar-0/+15
2025-01-18coverage: Remove `BcbCounter` and `BcbExpression`Zalathar-64/+16
2025-01-18coverage: Flatten top-level counter creation into plain functionsZalathar-95/+91
2025-01-18coverage: Move `phys_counter_for_node` into `CoverageCounters`Zalathar-19/+18
2025-01-18coverage: Remove the `Site` enum now that we only instrument nodesZalathar-35/+16
2025-01-16coverage: Make `yank_to_spantree_root` iterative instead of recursiveZalathar-19/+36
2025-01-16coverage: Completely overhaul counter assignment, using node-flow graphsZalathar-632/+723
2025-01-12Rollup merge of #135377 - compiler-errors:impossible-step, r=oli-obkMatthias Krüger-46/+59
2025-01-11Address PR feedbackScott McMurray-9/+11
2025-01-11[mir-opt] simplify `Repeat`s that don't actually repeat the operandScott McMurray-11/+30
2025-01-11Make MIR cleanup for functions with impossible predicates into a real MIR passMichael Goulet-46/+59
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-125/+131
2025-01-11Auto merge of #135274 - saethlin:array-repeats, r=compiler-errorsbors-0/+30
2025-01-10mir_build: check annotated functions w/out callersDavid Wood-45/+7
2025-01-10inline: move should inline checkDavid Wood-5/+5
2025-01-10validator: move force inline checkDavid Wood-23/+10
2025-01-10inline: remove unnecessary promoted checkDavid Wood-4/+0
2025-01-10inline: re-introduce some callee body checksDavid Wood-2/+29
2025-01-10inline: force inlining shimsDavid Wood-12/+18
2025-01-10mir_transform: implement forced inliningDavid Wood-634/+941
2025-01-10remove more redundant into() conversionsMatthias Krüger-4/+3
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