diff options
| author | Michael Goulet <michael@errs.io> | 2024-08-03 14:11:31 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-08-03 15:18:09 -0400 |
| commit | 470ada2de0ec507191ad8da35b0712986646d01c (patch) | |
| tree | fc688daf6536c4cde7aaffec745909a1ccdf85c2 /compiler/rustc_interface/src | |
| parent | a6043039ad3aef48e08d72a3e32545accdee427a (diff) | |
| download | rust-470ada2de0ec507191ad8da35b0712986646d01c.tar.gz rust-470ada2de0ec507191ad8da35b0712986646d01c.zip | |
Make validate_mir pull optimized/ctfe MIR for all bodies
Diffstat (limited to 'compiler/rustc_interface/src')
| -rw-r--r-- | compiler/rustc_interface/src/passes.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/compiler/rustc_interface/src/passes.rs b/compiler/rustc_interface/src/passes.rs index 8c99b1f4447..023352156eb 100644 --- a/compiler/rustc_interface/src/passes.rs +++ b/compiler/rustc_interface/src/passes.rs @@ -818,6 +818,13 @@ fn run_required_analyses(tcx: TyCtxt<'_>) { }); sess.time("layout_testing", || layout_test::test_layout(tcx)); sess.time("abi_testing", || abi_test::test_abi(tcx)); + if tcx.sess.opts.unstable_opts.validate_mir { + sess.time("ensuring_optimized_MIR_is_computable", || { + tcx.hir().par_body_owners(|def_id| { + tcx.instance_mir(ty::InstanceKind::Item(def_id.into())); + }); + }); + } } /// Runs the type-checking, region checking and other miscellaneous analysis |