]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | // MIR for `while_loop` after PreCodegen |
2 | ||
3 | fn while_loop(_1: bool) -> () { | |
487cf647 FG |
4 | debug c => _1; // in scope 0 at $DIR/while_storage.rs:+0:15: +0:16 |
5 | let mut _0: (); // return place in scope 0 at $DIR/while_storage.rs:+0:24: +0:24 | |
6 | let mut _2: bool; // in scope 0 at $DIR/while_storage.rs:+1:11: +1:22 | |
9ffffee4 | 7 | let mut _3: bool; // in scope 0 at $DIR/while_storage.rs:+2:12: +2:23 |
ba9703b0 XL |
8 | |
9 | bb0: { | |
487cf647 | 10 | goto -> bb1; // scope 0 at $DIR/while_storage.rs:+1:5: +5:6 |
c295e0f8 XL |
11 | } |
12 | ||
13 | bb1: { | |
487cf647 | 14 | StorageLive(_2); // scope 0 at $DIR/while_storage.rs:+1:11: +1:22 |
9ffffee4 | 15 | _2 = get_bool(_1) -> bb2; // scope 0 at $DIR/while_storage.rs:+1:11: +1:22 |
ba9703b0 | 16 | // mir::Constant |
353b0b11 | 17 | // + span: $DIR/while_storage.rs:11:11: 11:19 |
064997fb | 18 | // + literal: Const { ty: fn(bool) -> bool {get_bool}, val: Value(<ZST>) } |
ba9703b0 XL |
19 | } |
20 | ||
c295e0f8 | 21 | bb2: { |
9c376795 | 22 | switchInt(move _2) -> [0: bb7, otherwise: bb3]; // scope 0 at $DIR/while_storage.rs:+1:11: +1:22 |
ba9703b0 XL |
23 | } |
24 | ||
c295e0f8 | 25 | bb3: { |
9ffffee4 FG |
26 | StorageLive(_3); // scope 0 at $DIR/while_storage.rs:+2:12: +2:23 |
27 | _3 = get_bool(_1) -> bb4; // scope 0 at $DIR/while_storage.rs:+2:12: +2:23 | |
ba9703b0 | 28 | // mir::Constant |
353b0b11 | 29 | // + span: $DIR/while_storage.rs:12:12: 12:20 |
064997fb | 30 | // + literal: Const { ty: fn(bool) -> bool {get_bool}, val: Value(<ZST>) } |
ba9703b0 XL |
31 | } |
32 | ||
c295e0f8 | 33 | bb4: { |
9ffffee4 | 34 | switchInt(move _3) -> [0: bb6, otherwise: bb5]; // scope 0 at $DIR/while_storage.rs:+2:12: +2:23 |
ba9703b0 XL |
35 | } |
36 | ||
c295e0f8 | 37 | bb5: { |
9ffffee4 | 38 | StorageDead(_3); // scope 0 at $DIR/while_storage.rs:+4:9: +4:10 |
9c376795 | 39 | goto -> bb7; // scope 0 at no-location |
ba9703b0 XL |
40 | } |
41 | ||
c295e0f8 | 42 | bb6: { |
9ffffee4 | 43 | StorageDead(_3); // scope 0 at $DIR/while_storage.rs:+4:9: +4:10 |
487cf647 FG |
44 | StorageDead(_2); // scope 0 at $DIR/while_storage.rs:+5:5: +5:6 |
45 | goto -> bb1; // scope 0 at $DIR/while_storage.rs:+1:5: +5:6 | |
ba9703b0 XL |
46 | } |
47 | ||
c295e0f8 | 48 | bb7: { |
487cf647 FG |
49 | StorageDead(_2); // scope 0 at $DIR/while_storage.rs:+5:5: +5:6 |
50 | return; // scope 0 at $DIR/while_storage.rs:+6:2: +6:2 | |
ba9703b0 XL |
51 | } |
52 | } |