bors 4a03f14b09 Auto merge of #110569 - saethlin:mir-pass-cooperation, r=cjgillot ... Deduplicate unreachable blocks, for real this time In https://github.com/rust-lang/rust/pull/106428 (in particular 41eda69516) we noticed that inlining `unreachable_unchecked` can produce duplicate unreachable blocks. So we improved two MIR optimizations: `SimplifyCfg` was given a simplify to deduplicate unreachable blocks, then `InstCombine` was given a combiner to deduplicate switch targets that point at the same block. The problem is that change doesn't actually work. Our current pass order is ``` SimplifyCfg (does nothing relevant to this situation) Inline (produces multiple unreachable blocks) InstCombine (doesn't do anything here, oops) SimplifyCfg (produces the duplicate SwitchTargets that InstCombine is looking for) ``` So in here, I have factored out the specific function from `InstCombine` and placed it inside the simplify that produces the case it is looking for. This should ensure that it runs in the scenario it was designed for. Fixes https://github.com/rust-lang/rust/issues/110551 r? `@cjgillot`		2023-04-21 15:08:02 +00:00
..
src	Auto merge of #110569 - saethlin:mir-pass-cooperation, r=cjgillot	2023-04-21 15:08:02 +00:00
Cargo.toml	interpret: use Either over Result when it is not representing an error condition	2022-11-18 10:18:32 +01:00