mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Re-enable SimplifyToExp in match_branches.

Browse Source
This commit is contained in:
DianQK 2024-07-31 07:58:39 +08:00
parent 8b9d7b1489
commit 1f9d9603c0
No known key found for this signature in database
3 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
compiler/rustc_mir_transform/src/match_branches.rs
View File

@ -44,10 +44,7 @@ fn run_pass(&self, tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) {
should_cleanup = true; should_cleanup = true;
continue; continue;
} }
// unsound: https://github.com/rust-lang/rust/issues/124150 if SimplifyToExp::default().simplify(tcx, body, bb_idx, param_env).is_some() {
if tcx.sess.opts.unstable_opts.unsound_mir_opts
&& SimplifyToExp::default().simplify(tcx, body, bb_idx, param_env).is_some()
{
should_cleanup = true; should_cleanup = true;
continue; continue;
} }

1
tests/mir-opt/matches_reduce_branches.rs
View File

@ -1,5 +1,4 @@
//@ test-mir-pass: MatchBranchSimplification //@ test-mir-pass: MatchBranchSimplification
//@ compile-flags: -Zunsound-mir-opts
#![feature(repr128)] #![feature(repr128)]
#![feature(core_intrinsics)] #![feature(core_intrinsics)]

1
tests/mir-opt/matches_u8.rs
View File

@ -1,6 +1,5 @@
// skip-filecheck // skip-filecheck
//@ test-mir-pass: MatchBranchSimplification //@ test-mir-pass: MatchBranchSimplification
//@ compile-flags: -Zunsound-mir-opts
// EMIT_MIR matches_u8.exhaustive_match.MatchBranchSimplification.diff // EMIT_MIR matches_u8.exhaustive_match.MatchBranchSimplification.diff
// EMIT_MIR matches_u8.exhaustive_match_i8.MatchBranchSimplification.diff // EMIT_MIR matches_u8.exhaustive_match_i8.MatchBranchSimplification.diff