src/test/mir-opt/spanview_statement.main.mir_map.0.html.mir

   1 <!DOCTYPE html>
   2 <html>
   3 <head>
   4     <title>coverage_of_if_else - Code Regions</title>
   5     <style>
   6     .line {
   7         counter-increment: line;
   8     }
   9     .line:before {
  10         content: counter(line) ": ";
  11         font-family: Menlo, Monaco, monospace;
  12         font-style: italic;
  13         width: 3.8em;
  14         display: inline-block;
  15         text-align: right;
  16         filter: opacity(50%);
  17         -webkit-user-select: none;
  18     }
  19     .code {
  20         color: #dddddd;
  21         background-color: #222222;
  22         font-family: Menlo, Monaco, monospace;
  23         line-height: 1.4em;
  24         border-bottom: 2px solid #222222;
  25         white-space: pre;
  26         display: inline-block;
  27     }
  28     .odd {
  29         background-color: #55bbff;
  30         color: #223311;
  31     }
  32     .even {
  33         background-color: #ee7756;
  34         color: #551133;
  35     }
  36     .code {
  37         --index: calc(var(--layer) - 1);
  38         padding-top: calc(var(--index) * 0.15em);
  39         filter:
  40             hue-rotate(calc(var(--index) * 25deg))
  41             saturate(calc(100% - (var(--index) * 2%)))
  42             brightness(calc(100% - (var(--index) * 1.5%)));
  43     }
  44     .annotation {
  45         color: #4444ff;
  46         font-family: monospace;
  47         font-style: italic;
  48         display: none;
  49         -webkit-user-select: none;
  50     }
  51     body:active .annotation {
  52         /* requires holding mouse down anywhere on the page */
  53         display: inline-block;
  54     }
  55     span:hover .annotation {
  56         /* requires hover over a span ONLY on its first line */
  57         display: inline-block;
  58     }
  59     </style>
  60 </head>
  61 <body>
  62 <div class="code" style="counter-reset: line 4"><span class="line"><span class="code" style="--layer: 0">fn main() </span><span><span class="code even" style="--layer: 1" title="0[0]: $DIR/spanview-statement.rs:5:11: 5:13:
  63     5:11-5:13: Assign: _0 = const ()"><span class="annotation">0[0]⦊</span>{}<span class="annotation">⦉0[0]</span></span></span><span><span class="code odd" style="--layer: 1" title="0:Goto: $DIR/spanview-statement.rs:5:13: 5:13:
  64     5:13-5:13: Goto: goto -&gt; bb2"><span class="annotation">0:Goto⦊</span>‸<span class="annotation">⦉0:Goto</span></span></span><span><span class="code even" style="--layer: 1" title="2:Return: $DIR/spanview-statement.rs:5:13: 5:13:
  65     5:13-5:13: Return: return"><span class="annotation">2:Return⦊</span>‸<span class="annotation">⦉2:Return</span></span></span></span></div>
  66 </body>
  67 </html>