1 - // MIR for `opt1` before InstCombine
2 + // MIR for `opt1` after InstCombine
4 fn opt1(_1: bool) -> u32 {
5 debug x => _1; // in scope 0 at $DIR/bool_compare.rs:2:9: 2:10
6 let mut _0: u32; // return place in scope 0 at $DIR/bool_compare.rs:2:21: 2:24
7 let mut _2: bool; // in scope 0 at $DIR/bool_compare.rs:3:8: 3:17
8 let mut _3: bool; // in scope 0 at $DIR/bool_compare.rs:3:8: 3:9
13 StorageLive(_2); // scope 1 at $DIR/bool_compare.rs:3:8: 3:17
14 StorageLive(_3); // scope 1 at $DIR/bool_compare.rs:3:8: 3:9
15 _3 = _1; // scope 1 at $DIR/bool_compare.rs:3:8: 3:9
16 - _2 = Ne(move _3, const true); // scope 1 at $DIR/bool_compare.rs:3:8: 3:17
17 + _2 = Not(move _3); // scope 1 at $DIR/bool_compare.rs:3:8: 3:17
18 StorageDead(_3); // scope 1 at $DIR/bool_compare.rs:3:16: 3:17
19 switchInt(move _2) -> [false: bb2, otherwise: bb1]; // scope 1 at $DIR/bool_compare.rs:3:8: 3:17
23 _0 = const 0_u32; // scope 1 at $DIR/bool_compare.rs:3:20: 3:21
24 goto -> bb3; // scope 0 at $DIR/bool_compare.rs:3:5: 3:34
28 _0 = const 1_u32; // scope 0 at $DIR/bool_compare.rs:3:31: 3:32
29 goto -> bb3; // scope 0 at $DIR/bool_compare.rs:3:5: 3:34
33 StorageDead(_2); // scope 0 at $DIR/bool_compare.rs:3:33: 3:34
34 return; // scope 0 at $DIR/bool_compare.rs:4:2: 4:2