bors 2b90614e94 Auto merge of #127036 - cjgillot:sparse-state, r=oli-obk ...

Make jump threading state sparse

Continuation of https://github.com/rust-lang/rust/pull/127024

Both dataflow const-prop and jump threading involve cloning the state vector a lot. This PR replaces the data structure by a sparse vector, considering:
- that jump threading state is typically very sparse (at most 1 or 2 set entries);
- that dataflow const-prop is disabled by default;
- that place/value map is very eager, and prone to creating an overly large state.

The first commit is shared with the previous PR to avoid needless conflicts.

r? `@oli-obk`

2024-07-03 18:52:04 +00:00

..

coroutine

Rename InstanceDef -> InstanceKind

2024-06-16 21:35:21 -04:00

coverage

coverage: Avoid getting extra unexpansion info when we don't need it

2024-06-30 19:05:14 +10:00

inline

Instance::resolve -> Instance::try_resolve, and other nits

2024-07-02 17:28:03 -04:00

shim

Rename InstanceDef -> InstanceKind

2024-06-16 21:35:21 -04:00

abort_unwinding_calls.rs

Remove extern crate rustc_middle from rustc_mir_transform.

2024-05-13 08:20:18 +10:00

add_call_guards.rs

remove redundant imports

2023-12-10 10:56:22 +08:00

add_moves_for_packed_drops.rs

remove redundant imports

2023-12-10 10:56:22 +08:00

add_retag.rs

Use is_lang_item more aggressively

2024-06-14 16:54:29 -04:00

add_subtyping_projections.rs

remove redundant imports

2023-12-10 10:56:22 +08:00

check_alignment.rs

Make builtin_deref just return a Ty

2024-05-09 22:55:00 -04:00

check_const_item_mutation.rs

Rename TyCtxt::emit_spanned_lint as TyCtxt::emit_node_span_lint.

2024-01-23 08:09:05 +11:00

check_packed_ref.rs

Remove extern crate rustc_middle from rustc_mir_transform.

2024-05-13 08:20:18 +10:00

cleanup_post_borrowck.rs

Ban ArrayToPointer and MutToConstPointer from runtime MIR

2024-06-19 10:44:01 -07:00

copy_prop.rs

Merge borrowed locals too.

2024-04-20 19:20:38 +00:00

coroutine.rs

Save 2 pointers in TerminatorKind (96 → 80 bytes)

2024-06-21 18:02:05 -07:00

cost_checker.rs

Avoid MIR bloat in inlining

2024-07-01 05:17:13 -07:00

cross_crate_inline.rs

Remove all checks of IntrinsicDef::must_be_overridden except for the actual overrides in codegen

2024-03-19 09:19:58 +00:00

ctfe_limit.rs

Add blank lines after module-level //! comments.

2024-06-20 09:23:20 +10:00

dataflow_const_prop.rs

remove some amusing but redundant code

2024-06-29 00:48:05 +02:00

dead_store_elimination.rs

Remove extern crate rustc_middle from rustc_mir_transform.

2024-05-13 08:20:18 +10:00

deduce_param_attrs.rs

consistency rename: language item -> lang item

2024-04-17 13:00:43 +02:00

deduplicate_blocks.rs

Merge dead bb pruning and unreachable bb deduplication.

2024-01-07 15:12:10 +00:00

deref_separator.rs

remove redundant imports

2023-12-10 10:56:22 +08:00

dest_prop.rs

Revert "Auto merge of #115105 - cjgillot:dest-prop-default, r=oli-obk"

2024-05-31 00:22:40 +00:00

dump_mir.rs

Show files produced by --emit foo in json artifact notifications

2024-04-19 08:31:41 -04:00

early_otherwise_branch.rs

Don't change the otherwise of the switch

2024-04-08 19:20:07 +08:00

elaborate_box_derefs.rs

Remove extern crate rustc_middle from rustc_mir_transform.

2024-05-13 08:20:18 +10:00

elaborate_drops.rs

Split lifetimes on mir borrowck dataflow

2024-06-26 16:01:44 +00:00

errors.rs

Remove redundant argument from subdiagnostic method

2024-06-18 15:42:11 +00:00

ffi_unwind_calls.rs

Stabilise c_unwind

