rust/tests/mir-opt
bors 43a78029b4 Auto merge of #110837 - scottmcm:offset-for-add, r=compiler-errors
Use MIR's `Offset` for pointer `add` too

~~Status: draft while waiting for #110822 to land, since this is built atop that.~~
~~r? `@ghost~~`

Canonical Rust code has mostly moved to `add`/`sub` on pointers, which take `usize`, instead of `offset` which takes `isize`.  (And, relatedly, when `sub_ptr` was added it turned out it replaced every single in-tree use of `offset_from`, because `usize` is just so much more useful than `isize` in Rust.)

Unfortunately, `intrinsics::offset` could only accept `*const` and `isize`, so there's a *huge* amount of type conversions back and forth being done.  They're identity conversions in the backend, but still end up producing quite a lot of unhelpful MIR.

This PR changes `intrinsics::offset` to accept `*const` *and* `*mut` along with `isize` *and* `usize`.  Conveniently, the backends and CTFE already handle this, since MIR's `BinOp::Offset` [already supports all four combinations](adaac6b166/compiler/rustc_const_eval/src/transform/validate.rs (L523-L528)).

To demonstrate the difference, I added some `mir-opt/pre-codegen/` tests around slice indexing.  Here's the difference to `[T]::get_mut`, since it uses `<*mut _>::add` internally:
```diff
`@@` -79,30 +70,21 `@@` fn slice_get_mut_usize(_1: &mut [u32], _2: usize) -> Option<&mut u32> {
         StorageLive(_12);                // scope 3 at $SRC_DIR/core/src/slice/index.rs:LL:COL
         StorageLive(_9);                 // scope 6 at $SRC_DIR/core/src/slice/index.rs:LL:COL
         _9 = _8 as *mut u32 (PtrToPtr);  // scope 11 at $SRC_DIR/core/src/ptr/mut_ptr.rs:LL:COL
-        StorageLive(_13);                // scope 13 at $SRC_DIR/core/src/ptr/mut_ptr.rs:LL:COL
-        _13 = _2 as isize (IntToInt);    // scope 13 at $SRC_DIR/core/src/ptr/mut_ptr.rs:LL:COL
-        StorageLive(_14);                // scope 15 at $SRC_DIR/core/src/ptr/mut_ptr.rs:LL:COL
-        StorageLive(_15);                // scope 15 at $SRC_DIR/core/src/ptr/mut_ptr.rs:LL:COL
-        _15 = _9 as *const u32 (Pointer(MutToConstPointer)); // scope 15 at $SRC_DIR/core/src/ptr/mut_ptr.rs:LL:COL
-        _14 = Offset(move _15, _13);     // scope 15 at $SRC_DIR/core/src/ptr/mut_ptr.rs:LL:COL
-        StorageDead(_15);                // scope 15 at $SRC_DIR/core/src/ptr/mut_ptr.rs:LL:COL
-        _7 = move _14 as *mut u32 (PtrToPtr); // scope 15 at $SRC_DIR/core/src/ptr/mut_ptr.rs:LL:COL
-        StorageDead(_14);                // scope 15 at $SRC_DIR/core/src/ptr/mut_ptr.rs:LL:COL
-        StorageDead(_13);                // scope 13 at $SRC_DIR/core/src/ptr/mut_ptr.rs:LL:COL
+        _7 = Offset(_9, _2);             // scope 13 at $SRC_DIR/core/src/ptr/mut_ptr.rs:LL:COL
         StorageDead(_9);                 // scope 6 at $SRC_DIR/core/src/slice/index.rs:LL:COL
         StorageDead(_12);                // scope 3 at $SRC_DIR/core/src/slice/index.rs:LL:COL
         StorageDead(_11);                // scope 3 at $SRC_DIR/core/src/slice/index.rs:LL:COL
```
1c1c8e442a (diff-a841b6a4538657add3f39bc895744331453d0625e7aace128b1f604f0b63c8fdR80)
2023-04-28 09:26:59 +00:00
..
building IntoFuture::into_future is no longer unstable 2023-04-26 22:44:18 +00:00
const_prop Add mir-opt tests to track MIR quality. 2023-04-23 17:10:53 +00:00
copy-prop Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
dataflow-const-prop Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
dead-store-elimination Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
deref-patterns Bless tests 2023-04-06 09:34:17 +01:00
dest-prop Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
inline Auto merge of #110705 - saethlin:ignore-locals-cost, r=cjgillot 2023-04-23 15:41:45 +00:00
issues Turn on ConstDebugInfo pass. 2023-04-22 23:41:48 +02:00
nll vars are ? 2023-04-25 19:53:09 +00:00
pre-codegen Also use mir::Offset for pointer add 2023-04-27 22:44:42 -07:00
sroa Update tests. 2023-04-24 16:16:14 +02:00
address_of.address_of_reborrow.SimplifyCfg-initial.after.mir Tweak debug outputs to make debugging new solver easier 2023-04-05 03:18:29 +00:00
address_of.borrow_and_cast.SimplifyCfg-initial.after.mir
address_of.rs
array_index_is_temporary.main.SimplifyCfg-elaborate-drops.after.mir Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
array_index_is_temporary.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
asm_unwind_panic_abort.main.AbortUnwindingCalls.after.mir Bless tests 2023-04-06 09:34:17 +01:00
asm_unwind_panic_abort.rs
basic_assignment.main.ElaborateDrops.diff Bless tests 2023-04-06 09:34:17 +01:00
basic_assignment.main.SimplifyCfg-initial.after.mir Bless tests 2023-04-06 09:34:17 +01:00
basic_assignment.rs
bool_compare.opt1.InstCombine.diff
bool_compare.opt2.InstCombine.diff
bool_compare.opt3.InstCombine.diff
bool_compare.opt4.InstCombine.diff
bool_compare.rs
box_expr.main.ElaborateDrops.before.mir Bless tests 2023-04-06 09:34:17 +01:00
box_expr.rs
byte_slice.main.SimplifyCfg-elaborate-drops.after.mir
byte_slice.rs
casts.redundant.InstCombine.diff
casts.redundant.PreCodegen.after.mir
casts.roundtrip.PreCodegen.after.mir
casts.rs
combine_array_len.norm2.InstCombine.diff
combine_array_len.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
combine_clone_of_primitives.{impl#0}-clone.InstCombine.diff Bless tests 2023-04-06 09:34:17 +01:00
combine_clone_of_primitives.rs
combine_transmutes.adt_transmutes.InstCombine.diff Bless tests 2023-04-06 09:34:17 +01:00
combine_transmutes.identity_transmutes.InstCombine.diff Bless tests 2023-04-06 09:34:17 +01:00
combine_transmutes.integer_transmutes.InstCombine.diff Simplify transmutes in MIR InstCombine 2023-03-28 18:18:10 -07:00
combine_transmutes.rs Simplify transmutes in MIR InstCombine 2023-03-28 18:18:10 -07:00
const_allocation2.main.ConstProp.after.32bit.mir
const_allocation2.main.ConstProp.after.64bit.mir
const_allocation2.rs
const_allocation3.main.ConstProp.after.32bit.mir
const_allocation3.main.ConstProp.after.64bit.mir
const_allocation3.rs
const_allocation.main.ConstProp.after.32bit.mir
const_allocation.main.ConstProp.after.64bit.mir
const_allocation.rs
const_debuginfo.main.ConstDebugInfo.diff
const_debuginfo.rs
const_goto_const_eval_fail.f.ConstGoto.diff
const_goto_const_eval_fail.rs
const_goto_storage.match_nested_if.ConstGoto.diff
const_goto_storage.rs
const_goto.issue_77355_opt.ConstGoto.diff
const_goto.rs
const_promotion_extern_static.BAR-promoted[0].SimplifyCfg-elaborate-drops.after.mir
const_promotion_extern_static.BAR.PromoteTemps.diff
const_promotion_extern_static.BOP.built.after.mir
const_promotion_extern_static.FOO-promoted[0].SimplifyCfg-elaborate-drops.after.mir Run check_match and check_liveness when MIR is built instead of having an explicit phase for them 2023-04-21 22:32:38 +00:00
const_promotion_extern_static.FOO.PromoteTemps.diff Run check_match and check_liveness when MIR is built instead of having an explicit phase for them 2023-04-21 22:32:38 +00:00
const_promotion_extern_static.rs
const_prop_miscompile.bar.ConstProp.diff
const_prop_miscompile.foo.ConstProp.diff
const_prop_miscompile.rs
coverage_graphviz.bar.InstrumentCoverage.0.dot
coverage_graphviz.main.InstrumentCoverage.0.dot
coverage_graphviz.rs
deduplicate_blocks.is_line_doc_comment_2.DeduplicateBlocks.diff Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
deduplicate_blocks.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
derefer_complex_case.main.Derefer.diff
derefer_complex_case.rs
derefer_inline_test.main.Derefer.diff Bless tests 2023-04-06 09:34:17 +01:00
derefer_inline_test.rs
derefer_terminator_test.main.Derefer.diff
derefer_terminator_test.rs
derefer_test_multiple.main.Derefer.diff
derefer_test_multiple.rs
derefer_test.main.Derefer.diff
derefer_test.rs
dont_yeet_assert.generic.InstCombine.diff Bless tests 2023-04-06 09:34:17 +01:00
dont_yeet_assert.rs
early_otherwise_branch_3_element_tuple.opt1.EarlyOtherwiseBranch.diff
early_otherwise_branch_3_element_tuple.rs
early_otherwise_branch_68867.rs
early_otherwise_branch_68867.try_sum.EarlyOtherwiseBranch.diff
early_otherwise_branch_noopt.noopt1.EarlyOtherwiseBranch.diff
early_otherwise_branch_noopt.rs
early_otherwise_branch_soundness.no_deref_ptr.EarlyOtherwiseBranch.diff
early_otherwise_branch_soundness.no_downcast.EarlyOtherwiseBranch.diff
early_otherwise_branch_soundness.rs
early_otherwise_branch.opt1.EarlyOtherwiseBranch.diff
early_otherwise_branch.opt2.EarlyOtherwiseBranch.diff
early_otherwise_branch.opt3.EarlyOtherwiseBranch.diff
early_otherwise_branch.rs
enum_opt.cand.EnumSizeOpt.32bit.diff
enum_opt.cand.EnumSizeOpt.64bit.diff
enum_opt.invalid.EnumSizeOpt.32bit.diff
enum_opt.invalid.EnumSizeOpt.64bit.diff
enum_opt.rs
enum_opt.trunc.EnumSizeOpt.32bit.diff
enum_opt.trunc.EnumSizeOpt.64bit.diff
enum_opt.unin.EnumSizeOpt.32bit.diff
enum_opt.unin.EnumSizeOpt.64bit.diff
equal_true.opt.InstCombine.diff
equal_true.rs
exponential_or.match_tuple.SimplifyCfg-initial.after.mir
exponential_or.rs
fn_ptr_shim.core.ops-function-Fn-call.AddMovesForPackedDrops.before.mir
fn_ptr_shim.rs
funky_arms.float_to_exponential_common.ConstProp.diff Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
funky_arms.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
generator_drop_cleanup.main-{closure#0}.generator_drop.0.mir
generator_drop_cleanup.rs
generator_storage_dead_unwind.main-{closure#0}.StateTransform.before.mir Bless tests 2023-04-06 09:34:17 +01:00
generator_storage_dead_unwind.rs
generator_tiny.main-{closure#0}.generator_resume.0.mir Bless tests 2023-04-06 09:34:17 +01:00
generator_tiny.rs
graphviz.main.built.after.dot
graphviz.rs
if_condition_int.dont_opt_bool.SimplifyComparisonIntegral.diff
if_condition_int.dont_opt_floats.SimplifyComparisonIntegral.diff
if_condition_int.dont_remove_comparison.SimplifyComparisonIntegral.diff
if_condition_int.opt_char.SimplifyComparisonIntegral.diff
if_condition_int.opt_i8.SimplifyComparisonIntegral.diff
if_condition_int.opt_multiple_ifs.SimplifyComparisonIntegral.diff
if_condition_int.opt_negative.SimplifyComparisonIntegral.diff
if_condition_int.opt_u32.SimplifyComparisonIntegral.diff
if_condition_int.rs
instcombine_duplicate_switch_targets.assert_zero.InstCombine.diff Remove duplicate switch targets 2023-03-18 14:29:13 -04:00
instcombine_duplicate_switch_targets.rs Remove duplicate switch targets 2023-03-18 14:29:13 -04:00
instrument_coverage.bar.InstrumentCoverage.diff
instrument_coverage.main.InstrumentCoverage.diff Bless tests 2023-04-06 09:34:17 +01:00
instrument_coverage.rs
intrinsic_asserts.generic.InstCombine.diff Bless tests 2023-04-06 09:34:17 +01:00
intrinsic_asserts.panics.InstCombine.diff Bless tests 2023-04-06 09:34:17 +01:00
intrinsic_asserts.removable.InstCombine.diff Bless tests 2023-04-06 09:34:17 +01:00
intrinsic_asserts.rs
issue_38669.main.SimplifyCfg-initial.after.mir Bless tests 2023-04-06 09:34:17 +01:00
issue_38669.rs
issue_41110.main.ElaborateDrops.diff Bless tests 2023-04-06 09:34:17 +01:00
issue_41110.rs
issue_41110.test.ElaborateDrops.diff Bless tests 2023-04-06 09:34:17 +01:00
issue_41697.{impl#0}-{constant#0}.SimplifyCfg-promote-consts.after.mir
issue_41697.rs
issue_41888.main.ElaborateDrops.diff Bless tests 2023-04-06 09:34:17 +01:00
issue_41888.rs
issue_62289.rs
issue_62289.test.ElaborateDrops.before.mir Bless tests 2023-04-06 09:34:17 +01:00
issue_72181_1.f.built.after.mir
issue_72181_1.main.built.after.mir Tweak debug outputs to make debugging new solver easier 2023-04-05 03:18:29 +00:00
issue_72181_1.rs
issue_72181.bar.built.after.mir
issue_72181.foo.built.after.mir
issue_72181.main.built.after.mir
issue_72181.rs
issue_76432.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
issue_76432.test.SimplifyComparisonIntegral.diff
issue_78192.f.InstCombine.diff
issue_78192.rs
issue_91633.bar.built.after.mir Bless tests 2023-04-06 09:34:17 +01:00
issue_91633.foo.built.after.mir Bless tests 2023-04-06 09:34:17 +01:00
issue_91633.fun.built.after.mir
issue_91633.hey.built.after.mir
issue_91633.rs
issue_99325.main.built.after.mir Bless mir-opt. 2023-04-20 18:03:32 +00:00
issue_99325.rs
issue_101973.inner.ConstProp.diff Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
issue_101973.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
issue_104451_unwindable_intrinsics.main.AbortUnwindingCalls.after.mir Add regression test 2023-04-13 12:35:12 +01:00
issue_104451_unwindable_intrinsics.rs Add regression test 2023-04-13 12:35:12 +01:00
loop_test.main.SimplifyCfg-promote-consts.after.mir Bless tests 2023-04-06 09:34:17 +01:00
loop_test.rs
lower_array_len.array_bound_mut.NormalizeArrayLen.diff
lower_array_len.array_bound.NormalizeArrayLen.diff
lower_array_len.array_len_by_value.NormalizeArrayLen.diff
lower_array_len.array_len_raw.NormalizeArrayLen.diff
lower_array_len.array_len_reborrow.NormalizeArrayLen.diff
lower_array_len.array_len.NormalizeArrayLen.diff
lower_array_len.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
lower_intrinsics.align_of.LowerIntrinsics.diff Bless tests 2023-04-06 09:34:17 +01:00
lower_intrinsics.assume.LowerIntrinsics.diff Bless tests 2023-04-12 14:05:05 +01:00
lower_intrinsics.discriminant.LowerIntrinsics.diff Bless tests 2023-04-06 09:34:17 +01:00
lower_intrinsics.f_copy_nonoverlapping.LowerIntrinsics.diff Bless tests 2023-04-12 14:05:05 +01:00
lower_intrinsics.forget.LowerIntrinsics.diff Bless tests 2023-04-06 09:34:17 +01:00
lower_intrinsics.non_const.LowerIntrinsics.diff Bless tests 2023-04-06 09:34:17 +01:00
lower_intrinsics.option_payload.LowerIntrinsics.diff Bless tests 2023-04-12 14:05:05 +01:00
lower_intrinsics.ptr_offset.LowerIntrinsics.diff Also use mir::Offset for pointer add 2023-04-27 22:44:42 -07:00
lower_intrinsics.read_via_copy_primitive.LowerIntrinsics.diff Bless tests 2023-04-12 14:05:05 +01:00
lower_intrinsics.read_via_copy_uninhabited.LowerIntrinsics.diff Bless tests 2023-04-12 14:05:05 +01:00
lower_intrinsics.rs Lower intrinsics::offset to mir::BinOp::Offset 2023-04-25 19:23:45 -07:00
lower_intrinsics.size_of.LowerIntrinsics.diff Bless tests 2023-04-06 09:34:17 +01:00
lower_intrinsics.transmute_inhabited.LowerIntrinsics.diff Bless tests 2023-04-06 09:34:17 +01:00
lower_intrinsics.transmute_ref_dst.LowerIntrinsics.diff Bless tests 2023-04-06 09:34:17 +01:00
lower_intrinsics.transmute_to_box_uninhabited.LowerIntrinsics.diff Bless tests 2023-04-06 09:34:17 +01:00
lower_intrinsics.transmute_to_mut_uninhabited.LowerIntrinsics.diff Bless tests 2023-04-06 09:34:17 +01:00
lower_intrinsics.transmute_to_ref_uninhabited.LowerIntrinsics.diff Bless tests 2023-04-06 09:34:17 +01:00
lower_intrinsics.transmute_uninhabited.LowerIntrinsics.diff Bless tests 2023-04-06 09:34:17 +01:00
lower_intrinsics.unreachable.LowerIntrinsics.diff Bless tests 2023-04-06 09:34:17 +01:00
lower_intrinsics.with_overflow.LowerIntrinsics.diff Bless tests 2023-04-12 14:05:05 +01:00
lower_intrinsics.wrapping.LowerIntrinsics.diff Bless tests 2023-04-06 09:34:17 +01:00
lower_slice_len.bound.LowerSliceLenCalls.diff Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
lower_slice_len.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
match_arm_scopes.complicated_match.SimplifyCfg-initial.after-ElaborateDrops.after.diff Bless tests 2023-04-06 09:34:17 +01:00
match_arm_scopes.rs
match_test.main.SimplifyCfg-initial.after.mir
match_test.rs
matches_reduce_branches.bar.MatchBranchSimplification.diff
matches_reduce_branches.foo.MatchBranchSimplification.diff
matches_reduce_branches.match_nested_if.MatchBranchSimplification.diff
matches_reduce_branches.rs
matches_u8.exhaustive_match_i8.MatchBranchSimplification.diff
matches_u8.exhaustive_match.MatchBranchSimplification.diff
matches_u8.rs
multiple_return_terminators.rs
multiple_return_terminators.test.MultipleReturnTerminators.diff
no_drop_for_inactive_variant.rs
no_drop_for_inactive_variant.unwrap.SimplifyCfg-elaborate-drops.after.mir
no_spurious_drop_after_call.main.ElaborateDrops.before.mir Bless tests 2023-04-06 09:34:17 +01:00
no_spurious_drop_after_call.rs
not_equal_false.opt.InstCombine.diff
not_equal_false.rs
nrvo_simple.nrvo.RenameReturnPlace.diff
nrvo_simple.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
packed_struct_drop_aligned.main.SimplifyCfg-elaborate-drops.after.mir Bless tests 2023-04-06 09:34:17 +01:00
packed_struct_drop_aligned.rs
README.md
remove_fake_borrows.match_guard.CleanupPostBorrowck.diff
remove_fake_borrows.rs
remove_never_const.no_codegen.PreCodegen.after.mir
remove_never_const.rs
remove_storage_markers.main.RemoveStorageMarkers.diff Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
remove_storage_markers.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
remove_unneeded_drops.cannot_opt_generic.RemoveUnneededDrops.diff
remove_unneeded_drops.dont_opt.RemoveUnneededDrops.diff
remove_unneeded_drops.opt_generic_copy.RemoveUnneededDrops.diff
remove_unneeded_drops.opt.RemoveUnneededDrops.diff
remove_unneeded_drops.rs
remove_zsts.get_union.PreCodegen.after.mir
remove_zsts.get_union.RemoveZsts.diff
remove_zsts.rs
retag.{impl#0}-foo_shr.SimplifyCfg-elaborate-drops.after.mir
retag.{impl#0}-foo.SimplifyCfg-elaborate-drops.after.mir
retag.array_casts.SimplifyCfg-elaborate-drops.after.mir
retag.core.ptr-drop_in_place.Test.SimplifyCfg-make_shim.after.mir
retag.main-{closure#0}.SimplifyCfg-elaborate-drops.after.mir
retag.main.SimplifyCfg-elaborate-drops.after.mir Bless tests 2023-04-06 09:34:17 +01:00
retag.rs
return_an_array.rs
separate_const_switch.identity.SeparateConstSwitch.diff
separate_const_switch.rs
separate_const_switch.too_complex.SeparateConstSwitch.diff Remove duplicate unreachable blocks 2023-03-18 14:29:04 -04:00
simplify_arm_identity.rs Add some reasons why tests are ignored. 2023-04-15 16:11:42 -07:00
simplify_arm.id_try.SimplifyArmIdentity.diff
simplify_arm.id_try.SimplifyBranchSame.diff
simplify_arm.rs Add some reasons why tests are ignored. 2023-04-15 16:11:42 -07:00
simplify_cfg.main.SimplifyCfg-early-opt.diff
simplify_cfg.main.SimplifyCfg-initial.diff Bless tests 2023-04-06 09:34:17 +01:00
simplify_cfg.rs
simplify_duplicate_unreachable_blocks.assert_nonzero_nonmax.SimplifyCfg-after-uninhabited-enum-branching.diff Remove duplicate unreachable blocks 2023-03-18 14:29:04 -04:00
simplify_duplicate_unreachable_blocks.rs Remove duplicate unreachable blocks 2023-03-18 14:29:04 -04:00
simplify_if.main.SimplifyConstCondition-after-const-prop.diff Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
simplify_if.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
simplify_locals_fixedpoint.foo.SimplifyLocals-final.diff
simplify_locals_fixedpoint.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
simplify_locals_removes_unused_consts.main.SimplifyLocals-before-const-prop.diff Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
simplify_locals_removes_unused_consts.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
simplify_locals_removes_unused_discriminant_reads.map.SimplifyLocals-before-const-prop.diff
simplify_locals_removes_unused_discriminant_reads.rs
simplify_locals.c.SimplifyLocals-before-const-prop.diff
simplify_locals.d1.SimplifyLocals-before-const-prop.diff
simplify_locals.d2.SimplifyLocals-before-const-prop.diff
simplify_locals.expose_addr.SimplifyLocals-before-const-prop.diff
simplify_locals.r.SimplifyLocals-before-const-prop.diff
simplify_locals.rs
simplify_locals.t1.SimplifyLocals-before-const-prop.diff
simplify_locals.t2.SimplifyLocals-before-const-prop.diff
simplify_locals.t3.SimplifyLocals-before-const-prop.diff
simplify_locals.t4.SimplifyLocals-before-const-prop.diff
simplify_match.main.ConstProp.diff Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
simplify_match.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
simplify_try_if_let.{impl#0}-append.SimplifyArmIdentity.diff
simplify_try_if_let.rs
slice_drop_shim.core.ptr-drop_in_place.[String].AddMovesForPackedDrops.before.mir Bless tests 2023-04-06 09:34:17 +01:00
slice_drop_shim.rs
slice_filter.rs
slice_filter.variant_a-{closure#0}.CopyProp.diff
slice_filter.variant_a-{closure#0}.DestinationPropagation.diff
slice_filter.variant_b-{closure#0}.CopyProp.diff
slice_filter.variant_b-{closure#0}.DestinationPropagation.diff
spanview_block.main.built.after.html
spanview_block.rs
spanview_statement.main.built.after.html
spanview_statement.rs
spanview_terminator.main.built.after.html
spanview_terminator.rs
storage_ranges.main.nll.0.mir vars are ? 2023-04-25 19:53:09 +00:00
storage_ranges.rs
tls_access.main.PreCodegen.after.mir
tls_access.rs
uninhabited_enum_branching2.main.SimplifyCfg-after-uninhabited-enum-branching.after.mir Remove duplicate unreachable blocks 2023-03-18 14:29:04 -04:00
uninhabited_enum_branching2.main.UninhabitedEnumBranching.diff Remove duplicate unreachable blocks 2023-03-18 14:29:04 -04:00
uninhabited_enum_branching2.rs
uninhabited_enum_branching.main.SimplifyCfg-after-uninhabited-enum-branching.after.mir Remove duplicate unreachable blocks 2023-03-18 14:29:04 -04:00
uninhabited_enum_branching.main.UninhabitedEnumBranching.diff Remove duplicate unreachable blocks 2023-03-18 14:29:04 -04:00
uninhabited_enum_branching.rs
uninhabited_enum.process_never.SimplifyLocals-final.after.mir
uninhabited_enum.process_void.SimplifyLocals-final.after.mir
uninhabited_enum.rs
uninhabited_fallthrough_elimination.eliminate_fallthrough.UninhabitedEnumBranching.diff
uninhabited_fallthrough_elimination.keep_fallthrough.UninhabitedEnumBranching.diff
uninhabited_fallthrough_elimination.rs
unreachable_diverging.main.UnreachablePropagation.diff Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
unreachable_diverging.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
unreachable.main.UnreachablePropagation.diff Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
unreachable.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
unusual_item_types.{impl#0}-ASSOCIATED_CONSTANT.built.after.mir
unusual_item_types.core.ptr-drop_in_place.Vec_i32_.AddMovesForPackedDrops.before.mir Bless tests 2023-04-06 09:34:17 +01:00
unusual_item_types.E-V-{constant#0}.built.after.mir
unusual_item_types.rs
unusual_item_types.Test-X-{constructor#0}.built.after.mir
while_let_loops.change_loop_body.ConstProp.diff
while_let_loops.change_loop_body.PreCodegen.after.mir
while_let_loops.rs
while_storage.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
while_storage.while_loop.PreCodegen.after.mir Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00

This folder contains tests for MIR optimizations.

The mir-opt test format emits MIR to extra files that you can automatically update by specifying --bless on the command line (just like ui tests updating .stderr files).

--blessable test format

By default 32 bit and 64 bit targets use the same dump files, which can be problematic in the presence of pointers in constants or other bit width dependent things. In that case you can add

// EMIT_MIR_FOR_EACH_BIT_WIDTH

to your test, causing separate files to be generated for 32bit and 64bit systems.

Unit testing

If you are only testing the behavior of a particular mir-opt pass on some specific input (as is usually the case), you should add

// unit-test: PassName

to the top of the file. This makes sure that other passes don't run which means you'll get the input you expected and your test won't break when other code changes.

Emit a diff of the mir for a specific optimization

This is what you want most often when you want to see how an optimization changes the MIR.

// EMIT_MIR $file_name_of_some_mir_dump.diff

Emit mir after a specific optimization

Use this if you are just interested in the final state after an optimization.

// EMIT_MIR $file_name_of_some_mir_dump.after.mir

Emit mir before a specific optimization

This exists mainly for completeness and is rarely useful.

// EMIT_MIR $file_name_of_some_mir_dump.before.mir