[rustc.git] / src / test / run-make-fulldeps / coverage-spanview / expected_mir_dump.if / if.main.-------.InstrumentCoverage.0.html

<!DOCTYPE html>
<!--

Preview this file as rendered HTML from the github source at:
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

For revisions in Pull Requests (PR):
  * Replace "rust-lang" with the github PR author
  * Replace "master" with the PR branch name

-->
<html>
<head>
<title>if.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><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -&gt; [return: bb1, unwind: bb8]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1"><span class="annotation">@0,1,2,3⦊</span>fn main() {</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
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>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">    // rustc and LLVM cannot optimize out statements (or coverage counters) downstream from</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">    // dependent conditions.</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">    let</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">    is_true</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">    =</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">        std::env::args().len()</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">    ==</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">        1</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">    ;</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">    let</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">        mut</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">    countdown</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">    =</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">        0</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">    ;</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
21:9-21:16: @3[5]: _6 = _1">    if</span></span>
<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]
10:9-10:25: @1[0]: _3 = &amp;_4
10:9-10:31: @1.Call: _2 = &lt;std::env::Args as std::iter::ExactSizeIterator&gt;::len(move _3) -&gt; [return: bb2, unwind: bb7]
10:9-12:10: @2[1]: _1 = Eq(move _2, const 1_usize)
8:5-8:12: @2[3]: FakeRead(ForLet, _1)
18:9-18:10: @3[2]: _5 = const 0_i32
15:9-16:14: @3[3]: FakeRead(ForLet, _5)
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>
<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
22:5-27:6: @4[1]: _0 = const ()"><span class="annotation">@4⦊</span>{</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32
22:5-27:6: @4[1]: _0 = const ()">        countdown</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32
22:5-27:6: @4[1]: _0 = const ()">        =</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32
22:5-27:6: @4[1]: _0 = const ()">            10</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32
22:5-27:6: @4[1]: _0 = const ()">        ;</span></span>
<span class="line"><span class="code odd" style="--layer: 1" title="23:9-25:15: @4[0]: _5 = const 10_i32
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>
<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>
</body>
</html>
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.if/if.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>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>
6a06907d	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() -> [return: bb1, unwind: bb8]
29967ef6	73	10:9-10:25: @1[0]: _3 = &_4
6a06907d	74	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
29967ef6 XL	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
fc512014	78	15:9-16:14: @3[3]: FakeRead(ForLet, _5)
5869c6ff	79	21:9-21:16: @3[5]: _6 = _1"><span class="annotation">@0,1,2,3⦊</span>fn main() {</span></span>
6a06907d	80	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
29967ef6	81	10:9-10:25: @1[0]: _3 = &_4
6a06907d	82	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
29967ef6 XL	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
fc512014	86	15:9-16:14: @3[3]: FakeRead(ForLet, _5)
5869c6ff	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>
6a06907d	88	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
29967ef6	89	10:9-10:25: @1[0]: _3 = &_4
6a06907d	90	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
29967ef6 XL	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
fc512014	94	15:9-16:14: @3[3]: FakeRead(ForLet, _5)
5869c6ff	95	21:9-21:16: @3[5]: _6 = _1"> // rustc and LLVM cannot optimize out statements (or coverage counters) downstream from</span></span>
6a06907d	96	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
29967ef6	97	10:9-10:25: @1[0]: _3 = &_4
6a06907d	98	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
29967ef6 XL	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
fc512014	102	15:9-16:14: @3[3]: FakeRead(ForLet, _5)
5869c6ff	103	21:9-21:16: @3[5]: _6 = _1"> // dependent conditions.</span></span>
6a06907d	104	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
29967ef6	105	10:9-10:25: @1[0]: _3 = &_4
6a06907d	106	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
29967ef6 XL	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
fc512014	110	15:9-16:14: @3[3]: FakeRead(ForLet, _5)
5869c6ff	111	21:9-21:16: @3[5]: _6 = _1"> let</span></span>
6a06907d	112	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
29967ef6	113	10:9-10:25: @1[0]: _3 = &_4
6a06907d	114	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
29967ef6 XL	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
fc512014	118	15:9-16:14: @3[3]: FakeRead(ForLet, _5)
5869c6ff	119	21:9-21:16: @3[5]: _6 = _1"> is_true</span></span>
6a06907d	120	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
29967ef6	121	10:9-10:25: @1[0]: _3 = &_4
6a06907d	122	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
29967ef6 XL	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
fc512014	126	15:9-16:14: @3[3]: FakeRead(ForLet, _5)
5869c6ff	127	21:9-21:16: @3[5]: _6 = _1"> =</span></span>
6a06907d	128	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
29967ef6	129	10:9-10:25: @1[0]: _3 = &_4
6a06907d	130	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
29967ef6 XL	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
fc512014	134	15:9-16:14: @3[3]: FakeRead(ForLet, _5)
5869c6ff	135	21:9-21:16: @3[5]: _6 = _1"> std::env::args().len()</span></span>
6a06907d	136	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
29967ef6	137	10:9-10:25: @1[0]: _3 = &_4
6a06907d	138	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
29967ef6 XL	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
fc512014	142	15:9-16:14: @3[3]: FakeRead(ForLet, _5)
5869c6ff	143	21:9-21:16: @3[5]: _6 = _1"> ==</span></span>
6a06907d	144	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
29967ef6	145	10:9-10:25: @1[0]: _3 = &_4
6a06907d	146	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
29967ef6 XL	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
fc512014	150	15:9-16:14: @3[3]: FakeRead(ForLet, _5)
5869c6ff	151	21:9-21:16: @3[5]: _6 = _1"> 1</span></span>
6a06907d	152	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
29967ef6	153	10:9-10:25: @1[0]: _3 = &_4
6a06907d	154	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
29967ef6 XL	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
fc512014	158	15:9-16:14: @3[3]: FakeRead(ForLet, _5)
5869c6ff	159	21:9-21:16: @3[5]: _6 = _1"> ;</span></span>
6a06907d	160	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
fc512014	161	10:9-10:25: @1[0]: _3 = &_4
6a06907d	162	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
fc512014 XL	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)
5869c6ff	167	21:9-21:16: @3[5]: _6 = _1"> let</span></span>
6a06907d	168	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
fc512014	169	10:9-10:25: @1[0]: _3 = &_4
6a06907d	170	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
fc512014 XL	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)
5869c6ff	175	21:9-21:16: @3[5]: _6 = _1"> mut</span></span>
6a06907d	176	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
fc512014	177	10:9-10:25: @1[0]: _3 = &_4
6a06907d	178	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
fc512014 XL	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)
5869c6ff	183	21:9-21:16: @3[5]: _6 = _1"> countdown</span></span>
6a06907d	184	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
fc512014	185	10:9-10:25: @1[0]: _3 = &_4
6a06907d	186	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
fc512014 XL	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)
5869c6ff	191	21:9-21:16: @3[5]: _6 = _1"> =</span></span>
6a06907d	192	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
fc512014	193	10:9-10:25: @1[0]: _3 = &_4
6a06907d	194	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
fc512014 XL	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)
5869c6ff	199	21:9-21:16: @3[5]: _6 = _1"> 0</span></span>
6a06907d	200	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
fc512014	201	10:9-10:25: @1[0]: _3 = &_4
6a06907d	202	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
fc512014 XL	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)
5869c6ff	207	21:9-21:16: @3[5]: _6 = _1"> ;</span></span>
6a06907d	208	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
fc512014	209	10:9-10:25: @1[0]: _3 = &_4
6a06907d	210	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
fc512014 XL	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)
5869c6ff	215	21:9-21:16: @3[5]: _6 = _1"> if</span></span>
6a06907d	216	<span class="line"><span class="code even" style="--layer: 1" title="10:9-10:25: @0.Call: _4 = std::env::args() -> [return: bb1, unwind: bb8]
fc512014	217	10:9-10:25: @1[0]: _3 = &_4
6a06907d	218	10:9-10:31: @1.Call: _2 = <std::env::Args as std::iter::ExactSizeIterator>::len(move _3) -> [return: bb2, unwind: bb7]
fc512014 XL	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)
5869c6ff XL	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>
29967ef6 XL	237	</body>
29967ef6 XL	238	</html>