diff options
| author | bors <bors@rust-lang.org> | 2023-11-01 01:10:31 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-11-01 01:10:31 +0000 |
| commit | 98f5ebbe2e1be26c49c3ecd7cb8e832f0fceed1d (patch) | |
| tree | 6af42e468da9cf256fba24754e0d24a989fbbfd5 /compiler/rustc_codegen_llvm/src | |
| parent | 09ac6e4b6dbec74dc4718191a6650a1b7e04a7a6 (diff) | |
| parent | ae2e21114becdd27b426baaa385a90aca0cfa412 (diff) | |
| download | rust-98f5ebbe2e1be26c49c3ecd7cb8e832f0fceed1d.tar.gz rust-98f5ebbe2e1be26c49c3ecd7cb8e832f0fceed1d.zip | |
Auto merge of #113970 - cjgillot:assume-all-the-things, r=nikic
Replace switch to unreachable by assume statements `UnreachablePropagation` currently keeps some switch terminators alive in order to ensure codegen can infer the inequalities on the discriminants. This PR proposes to encode those inequalities as `Assume` statements. This allows to simplify MIR further by removing some useless terminators.
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions