]>
Commit | Line | Data |
---|---|---|
3dfed10e 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/issue-73223.rs:1:11: 1:11 | |
6 | let _1: i32; // in scope 0 at $DIR/issue-73223.rs:2:9: 2:14 | |
7 | let mut _2: std::option::Option<i32>; // in scope 0 at $DIR/issue-73223.rs:2:23: 2:30 | |
8 | let mut _3: isize; // in scope 0 at $DIR/issue-73223.rs:3:9: 3:16 | |
9 | let _4: i32; // in scope 0 at $DIR/issue-73223.rs:3:14: 3:15 | |
10 | let mut _5: !; // in scope 0 at $DIR/issue-73223.rs:4:17: 4:23 | |
11 | let mut _7: i32; // in scope 0 at $DIR/issue-73223.rs:7:22: 7:27 | |
12 | let _8: (); // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
13 | let mut _9: (&i32, &i32); // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
14 | let mut _10: &i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
15 | let mut _11: &i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
16 | let _12: i32; // in scope 0 at $DIR/issue-73223.rs:8:23: 8:24 | |
17 | let mut _15: bool; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
18 | let mut _16: bool; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
19 | let mut _17: i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
20 | let mut _18: i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
21 | let mut _19: !; // in scope 0 at $SRC_DIR/std/src/macros.rs:LL:COL | |
22 | let mut _20: &std::fmt::Arguments; // in scope 0 at $SRC_DIR/std/src/macros.rs:LL:COL | |
23 | let _21: &std::fmt::Arguments; // in scope 0 at $SRC_DIR/std/src/macros.rs:LL:COL | |
24 | let _22: std::fmt::Arguments; // in scope 0 at $SRC_DIR/std/src/macros.rs:LL:COL | |
25 | let mut _23: &[&str]; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
26 | let mut _24: &[&str; 3]; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
27 | let _25: &[&str; 3]; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
28 | let _26: [&str; 3]; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
29 | let mut _27: &[std::fmt::ArgumentV1]; // in scope 0 at $SRC_DIR/std/src/macros.rs:LL:COL | |
30 | let mut _28: &[std::fmt::ArgumentV1; 2]; // in scope 0 at $SRC_DIR/std/src/macros.rs:LL:COL | |
31 | let _29: &[std::fmt::ArgumentV1; 2]; // in scope 0 at $SRC_DIR/std/src/macros.rs:LL:COL | |
32 | let _30: [std::fmt::ArgumentV1; 2]; // in scope 0 at $SRC_DIR/std/src/macros.rs:LL:COL | |
33 | let mut _31: (&&i32, &&i32); // in scope 0 at $SRC_DIR/std/src/macros.rs:LL:COL | |
34 | let mut _32: &&i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
35 | let _33: &i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
36 | let mut _34: &&i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
37 | let _35: &i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
38 | let mut _38: std::fmt::ArgumentV1; // in scope 0 at $SRC_DIR/std/src/macros.rs:LL:COL | |
39 | let mut _39: &&i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
40 | let mut _40: for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
41 | let mut _41: std::fmt::ArgumentV1; // in scope 0 at $SRC_DIR/std/src/macros.rs:LL:COL | |
42 | let mut _42: &&i32; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
43 | let mut _43: for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 0 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
44 | scope 1 { | |
45 | debug split => _1; // in scope 1 at $DIR/issue-73223.rs:2:9: 2:14 | |
46 | let _6: std::option::Option<i32>; // in scope 1 at $DIR/issue-73223.rs:7:9: 7:14 | |
47 | scope 3 { | |
48 | debug _prev => _6; // in scope 3 at $DIR/issue-73223.rs:7:9: 7:14 | |
49 | let _13: &i32; // in scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
50 | let _14: &i32; // in scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
51 | let mut _45: &i32; // in scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
52 | scope 4 { | |
53 | debug left_val => _13; // in scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
54 | debug right_val => _14; // in scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
55 | let _36: &&i32; // in scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
56 | let _37: &&i32; // in scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
57 | let mut _44: &[&str; 3]; // in scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
58 | scope 5 { | |
59 | debug arg0 => _36; // in scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
60 | debug arg1 => _37; // in scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
61 | scope 6 { | |
62 | debug x => _39; // in scope 6 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
63 | debug f => _40; // in scope 6 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
64 | let mut _46: for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 6 at $SRC_DIR/std/src/macros.rs:LL:COL | |
65 | let mut _47: for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 6 at $SRC_DIR/std/src/macros.rs:LL:COL | |
66 | let mut _48: &core::fmt::Opaque; // in scope 6 at $SRC_DIR/std/src/macros.rs:LL:COL | |
67 | let mut _49: &&i32; // in scope 6 at $SRC_DIR/std/src/macros.rs:LL:COL | |
68 | } | |
69 | scope 8 { | |
70 | debug x => _42; // in scope 8 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
71 | debug f => _43; // in scope 8 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
72 | let mut _50: for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 8 at $SRC_DIR/std/src/macros.rs:LL:COL | |
73 | let mut _51: for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 8 at $SRC_DIR/std/src/macros.rs:LL:COL | |
74 | let mut _52: &core::fmt::Opaque; // in scope 8 at $SRC_DIR/std/src/macros.rs:LL:COL | |
75 | let mut _53: &&i32; // in scope 8 at $SRC_DIR/std/src/macros.rs:LL:COL | |
76 | } | |
77 | } | |
78 | scope 10 { | |
79 | debug pieces => _23; // in scope 10 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
80 | debug args => _27; // in scope 10 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
81 | let mut _54: &[&str]; // in scope 10 at $SRC_DIR/std/src/macros.rs:LL:COL | |
82 | let mut _55: std::option::Option<&[std::fmt::rt::v1::Argument]>; // in scope 10 at $SRC_DIR/std/src/macros.rs:LL:COL | |
83 | let mut _56: &[std::fmt::ArgumentV1]; // in scope 10 at $SRC_DIR/std/src/macros.rs:LL:COL | |
84 | } | |
85 | } | |
86 | } | |
87 | } | |
88 | scope 2 { | |
89 | debug v => _4; // in scope 2 at $DIR/issue-73223.rs:3:14: 3:15 | |
90 | } | |
91 | scope 7 { | |
92 | } | |
93 | scope 9 { | |
94 | } | |
95 | ||
96 | bb0: { | |
97 | StorageLive(_1); // scope 0 at $DIR/issue-73223.rs:2:9: 2:14 | |
98 | StorageLive(_2); // scope 0 at $DIR/issue-73223.rs:2:23: 2:30 | |
99 | ((_2 as Some).0: i32) = const 1_i32; // scope 0 at $DIR/issue-73223.rs:2:23: 2:30 | |
100 | discriminant(_2) = 1; // scope 0 at $DIR/issue-73223.rs:2:23: 2:30 | |
101 | _3 = const 1_isize; // scope 0 at $DIR/issue-73223.rs:3:9: 3:16 | |
102 | goto -> bb2; // scope 0 at $DIR/issue-73223.rs:3:9: 3:16 | |
103 | } | |
104 | ||
105 | bb1: { | |
106 | _0 = const (); // scope 0 at $DIR/issue-73223.rs:4:17: 4:23 | |
107 | StorageDead(_2); // scope 0 at $DIR/issue-73223.rs:5:6: 5:7 | |
108 | StorageDead(_1); // scope 0 at $DIR/issue-73223.rs:9:1: 9:2 | |
109 | goto -> bb3; // scope 0 at $DIR/issue-73223.rs:4:17: 4:23 | |
110 | } | |
111 | ||
112 | bb2: { | |
113 | StorageLive(_4); // scope 0 at $DIR/issue-73223.rs:3:14: 3:15 | |
114 | _4 = ((_2 as Some).0: i32); // scope 0 at $DIR/issue-73223.rs:3:14: 3:15 | |
115 | _1 = _4; // scope 2 at $DIR/issue-73223.rs:3:20: 3:21 | |
116 | StorageDead(_4); // scope 0 at $DIR/issue-73223.rs:3:20: 3:21 | |
117 | StorageDead(_2); // scope 0 at $DIR/issue-73223.rs:5:6: 5:7 | |
118 | StorageLive(_6); // scope 1 at $DIR/issue-73223.rs:7:9: 7:14 | |
119 | StorageLive(_7); // scope 1 at $DIR/issue-73223.rs:7:22: 7:27 | |
120 | _7 = _1; // scope 1 at $DIR/issue-73223.rs:7:22: 7:27 | |
121 | ((_6 as Some).0: i32) = move _7; // scope 1 at $DIR/issue-73223.rs:7:17: 7:28 | |
122 | discriminant(_6) = 1; // scope 1 at $DIR/issue-73223.rs:7:17: 7:28 | |
123 | StorageDead(_7); // scope 1 at $DIR/issue-73223.rs:7:27: 7:28 | |
124 | StorageLive(_8); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
125 | StorageLive(_9); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
126 | StorageLive(_10); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
127 | _10 = &_1; // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
128 | StorageLive(_11); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
129 | _45 = const main::promoted[1]; // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
130 | // ty::Const | |
131 | // + ty: &i32 | |
132 | // + val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main[0]), const_param_did: None }, [], Some(promoted[1])) | |
133 | // mir::Constant | |
134 | // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
135 | // + literal: Const { ty: &i32, val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main[0]), const_param_did: None }, [], Some(promoted[1])) } | |
136 | _11 = _45; // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
137 | (_9.0: &i32) = move _10; // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
138 | (_9.1: &i32) = move _11; // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
139 | StorageDead(_11); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
140 | StorageDead(_10); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
141 | StorageLive(_13); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
142 | _13 = (_9.0: &i32); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
143 | StorageLive(_14); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
144 | _14 = (_9.1: &i32); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
145 | StorageLive(_15); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
146 | StorageLive(_16); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
147 | StorageLive(_17); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
148 | _17 = (*_13); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
149 | StorageLive(_18); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
150 | _18 = const 1_i32; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
151 | _16 = Eq(move _17, const 1_i32); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
152 | StorageDead(_18); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
153 | StorageDead(_17); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
154 | _15 = Not(move _16); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
155 | StorageDead(_16); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
156 | switchInt(_15) -> [false: bb4, otherwise: bb5]; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
157 | } | |
158 | ||
159 | bb3: { | |
160 | return; // scope 0 at $DIR/issue-73223.rs:9:2: 9:2 | |
161 | } | |
162 | ||
163 | bb4: { | |
164 | _8 = const (); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
165 | StorageDead(_15); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
166 | StorageDead(_14); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
167 | StorageDead(_13); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
168 | StorageDead(_9); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
169 | StorageDead(_8); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
170 | _0 = const (); // scope 0 at $DIR/issue-73223.rs:1:11: 9:2 | |
171 | StorageDead(_6); // scope 1 at $DIR/issue-73223.rs:9:1: 9:2 | |
172 | StorageDead(_1); // scope 0 at $DIR/issue-73223.rs:9:1: 9:2 | |
173 | goto -> bb3; // scope 0 at $DIR/issue-73223.rs:9:2: 9:2 | |
174 | } | |
175 | ||
176 | bb5: { | |
177 | StorageLive(_19); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
178 | StorageLive(_20); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
179 | StorageLive(_21); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
180 | StorageLive(_22); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
181 | StorageLive(_23); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
182 | StorageLive(_24); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
183 | StorageLive(_25); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
184 | _44 = const main::promoted[0]; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
185 | // ty::Const | |
186 | // + ty: &[&str; 3] | |
187 | // + val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main[0]), const_param_did: None }, [], Some(promoted[0])) | |
188 | // mir::Constant | |
189 | // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
190 | // + literal: Const { ty: &[&str; 3], val: Unevaluated(WithOptConstParam { did: DefId(0:3 ~ issue_73223[317d]::main[0]), const_param_did: None }, [], Some(promoted[0])) } | |
191 | _25 = _44; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
192 | _24 = _25; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
193 | _23 = move _24 as &[&str] (Pointer(Unsize)); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
194 | StorageDead(_24); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
195 | StorageLive(_27); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
196 | StorageLive(_28); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
197 | StorageLive(_29); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
198 | StorageLive(_30); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
199 | StorageLive(_31); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
200 | StorageLive(_32); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
201 | StorageLive(_33); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
202 | _33 = _13; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
203 | _32 = &_33; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
204 | StorageLive(_34); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
205 | StorageLive(_35); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
206 | _35 = _14; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
207 | _34 = &_35; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
208 | (_31.0: &&i32) = move _32; // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
209 | (_31.1: &&i32) = move _34; // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
210 | StorageDead(_34); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
211 | StorageDead(_32); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
212 | StorageLive(_36); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
213 | _36 = (_31.0: &&i32); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
214 | StorageLive(_37); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
215 | _37 = (_31.1: &&i32); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
216 | StorageLive(_38); // scope 5 at $SRC_DIR/std/src/macros.rs:LL:COL | |
217 | StorageLive(_39); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
218 | _39 = _36; // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
219 | StorageLive(_40); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
220 | _40 = <&i32 as std::fmt::Debug>::fmt as for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
221 | // mir::Constant | |
222 | // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
223 | // + literal: Const { ty: for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<&i32 as std::fmt::Debug>::fmt}, val: Value(Scalar(<ZST>)) } | |
224 | StorageLive(_46); // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
225 | StorageLive(_47); // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
226 | _47 = _40; // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
227 | _46 = std::intrinsics::transmute::<for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>, for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>>(move _47) -> bb6; // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
228 | // mir::Constant | |
229 | // + span: $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
230 | // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {std::intrinsics::transmute::<for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>, for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>>}, val: Value(Scalar(<ZST>)) } | |
231 | } | |
232 | ||
233 | bb6: { | |
234 | StorageDead(_47); // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
235 | StorageLive(_48); // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
236 | StorageLive(_49); // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
237 | _49 = _39; // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
238 | _48 = std::intrinsics::transmute::<&&i32, &core::fmt::Opaque>(move _49) -> bb7; // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
239 | // mir::Constant | |
240 | // + span: $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
241 | // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(&&i32) -> &core::fmt::Opaque {std::intrinsics::transmute::<&&i32, &core::fmt::Opaque>}, val: Value(Scalar(<ZST>)) } | |
242 | } | |
243 | ||
244 | bb7: { | |
245 | StorageDead(_49); // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
246 | (_38.0: &core::fmt::Opaque) = move _48; // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
247 | (_38.1: for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) = move _46; // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
248 | StorageDead(_48); // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
249 | StorageDead(_46); // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
250 | StorageDead(_40); // scope 5 at $SRC_DIR/std/src/macros.rs:LL:COL | |
251 | StorageDead(_39); // scope 5 at $SRC_DIR/std/src/macros.rs:LL:COL | |
252 | StorageLive(_41); // scope 5 at $SRC_DIR/std/src/macros.rs:LL:COL | |
253 | StorageLive(_42); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
254 | _42 = _37; // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
255 | StorageLive(_43); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
256 | _43 = <&i32 as std::fmt::Debug>::fmt as for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)); // scope 5 at $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
257 | // mir::Constant | |
258 | // + span: $SRC_DIR/core/src/macros/mod.rs:LL:COL | |
259 | // + literal: Const { ty: for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<&i32 as std::fmt::Debug>::fmt}, val: Value(Scalar(<ZST>)) } | |
260 | StorageLive(_50); // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
261 | StorageLive(_51); // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
262 | _51 = _43; // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
263 | _50 = std::intrinsics::transmute::<for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>, for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>>(move _51) -> bb8; // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
264 | // mir::Constant | |
265 | // + span: $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
266 | // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {std::intrinsics::transmute::<for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>, for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>>}, val: Value(Scalar(<ZST>)) } | |
267 | } | |
268 | ||
269 | bb8: { | |
270 | StorageDead(_51); // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
271 | StorageLive(_52); // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
272 | StorageLive(_53); // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
273 | _53 = _42; // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
274 | _52 = std::intrinsics::transmute::<&&i32, &core::fmt::Opaque>(move _53) -> bb9; // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
275 | // mir::Constant | |
276 | // + span: $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
277 | // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(&&i32) -> &core::fmt::Opaque {std::intrinsics::transmute::<&&i32, &core::fmt::Opaque>}, val: Value(Scalar(<ZST>)) } | |
278 | } | |
279 | ||
280 | bb9: { | |
281 | StorageDead(_53); // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
282 | (_41.0: &core::fmt::Opaque) = move _52; // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
283 | (_41.1: for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) = move _50; // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
284 | StorageDead(_52); // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
285 | StorageDead(_50); // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
286 | StorageDead(_43); // scope 5 at $SRC_DIR/std/src/macros.rs:LL:COL | |
287 | StorageDead(_42); // scope 5 at $SRC_DIR/std/src/macros.rs:LL:COL | |
288 | _30 = [move _38, move _41]; // scope 5 at $SRC_DIR/std/src/macros.rs:LL:COL | |
289 | StorageDead(_41); // scope 5 at $SRC_DIR/std/src/macros.rs:LL:COL | |
290 | StorageDead(_38); // scope 5 at $SRC_DIR/std/src/macros.rs:LL:COL | |
291 | StorageDead(_37); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
292 | StorageDead(_36); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
293 | _29 = &_30; // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
294 | _28 = _29; // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
295 | _27 = move _28 as &[std::fmt::ArgumentV1] (Pointer(Unsize)); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
296 | StorageDead(_28); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
297 | StorageLive(_54); // scope 10 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
298 | _54 = _23; // scope 10 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
299 | StorageLive(_55); // scope 10 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
300 | discriminant(_55) = 0; // scope 10 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
301 | StorageLive(_56); // scope 10 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
302 | _56 = _27; // scope 10 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
303 | (_22.0: &[&str]) = move _54; // scope 10 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
304 | (_22.1: std::option::Option<&[std::fmt::rt::v1::Argument]>) = move _55; // scope 10 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
305 | (_22.2: &[std::fmt::ArgumentV1]) = move _56; // scope 10 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
306 | StorageDead(_56); // scope 10 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
307 | StorageDead(_55); // scope 10 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
308 | StorageDead(_54); // scope 10 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL | |
309 | StorageDead(_27); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
310 | StorageDead(_23); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
311 | _21 = &_22; // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
312 | _20 = _21; // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
313 | std::rt::begin_panic_fmt(move _20); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL | |
314 | // mir::Constant | |
315 | // + span: $SRC_DIR/std/src/macros.rs:LL:COL | |
316 | // + literal: Const { ty: for<'r, 's> fn(&'r std::fmt::Arguments<'s>) -> ! {std::rt::begin_panic_fmt}, val: Value(Scalar(<ZST>)) } | |
317 | } | |
318 | } | |
319 |