bors 000ccd651d Auto merge of #148766 - cjgillot:mir-const-runtime-checks, r=RalfJung,saethlin ...

Replace Rvalue::NullaryOp by a variant in mir::Operand.

Based on https://github.com/rust-lang/rust/pull/148151

This PR fully removes the MIR `Rvalue::NullaryOp`. After rust-lang/rust#148151, it was only useful for runtime checks like `ub_checks`, `contract_checks` and `overflow_checks`.

These are "runtime" checks, boolean constants that may only be `true` in codegen. It depends on a rustc flag passed to codegen, so we need to represent those flags cross-crate.

This PR replaces those runtime checks by special variants in MIR `ConstValue`. This allows code that expects constants to manipulate those as such, even if we may not always be able to evaluate them to actual scalars.

2025-12-22 06:58:28 +00:00

..

coroutine

Only load pin field once.

2025-10-24 02:41:50 +00:00

coverage

coverage: Store branch spans in the expansion tree

2025-11-30 18:31:55 +11:00

inline

fixup limit handling code

2025-09-08 15:07:12 -07:00

shim

remove DerefTemp and CopyFromDeref from runtime mir

2025-10-06 10:57:27 -07: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

Remove Retag for Unique

2025-07-21 08:08:41 +00:00

add_subtyping_projections.rs

ProjectionElem::Subtype -> CastKind::Subtype

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

check_alignment.rs

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

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

check_call_recursion.rs

Split impl_(opt_)trait_ref

2025-10-17 08:36:34 -05:00

check_const_item_mutation.rs

Only look at trait impls in the current crate when looking for Drop impls

2025-04-02 07:30:11 +00: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

coverage: Remove all unstable support for MC/DC instrumentation

2025-08-06 22:38:52 +10: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

Turn moves into copies after copy propagation

2025-11-20 19:23:10 +01:00

coroutine.rs

mir_transform: prohibit scalable vectors in async

2025-12-16 11:00:12 +00:00

cost_checker.rs

Reinstate bonus for unused UbChecks.

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

cross_crate_inline.rs

Don't treat asserts as a call in cross-crate inlining

2025-12-18 19:12:09 -05:00

ctfe_limit.rs

Do not invalidate CFG caches in CtfeLimit.

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

dataflow_const_prop.rs

Introduce Operand::RuntimeChecks.

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

dead_store_elimination.rs

show packed alignment in mir_transform_unaligned_packed_ref

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

deduce_param_attrs.rs

Skip parameter attribute deduction for MIR with spread_arg

2025-10-28 23:07:04 +01: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

Introduce indexvec macro.

2025-10-22 00:52:52 +00:00

elaborate_drop.rs

Rollup merge of #148719 - Nadrieril:poly-drop-glue, r=saethlin

2025-11-21 21:34:23 +01: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

Handle inline asm in has_ffi_unwind_calls

2025-11-25 16:01:02 +00:00

ffi_unwind_calls.rs

Handle inline asm in has_ffi_unwind_calls

2025-11-25 16:01:02 +00:00

function_item_references.rs

Introduce Operand::RuntimeChecks.

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

gvn.rs

Auto merge of #148766 - cjgillot:mir-const-runtime-checks, r=RalfJung,saethlin

2025-12-22 06:58:28 +00:00

impossible_predicates.rs

clippy fixes and code simplification

2025-11-02 08:16:38 +00:00

inline.rs

replace SanitizerSet in CodegenFnAttrs by new type

2025-11-06 13:19:08 +01:00

instsimplify.rs

Introduce Operand::RuntimeChecks.

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

jump_threading.rs

Introduce Operand::RuntimeChecks.

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

known_panics_lint.rs

Introduce Operand::RuntimeChecks.

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

large_enums.rs

Remove StatementKind::Deinit.

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

lib.rs

Introduce Operand::RuntimeChecks.

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

lint_tail_expr_drop_order.rs

Use Itertools::all_equal_value() where applicable

2025-09-05 18:43:43 +00:00

lint.rs

Replace Rvalue::NullaryOp by a variant in mir::ConstValue.

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

liveness.rs

Revert "Rollup merge of #149147 - chenyukang:yukang-fix-unused_assignments-macro-gen-147648, r=JonathanBrouwer"

2025-12-04 21:17:40 +01:00

lower_intrinsics.rs

Introduce Operand::RuntimeChecks.

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

lower_slice_len.rs

mir: Add a new method to statement

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

match_branches.rs

mir-opt: Do not transform non-int type in match_branches

2025-05-26 18:15:54 +08:00

mentioned_items.rs

account for safe target features in fndef<->closure and fndef<->fndef coerce-lubs

2025-12-03 14:55:41 +00: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

Introduce MirDumper and MirWriter.

2025-09-01 09:19:03 +10:00

patch.rs

Simplify new_local.

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

post_analysis_normalize.rs

do not emit OpaqueCast projections with -Znext-solver

2025-04-17 12:15:04 +02:00

post_drop_elaboration.rs

…

prettify.rs

Use a closure instead of three chained iterators

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

promote_consts.rs

Update doc.

2025-12-14 17:30:07 +00:00

ref_prop.rs

Auto merge of #145513 - beepster4096:erasedereftemps, r=saethlin,cjgillot

2025-10-12 02:34:20 +00: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

Let RemoveUnneededDrops also remove drop_in_place

2025-08-04 23:54:39 -07:00

remove_zsts.rs

Remove StatementKind::Deinit.

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

required_consts.rs

…

sanity_check.rs

…

shim.rs

erase coroutine shim dereftemps

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

simplify_branches.rs

Introduce Operand::RuntimeChecks.

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

simplify_comparison_integral.rs

Fix comment wording in simplify_comparison_integral.rs

2025-11-25 14:16:14 +08:00

simplify.rs

Remove StatementKind::Deinit.

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

single_use_consts.rs

Inline and replace Statement::replace_nop.

2025-02-18 13:43:43 +11:00

sroa.rs

Introduce Operand::RuntimeChecks.

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

ssa.rs

remove DerefTemp and CopyFromDeref from runtime mir

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

strip_debuginfo.rs

mir-opt: Eliminate dead statements even if they are used by debuginfos

2025-10-02 14:58:59 +08:00

trivial_const.rs

Accept trivial consts based on trivial consts

2025-10-27 13:36:57 -04:00

unreachable_enum_branching.rs

Move MirPatch from rustc_middle to rustc_mir_transform.

2025-02-14 16:15:57 +11:00

unreachable_prop.rs

Rename tests/codegen into tests/codegen-llvm

2025-07-22 14:28:48 +02:00

validate.rs

Replace Rvalue::NullaryOp by a variant in mir::ConstValue.

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