]>
Commit | Line | Data |
---|---|---|
3dfed10e XL |
1 | - // MIR for `id_try` before SimplifyArmIdentity |
2 | + // MIR for `id_try` after SimplifyArmIdentity | |
ba9703b0 | 3 | |
6a06907d | 4 | fn id_try(_1: Result<u8, i32>) -> Result<u8, i32> { |
17df50a5 XL |
5 | debug r => _1; // in scope 0 at $DIR/simplify-arm.rs:35:11: 35:12 |
6 | let mut _0: std::result::Result<u8, i32>; // return place in scope 0 at $DIR/simplify-arm.rs:35:34: 35:49 | |
7 | let _2: u8; // in scope 0 at $DIR/simplify-arm.rs:36:9: 36:10 | |
8 | let mut _3: std::result::Result<u8, i32>; // in scope 0 at $DIR/simplify-arm.rs:36:19: 36:33 | |
9 | let mut _4: std::result::Result<u8, i32>; // in scope 0 at $DIR/simplify-arm.rs:36:31: 36:32 | |
10 | let mut _5: isize; // in scope 0 at $DIR/simplify-arm.rs:37:9: 37:15 | |
11 | let _6: i32; // in scope 0 at $DIR/simplify-arm.rs:37:13: 37:14 | |
12 | let mut _7: !; // in scope 0 at $DIR/simplify-arm.rs:37:19: 37:51 | |
13 | let mut _8: i32; // in scope 0 at $DIR/simplify-arm.rs:37:37: 37:50 | |
14 | let mut _9: i32; // in scope 0 at $DIR/simplify-arm.rs:37:48: 37:49 | |
15 | let _10: u8; // in scope 0 at $DIR/simplify-arm.rs:38:12: 38:13 | |
16 | let mut _11: u8; // in scope 0 at $DIR/simplify-arm.rs:40:8: 40:9 | |
ba9703b0 | 17 | scope 1 { |
04454e1e | 18 | debug x => _2; // in scope 1 at $DIR/simplify-arm.rs:36:9: 36:10 |
ba9703b0 XL |
19 | } |
20 | scope 2 { | |
04454e1e | 21 | debug e => _6; // in scope 2 at $DIR/simplify-arm.rs:37:13: 37:14 |
17df50a5 | 22 | scope 5 (inlined <i32 as From<i32>>::from) { // at $DIR/simplify-arm.rs:37:37: 37:50 |
04454e1e | 23 | debug t => _9; // in scope 5 at $SRC_DIR/core/src/convert/mod.rs:LL:COL |
ba9703b0 | 24 | } |
17df50a5 | 25 | scope 6 (inlined from_error::<u8, i32>) { // at $DIR/simplify-arm.rs:37:26: 37:51 |
04454e1e | 26 | debug e => _8; // in scope 6 at $DIR/simplify-arm.rs:27:21: 27:22 |
ba9703b0 XL |
27 | } |
28 | } | |
17df50a5 | 29 | scope 3 { |
04454e1e | 30 | debug v => _10; // in scope 3 at $DIR/simplify-arm.rs:38:12: 38:13 |
17df50a5 XL |
31 | } |
32 | scope 4 (inlined into_result::<u8, i32>) { // at $DIR/simplify-arm.rs:36:19: 36:33 | |
5e7ed085 | 33 | debug r => _4; // in scope 4 at $DIR/simplify-arm.rs:23:22: 23:23 |
ba9703b0 XL |
34 | } |
35 | ||
36 | bb0: { | |
17df50a5 XL |
37 | StorageLive(_2); // scope 0 at $DIR/simplify-arm.rs:36:9: 36:10 |
38 | StorageLive(_3); // scope 0 at $DIR/simplify-arm.rs:36:19: 36:33 | |
39 | StorageLive(_4); // scope 0 at $DIR/simplify-arm.rs:36:31: 36:32 | |
40 | _4 = _1; // scope 0 at $DIR/simplify-arm.rs:36:31: 36:32 | |
5e7ed085 | 41 | _3 = move _4; // scope 4 at $DIR/simplify-arm.rs:24:5: 24:6 |
17df50a5 | 42 | StorageDead(_4); // scope 0 at $DIR/simplify-arm.rs:36:32: 36:33 |
94222f64 XL |
43 | _5 = discriminant(_3); // scope 0 at $DIR/simplify-arm.rs:36:19: 36:33 |
44 | switchInt(move _5) -> [0_isize: bb1, 1_isize: bb3, otherwise: bb2]; // scope 0 at $DIR/simplify-arm.rs:36:13: 36:33 | |
ba9703b0 XL |
45 | } |
46 | ||
47 | bb1: { | |
04454e1e FG |
48 | StorageLive(_10); // scope 0 at $DIR/simplify-arm.rs:38:12: 38:13 |
49 | _10 = ((_3 as Ok).0: u8); // scope 0 at $DIR/simplify-arm.rs:38:12: 38:13 | |
50 | _2 = _10; // scope 3 at $DIR/simplify-arm.rs:38:18: 38:19 | |
51 | StorageDead(_10); // scope 0 at $DIR/simplify-arm.rs:38:18: 38:19 | |
17df50a5 | 52 | StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:39:6: 39:7 |
04454e1e FG |
53 | StorageLive(_11); // scope 1 at $DIR/simplify-arm.rs:40:8: 40:9 |
54 | _11 = _2; // scope 1 at $DIR/simplify-arm.rs:40:8: 40:9 | |
55 | Deinit(_0); // scope 1 at $DIR/simplify-arm.rs:40:5: 40:10 | |
56 | ((_0 as Ok).0: u8) = move _11; // scope 1 at $DIR/simplify-arm.rs:40:5: 40:10 | |
57 | discriminant(_0) = 0; // scope 1 at $DIR/simplify-arm.rs:40:5: 40:10 | |
58 | StorageDead(_11); // scope 1 at $DIR/simplify-arm.rs:40:9: 40:10 | |
17df50a5 XL |
59 | StorageDead(_2); // scope 0 at $DIR/simplify-arm.rs:41:1: 41:2 |
60 | goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:41:2: 41:2 | |
ba9703b0 XL |
61 | } |
62 | ||
63 | bb2: { | |
17df50a5 | 64 | unreachable; // scope 0 at $DIR/simplify-arm.rs:36:19: 36:33 |
ba9703b0 XL |
65 | } |
66 | ||
67 | bb3: { | |
04454e1e FG |
68 | StorageLive(_6); // scope 0 at $DIR/simplify-arm.rs:37:13: 37:14 |
69 | _6 = ((_3 as Err).0: i32); // scope 0 at $DIR/simplify-arm.rs:37:13: 37:14 | |
70 | StorageLive(_8); // scope 2 at $DIR/simplify-arm.rs:37:37: 37:50 | |
71 | StorageLive(_9); // scope 2 at $DIR/simplify-arm.rs:37:48: 37:49 | |
72 | _9 = _6; // scope 2 at $DIR/simplify-arm.rs:37:48: 37:49 | |
73 | _8 = move _9; // scope 5 at $SRC_DIR/core/src/convert/mod.rs:LL:COL | |
74 | StorageDead(_9); // scope 2 at $DIR/simplify-arm.rs:37:49: 37:50 | |
75 | ((_0 as Err).0: i32) = move _8; // scope 6 at $DIR/simplify-arm.rs:28:9: 28:10 | |
76 | Deinit(_0); // scope 6 at $DIR/simplify-arm.rs:28:5: 28:11 | |
77 | discriminant(_0) = 1; // scope 6 at $DIR/simplify-arm.rs:28:5: 28:11 | |
78 | StorageDead(_8); // scope 2 at $DIR/simplify-arm.rs:37:50: 37:51 | |
79 | StorageDead(_6); // scope 0 at $DIR/simplify-arm.rs:37:50: 37:51 | |
17df50a5 XL |
80 | StorageDead(_3); // scope 0 at $DIR/simplify-arm.rs:39:6: 39:7 |
81 | StorageDead(_2); // scope 0 at $DIR/simplify-arm.rs:41:1: 41:2 | |
82 | goto -> bb4; // scope 0 at $DIR/simplify-arm.rs:41:2: 41:2 | |
3dfed10e XL |
83 | } |
84 | ||
85 | bb4: { | |
17df50a5 | 86 | return; // scope 0 at $DIR/simplify-arm.rs:41:2: 41:2 |
ba9703b0 | 87 | } |
923072b8 FG |
88 | |
89 | bb5 (cleanup): { | |
90 | resume; // scope 0 at $DIR/simplify-arm.rs:35:1: 41:2 | |
91 | } | |
ba9703b0 XL |
92 | } |
93 |