projects / rustc.git / blame
| Commit | Line | Data |
|---|---|---|
| fc512014 XL |
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.yield/yield.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>yield.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 6"><span class="line"><span><span class="code even" style="--layer: 1"><span class="annotation">@0,1,2⦊</span>fn main() <span class="annotation">⦉@0,1,2</span></span></span><span class="code" style="--layer: 0">{</span></span> | |
| 73 | <span class="line"><span class="code" style="--layer: 0"> let </span><span><span class="code even" style="--layer: 1" title="8:9-8:22: @0[2]: FakeRead(ForLet, _1)"><span class="annotation">@0,1,2⦊</span>mut generator<span class="annotation">⦉@0,1,2</span></span></span><span class="code" style="--layer: 0"> = || {</span></span> | |
| 74 | <span class="line"><span class="code" style="--layer: 0"> yield 1;</span></span> | |
| 75 | <span class="line"><span class="code" style="--layer: 0"> return "foo"</span></span> | |
| 76 | <span class="line"><span class="code" style="--layer: 0"> };</span></span> | |
| 77 | <span class="line"><span class="code" style="--layer: 0"></span></span> | |
| 78 | <span class="line"><span class="code" style="--layer: 0"> match </span><span><span class="code even" style="--layer: 1" title="13:20-13:34: @0[7]: _5 = &mut _1 | |
| 6a06907d | 79 | 13:11-13:35: @0.Call: _4 = std::pin::Pin::<&mut [generator@../coverage/yield.rs:8:25: 11:6 {i32, ()}]>::new(move _5) -> [return: bb1, unwind: bb26] |
| fc512014 | 80 | 13:43-13:45: @1[2]: _6 = () |
| 6a06907d | 81 | 13:11-13:46: @1.Call: _3 = <[generator@../coverage/yield.rs:8:25: 11:6 {i32, ()}] as std::ops::Generator>::resume(move _4, move _6) -> [return: bb2, unwind: bb26] |
| fc512014 XL |
82 | 13:11-13:46: @2[2]: FakeRead(ForMatchedPlace, _3) |
| 83 | 14:9-14:35: @2[3]: _7 = discriminant(_3)"><span class="annotation">@0,1,2⦊</span>Pin::new(&mut generator).resume(()) {</span></span> | |
| 84 | <span class="line"><span class="code even" style="--layer: 1" title="13:20-13:34: @0[7]: _5 = &mut _1 | |
| 6a06907d | 85 | 13:11-13:35: @0.Call: _4 = std::pin::Pin::<&mut [generator@../coverage/yield.rs:8:25: 11:6 {i32, ()}]>::new(move _5) -> [return: bb1, unwind: bb26] |
| fc512014 | 86 | 13:43-13:45: @1[2]: _6 = () |
| 6a06907d | 87 | 13:11-13:46: @1.Call: _3 = <[generator@../coverage/yield.rs:8:25: 11:6 {i32, ()}] as std::ops::Generator>::resume(move _4, move _6) -> [return: bb2, unwind: bb26] |
| fc512014 XL |
88 | 13:11-13:46: @2[2]: FakeRead(ForMatchedPlace, _3) |
| 89 | 14:9-14:35: @2[3]: _7 = discriminant(_3)"> GeneratorState::Yielded(1)<span class="annotation">⦉@0,1,2</span></span></span><span class="code" style="--layer: 0"> => </span><span><span class="code odd" style="--layer: 1" title="14:39-14:41: @6[0]: _2 = const ()"><span class="annotation">@4,6,7,8⦊</span>{}<span class="annotation">⦉@4,6,7,8</span></span></span><span class="code" style="--layer: 0"></span></span> | |
| 6a06907d | 90 | <span class="line"><span class="code" style="--layer: 0"> _ => </span><span><span class="code even" style="--layer: 1" title="15:14-15:52: @5.Call: std::rt::begin_panic::<&str>(const "unexpected value from resume") -> bb26"><span class="annotation">@5⦊</span>panic!("unexpected value from resume")<span class="annotation">⦉@5</span></span></span><span class="code" style="--layer: 0">,</span></span> |
| fc512014 XL |
91 | <span class="line"><span class="code" style="--layer: 0"> }</span></span> |
| 92 | <span class="line"><span class="code" style="--layer: 0"> match </span><span><span class="code odd" style="--layer: 1" title="17:20-17:34: @6[7]: _12 = &mut _1 | |
| 6a06907d | 93 | 17:11-17:35: @6.Call: _11 = std::pin::Pin::<&mut [generator@../coverage/yield.rs:8:25: 11:6 {i32, ()}]>::new(move _12) -> [return: bb7, unwind: bb26] |
| fc512014 | 94 | 17:43-17:45: @7[2]: _13 = () |
| 6a06907d | 95 | 17:11-17:46: @7.Call: _10 = <[generator@../coverage/yield.rs:8:25: 11:6 {i32, ()}] as std::ops::Generator>::resume(move _11, move _13) -> [return: bb8, unwind: bb26] |
| fc512014 | 96 | 17:11-17:46: @8[2]: FakeRead(ForMatchedPlace, _10)"><span class="annotation">@4,6,7,8⦊</span>Pin::new(&mut generator).resume(())<span class="annotation">⦉@4,6,7,8</span></span></span><span class="code" style="--layer: 0"> {</span></span> |
| 6a06907d XL |
97 | <span class="line"><span class="code" style="--layer: 0"> GeneratorState::Complete(</span><span><span class="code even" style="--layer: 1" title="18:34-18:39: @10.Call: _14 = <str as std::cmp::PartialEq>::eq(((_10 as Complete).0: &str), const "foo") -> [return: bb11, unwind: bb26]"><span class="annotation">@10,11⦊</span>"foo"<span class="annotation">⦉@10,11</span></span></span><span class="code" style="--layer: 0">) => </span><span><span class="code odd" style="--layer: 1" title="18:44-18:46: @13[0]: _9 = const ()"><span class="annotation">@12,13,14,15⦊</span>{}<span class="annotation">⦉@12,13,14,15</span></span></span><span class="code" style="--layer: 0"></span></span> |
| 98 | <span class="line"><span class="code" style="--layer: 0"> _ => </span><span><span class="code even" style="--layer: 1" title="19:14-19:52: @9.Call: std::rt::begin_panic::<&str>(const "unexpected value from resume") -> bb26"><span class="annotation">@9⦊</span>panic!("unexpected value from resume")<span class="annotation">⦉@9</span></span></span><span class="code" style="--layer: 0">,</span></span> | |
| fc512014 XL |
99 | <span class="line"><span class="code" style="--layer: 0"> }</span></span> |
| 100 | <span class="line"><span class="code" style="--layer: 0"></span></span> | |
| 101 | <span class="line"><span class="code" style="--layer: 0"> let </span><span><span class="code odd" style="--layer: 1" title="22:9-22:22: @13[5]: FakeRead(ForLet, _17)"><span class="annotation">@12,13,14,15⦊</span>mut generator<span class="annotation">⦉@12,13,14,15</span></span></span><span class="code" style="--layer: 0"> = || {</span></span> | |
| 102 | <span class="line"><span class="code" style="--layer: 0"> yield 1;</span></span> | |
| 103 | <span class="line"><span class="code" style="--layer: 0"> yield 2;</span></span> | |
| 104 | <span class="line"><span class="code" style="--layer: 0"> yield 3;</span></span> | |
| 105 | <span class="line"><span class="code" style="--layer: 0"> return "foo"</span></span> | |
| 106 | <span class="line"><span class="code" style="--layer: 0"> };</span></span> | |
| 107 | <span class="line"><span class="code" style="--layer: 0"></span></span> | |
| 108 | <span class="line"><span class="code" style="--layer: 0"> match </span><span><span class="code odd" style="--layer: 1" title="29:20-29:34: @13[10]: _21 = &mut _17 | |
| 6a06907d | 109 | 29:11-29:35: @13.Call: _20 = std::pin::Pin::<&mut [generator@../coverage/yield.rs:22:25: 27:6 {i32, ()}]>::new(move _21) -> [return: bb14, unwind: bb26] |
| fc512014 | 110 | 29:43-29:45: @14[2]: _22 = () |
| 6a06907d | 111 | 29:11-29:46: @14.Call: _19 = <[generator@../coverage/yield.rs:22:25: 27:6 {i32, ()}] as std::ops::Generator>::resume(move _20, move _22) -> [return: bb15, unwind: bb26] |
| fc512014 XL |
112 | 29:11-29:46: @15[2]: FakeRead(ForMatchedPlace, _19) |
| 113 | 30:9-30:35: @15[3]: _23 = discriminant(_19)"><span class="annotation">@12,13,14,15⦊</span>Pin::new(&mut generator).resume(()) {</span></span> | |
| 114 | <span class="line"><span class="code odd" style="--layer: 1" title="29:20-29:34: @13[10]: _21 = &mut _17 | |
| 6a06907d | 115 | 29:11-29:35: @13.Call: _20 = std::pin::Pin::<&mut [generator@../coverage/yield.rs:22:25: 27:6 {i32, ()}]>::new(move _21) -> [return: bb14, unwind: bb26] |
| fc512014 | 116 | 29:43-29:45: @14[2]: _22 = () |
| 6a06907d | 117 | 29:11-29:46: @14.Call: _19 = <[generator@../coverage/yield.rs:22:25: 27:6 {i32, ()}] as std::ops::Generator>::resume(move _20, move _22) -> [return: bb15, unwind: bb26] |
| fc512014 XL |
118 | 29:11-29:46: @15[2]: FakeRead(ForMatchedPlace, _19) |
| 119 | 30:9-30:35: @15[3]: _23 = discriminant(_19)"> GeneratorState::Yielded(1)<span class="annotation">⦉@12,13,14,15</span></span></span><span class="code" style="--layer: 0"> => </span><span><span class="code even" style="--layer: 1" title="30:39-30:41: @19[0]: _18 = const ()"><span class="annotation">@17,19,20,21⦊</span>{}<span class="annotation">⦉@17,19,20,21</span></span></span><span class="code" style="--layer: 0"></span></span> | |
| 6a06907d | 120 | <span class="line"><span class="code" style="--layer: 0"> _ => </span><span><span class="code odd" style="--layer: 1" title="31:14-31:52: @18.Call: std::rt::begin_panic::<&str>(const "unexpected value from resume") -> bb26"><span class="annotation">@18⦊</span>panic!("unexpected value from resume")<span class="annotation">⦉@18</span></span></span><span class="code" style="--layer: 0">,</span></span> |
| fc512014 XL |
121 | <span class="line"><span class="code" style="--layer: 0"> }</span></span> |
| 122 | <span class="line"><span class="code" style="--layer: 0"> match </span><span><span class="code even" style="--layer: 1" title="33:20-33:34: @19[6]: _27 = &mut _17 | |
| 6a06907d | 123 | 33:11-33:35: @19.Call: _26 = std::pin::Pin::<&mut [generator@../coverage/yield.rs:22:25: 27:6 {i32, ()}]>::new(move _27) -> [return: bb20, unwind: bb26] |
| fc512014 | 124 | 33:43-33:45: @20[2]: _28 = () |
| 6a06907d | 125 | 33:11-33:46: @20.Call: _25 = <[generator@../coverage/yield.rs:22:25: 27:6 {i32, ()}] as std::ops::Generator>::resume(move _26, move _28) -> [return: bb21, unwind: bb26] |
| fc512014 XL |
126 | 33:11-33:46: @21[2]: FakeRead(ForMatchedPlace, _25) |
| 127 | 34:9-34:35: @21[3]: _29 = discriminant(_25)"><span class="annotation">@17,19,20,21⦊</span>Pin::new(&mut generator).resume(()) {</span></span> | |
| 128 | <span class="line"><span class="code even" style="--layer: 1" title="33:20-33:34: @19[6]: _27 = &mut _17 | |
| 6a06907d | 129 | 33:11-33:35: @19.Call: _26 = std::pin::Pin::<&mut [generator@../coverage/yield.rs:22:25: 27:6 {i32, ()}]>::new(move _27) -> [return: bb20, unwind: bb26] |
| fc512014 | 130 | 33:43-33:45: @20[2]: _28 = () |
| 6a06907d | 131 | 33:11-33:46: @20.Call: _25 = <[generator@../coverage/yield.rs:22:25: 27:6 {i32, ()}] as std::ops::Generator>::resume(move _26, move _28) -> [return: bb21, unwind: bb26] |
| fc512014 XL |
132 | 33:11-33:46: @21[2]: FakeRead(ForMatchedPlace, _25) |
| 133 | 34:9-34:35: @21[3]: _29 = discriminant(_25)"> GeneratorState::Yielded(2)<span class="annotation">⦉@17,19,20,21</span></span></span><span class="code" style="--layer: 0"> => </span><span><span class="code odd" style="--layer: 1" title="34:39-34:41: @25[0]: _0 = const ()"><span class="annotation">@23,25⦊</span>{}<span class="annotation">⦉@23,25</span></span></span><span class="code" style="--layer: 0"></span></span> | |
| 6a06907d | 134 | <span class="line"><span class="code" style="--layer: 0"> _ => </span><span><span class="code even" style="--layer: 1" title="35:14-35:52: @24.Call: std::rt::begin_panic::<&str>(const "unexpected value from resume") -> bb26"><span class="annotation">@24⦊</span>panic!("unexpected value from resume")<span class="annotation">⦉@24</span></span></span><span class="code" style="--layer: 0">,</span></span> |
| fc512014 XL |
135 | <span class="line"><span class="code" style="--layer: 0"> }</span></span> |
| 136 | <span class="line"><span class="code" style="--layer: 0">}</span><span><span class="code odd" style="--layer: 1" title="37:2-37:2: @25.Return: return"><span class="annotation">@23,25⦊</span>‸<span class="annotation">⦉@23,25</span></span></span></span></div> | |
| 137 | </body> | |
| 138 | </html> |