|
1 | 1 | - // MIR for `try_identity` before SimplifyArmIdentity
|
2 | 2 | + // MIR for `try_identity` after SimplifyArmIdentity
|
3 |
| - |
| 3 | + |
4 | 4 | fn try_identity(_1: std::result::Result<u32, i32>) -> std::result::Result<u32, i32> {
|
5 |
| - debug x => _1; // in scope 0 at $DIR/simplify_try.rs:5:17: 5:18 |
6 |
| - let mut _0: std::result::Result<u32, i32>; // return place in scope 0 at $DIR/simplify_try.rs:5:41: 5:57 |
7 |
| - let _2: u32; // in scope 0 at $DIR/simplify_try.rs:6:9: 6:10 |
8 |
| - let mut _3: std::result::Result<u32, i32>; // in scope 0 at $DIR/simplify_try.rs:6:13: 6:15 |
9 |
| - let mut _4: std::result::Result<u32, i32>; // in scope 0 at $DIR/simplify_try.rs:6:13: 6:14 |
10 |
| - let mut _5: isize; // in scope 0 at $DIR/simplify_try.rs:6:14: 6:15 |
11 |
| - let _6: i32; // in scope 0 at $DIR/simplify_try.rs:6:14: 6:15 |
12 |
| - let mut _7: !; // in scope 0 at $DIR/simplify_try.rs:6:14: 6:15 |
13 |
| - let mut _8: i32; // in scope 0 at $DIR/simplify_try.rs:6:14: 6:15 |
14 |
| - let mut _9: i32; // in scope 0 at $DIR/simplify_try.rs:6:14: 6:15 |
15 |
| - let _10: u32; // in scope 0 at $DIR/simplify_try.rs:6:13: 6:15 |
16 |
| - let mut _11: u32; // in scope 0 at $DIR/simplify_try.rs:7:8: 7:9 |
| 5 | + debug x => _1; // in scope 0 at $DIR/simplify_try.rs:6:17: 6:18 |
| 6 | + let mut _0: std::result::Result<u32, i32>; // return place in scope 0 at $DIR/simplify_try.rs:6:41: 6:57 |
| 7 | + let _2: u32; // in scope 0 at $DIR/simplify_try.rs:7:9: 7:10 |
| 8 | + let mut _3: std::result::Result<u32, i32>; // in scope 0 at $DIR/simplify_try.rs:7:13: 7:15 |
| 9 | + let mut _4: std::result::Result<u32, i32>; // in scope 0 at $DIR/simplify_try.rs:7:13: 7:14 |
| 10 | + let mut _5: isize; // in scope 0 at $DIR/simplify_try.rs:7:14: 7:15 |
| 11 | + let _6: i32; // in scope 0 at $DIR/simplify_try.rs:7:14: 7:15 |
| 12 | + let mut _7: !; // in scope 0 at $DIR/simplify_try.rs:7:14: 7:15 |
| 13 | + let mut _8: i32; // in scope 0 at $DIR/simplify_try.rs:7:14: 7:15 |
| 14 | + let mut _9: i32; // in scope 0 at $DIR/simplify_try.rs:7:14: 7:15 |
| 15 | + let _10: u32; // in scope 0 at $DIR/simplify_try.rs:7:13: 7:15 |
| 16 | + let mut _11: u32; // in scope 0 at $DIR/simplify_try.rs:8:8: 8:9 |
17 | 17 | scope 1 {
|
18 |
| - debug y => _2; // in scope 1 at $DIR/simplify_try.rs:6:9: 6:10 |
| 18 | + debug y => _2; // in scope 1 at $DIR/simplify_try.rs:7:9: 7:10 |
19 | 19 | }
|
20 | 20 | scope 2 {
|
21 |
| - debug err => _6; // in scope 2 at $DIR/simplify_try.rs:6:14: 6:15 |
| 21 | + debug err => _6; // in scope 2 at $DIR/simplify_try.rs:7:14: 7:15 |
22 | 22 | scope 3 {
|
23 | 23 | scope 7 {
|
24 | 24 | debug t => _9; // in scope 7 at $SRC_DIR/libcore/convert/mod.rs:LL:COL
|
25 | 25 | }
|
26 | 26 | scope 8 {
|
27 | 27 | debug v => _8; // in scope 8 at $SRC_DIR/libcore/result.rs:LL:COL
|
28 |
| - let mut _12: i32; // in scope 8 at $DIR/simplify_try.rs:6:14: 6:15 |
| 28 | + let mut _12: i32; // in scope 8 at $DIR/simplify_try.rs:7:14: 7:15 |
29 | 29 | }
|
30 | 30 | }
|
31 | 31 | }
|
32 | 32 | scope 4 {
|
33 |
| - debug val => _10; // in scope 4 at $DIR/simplify_try.rs:6:13: 6:15 |
| 33 | + debug val => _10; // in scope 4 at $DIR/simplify_try.rs:7:13: 7:15 |
34 | 34 | scope 5 {
|
35 | 35 | }
|
36 | 36 | }
|
37 | 37 | scope 6 {
|
38 | 38 | debug self => _4; // in scope 6 at $SRC_DIR/libcore/result.rs:LL:COL
|
39 | 39 | }
|
40 |
| - |
| 40 | + |
41 | 41 | bb0: {
|
42 |
| - StorageLive(_2); // scope 0 at $DIR/simplify_try.rs:6:9: 6:10 |
43 |
| - StorageLive(_3); // scope 0 at $DIR/simplify_try.rs:6:13: 6:15 |
44 |
| - StorageLive(_4); // scope 0 at $DIR/simplify_try.rs:6:13: 6:14 |
45 |
| - _4 = _1; // scope 0 at $DIR/simplify_try.rs:6:13: 6:14 |
| 42 | + StorageLive(_2); // scope 0 at $DIR/simplify_try.rs:7:9: 7:10 |
| 43 | + StorageLive(_3); // scope 0 at $DIR/simplify_try.rs:7:13: 7:15 |
| 44 | + StorageLive(_4); // scope 0 at $DIR/simplify_try.rs:7:13: 7:14 |
| 45 | + _4 = _1; // scope 0 at $DIR/simplify_try.rs:7:13: 7:14 |
46 | 46 | _3 = move _4; // scope 6 at $SRC_DIR/libcore/result.rs:LL:COL
|
47 |
| - StorageDead(_4); // scope 0 at $DIR/simplify_try.rs:6:14: 6:15 |
48 |
| - _5 = discriminant(_3); // scope 0 at $DIR/simplify_try.rs:6:14: 6:15 |
49 |
| - switchInt(move _5) -> [0isize: bb1, otherwise: bb2]; // scope 0 at $DIR/simplify_try.rs:6:14: 6:15 |
| 47 | + StorageDead(_4); // scope 0 at $DIR/simplify_try.rs:7:14: 7:15 |
| 48 | + _5 = discriminant(_3); // scope 0 at $DIR/simplify_try.rs:7:14: 7:15 |
| 49 | + switchInt(move _5) -> [0isize: bb1, otherwise: bb2]; // scope 0 at $DIR/simplify_try.rs:7:14: 7:15 |
50 | 50 | }
|
51 |
| - |
| 51 | + |
52 | 52 | bb1: {
|
53 |
| -- StorageLive(_10); // scope 0 at $DIR/simplify_try.rs:6:13: 6:15 |
54 |
| -- _10 = ((_3 as Ok).0: u32); // scope 0 at $DIR/simplify_try.rs:6:13: 6:15 |
55 |
| -- _2 = _10; // scope 5 at $DIR/simplify_try.rs:6:13: 6:15 |
56 |
| -- StorageDead(_10); // scope 0 at $DIR/simplify_try.rs:6:14: 6:15 |
57 |
| -+ _0 = move _3; // scope 1 at $DIR/simplify_try.rs:7:5: 7:10 |
58 |
| - StorageDead(_3); // scope 0 at $DIR/simplify_try.rs:6:15: 6:16 |
59 |
| -- StorageLive(_11); // scope 1 at $DIR/simplify_try.rs:7:8: 7:9 |
60 |
| -- _11 = _2; // scope 1 at $DIR/simplify_try.rs:7:8: 7:9 |
61 |
| -- ((_0 as Ok).0: u32) = move _11; // scope 1 at $DIR/simplify_try.rs:7:5: 7:10 |
62 |
| -- discriminant(_0) = 0; // scope 1 at $DIR/simplify_try.rs:7:5: 7:10 |
63 |
| -- StorageDead(_11); // scope 1 at $DIR/simplify_try.rs:7:9: 7:10 |
64 |
| - StorageDead(_2); // scope 0 at $DIR/simplify_try.rs:8:1: 8:2 |
65 |
| - goto -> bb3; // scope 0 at $DIR/simplify_try.rs:8:2: 8:2 |
| 53 | +- StorageLive(_10); // scope 0 at $DIR/simplify_try.rs:7:13: 7:15 |
| 54 | +- _10 = ((_3 as Ok).0: u32); // scope 0 at $DIR/simplify_try.rs:7:13: 7:15 |
| 55 | +- _2 = _10; // scope 5 at $DIR/simplify_try.rs:7:13: 7:15 |
| 56 | +- StorageDead(_10); // scope 0 at $DIR/simplify_try.rs:7:14: 7:15 |
| 57 | ++ _0 = move _3; // scope 1 at $DIR/simplify_try.rs:8:5: 8:10 |
| 58 | + StorageDead(_3); // scope 0 at $DIR/simplify_try.rs:7:15: 7:16 |
| 59 | +- StorageLive(_11); // scope 1 at $DIR/simplify_try.rs:8:8: 8:9 |
| 60 | +- _11 = _2; // scope 1 at $DIR/simplify_try.rs:8:8: 8:9 |
| 61 | +- ((_0 as Ok).0: u32) = move _11; // scope 1 at $DIR/simplify_try.rs:8:5: 8:10 |
| 62 | +- discriminant(_0) = 0; // scope 1 at $DIR/simplify_try.rs:8:5: 8:10 |
| 63 | +- StorageDead(_11); // scope 1 at $DIR/simplify_try.rs:8:9: 8:10 |
| 64 | + StorageDead(_2); // scope 0 at $DIR/simplify_try.rs:9:1: 9:2 |
| 65 | + goto -> bb3; // scope 0 at $DIR/simplify_try.rs:9:2: 9:2 |
66 | 66 | }
|
67 |
| - |
| 67 | + |
68 | 68 | bb2: {
|
69 |
| -- StorageLive(_6); // scope 0 at $DIR/simplify_try.rs:6:14: 6:15 |
70 |
| -- _6 = ((_3 as Err).0: i32); // scope 0 at $DIR/simplify_try.rs:6:14: 6:15 |
71 |
| -- StorageLive(_8); // scope 3 at $DIR/simplify_try.rs:6:14: 6:15 |
72 |
| -- StorageLive(_9); // scope 3 at $DIR/simplify_try.rs:6:14: 6:15 |
73 |
| -- _9 = _6; // scope 3 at $DIR/simplify_try.rs:6:14: 6:15 |
| 69 | +- StorageLive(_6); // scope 0 at $DIR/simplify_try.rs:7:14: 7:15 |
| 70 | +- _6 = ((_3 as Err).0: i32); // scope 0 at $DIR/simplify_try.rs:7:14: 7:15 |
| 71 | +- StorageLive(_8); // scope 3 at $DIR/simplify_try.rs:7:14: 7:15 |
| 72 | +- StorageLive(_9); // scope 3 at $DIR/simplify_try.rs:7:14: 7:15 |
| 73 | +- _9 = _6; // scope 3 at $DIR/simplify_try.rs:7:14: 7:15 |
74 | 74 | - _8 = move _9; // scope 7 at $SRC_DIR/libcore/convert/mod.rs:LL:COL
|
75 |
| -- StorageDead(_9); // scope 3 at $DIR/simplify_try.rs:6:14: 6:15 |
| 75 | +- StorageDead(_9); // scope 3 at $DIR/simplify_try.rs:7:14: 7:15 |
76 | 76 | - StorageLive(_12); // scope 8 at $SRC_DIR/libcore/result.rs:LL:COL
|
77 | 77 | - _12 = move _8; // scope 8 at $SRC_DIR/libcore/result.rs:LL:COL
|
78 | 78 | - ((_0 as Err).0: i32) = move _12; // scope 8 at $SRC_DIR/libcore/result.rs:LL:COL
|
79 | 79 | - discriminant(_0) = 1; // scope 8 at $SRC_DIR/libcore/result.rs:LL:COL
|
80 | 80 | - StorageDead(_12); // scope 8 at $SRC_DIR/libcore/result.rs:LL:COL
|
81 |
| -- StorageDead(_8); // scope 3 at $DIR/simplify_try.rs:6:14: 6:15 |
82 |
| -- StorageDead(_6); // scope 0 at $DIR/simplify_try.rs:6:14: 6:15 |
| 81 | +- StorageDead(_8); // scope 3 at $DIR/simplify_try.rs:7:14: 7:15 |
| 82 | +- StorageDead(_6); // scope 0 at $DIR/simplify_try.rs:7:14: 7:15 |
83 | 83 | + _0 = move _3; // scope 8 at $SRC_DIR/libcore/result.rs:LL:COL
|
84 |
| - StorageDead(_3); // scope 0 at $DIR/simplify_try.rs:6:15: 6:16 |
85 |
| - StorageDead(_2); // scope 0 at $DIR/simplify_try.rs:8:1: 8:2 |
86 |
| - goto -> bb3; // scope 0 at $DIR/simplify_try.rs:6:14: 6:15 |
| 84 | + StorageDead(_3); // scope 0 at $DIR/simplify_try.rs:7:15: 7:16 |
| 85 | + StorageDead(_2); // scope 0 at $DIR/simplify_try.rs:9:1: 9:2 |
| 86 | + goto -> bb3; // scope 0 at $DIR/simplify_try.rs:9:2: 9:2 |
87 | 87 | }
|
88 |
| - |
| 88 | + |
89 | 89 | bb3: {
|
90 |
| - return; // scope 0 at $DIR/simplify_try.rs:8:2: 8:2 |
| 90 | + return; // scope 0 at $DIR/simplify_try.rs:9:2: 9:2 |
91 | 91 | }
|
92 | 92 | }
|
93 |
| - |
0 commit comments