| <!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.if/if.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>if.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 2"><span class="line"><span><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"><span class="annotation">@0,1,2,3⦊</span>fn main() {</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> // Initialize test constants in a way that cannot be determined at compile time, to ensure</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> // rustc and LLVM cannot optimize out statements (or coverage counters) downstream from</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> // dependent conditions.</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> let</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> is_true</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> =</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> std::env::args().len()</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> ==</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> 1</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> ;</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> let</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> mut</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> countdown</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> =</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> 0</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> ;</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> if</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -> [return: bb1, unwind: bb8] |
| 10:9-10:25: @1[0]: _3 = &_4 |
| 10:9-10:31: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7] |
| 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 8:5-8:12: @2[3]: FakeRead(ForLet, _1) |
| 18:9-18:10: @3[2]: _5 = const 0_i32 |
| 15:9-16:14: @3[3]: FakeRead(ForLet, _5) |
| 21:9-21:16: @3[5]: _6 = _1"> is_true<span class="annotation">⦉@0,1,2,3</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 odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32 |
| 22:5-27:6: @4[1]: _0 = const ()"><span class="annotation">@4⦊</span>{</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32 |
| 22:5-27:6: @4[1]: _0 = const ()"> countdown</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32 |
| 22:5-27:6: @4[1]: _0 = const ()"> =</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32 |
| 22:5-27:6: @4[1]: _0 = const ()"> 10</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32 |
| 22:5-27:6: @4[1]: _0 = const ()"> ;</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32 |
| 22:5-27:6: @4[1]: _0 = const ()"> }<span class="annotation">⦉@4</span></span></span><span><span class="code even" style="--layer: 1" title="27:6-27:6: @5[0]: _0 = const ()"><span class="annotation">@5⦊</span>‸<span class="annotation">⦉@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="code odd" style="--layer: 1" title="28:2-28:2: @6.Return: return"><span class="annotation">@6⦊</span>‸<span class="annotation">⦉@6</span></span></span></span></div> |
| </body> |
| </html> |
