OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Simplify assert terminator only if condition evaluates to expected value

Browse Source
This commit is contained in:
Tomasz Miąsko 2020-10-21 00:00:00 +00:00
parent 22e6b9c689
commit a9470d0522
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
compiler/rustc_mir/src/transform/simplify_branches.rs
View File

@ -49,9 +49,10 @@ impl<'tcx> MirPass<'tcx> for SimplifyBranches {
} }
TerminatorKind::Assert { TerminatorKind::Assert {
target, cond: Operand::Constant(ref c), expected, .. target, cond: Operand::Constant(ref c), expected, ..
} if (c.literal.try_eval_bool(tcx, param_env) == Some(true)) == expected => { } => match c.literal.try_eval_bool(tcx, param_env) {
TerminatorKind::Goto { target } Some(v) if v == expected => TerminatorKind::Goto { target },
} _ => continue,
},
TerminatorKind::FalseEdge { real_target, .. } => { TerminatorKind::FalseEdge { real_target, .. } => {
TerminatorKind::Goto { target: real_target } TerminatorKind::Goto { target: real_target }
} }