1 - // MIR for `change_loop_body` before ConstProp
2 + // MIR for `change_loop_body` after ConstProp
4 fn change_loop_body() -> () {
5 let mut _0: (); // return place in scope 0 at $DIR/while_let_loops.rs:+0:27: +0:27
6 let mut _1: i32; // in scope 0 at $DIR/while_let_loops.rs:+1:9: +1:15
7 let mut _2: (); // in scope 0 at $DIR/while_let_loops.rs:+0:1: +6:2
8 let mut _3: std::option::Option<u32>; // in scope 0 at $DIR/while_let_loops.rs:+2:28: +2:32
9 let mut _4: isize; // in scope 0 at $DIR/while_let_loops.rs:+2:15: +2:25
10 let mut _5: !; // in scope 0 at $DIR/while_let_loops.rs:+2:33: +5:6
11 let mut _6: !; // in scope 0 at $DIR/while_let_loops.rs:+2:5: +5:6
12 let _7: (); // in scope 0 at $DIR/while_let_loops.rs:+2:5: +5:6
13 let mut _8: !; // in scope 0 at $DIR/while_let_loops.rs:+2:5: +5:6
15 debug _x => _1; // in scope 1 at $DIR/while_let_loops.rs:+1:9: +1:15
21 StorageLive(_1); // scope 0 at $DIR/while_let_loops.rs:+1:9: +1:15
22 _1 = const 0_i32; // scope 0 at $DIR/while_let_loops.rs:+1:18: +1:19
23 StorageLive(_3); // scope 2 at $DIR/while_let_loops.rs:+2:28: +2:32
24 Deinit(_3); // scope 2 at $DIR/while_let_loops.rs:+2:28: +2:32
25 discriminant(_3) = 0; // scope 2 at $DIR/while_let_loops.rs:+2:28: +2:32
26 - _4 = discriminant(_3); // scope 2 at $DIR/while_let_loops.rs:+2:15: +2:25
27 - switchInt(move _4) -> [1_isize: bb1, otherwise: bb3]; // scope 2 at $DIR/while_let_loops.rs:+2:15: +2:25
28 + _4 = const 0_isize; // scope 2 at $DIR/while_let_loops.rs:+2:15: +2:25
29 + switchInt(const 0_isize) -> [1_isize: bb1, otherwise: bb3]; // scope 2 at $DIR/while_let_loops.rs:+2:15: +2:25
33 switchInt(((_3 as Some).0: u32)) -> [0_u32: bb2, otherwise: bb3]; // scope 2 at $DIR/while_let_loops.rs:+2:15: +2:25
37 _1 = const 1_i32; // scope 2 at $DIR/while_let_loops.rs:+3:9: +3:15
38 nop; // scope 2 at $DIR/while_let_loops.rs:+4:9: +4:14
39 goto -> bb4; // scope 2 at $DIR/while_let_loops.rs:+4:9: +4:14
43 StorageLive(_7); // scope 1 at $DIR/while_let_loops.rs:+2:5: +5:6
44 nop; // scope 1 at $DIR/while_let_loops.rs:+2:5: +5:6
45 StorageDead(_7); // scope 1 at $DIR/while_let_loops.rs:+5:5: +5:6
46 goto -> bb4; // scope 1 at no-location
50 StorageDead(_3); // scope 1 at $DIR/while_let_loops.rs:+5:5: +5:6
51 StorageDead(_1); // scope 0 at $DIR/while_let_loops.rs:+6:1: +6:2
52 return; // scope 0 at $DIR/while_let_loops.rs:+6:2: +6:2