bors 089677eb32 Auto merge of #111813 - scottmcm:pretty-mir, r=cjgillot ...

MIR: opt-in normalization of `BasicBlock` and `Local` numbering

This doesn't matter at all for actual codegen, but after spending some time reading pre-codegen MIR, I was wishing I didn't have to jump around so much in reading post-inlining code.

So this add two passes that are off by default for every mir level, but can be enabled (`-Zmir-enable-passes=+ReorderBasicBlocks,+ReorderLocals`) for humans.

2023-05-28 21:53:56 +00:00

..

coverage

Rollup merge of #111121 - Zalathar:ra-false-positive, r=jackh726

2023-05-24 21:36:56 +02:00

inline

Replace EarlyBinder(x) with EarlyBinder::new(x)

2023-05-28 10:44:50 -06:00

abort_unwinding_calls.rs

…

add_call_guards.rs

Split {Idx, IndexVec, IndexSlice} into their own modules

2023-04-24 13:53:35 +00:00

add_moves_for_packed_drops.rs

Remove DesugaringKind::Replace.

2023-05-25 17:40:46 +00:00

add_retag.rs

Spelling - compiler

2023-04-17 16:09:18 -04:00

check_alignment.rs

Exclude Rvalue::AddressOf for raw pointer deref alignment checks

2023-05-27 14:54:15 -04:00

check_const_item_mutation.rs

Migrate mir_transform to translatable diagnostics

2023-05-02 16:24:18 +01:00

check_packed_ref.rs

Migrate mir_transform to translatable diagnostics

2023-05-02 16:24:18 +01:00

check_unsafety.rs

Move expansion of query macros in rustc_middle to rustc_middle::query

2023-05-15 08:49:13 +02:00

cleanup_post_borrowck.rs

Actually keep PlaceMention if requested.

2023-04-21 21:34:59 +00:00

const_debuginfo.rs

Split {Idx, IndexVec, IndexSlice} into their own modules

2023-04-24 13:53:35 +00:00

const_goto.rs

…

const_prop_lint.rs

Use Option::is_some_and and Result::is_ok_and in the compiler

2023-05-24 14:20:41 +00:00

const_prop.rs

Propagate PlaceElem::Index.

2023-05-07 11:10:52 +00:00

copy_prop.rs

Merge return place with other locals in CopyProp.

2023-05-14 12:06:34 +00:00

ctfe_limit.rs

Simplify back-edge logic.

2023-05-17 12:18:55 +00:00

dataflow_const_prop.rs

Extract handle_set_discriminant.

2023-05-09 17:27:58 +00:00

dead_store_elimination.rs

Actually keep PlaceMention if requested.

2023-04-21 21:34:59 +00:00

deduce_param_attrs.rs

allow mutating function args through &raw const

2023-05-13 00:00:51 +02:00

deduplicate_blocks.rs

…

deref_separator.rs

Split {Idx, IndexVec, IndexSlice} into their own modules

2023-04-24 13:53:35 +00:00

dest_prop.rs

Actually keep PlaceMention if requested.

2023-04-21 21:34:59 +00:00

dump_mir.rs

Profile MIR passes.

2023-05-15 20:27:12 +00:00

early_otherwise_branch.rs

…

elaborate_box_derefs.rs

Split {Idx, IndexVec, IndexSlice} into their own modules

2023-04-24 13:53:35 +00:00

elaborate_drops.rs

Remove DesugaringKind::Replace.

2023-05-25 17:40:46 +00:00

errors.rs

Migrate mir_transform to translatable diagnostics

2023-05-02 16:24:18 +01:00

ffi_unwind_calls.rs

Move expansion of query macros in rustc_middle to rustc_middle::query

2023-05-15 08:49:13 +02:00

function_item_references.rs

Replace EarlyBinder(x) with EarlyBinder::new(x)

2023-05-28 10:44:50 -06:00

generator.rs

Remove DesugaringKind::Replace.

2023-05-25 17:40:46 +00:00

inline.rs

Replace EarlyBinder(x) with EarlyBinder::new(x)

2023-05-28 10:44:50 -06:00

instsimplify.rs

Stop turning transmutes into discriminants in mir-opt

2023-05-14 11:46:07 -07:00

large_enums.rs

Use param_env_reveal_all_normalized in MIR opts.

2023-04-23 10:04:41 +00:00

lib.rs

MIR: opt-in normalization of BasicBlock and Local numbering

2023-05-21 17:48:36 -07:00

lower_intrinsics.rs

Rollup merge of #111004 - clubby789:migrate-mir-transform, r=oli-obk

2023-05-08 09:30:22 -07:00

lower_slice_len.rs

Split {Idx, IndexVec, IndexSlice} into their own modules

2023-04-24 13:53:35 +00:00

match_branches.rs

Try enabling MatchBranchSimplification

2023-05-27 13:50:13 -04:00

multiple_return_terminators.rs

…

normalize_array_len.rs

Do not consider borrowed Freeze locals as SSA.

2023-05-09 17:59:35 +00:00

nrvo.rs

Use Option::is_some_and and Result::is_ok_and in the compiler

2023-05-24 14:20:41 +00:00

pass_manager.rs

Profile MIR passes.

2023-05-15 20:27:12 +00:00

prettify.rs

PR feedback: better comments and debug asserts

2023-05-21 17:48:37 -07:00

ref_prop.rs

Do not ICE on deeply nested borrows.

2023-05-13 10:29:05 +00:00

remove_noop_landing_pads.rs

…

remove_place_mention.rs

Actually keep PlaceMention if requested.

2023-04-21 21:34:59 +00:00

remove_storage_markers.rs

…

remove_uninit_drops.rs

…

remove_unneeded_drops.rs

…

remove_zsts.rs

…

required_consts.rs

…

reveal_all.rs

Also reveal constants before MIR opts.

2023-04-23 10:04:41 +00:00

separate_const_switch.rs

offset_of

2023-04-21 02:14:02 -07:00

shim.rs

Make EarlyBinder's inner value private; and fix all of the resulting errors

2023-05-28 10:44:53 -06:00

simplify_branches.rs

Use param_env_reveal_all_normalized in MIR opts.

2023-04-23 10:04:41 +00:00

simplify_comparison_integral.rs

Use param_env_reveal_all_normalized in MIR opts.

2023-04-23 10:04:41 +00:00

simplify.rs

Profile MIR passes.

2023-05-15 20:27:12 +00:00

sroa.rs

Split {Idx, IndexVec, IndexSlice} into their own modules

2023-04-24 13:53:35 +00:00

ssa.rs

Do not clone dominator tree for SSA analysis.

2023-05-17 12:17:33 +00:00

uninhabited_enum_branching.rs

Use param_env_reveal_all_normalized in MIR opts.

2023-04-23 10:04:41 +00:00

unreachable_prop.rs

Fix typos in compiler

2023-04-10 22:02:52 +02:00