src/test/run-make-fulldeps/coverage-spanview-deadcode/expected_mir_dump.if/if.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-base/expected_mir_dump.if/if.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>if.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 2"><span class="line"><span class="code" style="--layer: 0">fn main() {</span></span>
  73 <span class="line"><span class="code" style="--layer: 0">    // Initialize test constants in a way that cannot be determined at compile time, to ensure</span></span>
  74 <span class="line"><span class="code" style="--layer: 0">    // rustc and LLVM cannot optimize out statements (or coverage counters) downstream from</span></span>
  75 <span class="line"><span class="code" style="--layer: 0">    // dependent conditions.</span></span>
  76 <span class="line"><span class="code" style="--layer: 0">    let</span></span>
  77 <span class="line"><span class="code" style="--layer: 0">    </span><span><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb9]
  78 10:9-10:25: @1[0]: _3 = &amp;_4
  79 10:9-10:31: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb8]
  80 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
  81 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
  82 18:9-18:10: @3[2]: _5 = const 0_i32
  83 15:9-16:14: @3[3]: FakeRead(ForLet, _5)"><span class="annotation">@0,1,2,3⦊</span>is_true</span></span>
  84 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb9]
  85 10:9-10:25: @1[0]: _3 = &amp;_4
  86 10:9-10:31: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb8]
  87 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
  88 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
  89 18:9-18:10: @3[2]: _5 = const 0_i32
  90 15:9-16:14: @3[3]: FakeRead(ForLet, _5)">    =</span></span>
  91 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb9]
  92 10:9-10:25: @1[0]: _3 = &amp;_4
  93 10:9-10:31: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb8]
  94 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
  95 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
  96 18:9-18:10: @3[2]: _5 = const 0_i32
  97 15:9-16:14: @3[3]: FakeRead(ForLet, _5)">        std::env::args().len()</span></span>
  98 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb9]
  99 10:9-10:25: @1[0]: _3 = &amp;_4
 100 10:9-10:31: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb8]
 101 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 102 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 103 18:9-18:10: @3[2]: _5 = const 0_i32
 104 15:9-16:14: @3[3]: FakeRead(ForLet, _5)">    ==</span></span>
 105 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb9]
 106 10:9-10:25: @1[0]: _3 = &amp;_4
 107 10:9-10:31: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb8]
 108 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 109 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 110 18:9-18:10: @3[2]: _5 = const 0_i32
 111 15:9-16:14: @3[3]: FakeRead(ForLet, _5)">        1</span></span>
 112 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb9]
 113 10:9-10:25: @1[0]: _3 = &amp;_4
 114 10:9-10:31: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb8]
 115 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 116 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 117 18:9-18:10: @3[2]: _5 = const 0_i32
 118 15:9-16:14: @3[3]: FakeRead(ForLet, _5)">    ;</span></span>
 119 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb9]
 120 10:9-10:25: @1[0]: _3 = &amp;_4
 121 10:9-10:31: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb8]
 122 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 123 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 124 18:9-18:10: @3[2]: _5 = const 0_i32
 125 15:9-16:14: @3[3]: FakeRead(ForLet, _5)">    let</span></span>
 126 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb9]
 127 10:9-10:25: @1[0]: _3 = &amp;_4
 128 10:9-10:31: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb8]
 129 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 130 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 131 18:9-18:10: @3[2]: _5 = const 0_i32
 132 15:9-16:14: @3[3]: FakeRead(ForLet, _5)">        mut</span></span>
 133 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb9]
 134 10:9-10:25: @1[0]: _3 = &amp;_4
 135 10:9-10:31: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb8]
 136 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 137 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 138 18:9-18:10: @3[2]: _5 = const 0_i32
 139 15:9-16:14: @3[3]: FakeRead(ForLet, _5)">    countdown</span></span>
 140 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb9]
 141 10:9-10:25: @1[0]: _3 = &amp;_4
 142 10:9-10:31: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb8]
 143 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 144 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 145 18:9-18:10: @3[2]: _5 = const 0_i32
 146 15:9-16:14: @3[3]: FakeRead(ForLet, _5)">    =</span></span>
 147 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = args() -&gt; [return: bb1, unwind: bb9]
 148 10:9-10:25: @1[0]: _3 = &amp;_4
 149 10:9-10:31: @1.Call: _2 = &lt;Args as ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb8]
 150 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 151 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 152 18:9-18:10: @3[2]: _5 = const 0_i32
 153 15:9-16:14: @3[3]: FakeRead(ForLet, _5)">        0<span class="annotation">⦉@0,1,2,3</span></span></span><span class="code" style="--layer: 0"></span></span>
 154 <span class="line"><span class="code" style="--layer: 0">    ;</span></span>
 155 <span class="line"><span class="code" style="--layer: 0">    if</span></span>
 156 <span class="line"><span class="code" style="--layer: 0">        </span><span><span class="code even" style="--layer: 1" title="21:9-21:16: @3[5]: _6 = _1
 157 21:9-21:16: @3[6]: FakeRead(ForMatchedPlace, _6)"><span class="annotation">@0,1,2,3⦊</span>is_true<span class="annotation">⦉@0,1,2,3</span></span></span><span class="code" style="--layer: 0"></span></span>
 158 <span class="line"><span class="code" style="--layer: 0">    </span><span><span class="code odd" style="--layer: 1" title="23:9-25:15: @6[0]: _5 = const 10_i32
 159 22:5-27:6: @6[1]: _0 = const ()
 160 27:6-27:6: @6.Goto: goto -&gt; bb7"><span class="annotation">@4,6⦊</span>{</span></span>
 161 <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @6[0]: _5 = const 10_i32
 162 22:5-27:6: @6[1]: _0 = const ()
 163 27:6-27:6: @6.Goto: goto -&gt; bb7">        countdown</span></span>
 164 <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @6[0]: _5 = const 10_i32
 165 22:5-27:6: @6[1]: _0 = const ()
 166 27:6-27:6: @6.Goto: goto -&gt; bb7">        =</span></span>
 167 <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @6[0]: _5 = const 10_i32
 168 22:5-27:6: @6[1]: _0 = const ()
 169 27:6-27:6: @6.Goto: goto -&gt; bb7">            10</span></span>
 170 <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @6[0]: _5 = const 10_i32
 171 22:5-27:6: @6[1]: _0 = const ()
 172 27:6-27:6: @6.Goto: goto -&gt; bb7">        ;</span></span>
 173 <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @6[0]: _5 = const 10_i32
 174 22:5-27:6: @6[1]: _0 = const ()
 175 27:6-27:6: @6.Goto: goto -&gt; bb7">    }<span class="annotation">⦉@4,6</span></span></span><span><span class="code even" style="--layer: 1" title="27:6-27:6: @5.Goto: goto -&gt; bb7"><span class="annotation">@5⦊</span>‸<span class="annotation">⦉@5</span></span></span><span class="code" style="--layer: 0"></span></span>
 176 <span class="line"><span class="code" style="--layer: 0">}</span><span><span class="code odd" style="--layer: 1" title="28:2-28:2: @7.Return: return"><span class="annotation">@7⦊</span>‸<span class="annotation">⦉@7</span></span></span></span></div>
 177 </body>
 178 </html>