src/test/run-make-fulldeps/coverage-spanview/expected_mir_dump.while_early_ret/while_early_ret.main.-------.InstrumentCoverage.0.html

   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.while_early_ret/while_early_ret.main.-------.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>while_early_ret.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>
  72 <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
  73 5:9-5:22: @0[2]: FakeRead(ForLet, _1)"><span class="annotation">@0⦊</span>fn main() -&gt; Result&lt;(),u8&gt; {</span></span>
  74 <span class="line"><span class="code even" style="--layer: 1" title="5:25-5:27: @0[1]: _1 = const 10_i32
  75 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>
  76 <span class="line"><span class="code" style="--layer: 0">    while</span></span>
  77 <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
  78 7:9-9:10: @2[3]: _4 = Gt(move _5, const 0_i32)
  79 7:9-9:10: @2[5]: FakeRead(ForMatchedPlace, _4)"><span class="annotation">@1,2⦊</span>countdown</span></span>
  80 <span class="line"><span class="code odd" style="--layer: 1" title="7:9-7:18: @2[2]: _5 = _1
  81 7:9-9:10: @2[3]: _4 = Gt(move _5, const 0_i32)
  82 7:9-9:10: @2[5]: FakeRead(ForMatchedPlace, _4)">            &gt;</span></span>
  83 <span class="line"><span class="code odd" style="--layer: 1" title="7:9-7:18: @2[2]: _5 = _1
  84 7:9-9:10: @2[3]: _4 = Gt(move _5, const 0_i32)
  85 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>
  86 <span class="line"><span class="code" style="--layer: 0">    {</span></span>
  87 <span class="line"><span class="code" style="--layer: 0">        if</span></span>
  88 <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
  89 12:13-14:14: @5[4]: _7 = Lt(move _8, const 5_i32)"><span class="annotation">@3,5⦊</span>countdown</span></span>
  90 <span class="line"><span class="code even" style="--layer: 1" title="12:13-12:22: @5[3]: _8 = _1
  91 12:13-14:14: @5[4]: _7 = Lt(move _8, const 5_i32)">                &lt;</span></span>
  92 <span class="line"><span class="code even" style="--layer: 1" title="12:13-12:22: @5[3]: _8 = _1
  93 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>
  94 <span class="line"><span class="code" style="--layer: 0">        {</span></span>
  95 <span class="line"><span class="code" style="--layer: 0">            return</span></span>
  96 <span class="line"><span class="code" style="--layer: 0">                if</span></span>
  97 <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
  98 18:21-20:22: @6[3]: _10 = Gt(move _11, const 8_i32)"><span class="annotation">@6⦊</span>countdown</span></span>
  99 <span class="line"><span class="code odd" style="--layer: 1" title="18:21-18:30: @6[2]: _11 = _1
 100 18:21-20:22: @6[3]: _10 = Gt(move _11, const 8_i32)">                        &gt;</span></span>
 101 <span class="line"><span class="code odd" style="--layer: 1" title="18:21-18:30: @6[2]: _11 = _1
 102 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>
 103 <span class="line"><span class="code" style="--layer: 0">                {</span></span>
 104 <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 = ()
 105 22:21-22:27: @8[2]: _0 = std::result::Result::&lt;(), u8&gt;::Ok(move _12)"><span class="annotation">@8⦊</span>Ok(())<span class="annotation">⦉@8</span></span></span><span class="code" style="--layer: 0"></span></span>
 106 <span class="line"><span class="code" style="--layer: 0">                }</span></span>
 107 <span class="line"><span class="code" style="--layer: 0">                else</span></span>
 108 <span class="line"><span class="code" style="--layer: 0">                {</span></span>
 109 <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::&lt;(), u8&gt;::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>
 110 <span class="line"><span class="code" style="--layer: 0">                }</span></span>
 111 <span class="line"><span class="code" style="--layer: 0">                ;</span></span>
 112 <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 ()
 113 30:9-32:10: @7[3]: _13 = CheckedSub(_1, const 1_i32)
 114 30:9-32:10: @11[0]: _1 = move (_13.0: i32)"><span class="annotation">@7,11⦊</span></span></span>
 115 <span class="line"><span class="code even" style="--layer: 1" title="29:10-29:10: @7[0]: _6 = const ()
 116 30:9-32:10: @7[3]: _13 = CheckedSub(_1, const 1_i32)
 117 30:9-32:10: @11[0]: _1 = move (_13.0: i32)">        countdown</span></span>
 118 <span class="line"><span class="code even" style="--layer: 1" title="29:10-29:10: @7[0]: _6 = const ()
 119 30:9-32:10: @7[3]: _13 = CheckedSub(_1, const 1_i32)
 120 30:9-32:10: @11[0]: _1 = move (_13.0: i32)">            -=</span></span>
 121 <span class="line"><span class="code even" style="--layer: 1" title="29:10-29:10: @7[0]: _6 = const ()
 122 30:9-32:10: @7[3]: _13 = CheckedSub(_1, const 1_i32)
 123 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>
 124 <span class="line"><span class="code" style="--layer: 0">        ;</span></span>
 125 <span class="line"><span class="code" style="--layer: 0">    }</span></span>
 126 <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 = ()
 127 35:5-35:11: @4[5]: _0 = std::result::Result::&lt;(), u8&gt;::Ok(move _15)"><span class="annotation">@4⦊</span>Ok(())<span class="annotation">⦉@4</span></span></span><span class="code" style="--layer: 0"></span></span>
 128 <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>
 129 </body>
 130 </html>