]>
Commit | Line | Data |
---|---|---|
f9f354fc XL |
1 | - // MIR for `<impl at $DIR/simplify_try_if_let.rs:15:1: 34:2>::append` before SimplifyArmIdentity |
2 | + // MIR for `<impl at $DIR/simplify_try_if_let.rs:15:1: 34:2>::append` after SimplifyArmIdentity | |
3 | ||
4 | fn <impl at $DIR/simplify_try_if_let.rs:15:1: 34:2>::append(_1: &mut LinkedList, _2: &mut LinkedList) -> () { | |
5 | debug self => _1; // in scope 0 at $DIR/simplify_try_if_let.rs:20:19: 20:28 | |
6 | debug other => _2; // in scope 0 at $DIR/simplify_try_if_let.rs:20:30: 20:35 | |
7 | let mut _0: (); // return place in scope 0 at $DIR/simplify_try_if_let.rs:20:48: 20:48 | |
8 | let mut _3: isize; // in scope 0 at $DIR/simplify_try_if_let.rs:22:13: 22:17 | |
9 | let mut _4: std::ptr::NonNull<Node>; // in scope 0 at $DIR/simplify_try_if_let.rs:23:18: 23:26 | |
10 | let mut _5: std::option::Option<std::ptr::NonNull<Node>>; // in scope 0 at $DIR/simplify_try_if_let.rs:26:43: 26:60 | |
11 | let mut _6: &mut std::option::Option<std::ptr::NonNull<Node>>; // in scope 0 at $DIR/simplify_try_if_let.rs:26:43: 26:53 | |
12 | let mut _7: isize; // in scope 0 at $DIR/simplify_try_if_let.rs:26:24: 26:40 | |
13 | let mut _9: std::option::Option<std::ptr::NonNull<Node>>; // in scope 0 at $DIR/simplify_try_if_let.rs:28:46: 28:62 | |
14 | let mut _10: std::ptr::NonNull<Node>; // in scope 0 at $DIR/simplify_try_if_let.rs:28:51: 28:61 | |
15 | let mut _11: &mut Node; // in scope 0 at $DIR/simplify_try_if_let.rs:28:25: 28:38 | |
16 | let mut _12: &mut std::ptr::NonNull<Node>; // in scope 0 at $DIR/simplify_try_if_let.rs:28:25: 28:29 | |
17 | scope 1 { | |
18 | debug tail => _4; // in scope 1 at $DIR/simplify_try_if_let.rs:23:18: 23:26 | |
19 | let _8: std::ptr::NonNull<Node>; // in scope 1 at $DIR/simplify_try_if_let.rs:26:29: 26:39 | |
20 | scope 2 { | |
1b1a35ee XL |
21 | - debug other_head => _8; // in scope 2 at $DIR/simplify_try_if_let.rs:26:29: 26:39 |
22 | + debug other_head => ((_9 as Some).0: std::ptr::NonNull<Node>); // in scope 2 at $DIR/simplify_try_if_let.rs:26:29: 26:39 | |
f9f354fc XL |
23 | scope 3 { |
24 | } | |
25 | } | |
26 | } | |
27 | ||
28 | bb0: { | |
29 | _3 = discriminant(((*_1).1: std::option::Option<std::ptr::NonNull<Node>>)); // scope 0 at $DIR/simplify_try_if_let.rs:22:13: 22:17 | |
f035d41b | 30 | switchInt(move _3) -> [0_isize: bb3, 1_isize: bb1, otherwise: bb2]; // scope 0 at $DIR/simplify_try_if_let.rs:22:13: 22:17 |
f9f354fc XL |
31 | } |
32 | ||
33 | bb1: { | |
34 | StorageLive(_4); // scope 0 at $DIR/simplify_try_if_let.rs:23:18: 23:26 | |
35 | _4 = ((((*_1).1: std::option::Option<std::ptr::NonNull<Node>>) as Some).0: std::ptr::NonNull<Node>); // scope 0 at $DIR/simplify_try_if_let.rs:23:18: 23:26 | |
36 | StorageLive(_5); // scope 1 at $DIR/simplify_try_if_let.rs:26:43: 26:60 | |
37 | StorageLive(_6); // scope 1 at $DIR/simplify_try_if_let.rs:26:43: 26:53 | |
38 | _6 = &mut ((*_2).0: std::option::Option<std::ptr::NonNull<Node>>); // scope 1 at $DIR/simplify_try_if_let.rs:26:43: 26:53 | |
1b1a35ee | 39 | _5 = Option::<NonNull<Node>>::take(move _6) -> bb4; // scope 1 at $DIR/simplify_try_if_let.rs:26:43: 26:60 |
f9f354fc XL |
40 | // mir::Constant |
41 | // + span: $DIR/simplify_try_if_let.rs:26:54: 26:58 | |
42 | // + literal: Const { ty: for<'r> fn(&'r mut std::option::Option<std::ptr::NonNull<Node>>) -> std::option::Option<std::ptr::NonNull<Node>> {std::option::Option::<std::ptr::NonNull<Node>>::take}, val: Value(Scalar(<ZST>)) } | |
43 | } | |
44 | ||
45 | bb2: { | |
46 | unreachable; // scope 0 at $DIR/simplify_try_if_let.rs:21:15: 21:24 | |
47 | } | |
48 | ||
49 | bb3: { | |
50 | _0 = const (); // scope 0 at $DIR/simplify_try_if_let.rs:22:21: 22:24 | |
f9f354fc XL |
51 | goto -> bb9; // scope 0 at $DIR/simplify_try_if_let.rs:21:9: 32:10 |
52 | } | |
53 | ||
54 | bb4: { | |
55 | StorageDead(_6); // scope 1 at $DIR/simplify_try_if_let.rs:26:59: 26:60 | |
56 | _7 = discriminant(_5); // scope 1 at $DIR/simplify_try_if_let.rs:26:24: 26:40 | |
f035d41b | 57 | switchInt(move _7) -> [1_isize: bb6, otherwise: bb5]; // scope 1 at $DIR/simplify_try_if_let.rs:26:24: 26:40 |
f9f354fc XL |
58 | } |
59 | ||
60 | bb5: { | |
61 | _0 = const (); // scope 1 at $DIR/simplify_try_if_let.rs:26:17: 30:18 | |
f9f354fc XL |
62 | goto -> bb8; // scope 1 at $DIR/simplify_try_if_let.rs:26:17: 30:18 |
63 | } | |
64 | ||
65 | bb6: { | |
66 | StorageLive(_8); // scope 1 at $DIR/simplify_try_if_let.rs:26:29: 26:39 | |
67 | _8 = ((_5 as Some).0: std::ptr::NonNull<Node>); // scope 1 at $DIR/simplify_try_if_let.rs:26:29: 26:39 | |
68 | StorageLive(_9); // scope 3 at $DIR/simplify_try_if_let.rs:28:46: 28:62 | |
1b1a35ee XL |
69 | - StorageLive(_10); // scope 3 at $DIR/simplify_try_if_let.rs:28:51: 28:61 |
70 | - _10 = _8; // scope 3 at $DIR/simplify_try_if_let.rs:28:51: 28:61 | |
71 | - ((_9 as Some).0: std::ptr::NonNull<Node>) = move _10; // scope 3 at $DIR/simplify_try_if_let.rs:28:46: 28:62 | |
72 | - discriminant(_9) = 1; // scope 3 at $DIR/simplify_try_if_let.rs:28:46: 28:62 | |
73 | - StorageDead(_10); // scope 3 at $DIR/simplify_try_if_let.rs:28:61: 28:62 | |
74 | + _9 = move _5; // scope 3 at $DIR/simplify_try_if_let.rs:28:46: 28:62 | |
f9f354fc XL |
75 | StorageLive(_11); // scope 3 at $DIR/simplify_try_if_let.rs:28:25: 28:38 |
76 | StorageLive(_12); // scope 3 at $DIR/simplify_try_if_let.rs:28:25: 28:29 | |
77 | _12 = &mut _4; // scope 3 at $DIR/simplify_try_if_let.rs:28:25: 28:29 | |
1b1a35ee | 78 | _11 = NonNull::<Node>::as_mut(move _12) -> bb7; // scope 3 at $DIR/simplify_try_if_let.rs:28:25: 28:38 |
f9f354fc XL |
79 | // mir::Constant |
80 | // + span: $DIR/simplify_try_if_let.rs:28:30: 28:36 | |
81 | // + literal: Const { ty: for<'r> unsafe fn(&'r mut std::ptr::NonNull<Node>) -> &'r mut Node {std::ptr::NonNull::<Node>::as_mut}, val: Value(Scalar(<ZST>)) } | |
82 | } | |
83 | ||
84 | bb7: { | |
85 | StorageDead(_12); // scope 3 at $DIR/simplify_try_if_let.rs:28:37: 28:38 | |
86 | ((*_11).0: std::option::Option<std::ptr::NonNull<Node>>) = move _9; // scope 3 at $DIR/simplify_try_if_let.rs:28:25: 28:62 | |
87 | StorageDead(_9); // scope 3 at $DIR/simplify_try_if_let.rs:28:61: 28:62 | |
88 | StorageDead(_11); // scope 3 at $DIR/simplify_try_if_let.rs:28:62: 28:63 | |
89 | _0 = const (); // scope 3 at $DIR/simplify_try_if_let.rs:27:21: 29:22 | |
f9f354fc XL |
90 | StorageDead(_8); // scope 1 at $DIR/simplify_try_if_let.rs:30:17: 30:18 |
91 | goto -> bb8; // scope 1 at $DIR/simplify_try_if_let.rs:26:17: 30:18 | |
92 | } | |
93 | ||
94 | bb8: { | |
95 | StorageDead(_5); // scope 1 at $DIR/simplify_try_if_let.rs:31:13: 31:14 | |
f035d41b | 96 | StorageDead(_4); // scope 0 at $DIR/simplify_try_if_let.rs:31:13: 31:14 |
f9f354fc XL |
97 | goto -> bb9; // scope 0 at $DIR/simplify_try_if_let.rs:21:9: 32:10 |
98 | } | |
99 | ||
100 | bb9: { | |
101 | return; // scope 0 at $DIR/simplify_try_if_let.rs:33:6: 33:6 | |
102 | } | |
103 | } | |
104 |