src/test/run-make-fulldeps/coverage-spanview/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/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><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
  73 10:9-10:25: @1[0]: _3 = &amp;_4
  74 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
  75 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
  76 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
  77 18:9-18:10: @3[2]: _5 = const 0_i32
  78 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
  79 21:9-21:16: @3[5]: _6 = _1"><span class="annotation">@0,1,2,3⦊</span>fn main() {</span></span>
  80 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
  81 10:9-10:25: @1[0]: _3 = &amp;_4
  82 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
  83 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
  84 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
  85 18:9-18:10: @3[2]: _5 = const 0_i32
  86 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
  87 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>
  88 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
  89 10:9-10:25: @1[0]: _3 = &amp;_4
  90 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
  91 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
  92 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
  93 18:9-18:10: @3[2]: _5 = const 0_i32
  94 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
  95 21:9-21:16: @3[5]: _6 = _1">    // rustc and LLVM cannot optimize out statements (or coverage counters) downstream from</span></span>
  96 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
  97 10:9-10:25: @1[0]: _3 = &amp;_4
  98 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
  99 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 100 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 101 18:9-18:10: @3[2]: _5 = const 0_i32
 102 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 103 21:9-21:16: @3[5]: _6 = _1">    // dependent conditions.</span></span>
 104 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 105 10:9-10:25: @1[0]: _3 = &amp;_4
 106 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 107 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 108 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 109 18:9-18:10: @3[2]: _5 = const 0_i32
 110 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 111 21:9-21:16: @3[5]: _6 = _1">    let</span></span>
 112 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 113 10:9-10:25: @1[0]: _3 = &amp;_4
 114 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 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)
 119 21:9-21:16: @3[5]: _6 = _1">    is_true</span></span>
 120 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 121 10:9-10:25: @1[0]: _3 = &amp;_4
 122 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 123 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 124 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 125 18:9-18:10: @3[2]: _5 = const 0_i32
 126 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 127 21:9-21:16: @3[5]: _6 = _1">    =</span></span>
 128 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 129 10:9-10:25: @1[0]: _3 = &amp;_4
 130 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 131 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 132 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 133 18:9-18:10: @3[2]: _5 = const 0_i32
 134 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 135 21:9-21:16: @3[5]: _6 = _1">        std::env::args().len()</span></span>
 136 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 137 10:9-10:25: @1[0]: _3 = &amp;_4
 138 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 139 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 140 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 141 18:9-18:10: @3[2]: _5 = const 0_i32
 142 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 143 21:9-21:16: @3[5]: _6 = _1">    ==</span></span>
 144 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 145 10:9-10:25: @1[0]: _3 = &amp;_4
 146 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 147 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 148 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 149 18:9-18:10: @3[2]: _5 = const 0_i32
 150 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 151 21:9-21:16: @3[5]: _6 = _1">        1</span></span>
 152 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 153 10:9-10:25: @1[0]: _3 = &amp;_4
 154 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 155 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 156 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 157 18:9-18:10: @3[2]: _5 = const 0_i32
 158 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 159 21:9-21:16: @3[5]: _6 = _1">    ;</span></span>
 160 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 161 10:9-10:25: @1[0]: _3 = &amp;_4
 162 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 163 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 164 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 165 18:9-18:10: @3[2]: _5 = const 0_i32
 166 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 167 21:9-21:16: @3[5]: _6 = _1">    let</span></span>
 168 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 169 10:9-10:25: @1[0]: _3 = &amp;_4
 170 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 171 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 172 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 173 18:9-18:10: @3[2]: _5 = const 0_i32
 174 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 175 21:9-21:16: @3[5]: _6 = _1">        mut</span></span>
 176 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 177 10:9-10:25: @1[0]: _3 = &amp;_4
 178 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 179 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 180 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 181 18:9-18:10: @3[2]: _5 = const 0_i32
 182 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 183 21:9-21:16: @3[5]: _6 = _1">    countdown</span></span>
 184 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 185 10:9-10:25: @1[0]: _3 = &amp;_4
 186 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 187 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 188 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 189 18:9-18:10: @3[2]: _5 = const 0_i32
 190 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 191 21:9-21:16: @3[5]: _6 = _1">    =</span></span>
 192 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 193 10:9-10:25: @1[0]: _3 = &amp;_4
 194 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 195 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 196 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 197 18:9-18:10: @3[2]: _5 = const 0_i32
 198 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 199 21:9-21:16: @3[5]: _6 = _1">        0</span></span>
 200 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 201 10:9-10:25: @1[0]: _3 = &amp;_4
 202 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 203 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 204 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 205 18:9-18:10: @3[2]: _5 = const 0_i32
 206 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 207 21:9-21:16: @3[5]: _6 = _1">    ;</span></span>
 208 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 209 10:9-10:25: @1[0]: _3 = &amp;_4
 210 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 211 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 212 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 213 18:9-18:10: @3[2]: _5 = const 0_i32
 214 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 215 21:9-21:16: @3[5]: _6 = _1">    if</span></span>
 216 <span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
 217 10:9-10:25: @1[0]: _3 = &amp;_4
 218 10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
 219 10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
 220 8:5-8:12: @2[3]: FakeRead(ForLet, _1)
 221 18:9-18:10: @3[2]: _5 = const 0_i32
 222 15:9-16:14: @3[3]: FakeRead(ForLet, _5)
 223 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>
 224 <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
 225 22:5-27:6: @4[1]: _0 = const ()"><span class="annotation">@4⦊</span>{</span></span>
 226 <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32
 227 22:5-27:6: @4[1]: _0 = const ()">        countdown</span></span>
 228 <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32
 229 22:5-27:6: @4[1]: _0 = const ()">        =</span></span>
 230 <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32
 231 22:5-27:6: @4[1]: _0 = const ()">            10</span></span>
 232 <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32
 233 22:5-27:6: @4[1]: _0 = const ()">        ;</span></span>
 234 <span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32
 235 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>
 236 <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>
 237 </body>
 238 </html>