Jacob Pratt fa82155e54 Rollup merge of #155680 - Amanieu:call-arg-move-index, r=cjgillot ...

Handle index projections in call destinations in DSE

Since call destinations are evaluated after call arguments, we can't turn copy arguments into moves if the same local is later used as an index projection in the call destination.

DSE call arg optimization: rust-lang/rust#113758

r? @cjgillot
cc @RalfJung

2026-04-25 01:21:52 -04:00

..

coroutine

Use per-parent disambiguators

2026-04-21 18:23:40 +03:00

coverage

remove AttributeKind everywhere

2026-02-20 09:50:16 +01:00

inline

Make inliner cycle detection a fallible process

2025-12-30 22:01:49 -05:00

shim

fix all errors

2026-04-20 00:18:28 +08:00

abort_unwinding_calls.rs

Skip cleanups on unsupported targets

2025-09-11 16:13:32 -07:00

add_call_guards.rs

Refactor AddCallGuards in two loops.

2025-10-08 19:44:56 +00:00

add_moves_for_packed_drops.rs

show packed alignment in mir_transform_unaligned_packed_ref

2025-11-07 13:57:37 -07:00

add_retag.rs

Use !null pattern type in libcore

2026-04-13 17:23:03 +02:00

add_subtyping_projections.rs

ProjectionElem::Subtype -> CastKind::Subtype

2025-09-26 01:25:26 -07:00

check_alignment.rs

Update cfg(bootstrap)

2026-03-07 10:42:02 -08:00

check_call_recursion.rs

fix all errors

2026-04-20 00:18:28 +08:00

check_const_item_mutation.rs

Replace TyCtxt::emit_node_span_lint with emit_diag_node_span_lint

2026-02-24 20:34:22 +01:00

check_enums.rs

Fix ICE when validating transmuting ZST to inhabited enum

2025-08-23 19:25:58 +02:00

check_inline_always_target_features.rs

inline at the callsite & warn when target features mismatch

2025-08-27 14:45:01 +01:00

check_inline.rs

fix all errors

2026-04-20 00:18:28 +08:00

check_null.rs

Replace NullOp::SizeOf and NullOp::AlignOf by lang items.

2025-10-23 00:38:28 +00:00

check_packed_ref.rs

show packed alignment in mir_transform_unaligned_packed_ref

2025-11-07 13:57:37 -07:00

check_pointers.rs

mir: Use the new method for BasicBlockData

2025-06-29 20:39:13 +08:00

cleanup_post_borrowck.rs

Stop invalidating in CleanupPostBorrowck.

2025-10-20 21:34:46 +00:00

copy_prop.rs

Avoid unneeded work for storage removal in non-opt builds in CopyProp and GVN

2026-04-18 22:12:59 +03:00

coroutine.rs

ty::Alias refactor: fixup all the compiler code

2026-04-07 10:08:12 +02:00

cost_checker.rs

Reinstate bonus for unused UbChecks.

2025-12-21 00:58:00 +00:00

cross_crate_inline.rs

fix all errors

2026-04-20 00:18:28 +08:00

ctfe_limit.rs

Do not invalidate CFG caches in CtfeLimit.

2025-10-08 15:03:43 +00:00

dataflow_const_prop.rs

Avoid query cycles in DataflowConstProp

2026-04-24 03:04:03 +00:00

dead_store_elimination.rs

Handle index projections in call destinations in DSE

2026-04-23 11:17:22 +01:00

deduce_param_attrs.rs

fix all errors

2026-04-20 00:18:28 +08:00

deref_separator.rs

erase coroutine shim dereftemps

2025-10-06 10:57:27 -07:00

dest_prop.rs

Put Analysis back into Results.

2025-10-28 10:26:50 +11:00

dump_mir.rs

Disable non-required MIR opts with optimize(none)

2025-01-23 17:40:41 +00:00

early_otherwise_branch.rs

Introduce Operand::RuntimeChecks.

2025-12-14 17:25:53 +00:00

elaborate_box_derefs.rs

fix all errors

2026-04-20 00:18:28 +08:00

elaborate_drop.rs

fix all errors

2026-04-20 00:18:28 +08:00

elaborate_drops.rs

remove some deref_finder uses

2025-10-10 20:30:19 -07:00

erase_deref_temps.rs

remove DerefTemp and CopyFromDeref from runtime mir

2025-10-06 10:57:27 -07:00

errors.rs

Label overwritten assignments for never read assignments

2026-03-31 20:44:11 +08:00

ffi_unwind_calls.rs

Replace TyCtxt::emit_node_span_lint with emit_diag_node_span_lint

2026-02-24 20:34:22 +01:00

function_item_references.rs

fix all errors

2026-04-20 00:18:28 +08:00

gvn.rs

Auto merge of #155491 - ohadravid:faster-storage-in-copyprop-and-gvn, r=saethlin

