]>
Commit | Line | Data |
---|---|---|
fc512014 XL |
1 | <!DOCTYPE html> |
2 | <!-- | |
3 | ||
4 | Preview this file as rendered HTML from the github source at: | |
5 | https://htmlpreview.github.io/?https://github.com/rust-lang/rust/blob/master/src/test/run-make-fulldeps/coverage-spanview/expected_mir_dump.async/async.executor-block_on.-------.InstrumentCoverage.0.html | |
6 | ||
7 | For revisions in Pull Requests (PR): | |
8 | * Replace "rust-lang" with the github PR author | |
9 | * Replace "master" with the PR branch name | |
10 | ||
11 | --> | |
12 | <html> | |
13 | <head> | |
14 | <title>async.executor-block_on - Coverage Spans</title> | |
15 | <style> | |
16 | .line { | |
17 | counter-increment: line; | |
18 | } | |
19 | .line:before { | |
20 | content: counter(line) ": "; | |
21 | font-family: Menlo, Monaco, monospace; | |
22 | font-style: italic; | |
23 | width: 3.8em; | |
24 | display: inline-block; | |
25 | text-align: right; | |
26 | filter: opacity(50%); | |
27 | -webkit-user-select: none; | |
28 | } | |
29 | .code { | |
30 | color: #dddddd; | |
31 | background-color: #222222; | |
32 | font-family: Menlo, Monaco, monospace; | |
33 | line-height: 1.4em; | |
34 | border-bottom: 2px solid #222222; | |
35 | white-space: pre; | |
36 | display: inline-block; | |
37 | } | |
38 | .odd { | |
39 | background-color: #55bbff; | |
40 | color: #223311; | |
41 | } | |
42 | .even { | |
43 | background-color: #ee7756; | |
44 | color: #551133; | |
45 | } | |
46 | .code { | |
47 | --index: calc(var(--layer) - 1); | |
48 | padding-top: calc(var(--index) * 0.15em); | |
49 | filter: | |
50 | hue-rotate(calc(var(--index) * 25deg)) | |
51 | saturate(calc(100% - (var(--index) * 2%))) | |
52 | brightness(calc(100% - (var(--index) * 1.5%))); | |
53 | } | |
54 | .annotation { | |
55 | color: #4444ff; | |
56 | font-family: monospace; | |
57 | font-style: italic; | |
58 | display: none; | |
59 | -webkit-user-select: none; | |
60 | } | |
61 | body:active .annotation { | |
62 | /* requires holding mouse down anywhere on the page */ | |
63 | display: inline-block; | |
64 | } | |
65 | span:hover .annotation { | |
66 | /* requires hover over a span ONLY on its first line */ | |
67 | display: inline-block; | |
68 | } | |
69 | </style> | |
70 | </head> | |
71 | <body> | |
72 | <div class="code" style="counter-reset: line 109"><span class="line"> <span><span class="code even" style="--layer: 1" title="111:54-111:65: @0[2]: _3 = &mut _1 | |
6a06907d | 73 | 111:35-111:66: @0.Call: _2 = std::pin::Pin::<&mut F>::new_unchecked(move _3) -> [return: bb1, unwind: bb20] |
fc512014 | 74 | 111:13-111:23: @1[1]: FakeRead(ForLet, _2) |
6a06907d XL |
75 | 119:60-119:77: @1.Call: _6 = std::ptr::null::<()>() -> [return: bb2, unwind: bb20] |
76 | 119:80-119:86: @2[3]: _9 = const {alloc0: &std::task::RawWakerVTable} | |
fc512014 XL |
77 | 119:79-119:86: @2[4]: _8 = &(*_9) |
78 | 119:79-119:86: @2[5]: _7 = &(*_8) | |
6a06907d XL |
79 | 119:46-119:87: @2.Call: _5 = std::task::RawWaker::new(move _6, move _7) -> [return: bb3, unwind: bb20] |
80 | 119:30-119:88: @3.Call: _4 = std::task::Waker::from_raw(move _5) -> [return: bb4, unwind: bb20] | |
fc512014 XL |
81 | 119:13-119:18: @4[1]: FakeRead(ForLet, _4) |
82 | 120:47-120:53: @4[7]: _12 = &_4 | |
83 | 120:47-120:53: @4[8]: _11 = &(*_12) | |
6a06907d | 84 | 120:27-120:54: @4.Call: _10 = std::task::Context::from_waker(move _11) -> [return: bb5, unwind: bb19] |
fc512014 XL |
85 | 120:13-120:24: @5[1]: FakeRead(ForLet, _10)"><span class="annotation">@0,1,2,3,4,5⦊</span>pub fn block_on<F: Future>(mut future: F) -> F::Output {</span></span> |
86 | <span class="line"><span class="code even" style="--layer: 1" title="111:54-111:65: @0[2]: _3 = &mut _1 | |
6a06907d | 87 | 111:35-111:66: @0.Call: _2 = std::pin::Pin::<&mut F>::new_unchecked(move _3) -> [return: bb1, unwind: bb20] |
fc512014 | 88 | 111:13-111:23: @1[1]: FakeRead(ForLet, _2) |
6a06907d XL |
89 | 119:60-119:77: @1.Call: _6 = std::ptr::null::<()>() -> [return: bb2, unwind: bb20] |
90 | 119:80-119:86: @2[3]: _9 = const {alloc0: &std::task::RawWakerVTable} | |
fc512014 XL |
91 | 119:79-119:86: @2[4]: _8 = &(*_9) |
92 | 119:79-119:86: @2[5]: _7 = &(*_8) | |
6a06907d XL |
93 | 119:46-119:87: @2.Call: _5 = std::task::RawWaker::new(move _6, move _7) -> [return: bb3, unwind: bb20] |
94 | 119:30-119:88: @3.Call: _4 = std::task::Waker::from_raw(move _5) -> [return: bb4, unwind: bb20] | |
fc512014 XL |
95 | 119:13-119:18: @4[1]: FakeRead(ForLet, _4) |
96 | 120:47-120:53: @4[7]: _12 = &_4 | |
97 | 120:47-120:53: @4[8]: _11 = &(*_12) | |
6a06907d | 98 | 120:27-120:54: @4.Call: _10 = std::task::Context::from_waker(move _11) -> [return: bb5, unwind: bb19] |
fc512014 XL |
99 | 120:13-120:24: @5[1]: FakeRead(ForLet, _10)"> let mut future = unsafe { Pin::new_unchecked(&mut future) };</span></span> |
100 | <span class="line"><span class="code even" style="--layer: 1" title="111:54-111:65: @0[2]: _3 = &mut _1 | |
6a06907d | 101 | 111:35-111:66: @0.Call: _2 = std::pin::Pin::<&mut F>::new_unchecked(move _3) -> [return: bb1, unwind: bb20] |
fc512014 | 102 | 111:13-111:23: @1[1]: FakeRead(ForLet, _2) |
6a06907d XL |
103 | 119:60-119:77: @1.Call: _6 = std::ptr::null::<()>() -> [return: bb2, unwind: bb20] |
104 | 119:80-119:86: @2[3]: _9 = const {alloc0: &std::task::RawWakerVTable} | |
fc512014 XL |
105 | 119:79-119:86: @2[4]: _8 = &(*_9) |
106 | 119:79-119:86: @2[5]: _7 = &(*_8) | |
6a06907d XL |
107 | 119:46-119:87: @2.Call: _5 = std::task::RawWaker::new(move _6, move _7) -> [return: bb3, unwind: bb20] |
108 | 119:30-119:88: @3.Call: _4 = std::task::Waker::from_raw(move _5) -> [return: bb4, unwind: bb20] | |
fc512014 XL |
109 | 119:13-119:18: @4[1]: FakeRead(ForLet, _4) |
110 | 120:47-120:53: @4[7]: _12 = &_4 | |
111 | 120:47-120:53: @4[8]: _11 = &(*_12) | |
6a06907d | 112 | 120:27-120:54: @4.Call: _10 = std::task::Context::from_waker(move _11) -> [return: bb5, unwind: bb19] |
fc512014 XL |
113 | 120:13-120:24: @5[1]: FakeRead(ForLet, _10)"></span></span> |
114 | <span class="line"><span class="code even" style="--layer: 1" title="111:54-111:65: @0[2]: _3 = &mut _1 | |
6a06907d | 115 | 111:35-111:66: @0.Call: _2 = std::pin::Pin::<&mut F>::new_unchecked(move _3) -> [return: bb1, unwind: bb20] |
fc512014 | 116 | 111:13-111:23: @1[1]: FakeRead(ForLet, _2) |
6a06907d XL |
117 | 119:60-119:77: @1.Call: _6 = std::ptr::null::<()>() -> [return: bb2, unwind: bb20] |
118 | 119:80-119:86: @2[3]: _9 = const {alloc0: &std::task::RawWakerVTable} | |
fc512014 XL |
119 | 119:79-119:86: @2[4]: _8 = &(*_9) |
120 | 119:79-119:86: @2[5]: _7 = &(*_8) | |
6a06907d XL |
121 | 119:46-119:87: @2.Call: _5 = std::task::RawWaker::new(move _6, move _7) -> [return: bb3, unwind: bb20] |
122 | 119:30-119:88: @3.Call: _4 = std::task::Waker::from_raw(move _5) -> [return: bb4, unwind: bb20] | |
fc512014 XL |
123 | 119:13-119:18: @4[1]: FakeRead(ForLet, _4) |
124 | 120:47-120:53: @4[7]: _12 = &_4 | |
125 | 120:47-120:53: @4[8]: _11 = &(*_12) | |
6a06907d | 126 | 120:27-120:54: @4.Call: _10 = std::task::Context::from_waker(move _11) -> [return: bb5, unwind: bb19] |
fc512014 XL |
127 | 120:13-120:24: @5[1]: FakeRead(ForLet, _10)"> static VTABLE: RawWakerVTable = RawWakerVTable::new(</span></span> |
128 | <span class="line"><span class="code even" style="--layer: 1" title="111:54-111:65: @0[2]: _3 = &mut _1 | |
6a06907d | 129 | 111:35-111:66: @0.Call: _2 = std::pin::Pin::<&mut F>::new_unchecked(move _3) -> [return: bb1, unwind: bb20] |
fc512014 | 130 | 111:13-111:23: @1[1]: FakeRead(ForLet, _2) |
6a06907d XL |
131 | 119:60-119:77: @1.Call: _6 = std::ptr::null::<()>() -> [return: bb2, unwind: bb20] |
132 | 119:80-119:86: @2[3]: _9 = const {alloc0: &std::task::RawWakerVTable} | |
fc512014 XL |
133 | 119:79-119:86: @2[4]: _8 = &(*_9) |
134 | 119:79-119:86: @2[5]: _7 = &(*_8) | |
6a06907d XL |
135 | 119:46-119:87: @2.Call: _5 = std::task::RawWaker::new(move _6, move _7) -> [return: bb3, unwind: bb20] |
136 | 119:30-119:88: @3.Call: _4 = std::task::Waker::from_raw(move _5) -> [return: bb4, unwind: bb20] | |
fc512014 XL |
137 | 119:13-119:18: @4[1]: FakeRead(ForLet, _4) |
138 | 120:47-120:53: @4[7]: _12 = &_4 | |
139 | 120:47-120:53: @4[8]: _11 = &(*_12) | |
6a06907d | 140 | 120:27-120:54: @4.Call: _10 = std::task::Context::from_waker(move _11) -> [return: bb5, unwind: bb19] |
fc512014 XL |
141 | 120:13-120:24: @5[1]: FakeRead(ForLet, _10)"> |_| unimplemented!("clone"),</span></span> |
142 | <span class="line"><span class="code even" style="--layer: 1" title="111:54-111:65: @0[2]: _3 = &mut _1 | |
6a06907d | 143 | 111:35-111:66: @0.Call: _2 = std::pin::Pin::<&mut F>::new_unchecked(move _3) -> [return: bb1, unwind: bb20] |
fc512014 | 144 | 111:13-111:23: @1[1]: FakeRead(ForLet, _2) |
6a06907d XL |
145 | 119:60-119:77: @1.Call: _6 = std::ptr::null::<()>() -> [return: bb2, unwind: bb20] |
146 | 119:80-119:86: @2[3]: _9 = const {alloc0: &std::task::RawWakerVTable} | |
fc512014 XL |
147 | 119:79-119:86: @2[4]: _8 = &(*_9) |
148 | 119:79-119:86: @2[5]: _7 = &(*_8) | |
6a06907d XL |
149 | 119:46-119:87: @2.Call: _5 = std::task::RawWaker::new(move _6, move _7) -> [return: bb3, unwind: bb20] |
150 | 119:30-119:88: @3.Call: _4 = std::task::Waker::from_raw(move _5) -> [return: bb4, unwind: bb20] | |
fc512014 XL |
151 | 119:13-119:18: @4[1]: FakeRead(ForLet, _4) |
152 | 120:47-120:53: @4[7]: _12 = &_4 | |
153 | 120:47-120:53: @4[8]: _11 = &(*_12) | |
6a06907d | 154 | 120:27-120:54: @4.Call: _10 = std::task::Context::from_waker(move _11) -> [return: bb5, unwind: bb19] |
fc512014 XL |
155 | 120:13-120:24: @5[1]: FakeRead(ForLet, _10)"> |_| unimplemented!("wake"),</span></span> |
156 | <span class="line"><span class="code even" style="--layer: 1" title="111:54-111:65: @0[2]: _3 = &mut _1 | |
6a06907d | 157 | 111:35-111:66: @0.Call: _2 = std::pin::Pin::<&mut F>::new_unchecked(move _3) -> [return: bb1, unwind: bb20] |
fc512014 | 158 | 111:13-111:23: @1[1]: FakeRead(ForLet, _2) |
6a06907d XL |
159 | 119:60-119:77: @1.Call: _6 = std::ptr::null::<()>() -> [return: bb2, unwind: bb20] |
160 | 119:80-119:86: @2[3]: _9 = const {alloc0: &std::task::RawWakerVTable} | |
fc512014 XL |
161 | 119:79-119:86: @2[4]: _8 = &(*_9) |
162 | 119:79-119:86: @2[5]: _7 = &(*_8) | |
6a06907d XL |
163 | 119:46-119:87: @2.Call: _5 = std::task::RawWaker::new(move _6, move _7) -> [return: bb3, unwind: bb20] |
164 | 119:30-119:88: @3.Call: _4 = std::task::Waker::from_raw(move _5) -> [return: bb4, unwind: bb20] | |
fc512014 XL |
165 | 119:13-119:18: @4[1]: FakeRead(ForLet, _4) |
166 | 120:47-120:53: @4[7]: _12 = &_4 | |
167 | 120:47-120:53: @4[8]: _11 = &(*_12) | |
6a06907d | 168 | 120:27-120:54: @4.Call: _10 = std::task::Context::from_waker(move _11) -> [return: bb5, unwind: bb19] |
fc512014 XL |
169 | 120:13-120:24: @5[1]: FakeRead(ForLet, _10)"> |_| unimplemented!("wake_by_ref"),</span></span> |
170 | <span class="line"><span class="code even" style="--layer: 1" title="111:54-111:65: @0[2]: _3 = &mut _1 | |
6a06907d | 171 | 111:35-111:66: @0.Call: _2 = std::pin::Pin::<&mut F>::new_unchecked(move _3) -> [return: bb1, unwind: bb20] |
fc512014 | 172 | 111:13-111:23: @1[1]: FakeRead(ForLet, _2) |
6a06907d XL |
173 | 119:60-119:77: @1.Call: _6 = std::ptr::null::<()>() -> [return: bb2, unwind: bb20] |
174 | 119:80-119:86: @2[3]: _9 = const {alloc0: &std::task::RawWakerVTable} | |
fc512014 XL |
175 | 119:79-119:86: @2[4]: _8 = &(*_9) |
176 | 119:79-119:86: @2[5]: _7 = &(*_8) | |
6a06907d XL |
177 | 119:46-119:87: @2.Call: _5 = std::task::RawWaker::new(move _6, move _7) -> [return: bb3, unwind: bb20] |
178 | 119:30-119:88: @3.Call: _4 = std::task::Waker::from_raw(move _5) -> [return: bb4, unwind: bb20] | |
fc512014 XL |
179 | 119:13-119:18: @4[1]: FakeRead(ForLet, _4) |
180 | 120:47-120:53: @4[7]: _12 = &_4 | |
181 | 120:47-120:53: @4[8]: _11 = &(*_12) | |
6a06907d | 182 | 120:27-120:54: @4.Call: _10 = std::task::Context::from_waker(move _11) -> [return: bb5, unwind: bb19] |
fc512014 XL |
183 | 120:13-120:24: @5[1]: FakeRead(ForLet, _10)"> |_| (),</span></span> |
184 | <span class="line"><span class="code even" style="--layer: 1" title="111:54-111:65: @0[2]: _3 = &mut _1 | |
6a06907d | 185 | 111:35-111:66: @0.Call: _2 = std::pin::Pin::<&mut F>::new_unchecked(move _3) -> [return: bb1, unwind: bb20] |
fc512014 | 186 | 111:13-111:23: @1[1]: FakeRead(ForLet, _2) |
6a06907d XL |
187 | 119:60-119:77: @1.Call: _6 = std::ptr::null::<()>() -> [return: bb2, unwind: bb20] |
188 | 119:80-119:86: @2[3]: _9 = const {alloc0: &std::task::RawWakerVTable} | |
fc512014 XL |
189 | 119:79-119:86: @2[4]: _8 = &(*_9) |
190 | 119:79-119:86: @2[5]: _7 = &(*_8) | |
6a06907d XL |
191 | 119:46-119:87: @2.Call: _5 = std::task::RawWaker::new(move _6, move _7) -> [return: bb3, unwind: bb20] |
192 | 119:30-119:88: @3.Call: _4 = std::task::Waker::from_raw(move _5) -> [return: bb4, unwind: bb20] | |
fc512014 XL |
193 | 119:13-119:18: @4[1]: FakeRead(ForLet, _4) |
194 | 120:47-120:53: @4[7]: _12 = &_4 | |
195 | 120:47-120:53: @4[8]: _11 = &(*_12) | |
6a06907d | 196 | 120:27-120:54: @4.Call: _10 = std::task::Context::from_waker(move _11) -> [return: bb5, unwind: bb19] |
fc512014 XL |
197 | 120:13-120:24: @5[1]: FakeRead(ForLet, _10)"> );</span></span> |
198 | <span class="line"><span class="code even" style="--layer: 1" title="111:54-111:65: @0[2]: _3 = &mut _1 | |
6a06907d | 199 | 111:35-111:66: @0.Call: _2 = std::pin::Pin::<&mut F>::new_unchecked(move _3) -> [return: bb1, unwind: bb20] |
fc512014 | 200 | 111:13-111:23: @1[1]: FakeRead(ForLet, _2) |
6a06907d XL |
201 | 119:60-119:77: @1.Call: _6 = std::ptr::null::<()>() -> [return: bb2, unwind: bb20] |
202 | 119:80-119:86: @2[3]: _9 = const {alloc0: &std::task::RawWakerVTable} | |
fc512014 XL |
203 | 119:79-119:86: @2[4]: _8 = &(*_9) |
204 | 119:79-119:86: @2[5]: _7 = &(*_8) | |
6a06907d XL |
205 | 119:46-119:87: @2.Call: _5 = std::task::RawWaker::new(move _6, move _7) -> [return: bb3, unwind: bb20] |
206 | 119:30-119:88: @3.Call: _4 = std::task::Waker::from_raw(move _5) -> [return: bb4, unwind: bb20] | |
fc512014 XL |
207 | 119:13-119:18: @4[1]: FakeRead(ForLet, _4) |
208 | 120:47-120:53: @4[7]: _12 = &_4 | |
209 | 120:47-120:53: @4[8]: _11 = &(*_12) | |
6a06907d | 210 | 120:27-120:54: @4.Call: _10 = std::task::Context::from_waker(move _11) -> [return: bb5, unwind: bb19] |
fc512014 XL |
211 | 120:13-120:24: @5[1]: FakeRead(ForLet, _10)"> let waker = unsafe { Waker::from_raw(RawWaker::new(core::ptr::null(), &VTABLE)) };</span></span> |
212 | <span class="line"><span class="code even" style="--layer: 1" title="111:54-111:65: @0[2]: _3 = &mut _1 | |
6a06907d | 213 | 111:35-111:66: @0.Call: _2 = std::pin::Pin::<&mut F>::new_unchecked(move _3) -> [return: bb1, unwind: bb20] |
fc512014 | 214 | 111:13-111:23: @1[1]: FakeRead(ForLet, _2) |
6a06907d XL |
215 | 119:60-119:77: @1.Call: _6 = std::ptr::null::<()>() -> [return: bb2, unwind: bb20] |
216 | 119:80-119:86: @2[3]: _9 = const {alloc0: &std::task::RawWakerVTable} | |
fc512014 XL |
217 | 119:79-119:86: @2[4]: _8 = &(*_9) |
218 | 119:79-119:86: @2[5]: _7 = &(*_8) | |
6a06907d XL |
219 | 119:46-119:87: @2.Call: _5 = std::task::RawWaker::new(move _6, move _7) -> [return: bb3, unwind: bb20] |
220 | 119:30-119:88: @3.Call: _4 = std::task::Waker::from_raw(move _5) -> [return: bb4, unwind: bb20] | |
fc512014 XL |
221 | 119:13-119:18: @4[1]: FakeRead(ForLet, _4) |
222 | 120:47-120:53: @4[7]: _12 = &_4 | |
223 | 120:47-120:53: @4[8]: _11 = &(*_12) | |
6a06907d | 224 | 120:27-120:54: @4.Call: _10 = std::task::Context::from_waker(move _11) -> [return: bb5, unwind: bb19] |
fc512014 XL |
225 | 120:13-120:24: @5[1]: FakeRead(ForLet, _10)"> let mut context = Context::from_waker(&waker)<span class="annotation">⦉@0,1,2,3,4,5</span></span></span><span class="code" style="--layer: 0">;</span></span> |
226 | <span class="line"><span class="code" style="--layer: 0"></span></span> | |
227 | <span class="line"><span class="code" style="--layer: 0"> loop {</span></span> | |
228 | <span class="line"><span class="code" style="--layer: 0"> if let Poll::Ready(</span><span><span class="code odd" style="--layer: 1" title="123:32-123:35: @12[1]: _20 = move ((_14 as Ready).0: <F as std::future::Future>::Output)"><span class="annotation">@10,12,14,15,16,17⦊</span>val<span class="annotation">⦉@10,12,14,15,16,17</span></span></span><span class="code" style="--layer: 0">) = </span><span><span class="code even" style="--layer: 1" title="123:39-123:45: @7[3]: _16 = &mut _2 | |
6a06907d | 229 | 123:39-123:54: @7.Call: _15 = std::pin::Pin::<&mut F>::as_mut(move _16) -> [return: bb8, unwind: bb19] |
fc512014 XL |
230 | 123:60-123:72: @8[3]: _18 = &mut _10 |
231 | 123:60-123:72: @8[4]: _17 = &mut (*_18) | |
6a06907d | 232 | 123:39-123:73: @8.Call: _14 = <F as std::future::Future>::poll(move _15, move _17) -> [return: bb9, unwind: bb19] |
fc512014 XL |
233 | 123:39-123:73: @9[2]: FakeRead(ForMatchedPlace, _14)"><span class="annotation">@6,7,8,9⦊</span>future.as_mut().poll(&mut context)<span class="annotation">⦉@6,7,8,9</span></span></span><span class="code" style="--layer: 0"> {</span></span> |
234 | <span class="line"><span class="code" style="--layer: 0"> break </span><span><span class="code odd" style="--layer: 1" title="124:23-124:26: @12[2]: _0 = move _20"><span class="annotation">@10,12,14,15,16,17⦊</span>val<span class="annotation">⦉@10,12,14,15,16,17</span></span></span><span class="code" style="--layer: 0">;</span></span> | |
235 | <span class="line"><span class="code" style="--layer: 0"> }</span><span><span class="code even" style="--layer: 1" title="125:14-125:14: @11[0]: _13 = const ()"><span class="annotation">@11,13⦊</span>‸<span class="annotation">⦉@11,13</span></span></span><span class="code" style="--layer: 0"></span></span> | |
236 | <span class="line"><span class="code" style="--layer: 0"> }</span></span> | |
237 | <span class="line"><span class="code" style="--layer: 0"> }</span><span><span class="code odd" style="--layer: 1" title="127:6-127:6: @17.Return: return"><span class="annotation">@10,12,14,15,16,17⦊</span>‸<span class="annotation">⦉@10,12,14,15,16,17</span></span></span></span></div> | |
238 | </body> | |
239 | </html> |