src/mir/mir_cfg.svg

<?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.43.0 (0)
 -->
<!-- Title: __crate__ Pages: 1 -->
<svg width="675pt" height="1010pt"
 viewBox="0.00 0.00 675.00 1010.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 1006)">
<title>__crate__</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-1006 671,-1006 671,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_Mir_0_4</title>
<polygon fill="none" stroke="black" points="8,-161 8,-994 286,-994 286,-161 8,-161"/>
<text text-anchor="start" x="76.5" y="-978.8" font-family="Courier, monospace" font-size="14.00">fn main() &#45;&gt; ()</text>
<text text-anchor="start" x="76.5" y="-963.8" font-family="Courier, monospace" font-size="14.00">let _1: i32;</text>
<text text-anchor="start" x="76.5" y="-948.8" font-family="Courier, monospace" font-size="14.00">let mut _2: i32;</text>
<text text-anchor="start" x="76.5" y="-933.8" font-family="Courier, monospace" font-size="14.00">let mut _3: bool;</text>
<text text-anchor="start" x="76.5" y="-918.8" font-family="Courier, monospace" font-size="14.00">let mut _4: i32;</text>
<text text-anchor="start" x="76.5" y="-903.8" font-family="Courier, monospace" font-size="14.00">let mut _5: i32;</text>
<text text-anchor="start" x="76.5" y="-888.8" font-family="Courier, monospace" font-size="14.00">debug x =&gt; _1;</text>
<text text-anchor="start" x="76.5" y="-873.8" font-family="Courier, monospace" font-size="14.00">debug y =&gt; _2;</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_Mir_0_3</title>
<polygon fill="none" stroke="black" points="294,-8 294,-904 659,-904 659,-8 294,-8"/>
<text text-anchor="start" x="406" y="-888.8" font-family="Courier, monospace" font-size="14.00">fn incr() &#45;&gt; i32</text>
<text text-anchor="start" x="406" y="-873.8" font-family="Courier, monospace" font-size="14.00">let mut _1: i32;</text>
<text text-anchor="start" x="406" y="-858.8" font-family="Courier, monospace" font-size="14.00">let mut _2: bool;</text>
<text text-anchor="start" x="406" y="-843.8" font-family="Courier, monospace" font-size="14.00">let mut _3: bool;</text>
<text text-anchor="start" x="406" y="-828.8" font-family="Courier, monospace" font-size="14.00">debug ret =&gt; _1;</text>
</g>
<!-- bb0__0_4 -->
<g id="node1" class="node">
<title>bb0__0_4</title>
<polygon fill="gray" stroke="transparent" points="24,-832.5 24,-853.5 270,-853.5 270,-832.5 24,-832.5"/>
<polygon fill="none" stroke="black" points="24,-832.5 24,-853.5 270,-853.5 270,-832.5 24,-832.5"/>
<text text-anchor="start" x="142.5" y="-839.3" font-family="Courier, monospace" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="24,-691.5 24,-832.5 270,-832.5 270,-691.5 24,-691.5"/>
<text text-anchor="start" x="27" y="-818.3" font-family="Courier, monospace" font-size="14.00">StorageLive(_1)</text>
<text text-anchor="start" x="27" y="-803.3" font-family="Courier, monospace" font-size="14.00">_1 = const 5_i32</text>
<text text-anchor="start" x="27" y="-788.3" font-family="Courier, monospace" font-size="14.00">StorageLive(_2)</text>
<text text-anchor="start" x="27" y="-773.3" font-family="Courier, monospace" font-size="14.00">_2 = const 3_i32</text>
<text text-anchor="start" x="27" y="-758.3" font-family="Courier, monospace" font-size="14.00">StorageLive(_3)</text>
<text text-anchor="start" x="27" y="-743.3" font-family="Courier, monospace" font-size="14.00">StorageLive(_4)</text>
<text text-anchor="start" x="27" y="-728.3" font-family="Courier, monospace" font-size="14.00">_4 = _1</text>
<text text-anchor="start" x="27" y="-713.3" font-family="Courier, monospace" font-size="14.00">_3 = Gt(move _4, const 3_i32)</text>
<text text-anchor="start" x="27" y="-698.3" font-family="Courier, monospace" font-size="14.00">StorageDead(_4)</text>
<polygon fill="none" stroke="black" points="24,-670.5 24,-691.5 270,-691.5 270,-670.5 24,-670.5"/>
<text text-anchor="start" x="27" y="-677.3" font-family="Courier, monospace" font-size="14.00">switchInt(move _3)</text>
</g>
<!-- bb1__0_4 -->
<g id="node2" class="node">
<title>bb1__0_4</title>
<polygon fill="gray" stroke="transparent" points="25,-487 25,-508 164,-508 164,-487 25,-487"/>
<polygon fill="none" stroke="black" points="25,-487 25,-508 164,-508 164,-487 25,-487"/>
<text text-anchor="start" x="90" y="-493.8" font-family="Courier, monospace" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="25,-451 25,-487 164,-487 164,-451 25,-451"/>
<text text-anchor="start" x="28" y="-472.8" font-family="Courier, monospace" font-size="14.00">_2 = const 4_i32</text>
<text text-anchor="start" x="28" y="-457.8" font-family="Courier, monospace" font-size="14.00">_0 = const ()</text>
<polygon fill="none" stroke="black" points="25,-430 25,-451 164,-451 164,-430 25,-430"/>
<text text-anchor="start" x="28" y="-436.8" font-family="Courier, monospace" font-size="14.00">goto</text>
</g>
<!-- bb0__0_4&#45;&gt;bb1__0_4 -->
<g id="edge2" class="edge">
<title>bb0__0_4&#45;&gt;bb1__0_4</title>
<path fill="none" stroke="black" d="M101.84,-666.96C99.96,-660.97 98.31,-654.95 97,-649 87.75,-607.15 87.6,-558.45 89.42,-522.43"/>
<polygon fill="black" stroke="black" points="92.93,-522.33 90.01,-512.15 85.94,-521.93 92.93,-522.33"/>
<text text-anchor="middle" x="134.5" y="-637.8" font-family="Courier, monospace" font-size="14.00">otherwise</text>
</g>
<!-- bb2__0_4 -->
<g id="node3" class="node">
<title>bb2__0_4</title>
<polygon fill="gray" stroke="transparent" points="129,-583 129,-604 259,-604 259,-583 129,-583"/>
<polygon fill="none" stroke="black" points="129,-583 129,-604 259,-604 259,-583 129,-583"/>
<text text-anchor="start" x="189.5" y="-589.8" font-family="Courier, monospace" font-size="14.00">2</text>
<polygon fill="none" stroke="black" points="129,-562 129,-583 259,-583 259,-562 129,-562"/>
<text text-anchor="start" x="132" y="-568.8" font-family="Courier, monospace" font-size="14.00">StorageLive(_5)</text>
<polygon fill="none" stroke="black" points="129,-541 129,-562 259,-562 259,-541 129,-541"/>
<text text-anchor="start" x="132" y="-547.8" font-family="Courier, monospace" font-size="14.00">_5 = incr()</text>
</g>
<!-- bb0__0_4&#45;&gt;bb2__0_4 -->
<g id="edge1" class="edge">
<title>bb0__0_4&#45;&gt;bb2__0_4</title>
<path fill="none" stroke="black" d="M170.71,-666.93C174.93,-650.07 179.15,-633.24 182.81,-618.63"/>
<polygon fill="black" stroke="black" points="186.21,-619.45 185.25,-608.9 179.42,-617.75 186.21,-619.45"/>
<text text-anchor="middle" x="199" y="-637.8" font-family="Courier, monospace" font-size="14.00">false</text>
</g>
<!-- bb4__0_4 -->
<g id="node5" class="node">
<title>bb4__0_4</title>
<polygon fill="gray" stroke="transparent" points="69,-244.5 69,-265.5 199,-265.5 199,-244.5 69,-244.5"/>
<polygon fill="none" stroke="black" points="69,-244.5 69,-265.5 199,-265.5 199,-244.5 69,-244.5"/>
<text text-anchor="start" x="129.5" y="-251.3" font-family="Courier, monospace" font-size="14.00">4</text>
<polygon fill="none" stroke="black" points="69,-193.5 69,-244.5 199,-244.5 199,-193.5 69,-193.5"/>
<text text-anchor="start" x="72" y="-230.3" font-family="Courier, monospace" font-size="14.00">StorageDead(_3)</text>
<text text-anchor="start" x="72" y="-215.3" font-family="Courier, monospace" font-size="14.00">StorageDead(_2)</text>
<text text-anchor="start" x="72" y="-200.3" font-family="Courier, monospace" font-size="14.00">StorageDead(_1)</text>
<polygon fill="none" stroke="black" points="69,-172.5 69,-193.5 199,-193.5 199,-172.5 69,-172.5"/>
<text text-anchor="start" x="72" y="-179.3" font-family="Courier, monospace" font-size="14.00">return</text>
</g>
<!-- bb1__0_4&#45;&gt;bb4__0_4 -->
<g id="edge3" class="edge">
<title>bb1__0_4&#45;&gt;bb4__0_4</title>
<path fill="none" stroke="black" d="M77.27,-425.86C75.51,-419.94 74,-413.88 73,-408 65.48,-363.75 59.43,-349.79 73,-307 76.04,-297.41 80.57,-287.97 85.82,-279.04"/>
<polygon fill="black" stroke="black" points="88.94,-280.64 91.27,-270.31 83,-276.94 88.94,-280.64"/>
</g>
<!-- bb3__0_4 -->
<g id="node4" class="node">
<title>bb3__0_4</title>
<polygon fill="gray" stroke="transparent" points="90,-382.5 90,-403.5 270,-403.5 270,-382.5 90,-382.5"/>
<polygon fill="none" stroke="black" points="90,-382.5 90,-403.5 270,-403.5 270,-382.5 90,-382.5"/>
<text text-anchor="start" x="175.5" y="-389.3" font-family="Courier, monospace" font-size="14.00">3</text>
<polygon fill="none" stroke="black" points="90,-331.5 90,-382.5 270,-382.5 270,-331.5 90,-331.5"/>
<text text-anchor="start" x="93" y="-368.3" font-family="Courier, monospace" font-size="14.00">_2 = Add(_2, move _5)</text>
<text text-anchor="start" x="93" y="-353.3" font-family="Courier, monospace" font-size="14.00">StorageDead(_5)</text>
<text text-anchor="start" x="93" y="-338.3" font-family="Courier, monospace" font-size="14.00">_0 = const ()</text>
<polygon fill="none" stroke="black" points="90,-310.5 90,-331.5 270,-331.5 270,-310.5 90,-310.5"/>
<text text-anchor="start" x="93" y="-317.3" font-family="Courier, monospace" font-size="14.00">goto</text>
</g>
<!-- bb2__0_4&#45;&gt;bb3__0_4 -->
<g id="edge4" class="edge">
<title>bb2__0_4&#45;&gt;bb3__0_4</title>
<path fill="none" stroke="black" d="M191.72,-537.22C189.61,-505.01 186.42,-456.42 183.9,-418.04"/>
<polygon fill="black" stroke="black" points="187.39,-417.76 183.25,-408.01 180.41,-418.22 187.39,-417.76"/>
<text text-anchor="middle" x="214" y="-465.3" font-family="Courier, monospace" font-size="14.00">return</text>
</g>
<!-- bb3__0_4&#45;&gt;bb4__0_4 -->
<g id="edge5" class="edge">
<title>bb3__0_4&#45;&gt;bb4__0_4</title>
<path fill="none" stroke="black" d="M163.13,-306.63C160.19,-297.95 157.11,-288.84 154.1,-279.92"/>
<polygon fill="black" stroke="black" points="157.39,-278.71 150.87,-270.36 150.75,-280.96 157.39,-278.71"/>
</g>
<!-- bb0__0_3 -->
<g id="node6" class="node">
<title>bb0__0_3</title>
<polygon fill="gray" stroke="transparent" points="359,-787.5 359,-808.5 514,-808.5 514,-787.5 359,-787.5"/>
<polygon fill="none" stroke="black" points="359,-787.5 359,-808.5 514,-808.5 514,-787.5 359,-787.5"/>
<text text-anchor="start" x="432" y="-794.3" font-family="Courier, monospace" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="359,-736.5 359,-787.5 514,-787.5 514,-736.5 359,-736.5"/>
<text text-anchor="start" x="362" y="-773.3" font-family="Courier, monospace" font-size="14.00">StorageLive(_1)</text>
<text text-anchor="start" x="362" y="-758.3" font-family="Courier, monospace" font-size="14.00">StorageLive(_2)</text>
<text text-anchor="start" x="362" y="-743.3" font-family="Courier, monospace" font-size="14.00">_2 = const true</text>
<polygon fill="none" stroke="black" points="359,-715.5 359,-736.5 514,-736.5 514,-715.5 359,-715.5"/>
<text text-anchor="start" x="362" y="-722.3" font-family="Courier, monospace" font-size="14.00">switchInt(move _2)</text>
</g>
<!-- bb1__0_3 -->
<g id="node7" class="node">
<title>bb1__0_3</title>
<polygon fill="gray" stroke="transparent" points="311,-479 311,-500 450,-500 450,-479 311,-479"/>
<polygon fill="none" stroke="black" points="311,-479 311,-500 450,-500 450,-479 311,-479"/>
<text text-anchor="start" x="376" y="-485.8" font-family="Courier, monospace" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="311,-458 311,-479 450,-479 450,-458 311,-458"/>
<text text-anchor="start" x="314" y="-464.8" font-family="Courier, monospace" font-size="14.00">_1 = const 7_i32</text>
<polygon fill="none" stroke="black" points="311,-437 311,-458 450,-458 450,-437 311,-437"/>
<text text-anchor="start" x="314" y="-443.8" font-family="Courier, monospace" font-size="14.00">goto</text>
</g>
<!-- bb0__0_3&#45;&gt;bb1__0_3 -->
<g id="edge7" class="edge">
<title>bb0__0_3&#45;&gt;bb1__0_3</title>
<path fill="none" stroke="black" d="M409.66,-711.9C400.78,-692.78 391.89,-670.39 387,-649 376.77,-604.3 376,-551.71 377.19,-515.15"/>
<polygon fill="black" stroke="black" points="380.7,-514.94 377.59,-504.81 373.71,-514.67 380.7,-514.94"/>
<text text-anchor="middle" x="424.5" y="-637.8" font-family="Courier, monospace" font-size="14.00">otherwise</text>
</g>
<!-- bb2__0_3 -->
<g id="node8" class="node">
<title>bb2__0_3</title>
<polygon fill="gray" stroke="transparent" points="408,-591 408,-612 563,-612 563,-591 408,-591"/>
<polygon fill="none" stroke="black" points="408,-591 408,-612 563,-612 563,-591 408,-591"/>
<text text-anchor="start" x="481" y="-597.8" font-family="Courier, monospace" font-size="14.00">2</text>
<polygon fill="none" stroke="black" points="408,-555 408,-591 563,-591 563,-555 408,-555"/>
<text text-anchor="start" x="411" y="-576.8" font-family="Courier, monospace" font-size="14.00">StorageLive(_3)</text>
<text text-anchor="start" x="411" y="-561.8" font-family="Courier, monospace" font-size="14.00">_3 = const true</text>
<polygon fill="none" stroke="black" points="408,-534 408,-555 563,-555 563,-534 408,-534"/>
<text text-anchor="start" x="411" y="-540.8" font-family="Courier, monospace" font-size="14.00">switchInt(move _3)</text>
</g>
<!-- bb0__0_3&#45;&gt;bb2__0_3 -->
<g id="edge6" class="edge">
<title>bb0__0_3&#45;&gt;bb2__0_3</title>
<path fill="none" stroke="black" d="M449,-711.75C455.92,-685.29 464.41,-652.79 471.41,-626"/>
<polygon fill="black" stroke="black" points="474.87,-626.6 474.01,-616.04 468.1,-624.83 474.87,-626.6"/>
<text text-anchor="middle" x="490" y="-637.8" font-family="Courier, monospace" font-size="14.00">false</text>
</g>
<!-- bb6__0_3 -->
<g id="node12" class="node">
<title>bb6__0_3</title>
<polygon fill="gray" stroke="transparent" points="311,-107 311,-128 524,-128 524,-107 311,-107"/>
<polygon fill="none" stroke="black" points="311,-107 311,-128 524,-128 524,-107 311,-107"/>
<text text-anchor="start" x="413" y="-113.8" font-family="Courier, monospace" font-size="14.00">6</text>
<polygon fill="none" stroke="black" points="311,-41 311,-107 524,-107 524,-41 311,-41"/>
<text text-anchor="start" x="314" y="-92.8" font-family="Courier, monospace" font-size="14.00">StorageDead(_2)</text>
<text text-anchor="start" x="314" y="-77.8" font-family="Courier, monospace" font-size="14.00">_1 = Add(_1, const 1_i32)</text>
<text text-anchor="start" x="314" y="-62.8" font-family="Courier, monospace" font-size="14.00">_0 = _1</text>
<text text-anchor="start" x="314" y="-47.8" font-family="Courier, monospace" font-size="14.00">StorageDead(_1)</text>
<polygon fill="none" stroke="black" points="311,-20 311,-41 524,-41 524,-20 311,-20"/>
<text text-anchor="start" x="314" y="-26.8" font-family="Courier, monospace" font-size="14.00">return</text>
</g>
<!-- bb1__0_3&#45;&gt;bb6__0_3 -->
<g id="edge8" class="edge">
<title>bb1__0_3&#45;&gt;bb6__0_3</title>
<path fill="none" stroke="black" d="M331.73,-433.35C324.52,-425.86 318.13,-417.35 314,-408 295.84,-366.95 310.8,-351.77 314,-307 318.68,-241.61 306.35,-219.97 335,-161 338.42,-153.95 342.63,-147.11 347.32,-140.55"/>
<polygon fill="black" stroke="black" points="350.24,-142.5 353.5,-132.42 344.67,-138.27 350.24,-142.5"/>
</g>
<!-- bb3__0_3 -->
<g id="node9" class="node">
<title>bb3__0_3</title>
<polygon fill="gray" stroke="transparent" points="331,-367.5 331,-388.5 470,-388.5 470,-367.5 331,-367.5"/>
<polygon fill="none" stroke="black" points="331,-367.5 331,-388.5 470,-388.5 470,-367.5 331,-367.5"/>
<text text-anchor="start" x="396" y="-374.3" font-family="Courier, monospace" font-size="14.00">3</text>
<polygon fill="none" stroke="black" points="331,-346.5 331,-367.5 470,-367.5 470,-346.5 331,-346.5"/>
<text text-anchor="start" x="334" y="-353.3" font-family="Courier, monospace" font-size="14.00">_1 = const 8_i32</text>
<polygon fill="none" stroke="black" points="331,-325.5 331,-346.5 470,-346.5 470,-325.5 331,-325.5"/>
<text text-anchor="start" x="334" y="-332.3" font-family="Courier, monospace" font-size="14.00">goto</text>
</g>
<!-- bb2__0_3&#45;&gt;bb3__0_3 -->
<g id="edge10" class="edge">
<title>bb2__0_3&#45;&gt;bb3__0_3</title>
<path fill="none" stroke="black" d="M483.48,-529.9C480.99,-499.7 474.7,-458.73 459,-426 454.85,-417.34 449.27,-408.94 443.2,-401.17"/>
<polygon fill="black" stroke="black" points="445.52,-398.49 436.45,-393 440.12,-402.94 445.52,-398.49"/>
<text text-anchor="middle" x="518.5" y="-465.3" font-family="Courier, monospace" font-size="14.00">otherwise</text>
</g>
<!-- bb4__0_3 -->
<g id="node10" class="node">
<title>bb4__0_3</title>
<polygon fill="gray" stroke="transparent" points="504,-367.5 504,-388.5 643,-388.5 643,-367.5 504,-367.5"/>
<polygon fill="none" stroke="black" points="504,-367.5 504,-388.5 643,-388.5 643,-367.5 504,-367.5"/>
<text text-anchor="start" x="569" y="-374.3" font-family="Courier, monospace" font-size="14.00">4</text>
<polygon fill="none" stroke="black" points="504,-346.5 504,-367.5 643,-367.5 643,-346.5 504,-346.5"/>
<text text-anchor="start" x="507" y="-353.3" font-family="Courier, monospace" font-size="14.00">_1 = const 9_i32</text>
<polygon fill="none" stroke="black" points="504,-325.5 504,-346.5 643,-346.5 643,-325.5 504,-325.5"/>
<text text-anchor="start" x="507" y="-332.3" font-family="Courier, monospace" font-size="14.00">goto</text>
</g>
<!-- bb2__0_3&#45;&gt;bb4__0_3 -->
<g id="edge9" class="edge">
<title>bb2__0_3&#45;&gt;bb4__0_3</title>
<path fill="none" stroke="black" d="M544.42,-529.7C549.29,-524.24 553.63,-518.32 557,-512 574.81,-478.61 577.84,-435.35 576.97,-403.27"/>
<polygon fill="black" stroke="black" points="580.47,-403.12 576.57,-393.27 573.48,-403.41 580.47,-403.12"/>
<text text-anchor="middle" x="597" y="-465.3" font-family="Courier, monospace" font-size="14.00">false</text>
</g>
<!-- bb5__0_3 -->
<g id="node11" class="node">
<title>bb5__0_3</title>
<polygon fill="gray" stroke="transparent" points="352,-229.5 352,-250.5 482,-250.5 482,-229.5 352,-229.5"/>
<polygon fill="none" stroke="black" points="352,-229.5 352,-250.5 482,-250.5 482,-229.5 352,-229.5"/>
<text text-anchor="start" x="412.5" y="-236.3" font-family="Courier, monospace" font-size="14.00">5</text>
<polygon fill="none" stroke="black" points="352,-208.5 352,-229.5 482,-229.5 482,-208.5 352,-208.5"/>
<text text-anchor="start" x="355" y="-215.3" font-family="Courier, monospace" font-size="14.00">StorageDead(_3)</text>
<polygon fill="none" stroke="black" points="352,-187.5 352,-208.5 482,-208.5 482,-187.5 352,-187.5"/>
<text text-anchor="start" x="355" y="-194.3" font-family="Courier, monospace" font-size="14.00">goto</text>
</g>
<!-- bb3__0_3&#45;&gt;bb5__0_3 -->
<g id="edge11" class="edge">
<title>bb3__0_3&#45;&gt;bb5__0_3</title>
<path fill="none" stroke="black" d="M404.33,-321.83C406.49,-304.57 409.13,-283.49 411.43,-265.05"/>
<polygon fill="black" stroke="black" points="414.91,-265.46 412.67,-255.11 407.96,-264.6 414.91,-265.46"/>
</g>
<!-- bb4__0_3&#45;&gt;bb5__0_3 -->
<g id="edge12" class="edge">
<title>bb4__0_3&#45;&gt;bb5__0_3</title>
<path fill="none" stroke="black" d="M533.23,-321.83C512.24,-303.53 486.33,-280.94 464.31,-261.74"/>
<polygon fill="black" stroke="black" points="466.53,-259.04 456.7,-255.11 461.93,-264.32 466.53,-259.04"/>
</g>
<!-- bb5__0_3&#45;&gt;bb6__0_3 -->
<g id="edge13" class="edge">
<title>bb5__0_3&#45;&gt;bb6__0_3</title>
<path fill="none" stroke="black" d="M417,-183.76C417,-171.28 417,-156.74 417,-142.43"/>
<polygon fill="black" stroke="black" points="420.5,-142.09 417,-132.09 413.5,-142.09 420.5,-142.09"/>
</g>
</g>
</svg>