diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-03-26 17:06:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-26 17:06:39 +0100 |
| commit | d549d4f5a711ba1947bf80984d6dd1a9e63b87ad (patch) | |
| tree | ce2024529ab18e8054778328e8c7d8be6e7bf92b /compiler/rustc_mir_transform | |
| parent | 03f5c4f05fbcc6049bf0c425af3baa6894081f6e (diff) | |
| parent | 42526e142aa697db9391c7df0810ca4a4f73a164 (diff) | |
| download | rust-d549d4f5a711ba1947bf80984d6dd1a9e63b87ad.tar.gz rust-d549d4f5a711ba1947bf80984d6dd1a9e63b87ad.zip | |
Rollup merge of #122996 - RalfJung:simplify_branches, r=cjgillot
simplify_branches: add comment I am not quite sure why this simplification is done here and not in InstSimplify but :shrug: r? `@cjgillot`
Diffstat (limited to 'compiler/rustc_mir_transform')
| -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 |