1 - // MIR for `opt_multiple_ifs` before SimplifyComparisonIntegral
2 + // MIR for `opt_multiple_ifs` after SimplifyComparisonIntegral
4 fn opt_multiple_ifs(_1: u32) -> u32 {
5 debug x => _1; // in scope 0 at $DIR/if-condition-int.rs:32:21: 32:22
6 let mut _0: u32; // return place in scope 0 at $DIR/if-condition-int.rs:32:32: 32:35
7 let mut _2: bool; // in scope 0 at $DIR/if-condition-int.rs:33:8: 33:15
8 let mut _3: u32; // in scope 0 at $DIR/if-condition-int.rs:33:8: 33:9
9 let mut _4: bool; // in scope 0 at $DIR/if-condition-int.rs:35:15: 35:22
10 let mut _5: u32; // in scope 0 at $DIR/if-condition-int.rs:35:15: 35:16
13 StorageLive(_2); // scope 0 at $DIR/if-condition-int.rs:33:8: 33:15
14 StorageLive(_3); // scope 0 at $DIR/if-condition-int.rs:33:8: 33:9
15 _3 = _1; // scope 0 at $DIR/if-condition-int.rs:33:8: 33:9
16 - _2 = Eq(move _3, const 42_u32); // scope 0 at $DIR/if-condition-int.rs:33:8: 33:15
17 - StorageDead(_3); // scope 0 at $DIR/if-condition-int.rs:33:14: 33:15
18 - switchInt(_2) -> [false: bb1, otherwise: bb2]; // scope 0 at $DIR/if-condition-int.rs:33:5: 39:6
19 + _2 = Eq(_3, const 42_u32); // scope 0 at $DIR/if-condition-int.rs:33:8: 33:15
20 + nop; // scope 0 at $DIR/if-condition-int.rs:33:14: 33:15
21 + switchInt(move _3) -> [42_u32: bb2, otherwise: bb1]; // scope 0 at $DIR/if-condition-int.rs:33:5: 39:6
25 + StorageDead(_3); // scope 0 at $DIR/if-condition-int.rs:33:5: 39:6
26 StorageLive(_4); // scope 0 at $DIR/if-condition-int.rs:35:15: 35:22
27 StorageLive(_5); // scope 0 at $DIR/if-condition-int.rs:35:15: 35:16
28 _5 = _1; // scope 0 at $DIR/if-condition-int.rs:35:15: 35:16
29 - _4 = Ne(move _5, const 21_u32); // scope 0 at $DIR/if-condition-int.rs:35:15: 35:22
30 - StorageDead(_5); // scope 0 at $DIR/if-condition-int.rs:35:21: 35:22
31 - switchInt(_4) -> [false: bb3, otherwise: bb4]; // scope 0 at $DIR/if-condition-int.rs:35:12: 39:6
32 + _4 = Ne(_5, const 21_u32); // scope 0 at $DIR/if-condition-int.rs:35:15: 35:22
33 + nop; // scope 0 at $DIR/if-condition-int.rs:35:21: 35:22
34 + switchInt(move _5) -> [21_u32: bb3, otherwise: bb4]; // scope 0 at $DIR/if-condition-int.rs:35:12: 39:6
38 + StorageDead(_3); // scope 0 at $DIR/if-condition-int.rs:33:5: 39:6
39 _0 = const 0_u32; // scope 0 at $DIR/if-condition-int.rs:34:9: 34:10
40 goto -> bb6; // scope 0 at $DIR/if-condition-int.rs:33:5: 39:6
44 + StorageDead(_5); // scope 0 at $DIR/if-condition-int.rs:35:12: 39:6
45 _0 = const 2_u32; // scope 0 at $DIR/if-condition-int.rs:38:9: 38:10
46 goto -> bb5; // scope 0 at $DIR/if-condition-int.rs:35:12: 39:6
50 + StorageDead(_5); // scope 0 at $DIR/if-condition-int.rs:35:12: 39:6
51 _0 = const 1_u32; // scope 0 at $DIR/if-condition-int.rs:36:9: 36:10
52 goto -> bb5; // scope 0 at $DIR/if-condition-int.rs:35:12: 39:6
56 StorageDead(_4); // scope 0 at $DIR/if-condition-int.rs:39:5: 39:6
57 goto -> bb6; // scope 0 at $DIR/if-condition-int.rs:33:5: 39:6
61 StorageDead(_2); // scope 0 at $DIR/if-condition-int.rs:40:1: 40:2
62 return; // scope 0 at $DIR/if-condition-int.rs:40:2: 40:2