rust/tests/mir-opt
bors 6db1e5e771 Auto merge of #111010 - scottmcm:mem-replace-simpler, r=WaffleLapkin
Make `mem::replace` simpler in codegen

Since they'd mentioned more intrinsics for simplifying stuff recently,
r? `@WaffleLapkin`

This is a continuation of me looking at foundational stuff that ends up with more instructions than it really needs.  Specifically I noticed this one because `Range::next` isn't MIR-inlining, and one of the largest parts of it is a `replace::<usize>` that's a good dozen instructions instead of the two it could be.

So this means that `ptr::write` with a `Copy` type no longer generates worse IR than manually dereferencing (well, at least in LLVM -- MIR still has bonus pointer casts), and in doing so means that we're finally down to just the two essential `memcpy`s when emitting `mem::replace` for a large type, rather than the bonus-`alloca` and three `memcpy`s we emitted before this ([or the 6 we currently emit in 1.69 stable](https://rust.godbolt.org/z/67W8on6nP)).  That said, LLVM does _usually_ manage to optimize the extra code away.  But it's still nice for it not to have to do as much, thanks to (for example) not going through an `alloca` when `replace`ing a primitive like a `usize`.

(This is a new intrinsic, but one that's immediately lowered to existing MIR constructs, so not anything that MIRI or the codegen backends or MIR semantics needs to do work to handle.)
2023-05-01 14:29:15 +00:00
..
building Make async removal span more resilient to macro expansions 2023-04-27 18:25:07 +00:00
const_prop Rollup merge of #110732 - cjgillot:unit-const-prop, r=tmiasko 2023-04-30 16:25:47 +02: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 Codegen fewer instructions in mem::replace 2023-04-30 22:33:04 -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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
address_of.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Add needs-unwind 2023-03-03 16:33:12 +01:00
bool_compare.opt1.InstCombine.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
bool_compare.opt2.InstCombine.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
bool_compare.opt3.InstCombine.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
bool_compare.opt4.InstCombine.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
bool_compare.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
box_expr.main.ElaborateDrops.before.mir Bless tests 2023-04-06 09:34:17 +01:00
box_expr.rs Remove uses of box_syntax in rustc and tools 2023-03-12 13:19:46 +00:00
byte_slice.main.SimplifyCfg-elaborate-drops.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
byte_slice.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
casts.redundant.InstCombine.diff Add an InstCombine for redundant casts 2023-02-19 23:14:58 -05:00
casts.redundant.PreCodegen.after.mir Add an InstCombine for redundant casts 2023-02-19 23:14:58 -05:00
casts.roundtrip.PreCodegen.after.mir Add an InstCombine for redundant casts 2023-02-19 23:14:58 -05:00
casts.rs Add an InstCombine for redundant casts 2023-02-19 23:14:58 -05:00
combine_array_len.norm2.InstCombine.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_allocation2.main.ConstProp.after.64bit.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_allocation2.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_allocation3.main.ConstProp.after.32bit.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_allocation3.main.ConstProp.after.64bit.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_allocation3.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_allocation.main.ConstProp.after.32bit.mir Bless 32bit. 2023-02-02 23:26:34 +00:00
const_allocation.main.ConstProp.after.64bit.mir Interpret aggregates. 2023-02-02 23:09:51 +00:00
const_allocation.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_debuginfo.main.ConstDebugInfo.diff Simplify construction of replacement map. 2023-02-05 11:44:18 +00:00
const_debuginfo.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_goto_const_eval_fail.f.ConstGoto.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_goto_const_eval_fail.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_goto_storage.match_nested_if.ConstGoto.diff Bless tests. 2023-02-02 23:26:26 +00:00
const_goto_storage.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_goto.issue_77355_opt.ConstGoto.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_goto.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_promotion_extern_static.BAR-promoted[0].SimplifyCfg-elaborate-drops.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_promotion_extern_static.BAR.PromoteTemps.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_promotion_extern_static.BOP.built.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const_prop_miscompile.bar.ConstProp.diff Bless tests. 2023-02-02 23:26:26 +00:00
const_prop_miscompile.foo.ConstProp.diff Bless tests. 2023-02-02 23:26:26 +00:00
const_prop_miscompile.rs Make tests unit. 2023-01-27 18:22:44 +00:00
coverage_graphviz.bar.InstrumentCoverage.0.dot Move /src/test to /tests 2023-01-11 09:32:08 +00:00
coverage_graphviz.main.InstrumentCoverage.0.dot Move /src/test to /tests 2023-01-11 09:32:08 +00:00
coverage_graphviz.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
derefer_complex_case.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
derefer_inline_test.main.Derefer.diff Bless tests 2023-04-06 09:34:17 +01:00
derefer_inline_test.rs Remove uses of box_syntax in rustc and tools 2023-03-12 13:19:46 +00:00
derefer_terminator_test.main.Derefer.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
derefer_terminator_test.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
derefer_test_multiple.main.Derefer.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
derefer_test_multiple.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
derefer_test.main.Derefer.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
derefer_test.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
dont_yeet_assert.generic.InstCombine.diff Bless tests 2023-04-06 09:34:17 +01:00
dont_yeet_assert.rs Don't ICE in might_permit_raw_init if reference is polymorphic 2023-02-14 01:03:06 +00:00
early_otherwise_branch_3_element_tuple.opt1.EarlyOtherwiseBranch.diff Bless tests. 2023-02-02 23:26:26 +00:00
early_otherwise_branch_3_element_tuple.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
early_otherwise_branch_68867.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
early_otherwise_branch_68867.try_sum.EarlyOtherwiseBranch.diff Bless tests. 2023-02-02 23:26:26 +00:00
early_otherwise_branch_noopt.noopt1.EarlyOtherwiseBranch.diff Bless tests. 2023-02-02 23:26:26 +00:00
early_otherwise_branch_noopt.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
early_otherwise_branch_soundness.no_deref_ptr.EarlyOtherwiseBranch.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
early_otherwise_branch_soundness.no_downcast.EarlyOtherwiseBranch.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
early_otherwise_branch_soundness.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
early_otherwise_branch.opt1.EarlyOtherwiseBranch.diff Bless tests. 2023-02-02 23:26:26 +00:00
early_otherwise_branch.opt2.EarlyOtherwiseBranch.diff Bless tests. 2023-02-02 23:26:26 +00:00
early_otherwise_branch.opt3.EarlyOtherwiseBranch.diff Bless tests. 2023-02-02 23:26:26 +00:00
early_otherwise_branch.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
enum_opt.cand.EnumSizeOpt.32bit.diff Add de-init to destination place 2023-02-08 02:04:07 +00:00
enum_opt.cand.EnumSizeOpt.64bit.diff Add de-init to destination place 2023-02-08 02:04:07 +00:00
enum_opt.invalid.EnumSizeOpt.32bit.diff Add de-init to destination place 2023-02-08 02:04:07 +00:00
enum_opt.invalid.EnumSizeOpt.64bit.diff Add de-init to destination place 2023-02-08 02:04:07 +00:00
enum_opt.rs Add de-init to destination place 2023-02-08 02:04:07 +00:00
enum_opt.trunc.EnumSizeOpt.32bit.diff Add de-init to destination place 2023-02-08 02:04:07 +00:00
enum_opt.trunc.EnumSizeOpt.64bit.diff Add de-init to destination place 2023-02-08 02:04:07 +00:00
enum_opt.unin.EnumSizeOpt.32bit.diff Add de-init to destination place 2023-02-08 02:04:07 +00:00
enum_opt.unin.EnumSizeOpt.64bit.diff Add de-init to destination place 2023-02-08 02:04:07 +00:00
equal_true.opt.InstCombine.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
equal_true.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
exponential_or.match_tuple.SimplifyCfg-initial.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
exponential_or.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
fn_ptr_shim.core.ops-function-Fn-call.AddMovesForPackedDrops.before.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
fn_ptr_shim.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Bless mir-opt tests. 2023-01-27 22:01:47 +00:00
generator_drop_cleanup.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
generator_tiny.main-{closure#0}.generator_resume.0.mir Bless tests 2023-04-06 09:34:17 +01:00
generator_tiny.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
graphviz.main.built.after.dot Move /src/test to /tests 2023-01-11 09:32:08 +00:00
graphviz.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
if_condition_int.dont_opt_bool.SimplifyComparisonIntegral.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
if_condition_int.dont_opt_floats.SimplifyComparisonIntegral.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
if_condition_int.dont_remove_comparison.SimplifyComparisonIntegral.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
if_condition_int.opt_char.SimplifyComparisonIntegral.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
if_condition_int.opt_i8.SimplifyComparisonIntegral.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
if_condition_int.opt_multiple_ifs.SimplifyComparisonIntegral.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
if_condition_int.opt_negative.SimplifyComparisonIntegral.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
if_condition_int.opt_u32.SimplifyComparisonIntegral.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
if_condition_int.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
instrument_coverage.main.InstrumentCoverage.diff Bless tests 2023-04-06 09:34:17 +01:00
instrument_coverage.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 InstCombine away intrinsic validity assertions 2023-01-15 16:51:42 -05:00
issue_38669.main.SimplifyCfg-initial.after.mir Bless tests 2023-04-06 09:34:17 +01:00
issue_38669.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue_41110.main.ElaborateDrops.diff Bless tests 2023-04-06 09:34:17 +01:00
issue_41110.rs Emit diff instead of after mir in ElaborateDrops tests 2023-02-23 14:03:51 +01:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue_41697.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue_41888.main.ElaborateDrops.diff Make drop_flags an IndexVec. 2023-04-28 20:12:45 +00:00
issue_41888.rs Emit diff instead of after mir in ElaborateDrops tests 2023-02-23 14:03:51 +01:00
issue_62289.rs Remove uses of box_syntax in rustc and tools 2023-03-12 13:19:46 +00:00
issue_62289.test.ElaborateDrops.before.mir Bless tests 2023-04-06 09:34:17 +01:00
issue_72181_1.f.built.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue_72181.bar.built.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue_72181.foo.built.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue_72181.main.built.after.mir Introduce a no-op PlaceMention statement for let _ =. 2023-03-09 17:45:13 +00:00
issue_72181.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue_76432.rs Ignore many tests on wasm32 2023-04-06 10:08:07 +01:00
issue_76432.test.SimplifyComparisonIntegral.diff Generalize operation. 2023-03-13 18:22:55 +00:00
issue_78192.f.InstCombine.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue_78192.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue_91633.hey.built.after.mir Introduce a no-op PlaceMention statement for let _ =. 2023-03-09 17:45:13 +00:00
issue_91633.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue_99325.main.built.after.mir Bless mir-opt. 2023-04-20 18:03:32 +00:00
issue_99325.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
lower_array_len.array_bound_mut.NormalizeArrayLen.diff Reimplement NormalizeArrayLen. 2023-01-29 21:19:02 +00:00
lower_array_len.array_bound.NormalizeArrayLen.diff Reimplement NormalizeArrayLen. 2023-01-29 21:19:02 +00:00
lower_array_len.array_len_by_value.NormalizeArrayLen.diff Reimplement NormalizeArrayLen. 2023-01-29 21:19:02 +00:00
lower_array_len.array_len_raw.NormalizeArrayLen.diff Reimplement NormalizeArrayLen. 2023-01-29 21:19:02 +00:00
lower_array_len.array_len_reborrow.NormalizeArrayLen.diff Reimplement NormalizeArrayLen. 2023-01-29 21:19:02 +00:00
lower_array_len.array_len.NormalizeArrayLen.diff Reimplement NormalizeArrayLen. 2023-01-29 21:19:02 +00:00
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 Codegen fewer instructions in mem::replace 2023-04-30 22:33:04 -07:00
lower_intrinsics.ptr_offset.LowerIntrinsics.diff Codegen fewer instructions in mem::replace 2023-04-30 22:33:04 -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 Codegen fewer instructions in mem::replace 2023-04-30 22:33:04 -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_intrinsics.write_via_move_string.LowerIntrinsics.diff Codegen fewer instructions in mem::replace 2023-04-30 22:33:04 -07: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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
match_test.main.SimplifyCfg-initial.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
match_test.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
matches_reduce_branches.bar.MatchBranchSimplification.diff Bless tests. 2023-02-02 23:26:26 +00:00
matches_reduce_branches.foo.MatchBranchSimplification.diff Bless tests. 2023-02-02 23:26:26 +00:00
matches_reduce_branches.match_nested_if.MatchBranchSimplification.diff Bless tests. 2023-02-02 23:26:26 +00:00
matches_reduce_branches.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
matches_u8.exhaustive_match_i8.MatchBranchSimplification.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
matches_u8.exhaustive_match.MatchBranchSimplification.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
matches_u8.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
multiple_return_terminators.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
multiple_return_terminators.test.MultipleReturnTerminators.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
no_drop_for_inactive_variant.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
no_drop_for_inactive_variant.unwrap.SimplifyCfg-elaborate-drops.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
not_equal_false.opt.InstCombine.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
not_equal_false.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
nrvo_simple.nrvo.RenameReturnPlace.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
README.md Move /src/test to /tests 2023-01-11 09:32:08 +00:00
remove_fake_borrows.match_guard.CleanupPostBorrowck.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
remove_fake_borrows.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
remove_never_const.no_codegen.PreCodegen.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
remove_never_const.rs Change src/test to tests in source files, fix tidy and tests 2023-01-11 09:32:13 +00:00
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 Generalize operation. 2023-03-13 18:22:55 +00:00
remove_unneeded_drops.dont_opt.RemoveUnneededDrops.diff Generalize operation. 2023-03-13 18:22:55 +00:00
remove_unneeded_drops.opt_generic_copy.RemoveUnneededDrops.diff Generalize operation. 2023-03-13 18:22:55 +00:00
remove_unneeded_drops.opt.RemoveUnneededDrops.diff Generalize operation. 2023-03-13 18:22:55 +00:00
remove_unneeded_drops.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
remove_zsts.get_union.PreCodegen.after.mir Replace ZST operands and debuginfo by constants. 2023-03-13 18:19:57 +00:00
remove_zsts.get_union.RemoveZsts.diff Generalize operation. 2023-03-13 18:22:55 +00:00
remove_zsts.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
retag.{impl#0}-foo_shr.SimplifyCfg-elaborate-drops.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
retag.{impl#0}-foo.SimplifyCfg-elaborate-drops.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
retag.array_casts.SimplifyCfg-elaborate-drops.after.mir Bless tests. 2023-02-02 23:26:26 +00:00
retag.core.ptr-drop_in_place.Test.SimplifyCfg-make_shim.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
retag.main-{closure#0}.SimplifyCfg-elaborate-drops.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
retag.main.SimplifyCfg-elaborate-drops.after.mir Bless tests 2023-04-06 09:34:17 +01:00
retag.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
return_an_array.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
separate_const_switch.identity.SeparateConstSwitch.diff Wrap the whole LocalInfo in ClearCrossCrate. 2023-03-14 20:52:42 +01:00
separate_const_switch.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
simplify_arm.id_try.SimplifyBranchSame.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
simplify_cfg.main.SimplifyCfg-initial.diff Bless tests 2023-04-06 09:34:17 +01:00
simplify_cfg.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Enable CopyProp by default, tune the impl a bit 2023-02-12 13:23:53 -05:00
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 Stop deaggregating enums in MIR. 2023-02-02 23:20:27 +00:00
simplify_locals_removes_unused_discriminant_reads.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
simplify_locals.c.SimplifyLocals-before-const-prop.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
simplify_locals.d1.SimplifyLocals-before-const-prop.diff Stop deaggregating enums in MIR. 2023-02-02 23:20:27 +00:00
simplify_locals.d2.SimplifyLocals-before-const-prop.diff Bless tests. 2023-02-02 23:26:26 +00:00
simplify_locals.expose_addr.SimplifyLocals-before-const-prop.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
simplify_locals.r.SimplifyLocals-before-const-prop.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
simplify_locals.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
simplify_locals.t1.SimplifyLocals-before-const-prop.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
simplify_locals.t2.SimplifyLocals-before-const-prop.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
simplify_locals.t3.SimplifyLocals-before-const-prop.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
simplify_locals.t4.SimplifyLocals-before-const-prop.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
simplify_try_if_let.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
slice_filter.rs Implement SSA CopyProp pass. 2023-01-27 18:22:45 +00:00
slice_filter.variant_a-{closure#0}.CopyProp.diff Enable CopyProp by default, tune the impl a bit 2023-02-12 13:23:53 -05:00
slice_filter.variant_a-{closure#0}.DestinationPropagation.diff Remove both StorageLive and StorageDead in CopyProp. 2023-01-31 17:50:04 +00:00
slice_filter.variant_b-{closure#0}.CopyProp.diff Remove both StorageLive and StorageDead in CopyProp. 2023-01-31 17:50:04 +00:00
slice_filter.variant_b-{closure#0}.DestinationPropagation.diff Remove both StorageLive and StorageDead in CopyProp. 2023-01-31 17:50:04 +00:00
spanview_block.main.built.after.html Move /src/test to /tests 2023-01-11 09:32:08 +00:00
spanview_block.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
spanview_statement.main.built.after.html Move /src/test to /tests 2023-01-11 09:32:08 +00:00
spanview_statement.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
spanview_terminator.main.built.after.html Move /src/test to /tests 2023-01-11 09:32:08 +00:00
spanview_terminator.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
storage_ranges.main.nll.0.mir vars are ? 2023-04-25 19:53:09 +00:00
storage_ranges.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
tls_access.main.PreCodegen.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
tls_access.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
uninhabited_enum.process_never.SimplifyLocals-final.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
uninhabited_enum.process_void.SimplifyLocals-final.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
uninhabited_enum.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
uninhabited_fallthrough_elimination.eliminate_fallthrough.UninhabitedEnumBranching.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
uninhabited_fallthrough_elimination.keep_fallthrough.UninhabitedEnumBranching.diff Move /src/test to /tests 2023-01-11 09:32:08 +00:00
uninhabited_fallthrough_elimination.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
unusual_item_types.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
unusual_item_types.Test-X-{constructor#0}.built.after.mir Stop deaggregating enums in MIR. 2023-02-02 23:20:27 +00:00
while_let_loops.change_loop_body.ConstProp.diff Stop deaggregating enums in MIR. 2023-02-02 23:20:27 +00:00
while_let_loops.change_loop_body.PreCodegen.after.mir Move /src/test to /tests 2023-01-11 09:32:08 +00:00
while_let_loops.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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