]>
Commit | Line | Data |
---|---|---|
f9f354fc XL |
1 | - // MIR for `main` before SimplifyArmIdentity |
2 | + // MIR for `main` after SimplifyArmIdentity | |
3 | ||
4 | fn main() -> () { | |
5 | let mut _0: (); // return place in scope 0 at $DIR/simplify-arm-identity.rs:17:11: 17:11 | |
6 | let _1: Src; // in scope 0 at $DIR/simplify-arm-identity.rs:18:9: 18:10 | |
7 | let mut _2: Dst; // in scope 0 at $DIR/simplify-arm-identity.rs:19:18: 22:6 | |
8 | let mut _3: isize; // in scope 0 at $DIR/simplify-arm-identity.rs:20:9: 20:20 | |
9 | let mut _5: u8; // in scope 0 at $DIR/simplify-arm-identity.rs:20:33: 20:34 | |
10 | scope 1 { | |
11 | debug e => _1; // in scope 1 at $DIR/simplify-arm-identity.rs:18:9: 18:10 | |
12 | let _4: u8; // in scope 1 at $DIR/simplify-arm-identity.rs:20:18: 20:19 | |
13 | scope 2 { | |
14 | } | |
15 | scope 3 { | |
16 | debug x => _4; // in scope 3 at $DIR/simplify-arm-identity.rs:20:18: 20:19 | |
17 | } | |
18 | } | |
19 | ||
20 | bb0: { | |
21 | StorageLive(_1); // scope 0 at $DIR/simplify-arm-identity.rs:18:9: 18:10 | |
04454e1e | 22 | Deinit(_1); // scope 0 at $DIR/simplify-arm-identity.rs:18:18: 18:29 |
f035d41b | 23 | ((_1 as Foo).0: u8) = const 0_u8; // scope 0 at $DIR/simplify-arm-identity.rs:18:18: 18:29 |
f9f354fc XL |
24 | discriminant(_1) = 0; // scope 0 at $DIR/simplify-arm-identity.rs:18:18: 18:29 |
25 | StorageLive(_2); // scope 1 at $DIR/simplify-arm-identity.rs:19:18: 22:6 | |
94222f64 XL |
26 | _3 = const 0_isize; // scope 1 at $DIR/simplify-arm-identity.rs:19:24: 19:25 |
27 | goto -> bb3; // scope 1 at $DIR/simplify-arm-identity.rs:19:18: 19:25 | |
f9f354fc XL |
28 | } |
29 | ||
30 | bb1: { | |
04454e1e | 31 | Deinit(_2); // scope 1 at $DIR/simplify-arm-identity.rs:21:21: 21:32 |
3dfed10e XL |
32 | ((_2 as Foo).0: u8) = const 0_u8; // scope 1 at $DIR/simplify-arm-identity.rs:21:21: 21:32 |
33 | discriminant(_2) = 0; // scope 1 at $DIR/simplify-arm-identity.rs:21:21: 21:32 | |
94222f64 | 34 | goto -> bb4; // scope 1 at $DIR/simplify-arm-identity.rs:21:21: 21:32 |
f9f354fc XL |
35 | } |
36 | ||
37 | bb2: { | |
38 | unreachable; // scope 1 at $DIR/simplify-arm-identity.rs:19:24: 19:25 | |
39 | } | |
40 | ||
41 | bb3: { | |
42 | StorageLive(_4); // scope 1 at $DIR/simplify-arm-identity.rs:20:18: 20:19 | |
43 | _4 = ((_1 as Foo).0: u8); // scope 1 at $DIR/simplify-arm-identity.rs:20:18: 20:19 | |
44 | StorageLive(_5); // scope 3 at $DIR/simplify-arm-identity.rs:20:33: 20:34 | |
45 | _5 = _4; // scope 3 at $DIR/simplify-arm-identity.rs:20:33: 20:34 | |
04454e1e | 46 | Deinit(_2); // scope 3 at $DIR/simplify-arm-identity.rs:20:24: 20:35 |
f9f354fc XL |
47 | ((_2 as Foo).0: u8) = move _5; // scope 3 at $DIR/simplify-arm-identity.rs:20:24: 20:35 |
48 | discriminant(_2) = 0; // scope 3 at $DIR/simplify-arm-identity.rs:20:24: 20:35 | |
49 | StorageDead(_5); // scope 3 at $DIR/simplify-arm-identity.rs:20:34: 20:35 | |
f035d41b | 50 | StorageDead(_4); // scope 1 at $DIR/simplify-arm-identity.rs:20:34: 20:35 |
94222f64 | 51 | goto -> bb4; // scope 1 at $DIR/simplify-arm-identity.rs:20:34: 20:35 |
f9f354fc XL |
52 | } |
53 | ||
54 | bb4: { | |
55 | StorageDead(_2); // scope 1 at $DIR/simplify-arm-identity.rs:22:6: 22:7 | |
cdc7bbd5 | 56 | nop; // scope 0 at $DIR/simplify-arm-identity.rs:17:11: 23:2 |
f9f354fc XL |
57 | StorageDead(_1); // scope 0 at $DIR/simplify-arm-identity.rs:23:1: 23:2 |
58 | return; // scope 0 at $DIR/simplify-arm-identity.rs:23:2: 23:2 | |
59 | } | |
60 | } | |
61 |