Created
December 29, 2015 00:17
-
-
Save solson/480175dcf7639df69906 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0" encoding="UTF-8" standalone="no"?> | |
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" | |
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> | |
<!-- Generated by graphviz version 2.38.0 (20140413.2041) | |
--> | |
<!-- Title: Mir Pages: 1 --> | |
<svg width="340pt" height="243pt" | |
viewBox="0.00 0.00 340.00 243.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> | |
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 239)"> | |
<title>Mir</title> | |
<polygon fill="white" stroke="none" points="-4,4 -4,-239 336,-239 336,4 -4,4"/> | |
<!-- BB0 --> | |
<g id="node1" class="node"><title>BB0</title> | |
<polygon fill="none" stroke="black" points="8.5,-210 8.5,-231 243.5,-231 243.5,-210 8.5,-210"/> | |
<text text-anchor="start" x="113.5" y="-217.8" font-family="Times,serif" font-weight="bold" font-size="14.00">BB₀</text> | |
<polygon fill="none" stroke="black" points="8.5,-189 8.5,-210 243.5,-210 243.5,-189 8.5,-189"/> | |
<text text-anchor="start" x="11.5" y="-195.8" font-family="Times,serif" font-size="14.00">Var₀ = Arg₁</text> | |
<polygon fill="none" stroke="black" points="8.5,-168 8.5,-189 243.5,-189 243.5,-168 8.5,-168"/> | |
<text text-anchor="start" x="11.5" y="-174.8" font-family="Times,serif" font-size="14.00">Temp₂ = Var₀</text> | |
<polygon fill="none" stroke="black" points="8.5,-147 8.5,-168 243.5,-168 243.5,-147 8.5,-147"/> | |
<text text-anchor="start" x="11.5" y="-153.8" font-family="Times,serif" font-size="14.00">(*(*Arg₀).0) = Mul((*(*Arg₀).0),Temp₂)</text> | |
<polygon fill="none" stroke="black" points="8.5,-126 8.5,-147 243.5,-147 243.5,-126 8.5,-126"/> | |
<text text-anchor="start" x="11.5" y="-132.8" font-family="Times,serif" font-size="14.00">drop Temp₁</text> | |
<polygon fill="cornsilk" stroke="none" points="8.5,-105 8.5,-126 243.5,-126 243.5,-105 8.5,-105"/> | |
<polygon fill="none" stroke="black" points="8.5,-105 8.5,-126 243.5,-126 243.5,-105 8.5,-105"/> | |
<text text-anchor="start" x="11.5" y="-111.8" font-family="Times,serif" font-size="14.00">goto -> BB₁</text> | |
</g> | |
<!-- BB1 --> | |
<g id="node2" class="node"><title>BB1</title> | |
<polygon fill="none" stroke="black" points="106.5,-25 106.5,-46 145.5,-46 145.5,-25 106.5,-25"/> | |
<text text-anchor="start" x="113.5" y="-32.8" font-family="Times,serif" font-weight="bold" font-size="14.00">BB₁</text> | |
<polygon fill="cornsilk" stroke="none" points="106.5,-4 106.5,-25 145.5,-25 145.5,-4 106.5,-4"/> | |
<polygon fill="none" stroke="black" points="106.5,-4 106.5,-25 145.5,-25 145.5,-4 106.5,-4"/> | |
<text text-anchor="start" x="109.5" y="-10.8" font-family="Times,serif" font-size="14.00">return</text> | |
</g> | |
<!-- BB0->BB1 --> | |
<g id="edge1" class="edge"><title>BB0->BB1</title> | |
<path fill="none" stroke="black" d="M125.5,-100.629C125.5,-86.707 125.5,-72.5699 125.5,-60.3987"/> | |
<polygon fill="black" stroke="black" points="129,-60.2638 125.5,-50.2638 122,-60.2639 129,-60.2638"/> | |
<text text-anchor="middle" x="129" y="-71.8" font-family="Times,serif" font-size="14.00">0</text> | |
</g> | |
<!-- BB2 --> | |
<g id="node3" class="node"><title>BB2</title> | |
<polygon fill="none" stroke="black" points="277.5,-168 277.5,-189 324.5,-189 324.5,-168 277.5,-168"/> | |
<text text-anchor="start" x="288.5" y="-175.8" font-family="Times,serif" font-weight="bold" font-size="14.00">BB₂</text> | |
<polygon fill="cornsilk" stroke="none" points="277.5,-147 277.5,-168 324.5,-168 324.5,-147 277.5,-147"/> | |
<polygon fill="none" stroke="black" points="277.5,-147 277.5,-168 324.5,-168 324.5,-147 277.5,-147"/> | |
<text text-anchor="start" x="280.5" y="-153.8" font-family="Times,serif" font-size="14.00">diverge</text> | |
</g> | |
</g> | |
</svg> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#![feature(rustc_attrs)] | |
#![allow(dead_code)] | |
#[rustc_mir(graphviz = "empty.dot")] | |
fn empty() {} | |
#[rustc_mir(graphviz = "constant.dot")] | |
fn constant() -> i32 { | |
42 | |
} | |
#[rustc_mir(graphviz = "increment.dot")] | |
fn increment(x: i32) -> i32 { | |
x + 1 | |
} | |
#[rustc_mir(graphviz = "factorial_recursive.dot")] | |
fn factorial_recursive(n: usize) -> usize { | |
if n == 0 { | |
1 | |
} else { | |
n * factorial_recursive(n - 1) | |
} | |
} | |
#[rustc_mir(graphviz = "factorial_iterative.dot")] | |
fn factorial_iterative(n: usize) -> usize { | |
let mut prod = 1; | |
for x in 1..n { | |
prod *= x; | |
} | |
prod | |
} | |
#[rustc_mir(graphviz = "factorial_fold.dot")] | |
fn factorial_fold(n: usize) -> usize { | |
(1..n).fold(1, |prod, x| prod * x) | |
} | |
#[rustc_mir(graphviz = "wat.dot")] | |
fn wat(n: usize) -> usize { | |
let mut prod = 1; | |
(1..n).fold((), |(), x| { prod *= x; }); | |
prod | |
} | |
#[rustc_mir(graphviz = "multi_switch.dot")] | |
fn multi_switch(n: usize) -> usize { | |
match n { | |
5 | 10 | 15 => 3, | |
20 | 30 => 2, | |
_ => 1, | |
} | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment