projects / rustc.git / blame
| Commit | Line | Data |
|---|---|---|
| 29967ef6 XL |
1 | <!DOCTYPE html> |
| 2 | <!-- | |
| 3 | ||
| 4 | Preview this file as rendered HTML from the github source at: | |
| fc512014 | 5 | https://htmlpreview.github.io/?https://github.com/rust-lang/rust/blob/master/src/test/run-make-fulldeps/coverage-spanview/expected_mir_dump.while/while.main.-------.InstrumentCoverage.0.html |
| 29967ef6 XL |
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>while.main - 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> | |
| fc512014 XL |
72 | <div class="code" style="counter-reset: line 0"><span class="line"><span><span class="code even" style="--layer: 1" title="2:15-2:16: @0[1]: _1 = const 9_i32 |
| 73 | 2:9-2:12: @0[2]: FakeRead(ForLet, _1)"><span class="annotation">@0⦊</span>fn main() {</span></span> | |
| 74 | <span class="line"><span class="code even" style="--layer: 1" title="2:15-2:16: @0[1]: _1 = const 9_i32 | |
| 75 | 2:9-2:12: @0[2]: FakeRead(ForLet, _1)"> let num = 9<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0">;</span></span> | |
| 29967ef6 XL |
76 | <span class="line"><span class="code" style="--layer: 0"> while </span><span><span class="code odd" style="--layer: 1" title="3:11-3:14: @2[2]: _4 = _1 |
| 77 | 3:11-3:20: @2[3]: _3 = Ge(move _4, const 10_i32) | |
| 78 | 3:11-3:20: @2[5]: FakeRead(ForMatchedPlace, _3)"><span class="annotation">@1,2⦊</span>num >= 10<span class="annotation">⦉@1,2</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="3:21-4:6: @5[0]: _2 = const ()"><span class="annotation">@3,5⦊</span>{</span></span> | |
| 79 | <span class="line"><span class="code even" style="--layer: 1" title="3:21-4:6: @5[0]: _2 = const ()"> }<span class="annotation">⦉@3,5</span></span></span><span class="code" style="--layer: 0"></span></span> | |
| 80 | <span class="line"><span class="code" style="--layer: 0">}</span><span><span class="code odd" style="--layer: 1" title="5:2-5:2: @4.Return: return"><span class="annotation">@4⦊</span>‸<span class="annotation">⦉@4</span></span></span></span></div> | |
| 81 | </body> | |
| 82 | </html> |