| <!DOCTYPE html> |
| <!-- |
| |
| Preview this file as rendered HTML from the github source at: |
| https://htmlpreview.github.io/?https://github.com/rust-lang/rust/blob/master/src/test/run-make-fulldeps/coverage-spanview/expected_mir_dump.while_early_ret/while_early_ret.main.-------.InstrumentCoverage.0.html |
| |
| For revisions in Pull Requests (PR): |
| * Replace "rust-lang" with the github PR author |
| * Replace "master" with the PR branch name |
| |
| --> |
| <html> |
| <head> |
| <title>while_early_ret.main - Coverage Spans</title> |
| <style> |
| .line { |
| counter-increment: line; |
| } |
| .line:before { |
| content: counter(line) ": "; |
| font-family: Menlo, Monaco, monospace; |
| font-style: italic; |
| width: 3.8em; |
| display: inline-block; |
| text-align: right; |
| filter: opacity(50%); |
| -webkit-user-select: none; |
| } |
| .code { |
| color: #dddddd; |
| background-color: #222222; |
| font-family: Menlo, Monaco, monospace; |
| line-height: 1.4em; |
| border-bottom: 2px solid #222222; |
| white-space: pre; |
| display: inline-block; |
| } |
| .odd { |
| background-color: #55bbff; |
| color: #223311; |
| } |
| .even { |
| background-color: #ee7756; |
| color: #551133; |
| } |
| .code { |
| --index: calc(var(--layer) - 1); |
| padding-top: calc(var(--index) * 0.15em); |
| filter: |
| hue-rotate(calc(var(--index) * 25deg)) |
| saturate(calc(100% - (var(--index) * 2%))) |
| brightness(calc(100% - (var(--index) * 1.5%))); |
| } |
| .annotation { |
| color: #4444ff; |
| font-family: monospace; |
| font-style: italic; |
| display: none; |
| -webkit-user-select: none; |
| } |
| body:active .annotation { |
| /* requires holding mouse down anywhere on the page */ |
| display: inline-block; |
| } |
| span:hover .annotation { |
| /* requires hover over a span ONLY on its first line */ |
| display: inline-block; |
| } |
| </style> |
| </head> |
| <body> |
| <div class="code" style="counter-reset: line 3"><span class="line"><span><span class="code even" style="--layer: 1" title="5:25-5:27: @0[1]: _1 = const 10_i32 |
| 5:9-5:22: @0[2]: FakeRead(ForLet, _1)"><span class="annotation">@0⦊</span>fn main() -> Result<(),u8> {</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="5:25-5:27: @0[1]: _1 = const 10_i32 |
| 5:9-5:22: @0[2]: FakeRead(ForLet, _1)"> let mut countdown = 10<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0">;</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> while</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="7:9-7:18: @2[2]: _5 = _1 |
| 7:9-9:10: @2[3]: _4 = Gt(move _5, const 0_i32) |
| 7:9-9:10: @2[5]: FakeRead(ForMatchedPlace, _4)"><span class="annotation">@1,2⦊</span>countdown</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="7:9-7:18: @2[2]: _5 = _1 |
| 7:9-9:10: @2[3]: _4 = Gt(move _5, const 0_i32) |
| 7:9-9:10: @2[5]: FakeRead(ForMatchedPlace, _4)"> ></span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="7:9-7:18: @2[2]: _5 = _1 |
| 7:9-9:10: @2[3]: _4 = Gt(move _5, const 0_i32) |
| 7:9-9:10: @2[5]: FakeRead(ForMatchedPlace, _4)"> 0<span class="annotation">⦉@1,2</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0"> {</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> if</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="12:13-12:22: @5[3]: _8 = _1 |
| 12:13-14:14: @5[4]: _7 = Lt(move _8, const 5_i32)"><span class="annotation">@3,5⦊</span>countdown</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="12:13-12:22: @5[3]: _8 = _1 |
| 12:13-14:14: @5[4]: _7 = Lt(move _8, const 5_i32)"> <</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="12:13-12:22: @5[3]: _8 = _1 |
| 12:13-14:14: @5[4]: _7 = Lt(move _8, const 5_i32)"> 5<span class="annotation">⦉@3,5</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0"> {</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> return</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> if</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="18:21-18:30: @6[2]: _11 = _1 |
| 18:21-20:22: @6[3]: _10 = Gt(move _11, const 8_i32)"><span class="annotation">@6⦊</span>countdown</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="18:21-18:30: @6[2]: _11 = _1 |
| 18:21-20:22: @6[3]: _10 = Gt(move _11, const 8_i32)"> ></span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="18:21-18:30: @6[2]: _11 = _1 |
| 18:21-20:22: @6[3]: _10 = Gt(move _11, const 8_i32)"> 8<span class="annotation">⦉@6</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0"> {</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="22:24-22:26: @8[1]: _12 = () |
| 22:21-22:27: @8[2]: _0 = std::result::Result::<(), u8>::Ok(move _12)"><span class="annotation">@8⦊</span>Ok(())<span class="annotation">⦉@8</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0"> }</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> else</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> {</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="26:21-26:27: @9[0]: _0 = std::result::Result::<(), u8>::Err(const 1_u8)"><span class="annotation">@9⦊</span>Err(1)<span class="annotation">⦉@9</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0"> }</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> ;</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> }</span><span><span class="code even" style="--layer: 1" title="29:10-29:10: @7[0]: _6 = const () |
| 30:9-32:10: @7[3]: _13 = CheckedSub(_1, const 1_i32) |
| 30:9-32:10: @11[0]: _1 = move (_13.0: i32)"><span class="annotation">@7,11⦊</span></span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="29:10-29:10: @7[0]: _6 = const () |
| 30:9-32:10: @7[3]: _13 = CheckedSub(_1, const 1_i32) |
| 30:9-32:10: @11[0]: _1 = move (_13.0: i32)"> countdown</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="29:10-29:10: @7[0]: _6 = const () |
| 30:9-32:10: @7[3]: _13 = CheckedSub(_1, const 1_i32) |
| 30:9-32:10: @11[0]: _1 = move (_13.0: i32)"> -=</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="29:10-29:10: @7[0]: _6 = const () |
| 30:9-32:10: @7[3]: _13 = CheckedSub(_1, const 1_i32) |
| 30:9-32:10: @11[0]: _1 = move (_13.0: i32)"> 1<span class="annotation">⦉@7,11</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0"> ;</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> }</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="35:8-35:10: @4[4]: _15 = () |
| 35:5-35:11: @4[5]: _0 = std::result::Result::<(), u8>::Ok(move _15)"><span class="annotation">@4⦊</span>Ok(())<span class="annotation">⦉@4</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0">}</span><span><span class="code even" style="--layer: 1" title="36:2-36:2: @12.Return: return"><span class="annotation">@12⦊</span>‸<span class="annotation">⦉@12</span></span></span></span></div> |
| </body> |
| </html> |
