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