Matthias Krüger 9b7e0af80d

Rollup merge of #116315 - cjgillot:cpl-clean, r=petrochenkov ...

Do not check for impossible predicates in const-prop lint.

The enclosing query already checks for them, and replaces the body with a single `unreachable` if they are indeed impossible.

2023-10-11 20:08:20 +02:00

..

coverage

Rollup merge of #116589 - Zalathar:successors, r=oli-obk

2023-10-10 14:07:47 +02:00

inline

subst -> instantiate

2023-09-26 09:37:55 +02:00

abort_unwinding_calls.rs

…

add_call_guards.rs

…

add_moves_for_packed_drops.rs

…

add_retag.rs

…

add_subtyping_projections.rs

move subtyper change reveal_all

2023-10-05 18:56:30 +03:00

check_alignment.rs

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const

2023-09-21 08:12:30 +02:00

check_const_item_mutation.rs

…

check_packed_ref.rs

…

check_unsafety.rs

Remove mir::LocalDecl::internal.

2023-10-04 17:55:15 +00:00

cleanup_post_borrowck.rs

…

const_debuginfo.rs

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const

2023-09-21 08:12:30 +02:00

const_goto.rs

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const

2023-09-21 08:12:30 +02:00

const_prop_lint.rs

Rename lint pass.

2023-10-01 14:00:07 +00:00

const_prop.rs

Auto merge of #116010 - RalfJung:more-typed-immediates, r=oli-obk

2023-09-21 14:02:55 +00:00

copy_prop.rs

…

ctfe_limit.rs

…

dataflow_const_prop.rs

Auto merge of #116010 - RalfJung:more-typed-immediates, r=oli-obk

2023-09-21 14:02:55 +00:00

dead_store_elimination.rs

Preserve DebugInfo in DeadStoreElimination.

2023-10-06 15:46:11 +00:00

deduce_param_attrs.rs

…

deduplicate_blocks.rs

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const

2023-09-21 08:12:30 +02:00

deref_separator.rs

Remove mir::LocalDecl::internal.

2023-10-04 17:55:15 +00:00

dest_prop.rs

…

dump_mir.rs

…

early_otherwise_branch.rs

add some comments explaining why MIR opts are marked as unsound

2023-10-10 11:17:27 +02:00

elaborate_box_derefs.rs

Remove mir::LocalDecl::internal.

2023-10-04 17:55:15 +00:00

elaborate_drops.rs

Remove mir::LocalDecl::internal.

2023-10-04 17:55:15 +00:00

errors.rs

Do not construct def_path_str for MustNotSuspend.

2023-09-23 13:14:57 +00:00

ffi_unwind_calls.rs

…

function_item_references.rs

…

generator.rs

Remove mir::LocalDecl::internal.

2023-10-04 17:55:15 +00:00

gvn.rs

Also consider call and yield as MIR SSA.

2023-10-08 16:05:26 +00:00

inline.rs

Remove mir::LocalDecl::internal.

2023-10-04 17:55:15 +00:00

instsimplify.rs

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const

2023-09-21 08:12:30 +02:00

large_enums.rs

add some comments explaining why MIR opts are marked as unsound

2023-10-10 11:17:27 +02:00

lib.rs

Rollup merge of #116315 - cjgillot:cpl-clean, r=petrochenkov

2023-10-11 20:08:20 +02:00

lower_intrinsics.rs

Simplify some mir passes by using let chains

2023-10-09 05:22:31 +02:00

lower_slice_len.rs

Simplify some mir passes by using let chains

2023-10-09 05:22:31 +02:00

match_branches.rs

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const

2023-09-21 08:12:30 +02:00

multiple_return_terminators.rs

…

normalize_array_len.rs

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const

2023-09-21 08:12:30 +02:00

nrvo.rs

add some comments explaining why MIR opts are marked as unsound

2023-10-10 11:17:27 +02:00

pass_manager.rs

Generate MIR pass names for profiling on the fly and pass the body DefId as argument

2023-09-13 13:41:19 +02:00

prettify.rs

…

ref_prop.rs

Add global value numbering pass.

2023-09-24 09:09:04 +00:00

remove_noop_landing_pads.rs

…

remove_place_mention.rs

…

remove_storage_markers.rs

…

remove_uninit_drops.rs

…

remove_unneeded_drops.rs

…

remove_zsts.rs

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const

2023-09-21 08:12:30 +02:00

required_consts.rs

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const

2023-09-21 08:12:30 +02:00

reveal_all.rs

move subtyper change reveal_all

2023-10-05 18:56:30 +03:00

separate_const_switch.rs

…

shim.rs

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const

2023-09-21 08:12:30 +02:00

simplify_branches.rs

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const

2023-09-21 08:12:30 +02:00

simplify_comparison_integral.rs

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const

2023-09-21 08:12:30 +02:00

simplify.rs

coverage: Let each coverage statement hold a vector of code regions

2023-10-03 13:03:39 +11:00

sroa.rs

Refactor how MIR represents composite debuginfo.

2023-09-05 17:20:07 +00:00

ssa.rs

Also consider call and yield as MIR SSA.

2023-10-08 16:05:26 +00:00

uninhabited_enum_branching.rs

Simplify some mir passes by using let chains

2023-10-09 05:22:31 +02:00

unreachable_prop.rs

Skip MIR pass UnreachablePropagation when coverage is enabled

2023-09-26 20:18:43 +10:00