bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

simplify_branches: add comment

Browse source
This commit is contained in:
Ralf Jung 2024-03-24 12:53:03 +01:00
parent 548e14b439
commit 42526e142a
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
compiler/rustc_mir_transform/src/simplify_branches.rs
View file

@ -19,6 +19,7 @@ impl<'tcx> MirPass<'tcx> for SimplifyConstCondition {
let param_env = tcx.param_env_reveal_all_normalized(body.source.def_id()); let param_env = tcx.param_env_reveal_all_normalized(body.source.def_id());
'blocks: for block in body.basic_blocks_mut() { 'blocks: for block in body.basic_blocks_mut() {
for stmt in block.statements.iter_mut() { for stmt in block.statements.iter_mut() {
// Simplify `assume` of a known value: either a NOP or unreachable.
if let StatementKind::Intrinsic(box ref intrinsic) = stmt.kind if let StatementKind::Intrinsic(box ref intrinsic) = stmt.kind
&& let NonDivergingIntrinsic::Assume(discr) = intrinsic && let NonDivergingIntrinsic::Assume(discr) = intrinsic
&& let Operand::Constant(ref c) = discr && let Operand::Constant(ref c) = discr