2026-04-21 05:35:16 +00:00

impossible_predicates.rs

fix all errors

2026-04-20 00:18:28 +08:00

inline.rs

fix all errors

2026-04-20 00:18:28 +08:00

instsimplify.rs

remove AttributeKind everywhere

2026-02-20 09:50:16 +01:00

jump_threading.rs

Move maybe_loop_headers out of rustc_middle.

2026-04-09 11:09:52 +10:00

known_panics_lint.rs

fix all errors

2026-04-20 00:18:28 +08:00

large_enums.rs

use Allocation::write_scalar instead of manual endianess logic

2026-03-28 11:43:58 +01:00

lib.rs

Add typeck_root_def_id_local

2026-03-27 15:36:28 +03:00

lint_tail_expr_drop_order.rs

Remove remove_arg from diagnostics

2026-03-06 18:52:11 +01:00

lint.rs

Remove ShallowInitBox.

2026-02-17 11:25:50 +00:00

liveness.rs

fix all errors

2026-04-20 00:18:28 +08:00

lower_intrinsics.rs

replace box_new in Box::new with write_via_move

2026-02-16 08:44:56 +01:00

lower_slice_len.rs

mir: Add a new method to statement

2025-06-29 20:13:36 +08:00

match_branches.rs

Run MatchBranchSimplification with opt-level 2

2026-02-17 12:38:45 +08:00

mentioned_items.rs

Move Spanned.

2026-03-11 06:25:23 +11:00

multiple_return_terminators.rs

In rustc_mir_tranform, iterate over index newtypes instead of ints

2025-04-12 11:53:07 +00:00

pass_manager.rs

Implement opt-bisect-limit for mir

2026-02-17 21:26:39 +09:00

patch.rs

Simplify new_local.

2025-10-19 02:22:18 +00:00

post_analysis_normalize.rs

fix all errors

2026-04-20 00:18:28 +08:00

post_drop_elaboration.rs

Make check_live_drops into a MirLint.

2024-09-10 09:11:17 +10:00

prettify.rs

Use a closure instead of three chained iterators

2025-04-29 14:58:21 +00:00

promote_consts.rs

Move Spanned.

2026-03-11 06:25:23 +11:00

ref_prop.rs

Comments and docs: add missing periods to "ie."

2026-03-02 18:11:13 -08:00

remove_noop_landing_pads.rs

Remove StatementKind::Deinit.

2025-10-10 12:57:24 +00:00

remove_place_mention.rs

mir-opt: Eliminate dead ref statements

2025-10-02 14:55:50 +08:00

remove_storage_markers.rs

mir-opt: Eliminate dead ref statements

2025-10-02 14:55:50 +08:00

remove_uninit_drops.rs

Apply effects to otherwise edge in dataflow analysis

2025-07-08 18:15:05 -05:00

remove_unneeded_drops.rs

don't try to remove drop_in_place calls in RemoveUnneededDrops

2026-04-10 09:32:35 +02:00

remove_zsts.rs

fix all errors

2026-04-20 00:18:28 +08:00

required_consts.rs

Reformat using the new identifier sorting from rustfmt

2024-09-22 19:11:29 -04:00

sanity_check.rs

Move MirPass to rustc_mir_transform.

2024-09-03 16:03:46 +10:00

shim.rs

fix all errors

2026-04-20 00:18:28 +08:00

simplify_branches.rs

Introduce Operand::RuntimeChecks.

2025-12-14 17:25:53 +00:00

simplify_comparison_integral.rs

Run SimplifyComparisonIntegral with opt-level 2

2026-01-12 18:16:39 +08:00

simplify.rs

Remove StatementKind::Deinit.

2025-10-10 12:57:24 +00:00

single_use_consts.rs

mir-opt: Drop invalid debuginfos after SingleUseConsts.

2026-03-11 05:40:44 +08:00

sroa.rs

fix all errors

2026-04-20 00:18:28 +08:00

ssa_range_prop.rs

Propagates assume

2026-01-08 22:31:15 +08:00

ssa.rs

Improve copy_prop and GVN mir-opt passes to remove fewer storage calls

2026-04-17 16:55:43 +03:00

strip_debuginfo.rs

mir-opt: Drop invalid debuginfos after SingleUseConsts.

2026-03-11 05:40:44 +08:00

trivial_const.rs

refactor(mgca): Change DefKind::Const and DefKind::AssocConst to have a is_type_const flag

2026-02-28 17:27:46 +00:00

unreachable_enum_branching.rs

Revert "Add a workaround for the TailDuplicator compile time overhead"

2026-01-23 18:39:32 +08:00

unreachable_prop.rs

Add assume to single target

2026-02-17 10:11:01 +08:00

validate.rs

fix all errors

2026-04-20 00:18:28 +08:00