| <!DOCTYPE html> |
| <html> |
| <head> |
| <title>simple_match.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 class="code" style="--layer: 0">fn main() {</span></span> |
| <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> |
| <span class="line"><span class="code" style="--layer: 0"> // rustc and LLVM cannot optimize out statements (or coverage counters) downstream from</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> // dependent conditions.</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> let </span><span><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -> [return: bb1, unwind: bb22] |
| 7:19-7:35: @1[0]: _3 = &_4 |
| 7:19-7:41: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb21] |
| 7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 7:9-7:16: @2[3]: FakeRead(ForLet, _1) |
| 9:25-9:26: @3[2]: _5 = const 1_i32 |
| 9:9-9:22: @3[3]: FakeRead(ForLet, _5)"><span class="annotation">@0,1,2,3⦊</span>is_true = std::env::args().len() == 1;</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -> [return: bb1, unwind: bb22] |
| 7:19-7:35: @1[0]: _3 = &_4 |
| 7:19-7:41: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb21] |
| 7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 7:9-7:16: @2[3]: FakeRead(ForLet, _1) |
| 9:25-9:26: @3[2]: _5 = const 1_i32 |
| 9:9-9:22: @3[3]: FakeRead(ForLet, _5)"></span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="7:19-7:35: @0.Call: _4 = args() -> [return: bb1, unwind: bb22] |
| 7:19-7:35: @1[0]: _3 = &_4 |
| 7:19-7:41: @1.Call: _2 = <Args as ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb21] |
| 7:19-7:46: @2[1]: _1 = Eq(move _2, const 1_usize) |
| 7:9-7:16: @2[3]: FakeRead(ForLet, _1) |
| 9:25-9:26: @3[2]: _5 = const 1_i32 |
| 9:9-9:22: @3[3]: FakeRead(ForLet, _5)"> let mut countdown = 1<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"> if </span><span><span class="code even" style="--layer: 1" title="10:8-10:15: @3[6]: _7 = _1 |
| 10:8-10:15: @3[7]: FakeRead(ForMatchedPlace, _7)"><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><span class="code odd" style="--layer: 1" title="11:9-11:22: @6[0]: _5 = const 0_i32 |
| 10:16-12:6: @6[1]: _6 = const ()"><span class="annotation">@4,6⦊</span>{</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="11:9-11:22: @6[0]: _5 = const 0_i32 |
| 10:16-12:6: @6[1]: _6 = const ()"> countdown = 0;</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="11:9-11:22: @6[0]: _5 = const 0_i32 |
| 10:16-12:6: @6[1]: _6 = const ()"> }<span class="annotation">⦉@4,6</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="15:9-15:10: @11[2]: _17 = discriminant(_14)"><span class="annotation">@9,10,11⦊</span>for</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="15:9-15:10: @11[2]: _17 = discriminant(_14)"> _<span class="annotation">⦉@9,10,11</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0"> in</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="17:9-17:13: @7[4]: _9 = std::ops::Range::<i32> { start: const 0_i32, end: const 2_i32 } |
| 17:9-17:13: @7.Call: _8 = <std::ops::Range<i32> as IntoIterator>::into_iter(move _9) -> [return: bb8, unwind: bb22] |
| 17:9-17:13: @8[1]: FakeRead(ForMatchedPlace, _8) |
| 17:9-17:13: @8[3]: _10 = move _8"><span class="annotation">@7,8⦊</span>0..2<span class="annotation">⦉@7,8</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0"> {</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> let z</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> ;</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> match</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="22:13-22:22: @15[13]: FakeRead(ForMatchedPlace, _5) |
| 24:13-24:14: @17[1]: _24 = &_5 |
| 26:17-26:18: @17[4]: _26 = (*_24) |
| 26:17-28:18: @17[5]: _25 = Lt(move _26, const 1_i32)"><span class="annotation">@13,15,17⦊</span>countdown</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="22:13-22:22: @15[13]: FakeRead(ForMatchedPlace, _5) |
| 24:13-24:14: @17[1]: _24 = &_5 |
| 26:17-26:18: @17[4]: _26 = (*_24) |
| 26:17-28:18: @17[5]: _25 = Lt(move _26, const 1_i32)"> {</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="22:13-22:22: @15[13]: FakeRead(ForMatchedPlace, _5) |
| 24:13-24:14: @17[1]: _24 = &_5 |
| 26:17-26:18: @17[4]: _26 = (*_24) |
| 26:17-28:18: @17[5]: _25 = Lt(move _26, const 1_i32)"> x</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="22:13-22:22: @15[13]: FakeRead(ForMatchedPlace, _5) |
| 24:13-24:14: @17[1]: _24 = &_5 |
| 26:17-26:18: @17[4]: _26 = (*_24) |
| 26:17-28:18: @17[5]: _25 = Lt(move _26, const 1_i32)"> if</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="22:13-22:22: @15[13]: FakeRead(ForMatchedPlace, _5) |
| 24:13-24:14: @17[1]: _24 = &_5 |
| 26:17-26:18: @17[4]: _26 = (*_24) |
| 26:17-28:18: @17[5]: _25 = Lt(move _26, const 1_i32)"> x</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="22:13-22:22: @15[13]: FakeRead(ForMatchedPlace, _5) |
| 24:13-24:14: @17[1]: _24 = &_5 |
| 26:17-26:18: @17[4]: _26 = (*_24) |
| 26:17-28:18: @17[5]: _25 = Lt(move _26, const 1_i32)"> <</span></span> |
| <span class="line"><span class="code even" style="--layer: 1" title="22:13-22:22: @15[13]: FakeRead(ForMatchedPlace, _5) |
| 24:13-24:14: @17[1]: _24 = &_5 |
| 26:17-26:18: @17[4]: _26 = (*_24) |
| 26:17-28:18: @17[5]: _25 = Lt(move _26, const 1_i32)"> 1<span class="annotation">⦉@13,15,17</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><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="31:21-31:30: @18[5]: _27 = _5 |
| 31:17-31:30: @18[6]: _22 = move _27 |
| 33:25-33:34: @18[9]: _28 = _5 |
| 33:21-33:22: @18[10]: FakeRead(ForLet, _28) |
| 35:17-35:31: @18[11]: _5 = const 10_i32 |
| 30:13-37:14: @18[12]: _21 = const ()"><span class="annotation">@18⦊</span>{</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="31:21-31:30: @18[5]: _27 = _5 |
| 31:17-31:30: @18[6]: _22 = move _27 |
| 33:25-33:34: @18[9]: _28 = _5 |
| 33:21-33:22: @18[10]: FakeRead(ForLet, _28) |
| 35:17-35:31: @18[11]: _5 = const 10_i32 |
| 30:13-37:14: @18[12]: _21 = const ()"> z = countdown</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="31:21-31:30: @18[5]: _27 = _5 |
| 31:17-31:30: @18[6]: _22 = move _27 |
| 33:25-33:34: @18[9]: _28 = _5 |
| 33:21-33:22: @18[10]: FakeRead(ForLet, _28) |
| 35:17-35:31: @18[11]: _5 = const 10_i32 |
| 30:13-37:14: @18[12]: _21 = const ()"> ;</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="31:21-31:30: @18[5]: _27 = _5 |
| 31:17-31:30: @18[6]: _22 = move _27 |
| 33:25-33:34: @18[9]: _28 = _5 |
| 33:21-33:22: @18[10]: FakeRead(ForLet, _28) |
| 35:17-35:31: @18[11]: _5 = const 10_i32 |
| 30:13-37:14: @18[12]: _21 = const ()"> let y = countdown</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="31:21-31:30: @18[5]: _27 = _5 |
| 31:17-31:30: @18[6]: _22 = move _27 |
| 33:25-33:34: @18[9]: _28 = _5 |
| 33:21-33:22: @18[10]: FakeRead(ForLet, _28) |
| 35:17-35:31: @18[11]: _5 = const 10_i32 |
| 30:13-37:14: @18[12]: _21 = const ()"> ;</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="31:21-31:30: @18[5]: _27 = _5 |
| 31:17-31:30: @18[6]: _22 = move _27 |
| 33:25-33:34: @18[9]: _28 = _5 |
| 33:21-33:22: @18[10]: FakeRead(ForLet, _28) |
| 35:17-35:31: @18[11]: _5 = const 10_i32 |
| 30:13-37:14: @18[12]: _21 = const ()"> countdown = 10</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="31:21-31:30: @18[5]: _27 = _5 |
| 31:17-31:30: @18[6]: _22 = move _27 |
| 33:25-33:34: @18[9]: _28 = _5 |
| 33:21-33:22: @18[10]: FakeRead(ForLet, _28) |
| 35:17-35:31: @18[11]: _5 = const 10_i32 |
| 30:13-37:14: @18[12]: _21 = const ()"> ;</span></span> |
| <span class="line"><span class="code odd" style="--layer: 1" title="31:21-31:30: @18[5]: _27 = _5 |
| 31:17-31:30: @18[6]: _22 = move _27 |
| 33:25-33:34: @18[9]: _28 = _5 |
| 33:21-33:22: @18[10]: FakeRead(ForLet, _28) |
| 35:17-35:31: @18[11]: _5 = const 10_i32 |
| 30:13-37:14: @18[12]: _21 = const ()"> }<span class="annotation">⦉@18</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0"> _</span></span> |
| <span class="line"><span class="code" style="--layer: 0"> =></span></span> |
| <span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="40:13-40:15: @16[0]: _21 = const ()"><span class="annotation">@16⦊</span>{}<span class="annotation">⦉@16</span></span></span><span class="code" style="--layer: 0"></span></span> |
| <span class="line"><span class="code" style="--layer: 0"> }</span></span> |
| <span class="line"><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="43:2-43:2: @12.Return: return"><span class="annotation">@12⦊</span>‸<span class="annotation">⦉@12</span></span></span></span></div> |
| </body> |
| </html> |