2024-06-19 13:54:51 +01:00

function_item_references.rs

Rename Unsafe to Safety

2024-05-17 18:33:37 -03:00

gvn.rs

chore: remove duplicate words

2024-07-02 11:25:31 +08:00

inline.rs

Instance::resolve -> Instance::try_resolve, and other nits

2024-07-02 17:28:03 -04:00

instsimplify.rs

Save 2 pointers in TerminatorKind (96 → 80 bytes)

2024-06-21 18:02:05 -07:00

jump_threading.rs

Make jump threading state sparse.

2024-07-01 15:41:21 +00:00

known_panics_lint.rs

MIR visitor: constant -> const_operand

2024-06-13 15:37:13 +02:00

large_enums.rs

Simplify use crate::rustc_foo::bar occurrences.

2024-05-08 16:57:31 +10:00

lib.rs

chore: remove duplicate words

2024-07-02 11:25:31 +08:00

lint.rs

Add blank lines after module-level //! comments.

2024-06-20 09:23:20 +10:00

lower_intrinsics.rs

Save 2 pointers in TerminatorKind (96 → 80 bytes)

2024-06-21 18:02:05 -07:00

lower_slice_len.rs

Replace NormalizeArrayLen with GVN

2024-06-20 22:16:59 -07:00

match_branches.rs

ScalarInt: size mismatches are a bug, do not delay the panic

2024-06-10 13:43:16 +02:00

mentioned_items.rs

Make builtin_deref just return a Ty

2024-05-09 22:55:00 -04:00

multiple_return_terminators.rs

remove redundant imports

2023-12-10 10:56:22 +08:00

nrvo.rs

Revert "Auto merge of #115105 - cjgillot:dest-prop-default, r=oli-obk"

2024-05-31 00:22:40 +00:00

pass_manager.rs

Only split by-ref/by-move futures for async closures

2024-03-19 16:59:23 -04:00

prettify.rs

remove redundant imports

2023-12-10 10:56:22 +08:00

promote_consts.rs

chore: remove duplicate words

2024-07-02 11:25:31 +08:00

ref_prop.rs

Remove extern crate rustc_middle from rustc_mir_transform.

2024-05-13 08:20:18 +10:00

remove_noop_landing_pads.rs

Avoid debug logging entire MIR body

2024-02-15 15:54:28 +01:00

remove_place_mention.rs

remove redundant imports

2023-12-10 10:56:22 +08:00

remove_storage_markers.rs

Move condition enabling the pass to is_enabled

2024-01-23 20:58:44 +01:00

remove_uninit_drops.rs

remove redundant imports

2023-12-10 10:56:22 +08:00

remove_unneeded_drops.rs

Merge dead bb pruning and unreachable bb deduplication.

2024-01-07 15:12:10 +00:00

remove_zsts.rs

Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs

2024-02-06 02:22:58 +00:00

required_consts.rs

MIR visitor: constant -> const_operand

2024-06-13 15:37:13 +02:00

reveal_all.rs

MIR visitor: constant -> const_operand

2024-06-13 15:37:13 +02:00

shim.rs

Fix FnMut/Fn shim for coroutine-closures that capture references

2024-06-29 17:38:02 -04:00

simplify_branches.rs

simplify_branches: add comment

2024-03-24 12:53:03 +01:00

simplify_comparison_integral.rs

ScalarInt: size mismatches are a bug, do not delay the panic

2024-06-10 13:43:16 +02:00

simplify.rs

rustc_index: Add a ZERO constant to index types

2024-04-03 19:06:22 +03:00

single_use_consts.rs

Try keeping a bitset for which locals need debuginfo updates

2024-06-10 00:06:02 -07:00

sroa.rs

Use is_lang_item more aggressively

2024-06-14 16:54:29 -04:00

ssa.rs

Remove extern crate rustc_middle from rustc_mir_transform.

2024-05-13 08:20:18 +10:00

unreachable_enum_branching.rs

Remove extern crate rustc_middle from rustc_mir_transform.

2024-05-13 08:20:18 +10:00

unreachable_prop.rs

Remove extern crate rustc_middle from rustc_mir_transform.

2024-05-13 08:20:18 +10:00

validate.rs

More GVN for PtrMetadata

2024-06-20 22:16:59 -07:00