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="694pt" height="222pt" | |
viewBox="0.00 0.00 694.00 222.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 218)"> | |
<title>Mir</title> | |
<polygon fill="white" stroke="none" points="-4,4 -4,-218 690,-218 690,4 -4,4"/> | |
<!-- BB0 --> | |
<g id="node1" class="node"><title>BB0</title> | |
<polygon fill="none" stroke="black" points="8.5,-188.5 8.5,-209.5 597.5,-209.5 597.5,-188.5 8.5,-188.5"/> | |
<text text-anchor="start" x="290.5" y="-196.3" font-family="Times,serif" font-weight="bold" font-size="14.00">BB₀</text> | |
<polygon fill="none" stroke="black" points="8.5,-167.5 8.5,-188.5 597.5,-188.5 597.5,-167.5 8.5,-167.5"/> | |
<text text-anchor="start" x="11.5" y="-174.3" font-family="Times,serif" font-size="14.00">Var₀ = Arg₀</text> | |
<polygon fill="none" stroke="black" points="8.5,-146.5 8.5,-167.5 597.5,-167.5 597.5,-146.5 8.5,-146.5"/> | |
<text text-anchor="start" x="11.5" y="-153.3" font-family="Times,serif" font-size="14.00">Temp₁ = Var₀</text> | |
<polygon fill="none" stroke="black" points="8.5,-125.5 8.5,-146.5 597.5,-146.5 597.5,-125.5 8.5,-125.5"/> | |
<text text-anchor="start" x="11.5" y="-132.3" font-family="Times,serif" font-size="14.00">ReturnPointer = Add(Temp₁,Constant { span: test.rs:14:9: 14:10, ty: i32, literal: Value { value: Int(1) } })</text> | |
<polygon fill="cornsilk" stroke="none" points="8.5,-104.5 8.5,-125.5 597.5,-125.5 597.5,-104.5 8.5,-104.5"/> | |
<polygon fill="none" stroke="black" points="8.5,-104.5 8.5,-125.5 597.5,-125.5 597.5,-104.5 8.5,-104.5"/> | |
<text text-anchor="start" x="11.5" y="-111.3" 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="283.5,-25 283.5,-46 322.5,-46 322.5,-25 283.5,-25"/> | |
<text text-anchor="start" x="290.5" y="-32.8" font-family="Times,serif" font-weight="bold" font-size="14.00">BB₁</text> | |
<polygon fill="cornsilk" stroke="none" points="283.5,-4 283.5,-25 322.5,-25 322.5,-4 283.5,-4"/> | |
<polygon fill="none" stroke="black" points="283.5,-4 283.5,-25 322.5,-25 322.5,-4 283.5,-4"/> | |
<text text-anchor="start" x="286.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="M302.5,-100.778C302.5,-87.061 302.5,-72.7702 302.5,-60.4007"/> | |
<polygon fill="black" stroke="black" points="306,-60.0878 302.5,-50.0878 299,-60.0878 306,-60.0878"/> | |
<text text-anchor="middle" x="306" 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="631.5,-157.5 631.5,-178.5 678.5,-178.5 678.5,-157.5 631.5,-157.5"/> | |
<text text-anchor="start" x="642.5" y="-165.3" font-family="Times,serif" font-weight="bold" font-size="14.00">BB₂</text> | |
<polygon fill="cornsilk" stroke="none" points="631.5,-136.5 631.5,-157.5 678.5,-157.5 678.5,-136.5 631.5,-136.5"/> | |
<polygon fill="none" stroke="black" points="631.5,-136.5 631.5,-157.5 678.5,-157.5 678.5,-136.5 631.5,-136.5"/> | |
<text text-anchor="start" x="634.5" y="-143.3" 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