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="344pt" height="263pt" | |
viewBox="0.00 0.00 343.50 263.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 259)"> | |
<title>Mir</title> | |
<polygon fill="white" stroke="none" points="-4,4 -4,-259 339.5,-259 339.5,4 -4,4"/> | |
<text text-anchor="start" x="93.25" y="-52.8" font-family="monospace" font-size="14.00">fn(a0: i32) -> i32</text> | |
<text text-anchor="start" x="93.25" y="-37.8" font-family="monospace" font-size="14.00">let v0: i32; // x</text> | |
<text text-anchor="start" x="93.25" y="-22.8" font-family="monospace" font-size="14.00">let t0: ();</text> | |
<text text-anchor="start" x="93.25" y="-7.8" font-family="monospace" font-size="14.00">let t1: i32;</text> | |
<!-- bb0 --> | |
<g id="node1" class="node"><title>bb0</title> | |
<polygon fill="gray" stroke="none" points="8.5,-229.5 8.5,-250.5 229.5,-250.5 229.5,-229.5 8.5,-229.5"/> | |
<polygon fill="none" stroke="black" points="8.5,-229.5 8.5,-250.5 229.5,-250.5 229.5,-229.5 8.5,-229.5"/> | |
<text text-anchor="start" x="114.5" y="-236.3" font-family="monospace" font-size="14.00">0</text> | |
<polygon fill="none" stroke="black" points="8.5,-178.5 8.5,-229.5 229.5,-229.5 229.5,-178.5 8.5,-178.5"/> | |
<text text-anchor="start" x="11.5" y="-215.3" font-family="monospace" font-size="14.00">v0 = a0</text> | |
<text text-anchor="start" x="11.5" y="-200.3" font-family="monospace" font-size="14.00">t1 = v0</text> | |
<text text-anchor="start" x="11.5" y="-185.3" font-family="monospace" font-size="14.00">ReturnPointer = Add(t1, 1)</text> | |
<polygon fill="none" stroke="black" points="8.5,-157.5 8.5,-178.5 229.5,-178.5 229.5,-157.5 8.5,-157.5"/> | |
<text text-anchor="start" x="11.5" y="-164.3" font-family="monospace" font-size="14.00">goto</text> | |
</g> | |
<!-- bb1 --> | |
<g id="node2" class="node"><title>bb1</title> | |
<polygon fill="gray" stroke="none" points="90.5,-93 90.5,-114 146.5,-114 146.5,-93 90.5,-93"/> | |
<polygon fill="none" stroke="black" points="90.5,-93 90.5,-114 146.5,-114 146.5,-93 90.5,-93"/> | |
<text text-anchor="start" x="114" y="-99.8" font-family="monospace" font-size="14.00">1</text> | |
<polygon fill="none" stroke="black" points="90.5,-72 90.5,-93 146.5,-93 146.5,-72 90.5,-72"/> | |
<text text-anchor="start" x="93.5" y="-78.8" font-family="monospace" font-size="14.00">return</text> | |
</g> | |
<!-- bb0->bb1 --> | |
<g id="edge1" class="edge"><title>bb0->bb1</title> | |
<path fill="none" stroke="black" d="M118.5,-153.876C118.5,-145.22 118.5,-136.392 118.5,-128.267"/> | |
<polygon fill="black" stroke="black" points="122,-128.064 118.5,-118.064 115,-128.064 122,-128.064"/> | |
</g> | |
<!-- bb2 --> | |
<g id="node3" class="node"><title>bb2</title> | |
<polygon fill="gray" stroke="none" points="263.5,-204.5 263.5,-225.5 327.5,-225.5 327.5,-204.5 263.5,-204.5"/> | |
<polygon fill="none" stroke="black" points="263.5,-204.5 263.5,-225.5 327.5,-225.5 327.5,-204.5 263.5,-204.5"/> | |
<text text-anchor="start" x="291" y="-211.3" font-family="monospace" font-size="14.00">2</text> | |
<polygon fill="none" stroke="black" points="263.5,-183.5 263.5,-204.5 327.5,-204.5 327.5,-183.5 263.5,-183.5"/> | |
<text text-anchor="start" x="266.5" y="-190.3" font-family="monospace" 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