diff options
| author | Ralf Jung <post@ralfj.de> | 2024-03-24 12:53:03 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-03-24 12:53:03 +0100 |
| commit | 42526e142aa697db9391c7df0810ca4a4f73a164 (patch) | |
| tree | 56a41fb0cebc07feef737e9140c6f9261900545c | |
| parent | 548e14b43963882fb758deb89e8258d9b8c2fc2a (diff) | |
| download | rust-42526e142aa697db9391c7df0810ca4a4f73a164.tar.gz rust-42526e142aa697db9391c7df0810ca4a4f73a164.zip | |
simplify_branches: add comment
| -rw-r--r-- | compiler/rustc_mir_transform/src/simplify_branches.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_mir_transform/src/simplify_branches.rs b/compiler/rustc_mir_transform/src/simplify_branches.rs index 35a052166bd..c746041ebd8 100644 --- a/compiler/rustc_mir_transform/src/simplify_branches.rs +++ b/compiler/rustc_mir_transform/src/simplify_branches.rs @@ -19,6 +19,7 @@ impl<'tcx> MirPass<'tcx> for SimplifyConstCondition { let param_env = tcx.param_env_reveal_all_normalized(body.source.def_id()); 'blocks: for block in body.basic_blocks_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 && let NonDivergingIntrinsic::Assume(discr) = intrinsic && let Operand::Constant(ref c) = discr |