bors 3cd97ed3c3 Auto merge of #115612 - cjgillot:const-prop-int, r=oli-obk ...

Improvements to dataflow const-prop

Partially cherry-picked from https://github.com/rust-lang/rust/pull/110719

r? `@oli-obk`
cc `@jachris`

2023-09-08 15:32:54 +00:00

..

coverage

coverage: In the visitor, track max counter/expression IDs without +1

2023-09-07 18:06:13 +10:00

inline

refactor(rustc_middle): Substs -> GenericArg

2023-07-14 13:27:35 +01:00

abort_unwinding_calls.rs

when terminating during unwinding, show the reason why

2023-08-24 13:28:26 +02:00

add_call_guards.rs

when terminating during unwinding, show the reason why

2023-08-24 13:28:26 +02:00

add_moves_for_packed_drops.rs

Remove DesugaringKind::Replace.

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

add_retag.rs

cleanup misinformation regarding has_deref

2023-08-06 17:29:09 +03:00

check_alignment.rs

Move TyCtxt::mk_x to Ty::new_x where applicable

2023-07-05 20:27:07 +01: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

fix #115348

2023-09-06 17:46:46 +08:00

cleanup_post_borrowck.rs

…

const_debuginfo.rs

…

const_goto.rs

Disable two mir opts that are known to be unsound

2023-06-21 07:41:09 +00:00

const_prop_lint.rs

fix: return ealry when has tainted in mir-lint

2023-09-08 09:30:23 +08:00

const_prop.rs

interpret: make MemPlace, Place, Operand types private to the interpreter

2023-09-04 17:53:38 +02:00

copy_prop.rs

cleanup misinformation regarding has_deref

2023-08-06 17:29:09 +03:00

ctfe_limit.rs

Simplify back-edge logic.

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

dataflow_const_prop.rs

Propagate PlaceElem::Index.

2023-09-06 16:09:31 +00:00

dead_store_elimination.rs

Only check packed ADT.

2023-08-24 15:42:55 +00:00

deduce_param_attrs.rs

Normalize before checking if local is freeze in deduced_param_attrs

2023-08-17 14:33:24 -07:00

deduplicate_blocks.rs

…

deref_separator.rs

Avoid cloning LocalDecls.

2023-06-29 11:53:41 +10:00

dest_prop.rs

when terminating during unwinding, show the reason why

2023-08-24 13:28:26 +02:00

dump_mir.rs

Write to stdout if - is given as output file

2023-06-06 17:53:29 -04:00

early_otherwise_branch.rs

Re-format let-else per rustfmt update

2023-07-12 21:49:27 -04:00

elaborate_box_derefs.rs

refactor(rustc_middle): Substs -> GenericArg

2023-07-14 13:27:35 +01:00

elaborate_drops.rs

when terminating during unwinding, show the reason why

2023-08-24 13:28:26 +02:00

errors.rs

Don't report any errors in lower_intrinsics. They should have been typecked before.

2023-09-06 09:38:15 +00:00

ffi_unwind_calls.rs

feat: riscv-interrupt-{m,s} calling conventions

2023-08-08 18:09:56 -07:00

function_item_references.rs

inline format!() args from rustc_codegen_llvm to the end (4)

2023-07-25 23:20:28 +02:00

generator.rs

Take &mut Results in ResultsVisitor

2023-09-02 19:35:51 -04:00

inline.rs

Fix inlining with -Zalways-encode-mir

2023-08-27 23:52:27 +02:00

instsimplify.rs

inline format!() args from rustc_codegen_llvm to the end (4)

2023-07-25 23:20:28 +02:00

large_enums.rs

refactor(rustc_middle): Substs -> GenericArg

2023-07-14 13:27:35 +01:00

lib.rs

Added comment on reason for method being public

2023-08-08 17:36:30 +02:00

lower_intrinsics.rs

Don't report any errors in lower_intrinsics. They should have been typecked before.

2023-09-06 09:38:15 +00:00

lower_slice_len.rs

Better error for non const PartialEq call generated by match

2023-06-18 05:24:38 +00:00

match_branches.rs

inline format!() args from rustc_codegen_llvm to the end (4)

2023-07-25 23:20:28 +02:00

multiple_return_terminators.rs

inline format!() args from rustc_codegen_llvm to the end (4)

2023-07-25 23:20:28 +02:00

normalize_array_len.rs

Rename adjustment::PointerCast and variants using it to PointerCoercion

2023-07-07 18:17:16 +02:00

nrvo.rs

inline format!() args from rustc_codegen_llvm to the end (4)

2023-07-25 23:20:28 +02:00

pass_manager.rs

inline format!() args from rustc_codegen_llvm to the end (4)

2023-07-25 23:20:28 +02:00

prettify.rs

make reorder BB pass use cached RPO

2023-06-14 20:08:04 +00:00

ref_prop.rs

Revert "Implement references VarDebugInfo."

2023-08-17 17:02:04 +00:00

remove_noop_landing_pads.rs

when terminating during unwinding, show the reason why

2023-08-24 13:28:26 +02:00

remove_place_mention.rs

…

remove_storage_markers.rs

…

remove_uninit_drops.rs

Rename MaybeUnreachable.

2023-08-16 18:12:18 +00:00

remove_unneeded_drops.rs

inline format!() args from rustc_codegen_llvm to the end (4)

2023-07-25 23:20:28 +02:00

remove_zsts.rs

Refactor how MIR represents composite debuginfo.

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

required_consts.rs

Only rewrite valtree-constants to patterns and keep other constants opaque

2023-05-31 14:02:57 +00:00

reveal_all.rs

…

separate_const_switch.rs

when terminating during unwinding, show the reason why

2023-08-24 13:28:26 +02:00

shim.rs

when terminating during unwinding, show the reason why

2023-08-24 13:28:26 +02:00

simplify_branches.rs

…

simplify_comparison_integral.rs

…

simplify.rs

Re-format let-else per rustfmt update

2023-07-12 21:49:27 -04:00

sroa.rs

Refactor how MIR represents composite debuginfo.

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

ssa.rs

Re-format let-else per rustfmt update

2023-07-12 21:49:27 -04:00

uninhabited_enum_branching.rs

Re-format let-else per rustfmt update

2023-07-12 21:49:27 -04:00

unreachable_prop.rs

…