Skip to content

Commit 4f23cec

Browse files
committed
Rename 64 bit mir files to be more tool friendly
See #75746
1 parent 076e52d commit 4f23cec

File tree

40 files changed

+210
-0
lines changed

40 files changed

+210
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
digraph Mir_0_3 {
2+
graph [fontname="Courier, monospace"];
3+
node [fontname="Courier, monospace"];
4+
edge [fontname="Courier, monospace"];
5+
label=<fn main() -&gt; ()<br align="left"/>>;
6+
bb0__0_3 [shape="none", label=<<table border="0" cellborder="1" cellspacing="0"><tr><td bgcolor="gray" align="center" colspan="1">0</td></tr><tr><td align="left" balign="left">_0 = const ()<br/></td></tr><tr><td align="left">goto</td></tr></table>>];
7+
bb1__0_3 [shape="none", label=<<table border="0" cellborder="1" cellspacing="0"><tr><td bgcolor="gray" align="center" colspan="1">1</td></tr><tr><td align="left">resume</td></tr></table>>];
8+
bb2__0_3 [shape="none", label=<<table border="0" cellborder="1" cellspacing="0"><tr><td bgcolor="gray" align="center" colspan="1">2</td></tr><tr><td align="left">return</td></tr></table>>];
9+
bb0__0_3 -> bb2__0_3 [label=""];
10+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,67 @@
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: $DIR/spanview-block.rs:5:11: 5:13:
63+
5:11-5:13: Assign: _0 = const ()
64+
5:13-5:13: Goto: goto -&gt; bb2"><span class="annotation">0⦊</span>{}<span class="annotation">⦉0</span></span></span><span><span class="code odd" style="--layer: 1" title="2: $DIR/spanview-block.rs:5:13: 5:13:
65+
5:13-5:13: Return: return"><span class="annotation">2⦊</span>‸<span class="annotation">⦉2</span></span></span></span></div>
66+
</body>
67+
</html>
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,67 @@
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>
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,66 @@
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:Goto: $DIR/spanview-terminator.rs:5:13: 5:13:
63+
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 odd" style="--layer: 1" title="2:Return: $DIR/spanview-terminator.rs:5:13: 5:13:
64+
5:13-5:13: Return: return"><span class="annotation">2:Return⦊</span>‸<span class="annotation">⦉2:Return</span></span></span></span></div>
65+
</body>
66+
</html>

0 commit comments

Comments
 (0)