Skip to content

Instantly share code, notes, and snippets.

@nikomatsakis
Created June 22, 2018 15:02
Show Gist options
  • Save nikomatsakis/4f4d962f906bffcc6d142838b5ef9f19 to your computer and use it in GitHub Desktop.
Save nikomatsakis/4f4d962f906bffcc6d142838b5ef9f19 to your computer and use it in GitHub Desktop.
Display the source blob
Display the rendered blob
Raw
<?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.40.1 (20161225.0304)
-->
<!-- Title: G Pages: 1 -->
<svg width="3329pt" height="674pt"
viewBox="0.00 0.00 3328.50 674.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 670)">
<title>G</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-670 3324.5,-670 3324.5,4 -4,4"/>
<!-- n89 -->
<g id="node1" class="node">
<title>n89</title>
<polygon fill="none" stroke="#000000" points="369,-471 0,-471 0,-435 369,-435 369,-471"/>
<text text-anchor="middle" x="184.5" y="-449.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc_mir::borrow_check::MirBorrowckCtxt::mutate_place (5%)</text>
</g>
<!-- n60 -->
<g id="node2" class="node">
<title>n60</title>
<polygon fill="none" stroke="#000000" points="390.5,-297 56.5,-297 56.5,-261 390.5,-261 390.5,-297"/>
<text text-anchor="middle" x="223.5" y="-275.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc_mir::borrow_check::path_utils::places_conflict (3%)</text>
</g>
<!-- n89&#45;&gt;n60 -->
<g id="edge1" class="edge">
<title>n89&#45;&gt;n60</title>
<path fill="none" stroke="#000000" d="M179.4342,-434.7219C174.3998,-413.4157 168.6057,-377.376 177.5,-348 182.2118,-332.4379 191.719,-317.1775 200.8734,-304.9815"/>
<polygon fill="#000000" stroke="#000000" points="203.6691,-307.0884 207.0915,-297.0615 198.1632,-302.7657 203.6691,-307.0884"/>
<text text-anchor="middle" x="187" y="-362.3" font-family="Times,serif" font-size="14.00" fill="#000000">2%</text>
</g>
<!-- n49 -->
<g id="node7" class="node">
<title>n49</title>
<polygon fill="none" stroke="#000000" points="571.5,-384 205.5,-384 205.5,-348 571.5,-348 571.5,-384"/>
<text text-anchor="middle" x="388.5" y="-362.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc_mir::borrow_check::MirBorrowckCtxt::access_place (6%)</text>
</g>
<!-- n89&#45;&gt;n49 -->
<g id="edge25" class="edge">
<title>n89&#45;&gt;n49</title>
<path fill="none" stroke="#000000" d="M226.7689,-434.9735C258.7716,-421.3254 302.8865,-402.5116 336.9596,-387.9805"/>
<polygon fill="#000000" stroke="#000000" points="338.4598,-391.1457 346.2852,-384.0034 335.7138,-384.7068 338.4598,-391.1457"/>
<text text-anchor="middle" x="309" y="-405.8" font-family="Times,serif" font-size="14.00" fill="#000000">2%</text>
</g>
<!-- n73 -->
<g id="node3" class="node">
<title>n73</title>
<polygon fill="none" stroke="#000000" points="2017,-471 1736,-471 1736,-435 2017,-435 2017,-471"/>
<text text-anchor="middle" x="1876.5" y="-449.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc_mir::util::liveness::liveness_of_locals (2%)</text>
</g>
<!-- n74 -->
<g id="node4" class="node">
<title>n74</title>
<polygon fill="none" stroke="#000000" points="1844,-297 1437,-297 1437,-261 1844,-261 1844,-297"/>
<text text-anchor="middle" x="1640.5" y="-275.3" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;alloc::vec::Vec&lt;T&gt; as alloc::vec::SpecExtend&lt;T, I&gt;&gt;::from_iter (5%)</text>
</g>
<!-- n73&#45;&gt;n74 -->
<g id="edge2" class="edge">
<title>n73&#45;&gt;n74</title>
<path fill="none" stroke="#000000" d="M1741.5095,-434.9892C1700.1212,-428.6975 1663.126,-421.9724 1654.5,-417 1638.0821,-407.5361 1633.8708,-401.8472 1627.5,-384 1618.4907,-358.7614 1623.9725,-328.1872 1630.3544,-306.556"/>
<polygon fill="#000000" stroke="#000000" points="1633.6954,-307.5992 1633.4003,-297.0085 1627.0265,-305.4716 1633.6954,-307.5992"/>
<text text-anchor="middle" x="1637" y="-362.3" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n72 -->
<g id="node10" class="node">
<title>n72</title>
<polygon fill="none" stroke="#000000" points="3180.5,-384 2924.5,-384 2924.5,-348 3180.5,-348 3180.5,-384"/>
<text text-anchor="middle" x="3052.5" y="-362.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc_data_structures::bitslice::bitwise (5%)</text>
</g>
<!-- n73&#45;&gt;n72 -->
<g id="edge14" class="edge">
<title>n73&#45;&gt;n72</title>
<path fill="none" stroke="#000000" d="M1957.1677,-434.9732C2013.3067,-423.2754 2090.07,-408.9589 2158.5,-402 2490.0431,-368.2841 2578.2469,-409.1439 2914.1852,-384.042"/>
<polygon fill="#000000" stroke="#000000" points="2914.4914,-387.5289 2924.1969,-383.2799 2913.9601,-380.5491 2914.4914,-387.5289"/>
<text text-anchor="middle" x="2168" y="-405.8" font-family="Times,serif" font-size="14.00" fill="#000000">1%</text>
</g>
<!-- n40 -->
<g id="node5" class="node">
<title>n40</title>
<polygon fill="none" stroke="#000000" points="2909,-123 2648,-123 2648,-87 2909,-87 2909,-123"/>
<text text-anchor="middle" x="2778.5" y="-101.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc::ty::fold::TypeFoldable::fold_with (2%)</text>
</g>
<!-- n40&#45;&gt;n40 -->
<g id="edge39" class="edge">
<title>n40&#45;&gt;n40</title>
<path fill="none" stroke="#000000" d="M2909.3186,-111.0865C2920.2188,-109.7769 2927,-107.748 2927,-105 2927,-103.2395 2924.217,-101.7742 2919.3509,-100.6041"/>
<polygon fill="#000000" stroke="#000000" points="2919.7612,-97.124 2909.3186,-98.9135 2918.598,-104.0266 2919.7612,-97.124"/>
<text text-anchor="middle" x="2936.5" y="-101.3" font-family="Times,serif" font-size="14.00" fill="#000000">1%</text>
</g>
<!-- n13 -->
<g id="node6" class="node">
<title>n13</title>
<polygon fill="none" stroke="#000000" points="3123.5,-210 2433.5,-210 2433.5,-174 3123.5,-174 3123.5,-210"/>
<text text-anchor="middle" x="2778.5" y="-188.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc::ty::structural_impls::&lt;impl rustc::ty::fold::TypeFoldable&lt;&#39;tcx&gt; for &amp;&#39;tcx rustc::ty::TyS&lt;&#39;tcx&gt;&gt;::super_fold_with (3%)</text>
</g>
<!-- n40&#45;&gt;n13 -->
<g id="edge3" class="edge">
<title>n40&#45;&gt;n13</title>
<path fill="none" stroke="#000000" d="M2778.5,-123.0034C2778.5,-134.7801 2778.5,-150.4102 2778.5,-163.8156"/>
<polygon fill="#000000" stroke="#000000" points="2775.0001,-163.9735 2778.5,-173.9735 2782.0001,-163.9736 2775.0001,-163.9735"/>
<text text-anchor="middle" x="2788" y="-144.8" font-family="Times,serif" font-size="14.00" fill="#000000">1%</text>
</g>
<!-- n29 -->
<g id="node16" class="node">
<title>n29</title>
<polygon fill="none" stroke="#000000" points="2793,-36 2428,-36 2428,0 2793,0 2793,-36"/>
<text text-anchor="middle" x="2610.5" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;std::collections::hash::map::HashMap&lt;K, V, S&gt;&gt;::insert (4%)</text>
</g>
<!-- n40&#45;&gt;n29 -->
<g id="edge33" class="edge">
<title>n40&#45;&gt;n29</title>
<path fill="none" stroke="#000000" d="M2743.6903,-86.9735C2717.7857,-73.5587 2682.2443,-55.1533 2654.3912,-40.7294"/>
<polygon fill="#000000" stroke="#000000" points="2655.7546,-37.494 2645.2651,-36.0034 2652.5356,-43.7099 2655.7546,-37.494"/>
<text text-anchor="middle" x="2714" y="-57.8" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n13&#45;&gt;n40 -->
<g id="edge22" class="edge">
<title>n13&#45;&gt;n40</title>
<path fill="none" stroke="#000000" d="M2764.1497,-173.9312C2760.6202,-168.4764 2757.3304,-162.2647 2755.5,-156 2753.2016,-148.1336 2754.9168,-139.9125 2758.2495,-132.425"/>
<polygon fill="#000000" stroke="#000000" points="2761.4472,-133.8713 2763.1557,-123.4151 2755.2995,-130.5236 2761.4472,-133.8713"/>
<text text-anchor="middle" x="2765" y="-144.8" font-family="Times,serif" font-size="14.00" fill="#000000">1%</text>
</g>
<!-- n13&#45;&gt;n13 -->
<g id="edge5" class="edge">
<title>n13&#45;&gt;n13</title>
<path fill="none" stroke="#000000" d="M3123.5616,-196.3201C3134.9862,-195.1627 3141.5,-193.7227 3141.5,-192 3141.5,-190.8695 3138.6947,-189.8607 3133.5373,-188.9737"/>
<polygon fill="#000000" stroke="#000000" points="3133.9288,-185.4952 3123.5616,-187.6799 3133.0284,-192.4371 3133.9288,-185.4952"/>
<text text-anchor="middle" x="3151" y="-188.3" font-family="Times,serif" font-size="14.00" fill="#000000">1%</text>
</g>
<!-- n13&#45;&gt;n29 -->
<g id="edge16" class="edge">
<title>n13&#45;&gt;n29</title>
<path fill="none" stroke="#000000" d="M2695.2077,-173.9736C2667.1345,-163.6995 2638.413,-147.7236 2620.5,-123 2604.5472,-100.9818 2603.736,-69.1814 2605.8684,-46.3538"/>
<polygon fill="#000000" stroke="#000000" points="2609.3637,-46.5979 2607.0546,-36.2578 2602.4116,-45.781 2609.3637,-46.5979"/>
<text text-anchor="middle" x="2630" y="-101.3" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n49&#45;&gt;n60 -->
<g id="edge38" class="edge">
<title>n49&#45;&gt;n60</title>
<path fill="none" stroke="#000000" d="M354.3119,-347.9735C328.8699,-334.5587 293.9632,-316.1533 266.6074,-301.7294"/>
<polygon fill="#000000" stroke="#000000" points="268.1225,-298.5715 257.6443,-297.0034 264.8576,-304.7635 268.1225,-298.5715"/>
<text text-anchor="middle" x="326" y="-318.8" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n49&#45;&gt;n74 -->
<g id="edge4" class="edge">
<title>n49&#45;&gt;n74</title>
<path fill="none" stroke="#000000" d="M571.6589,-348.5463C574.6269,-348.3555 577.5757,-348.1732 580.5,-348 902.2578,-328.9459 984.4243,-358.3118 1305.5,-330 1382.2832,-323.2294 1468.2231,-310.0298 1533.8332,-298.7557"/>
<polygon fill="#000000" stroke="#000000" points="1534.5159,-302.1896 1543.7727,-297.0358 1533.3223,-295.2921 1534.5159,-302.1896"/>
<text text-anchor="middle" x="1435" y="-318.8" font-family="Times,serif" font-size="14.00" fill="#000000">5%</text>
</g>
<!-- n1 -->
<g id="node8" class="node">
<title>n1</title>
<polygon fill="none" stroke="#000000" points="1891.5,-579 1577.5,-579 1577.5,-543 1891.5,-543 1891.5,-579"/>
<text text-anchor="middle" x="1734.5" y="-557.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc_mir::borrow_check::nll::compute_regions (17%)</text>
</g>
<!-- n1&#45;&gt;n73 -->
<g id="edge6" class="edge">
<title>n1&#45;&gt;n73</title>
<path fill="none" stroke="#000000" d="M1758.2676,-542.9232C1781.9202,-524.9339 1818.3717,-497.2103 1844.5468,-477.3024"/>
<polygon fill="#000000" stroke="#000000" points="1846.8142,-479.9753 1852.6549,-471.1357 1842.5766,-474.4036 1846.8142,-479.9753"/>
<text text-anchor="middle" x="1836" y="-503.3" font-family="Times,serif" font-size="14.00" fill="#000000">2%</text>
</g>
<!-- n2 -->
<g id="node9" class="node">
<title>n2</title>
<polygon fill="none" stroke="#000000" points="2536.5,-471 2144.5,-471 2144.5,-435 2536.5,-435 2536.5,-471"/>
<text text-anchor="middle" x="2340.5" y="-449.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc_mir::borrow_check::nll::type_check::type_check_internal (7%)</text>
</g>
<!-- n1&#45;&gt;n2 -->
<g id="edge40" class="edge">
<title>n1&#45;&gt;n2</title>
<path fill="none" stroke="#000000" d="M1835.5896,-542.984C1944.3606,-523.5991 2116.8404,-492.8601 2229.3566,-472.8077"/>
<polygon fill="#000000" stroke="#000000" points="2230.1462,-476.2223 2239.3769,-471.0219 2228.9179,-469.3308 2230.1462,-476.2223"/>
<text text-anchor="middle" x="2136" y="-503.3" font-family="Times,serif" font-size="14.00" fill="#000000">7%</text>
</g>
<!-- n83 -->
<g id="node12" class="node">
<title>n83</title>
<polygon fill="none" stroke="#000000" points="1511.5,-471 1063.5,-471 1063.5,-435 1511.5,-435 1511.5,-471"/>
<text text-anchor="middle" x="1287.5" y="-449.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc_mir::borrow_check::nll::constraint_generation::generate_constraints (3%)</text>
</g>
<!-- n1&#45;&gt;n83 -->
<g id="edge9" class="edge">
<title>n1&#45;&gt;n83</title>
<path fill="none" stroke="#000000" d="M1659.9339,-542.984C1580.5687,-523.8085 1455.2203,-493.523 1372.1874,-473.4614"/>
<polygon fill="#000000" stroke="#000000" points="1372.8195,-470.0135 1362.2772,-471.067 1371.1755,-476.8177 1372.8195,-470.0135"/>
<text text-anchor="middle" x="1586" y="-503.3" font-family="Times,serif" font-size="14.00" fill="#000000">3%</text>
</g>
<!-- n82 -->
<g id="node18" class="node">
<title>n82</title>
<polygon fill="none" stroke="#000000" points="1071,-384 590,-384 590,-348 1071,-348 1071,-384"/>
<text text-anchor="middle" x="830.5" y="-362.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc_mir::borrow_check::nll::region_infer::values::RegionValues::add_element (4%)</text>
</g>
<!-- n1&#45;&gt;n82 -->
<g id="edge19" class="edge">
<title>n1&#45;&gt;n82</title>
<path fill="none" stroke="#000000" d="M1584.896,-542.9954C1538.5953,-537.3387 1487.4269,-531.0014 1440.5,-525 1260.3741,-501.9642 1187.0364,-571.0636 1035.5,-471 1005.7323,-451.3436 1023.421,-422.8822 994.5,-402 986.5736,-396.2768 971.5413,-391.0812 953.6712,-386.5296"/>
<polygon fill="#000000" stroke="#000000" points="954.0207,-383.0135 943.4785,-384.068 952.3773,-389.8178 954.0207,-383.0135"/>
<text text-anchor="middle" x="1045" y="-449.3" font-family="Times,serif" font-size="14.00" fill="#000000">1%</text>
</g>
<!-- n34 -->
<g id="node22" class="node">
<title>n34</title>
<polygon fill="none" stroke="#000000" points="1717.5,-471 1529.5,-471 1529.5,-435 1717.5,-435 1717.5,-471"/>
<text text-anchor="middle" x="1623.5" y="-449.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc::util::common::time (2%)</text>
</g>
<!-- n1&#45;&gt;n34 -->
<g id="edge29" class="edge">
<title>n1&#45;&gt;n34</title>
<path fill="none" stroke="#000000" d="M1715.9211,-542.9232C1697.7523,-525.2454 1669.9221,-498.1675 1649.5475,-478.3436"/>
<polygon fill="#000000" stroke="#000000" points="1651.7476,-475.6008 1642.1395,-471.1357 1646.8661,-480.6179 1651.7476,-475.6008"/>
<text text-anchor="middle" x="1704" y="-503.3" font-family="Times,serif" font-size="14.00" fill="#000000">2%</text>
</g>
<!-- n2&#45;&gt;n74 -->
<g id="edge10" class="edge">
<title>n2&#45;&gt;n74</title>
<path fill="none" stroke="#000000" d="M2144.4256,-437.6454C1955.9318,-422.1071 1696.8895,-398.3817 1678.5,-384 1655.0879,-365.6904 1646.0889,-331.6525 1642.6365,-307.2918"/>
<polygon fill="#000000" stroke="#000000" points="1646.0925,-306.7134 1641.4395,-297.1951 1639.1412,-307.5376 1646.0925,-306.7134"/>
<text text-anchor="middle" x="1688" y="-362.3" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n2&#45;&gt;n72 -->
<g id="edge7" class="edge">
<title>n2&#45;&gt;n72</title>
<path fill="none" stroke="#000000" d="M2494.6145,-434.9813C2607.8312,-421.6315 2765.6932,-402.7834 2913.9551,-384.188"/>
<polygon fill="#000000" stroke="#000000" points="2914.6731,-387.6254 2924.159,-382.9067 2913.8009,-380.68 2914.6731,-387.6254"/>
<text text-anchor="middle" x="2767" y="-405.8" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n8 -->
<g id="node13" class="node">
<title>n8</title>
<polygon fill="none" stroke="#000000" points="2906.5,-384 2482.5,-384 2482.5,-348 2906.5,-348 2906.5,-384"/>
<text text-anchor="middle" x="2694.5" y="-362.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc_mir::borrow_check::nll::type_check::TypeChecker::typeck_mir (3%)</text>
</g>
<!-- n2&#45;&gt;n8 -->
<g id="edge11" class="edge">
<title>n2&#45;&gt;n8</title>
<path fill="none" stroke="#000000" d="M2413.849,-434.9735C2471.4003,-420.8296 2551.5247,-401.138 2611.4347,-386.4144"/>
<polygon fill="#000000" stroke="#000000" points="2612.3692,-389.7889 2621.2449,-384.0034 2610.6986,-382.9912 2612.3692,-389.7889"/>
<text text-anchor="middle" x="2548" y="-405.8" font-family="Times,serif" font-size="14.00" fill="#000000">3%</text>
</g>
<!-- n37 -->
<g id="node17" class="node">
<title>n37</title>
<polygon fill="none" stroke="#000000" points="2409,-384 1706,-384 1706,-348 2409,-348 2409,-384"/>
<text text-anchor="middle" x="2057.5" y="-362.3" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;rustc_mir::borrow_check::nll::type_check::TypeVerifier&lt;&#39;a, &#39;b, &#39;gcx, &#39;tcx&gt; as rustc::mir::visit::Visitor&lt;&#39;tcx&gt;&gt;::visit_mir (2%)</text>
</g>
<!-- n2&#45;&gt;n37 -->
<g id="edge18" class="edge">
<title>n2&#45;&gt;n37</title>
<path fill="none" stroke="#000000" d="M2281.8622,-434.9735C2236.4229,-421.0046 2173.3815,-401.6244 2125.6902,-386.9631"/>
<polygon fill="#000000" stroke="#000000" points="2126.6497,-383.5964 2116.0627,-384.0034 2124.5927,-390.2874 2126.6497,-383.5964"/>
<text text-anchor="middle" x="2225" y="-405.8" font-family="Times,serif" font-size="14.00" fill="#000000">2%</text>
</g>
<!-- n6 -->
<g id="node21" class="node">
<title>n6</title>
<polygon fill="none" stroke="#000000" points="2666,-297 2225,-297 2225,-261 2666,-261 2666,-297"/>
<text text-anchor="middle" x="2445.5" y="-275.3" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;Q as rustc::traits::query::type_op::TypeOp&lt;&#39;gcx, &#39;tcx&gt;&gt;::fully_perform (4%)</text>
</g>
<!-- n2&#45;&gt;n6 -->
<g id="edge36" class="edge">
<title>n2&#45;&gt;n6</title>
<path fill="none" stroke="#000000" d="M2368.5242,-434.7253C2385.3866,-422.3337 2405.9495,-404.5109 2418.5,-384 2432.8522,-360.5446 2439.6166,-329.6644 2442.7795,-307.4726"/>
<polygon fill="#000000" stroke="#000000" points="2446.2776,-307.7071 2444.0603,-297.3469 2439.333,-306.8286 2446.2776,-307.7071"/>
<text text-anchor="middle" x="2443" y="-362.3" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n0 -->
<g id="node11" class="node">
<title>n0</title>
<polygon fill="none" stroke="#000000" points="3027.5,-666 2803.5,-666 2803.5,-630 3027.5,-630 3027.5,-666"/>
<text text-anchor="middle" x="2915.5" y="-644.3" font-family="Times,serif" font-size="14.00" fill="#000000">matched `{do_mir_borrowck}` (36%)</text>
</g>
<!-- n0&#45;&gt;n89 -->
<g id="edge12" class="edge">
<title>n0&#45;&gt;n89</title>
<path fill="none" stroke="#000000" d="M2803.0745,-647.4207C2281.4645,-644.4685 120.4704,-629.2194 72.5,-579 39.1183,-544.0533 95.3971,-501.7672 139.5599,-476.1492"/>
<polygon fill="#000000" stroke="#000000" points="141.5028,-479.0713 148.4817,-471.0997 138.0549,-472.9794 141.5028,-479.0713"/>
<text text-anchor="middle" x="82" y="-557.3" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n0&#45;&gt;n40 -->
<g id="edge26" class="edge">
<title>n0&#45;&gt;n40</title>
<path fill="none" stroke="#000000" d="M3027.9112,-640.4768C3126.591,-630.6828 3254.5,-608.7737 3254.5,-561 3254.5,-561 3254.5,-561 3254.5,-192 3254.5,-157.5949 3059.5819,-131.5967 2919.2079,-117.3346"/>
<polygon fill="#000000" stroke="#000000" points="2919.4987,-113.8463 2909.1987,-116.3281 2918.7983,-120.8112 2919.4987,-113.8463"/>
<text text-anchor="middle" x="3264" y="-362.3" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n0&#45;&gt;n13 -->
<g id="edge15" class="edge">
<title>n0&#45;&gt;n13</title>
<path fill="none" stroke="#000000" d="M3027.5249,-635.6408C3110.2399,-623.2866 3208.5,-600.333 3208.5,-561 3208.5,-561 3208.5,-561 3208.5,-279 3208.5,-251.4042 3070.6903,-227.1708 2951.1035,-211.3369"/>
<polygon fill="#000000" stroke="#000000" points="2951.4345,-207.8505 2941.0646,-210.0216 2950.5251,-214.7912 2951.4345,-207.8505"/>
<text text-anchor="middle" x="3218" y="-405.8" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n0&#45;&gt;n49 -->
<g id="edge8" class="edge">
<title>n0&#45;&gt;n49</title>
<path fill="none" stroke="#000000" d="M2803.1716,-644.218C2571.8852,-635.996 2025.7988,-614.342 1568.5,-579 1335.9554,-561.028 1276.3724,-564.4802 1046.5,-525 831.0361,-487.9944 581.2725,-420.815 460.8234,-386.8522"/>
<polygon fill="#000000" stroke="#000000" points="461.5503,-383.4206 450.9752,-384.0681 459.6459,-390.1566 461.5503,-383.4206"/>
<text text-anchor="middle" x="1056" y="-503.3" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n0&#45;&gt;n1 -->
<g id="edge44" class="edge">
<title>n0&#45;&gt;n1</title>
<path fill="none" stroke="#000000" d="M2803.3297,-639.7368C2594.7668,-624.3727 2146.3345,-591.3384 1901.8289,-573.3265"/>
<polygon fill="#000000" stroke="#000000" points="1902.0102,-569.8305 1891.7801,-572.5863 1901.4959,-576.8116 1902.0102,-569.8305"/>
<text text-anchor="middle" x="2408.5" y="-600.8" font-family="Times,serif" font-size="14.00" fill="#000000">17%</text>
</g>
<!-- n0&#45;&gt;n72 -->
<g id="edge17" class="edge">
<title>n0&#45;&gt;n72</title>
<path fill="none" stroke="#000000" d="M2939.9196,-629.7184C2966.9603,-607.9876 3009.5005,-569.0733 3030.5,-525 3050.6386,-482.7335 3053.8195,-427.4624 3053.627,-394.4604"/>
<polygon fill="#000000" stroke="#000000" points="3057.1217,-394.1121 3053.452,-384.1731 3050.1227,-394.2312 3057.1217,-394.1121"/>
<text text-anchor="middle" x="3052" y="-503.3" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n0&#45;&gt;n29 -->
<g id="edge24" class="edge">
<title>n0&#45;&gt;n29</title>
<path fill="none" stroke="#000000" d="M3027.6612,-639.6091C3098.6069,-633.344 3183.1829,-623.837 3217.5,-612 3258.7884,-597.7584 3301.5,-604.6756 3301.5,-561 3301.5,-561 3301.5,-561 3301.5,-105 3301.5,-54.5768 3008.1157,-32.9265 2803.6841,-23.961"/>
<polygon fill="#000000" stroke="#000000" points="2803.55,-20.452 2793.4084,-23.5177 2803.2482,-27.4455 2803.55,-20.452"/>
<text text-anchor="middle" x="3311" y="-318.8" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n48 -->
<g id="node19" class="node">
<title>n48</title>
<polygon fill="none" stroke="#000000" points="952,-579 101,-579 101,-543 952,-543 952,-579"/>
<text text-anchor="middle" x="526.5" y="-557.3" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;rustc_mir::borrow_check::MirBorrowckCtxt&lt;&#39;cx, &#39;gcx, &#39;tcx&gt; as rustc_mir::dataflow::DataflowResultsConsumer&lt;&#39;cx, &#39;tcx&gt;&gt;::visit_statement_entry (8%)</text>
</g>
<!-- n0&#45;&gt;n48 -->
<g id="edge32" class="edge">
<title>n0&#45;&gt;n48</title>
<path fill="none" stroke="#000000" d="M2803.4208,-647.459C2442.4098,-645.4788 1312.2638,-637.3633 947.5,-612 850.102,-605.2276 740.6426,-591.7867 657.7524,-580.4031"/>
<polygon fill="#000000" stroke="#000000" points="658.1629,-576.9267 647.7781,-579.0257 657.2053,-583.8609 658.1629,-576.9267"/>
<text text-anchor="middle" x="957" y="-600.8" font-family="Times,serif" font-size="14.00" fill="#000000">8%</text>
</g>
<!-- n70 -->
<g id="node20" class="node">
<title>n70</title>
<polygon fill="none" stroke="#000000" points="3029,-525 2802,-525 2802,-489 3029,-489 3029,-525"/>
<text text-anchor="middle" x="2915.5" y="-503.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc_mir::dataflow::do_dataflow (4%)</text>
</g>
<!-- n0&#45;&gt;n70 -->
<g id="edge35" class="edge">
<title>n0&#45;&gt;n70</title>
<path fill="none" stroke="#000000" d="M2915.5,-629.8554C2915.5,-605.8485 2915.5,-563.2861 2915.5,-535.1035"/>
<polygon fill="#000000" stroke="#000000" points="2919.0001,-535.075 2915.5,-525.075 2912.0001,-535.075 2919.0001,-535.075"/>
<text text-anchor="middle" x="2925" y="-600.8" font-family="Times,serif" font-size="14.00" fill="#000000">4%</text>
</g>
<!-- n83&#45;&gt;n82 -->
<g id="edge20" class="edge">
<title>n83&#45;&gt;n82</title>
<path fill="none" stroke="#000000" d="M1203.6121,-434.9444C1155.8764,-424.8546 1094.9274,-412.2812 1040.5,-402 1011.1914,-396.4637 979.5114,-390.8434 949.8618,-385.7413"/>
<polygon fill="#000000" stroke="#000000" points="950.3386,-382.272 939.8909,-384.0317 949.1556,-389.1714 950.3386,-382.272"/>
<text text-anchor="middle" x="1124" y="-405.8" font-family="Times,serif" font-size="14.00" fill="#000000">3%</text>
</g>
<!-- n8&#45;&gt;n13 -->
<g id="edge34" class="edge">
<title>n8&#45;&gt;n13</title>
<path fill="none" stroke="#000000" d="M2703.3307,-347.7078C2718.1157,-317.0818 2747.9567,-255.2682 2765.262,-219.4216"/>
<polygon fill="#000000" stroke="#000000" points="2768.592,-220.5743 2769.7876,-210.0471 2762.2881,-217.531 2768.592,-220.5743"/>
<text text-anchor="middle" x="2754" y="-275.3" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n8&#45;&gt;n6 -->
<g id="edge37" class="edge">
<title>n8&#45;&gt;n6</title>
<path fill="none" stroke="#000000" d="M2642.907,-347.9735C2603.2607,-334.1212 2548.3847,-314.9477 2506.5518,-300.3313"/>
<polygon fill="#000000" stroke="#000000" points="2507.6217,-296.9977 2497.0269,-297.0034 2505.3128,-303.606 2507.6217,-296.9977"/>
<text text-anchor="middle" x="2594" y="-318.8" font-family="Times,serif" font-size="14.00" fill="#000000">2%</text>
</g>
<!-- n35 -->
<g id="node14" class="node">
<title>n35</title>
<polygon fill="none" stroke="#000000" points="1577.5,-384 1089.5,-384 1089.5,-348 1577.5,-348 1577.5,-384"/>
<text text-anchor="middle" x="1333.5" y="-362.3" font-family="Times,serif" font-size="14.00" fill="#000000">rustc_mir::borrow_check::nll::region_infer::RegionInferenceContext::solve_inner (2%)</text>
</g>
<!-- n36 -->
<g id="node15" class="node">
<title>n36</title>
<polygon fill="none" stroke="#000000" points="1418.5,-297 1018.5,-297 1018.5,-261 1418.5,-261 1418.5,-297"/>
<text text-anchor="middle" x="1218.5" y="-275.3" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;rustc_data_structures::bitvec::SparseBitMatrix&lt;R, C&gt;&gt;::merge (2%)</text>
</g>
<!-- n35&#45;&gt;n36 -->
<g id="edge13" class="edge">
<title>n35&#45;&gt;n36</title>
<path fill="none" stroke="#000000" d="M1309.6719,-347.9735C1292.4793,-334.9669 1269.0855,-317.269 1250.2997,-303.0571"/>
<polygon fill="#000000" stroke="#000000" points="1252.3842,-300.2454 1242.2975,-297.0034 1248.1609,-305.8279 1252.3842,-300.2454"/>
<text text-anchor="middle" x="1292" y="-318.8" font-family="Times,serif" font-size="14.00" fill="#000000">2%</text>
</g>
<!-- n37&#45;&gt;n29 -->
<g id="edge42" class="edge">
<title>n37&#45;&gt;n29</title>
<path fill="none" stroke="#000000" d="M2084.3636,-347.9318C2104.104,-332.2864 2127.5,-307.6916 2127.5,-279 2127.5,-279 2127.5,-279 2127.5,-105 2127.5,-74.0365 2283.2295,-50.1858 2417.8353,-35.3537"/>
<polygon fill="#000000" stroke="#000000" points="2418.3364,-38.8199 2427.8984,-34.2571 2417.5781,-31.8611 2418.3364,-38.8199"/>
<text text-anchor="middle" x="2137" y="-188.3" font-family="Times,serif" font-size="14.00" fill="#000000">0%</text>
</g>
<!-- n37&#45;&gt;n6 -->
<g id="edge43" class="edge">
<title>n37&#45;&gt;n6</title>
<path fill="none" stroke="#000000" d="M2137.8939,-347.9735C2201.2328,-333.7713 2289.5173,-313.9755 2355.2679,-299.2325"/>
<polygon fill="#000000" stroke="#000000" points="2356.2172,-302.6066 2365.2091,-297.0034 2354.6856,-295.7762 2356.2172,-302.6066"/>
<text text-anchor="middle" x="2284" y="-318.8" font-family="Times,serif" font-size="14.00" fill="#000000">1%</text>
</g>
<!-- n82&#45;&gt;n29 -->
<g id="edge28" class="edge">
<title>n82&#45;&gt;n29</title>
<path fill="none" stroke="#000000" d="M870.6371,-347.9304C896.186,-333.3967 924.5,-310.2422 924.5,-279 924.5,-279 924.5,-279 924.5,-105 924.5,-67.981 1975.1088,-35.194 2417.6458,-23.0255"/>
<polygon fill="#000000" stroke="#000000" points="2417.7632,-26.5237 2427.6635,-22.7507 2417.5712,-19.5263 2417.7632,-26.5237"/>
<text text-anchor="middle" x="934" y="-188.3" font-family="Times,serif" font-size="14.00" fill="#000000">3%</text>
</g>
<!-- n48&#45;&gt;n89 -->
<g id="edge31" class="edge">
<title>n48&#45;&gt;n89</title>
<path fill="none" stroke="#000000" d="M469.2569,-542.9232C409.2413,-523.9709 315.0115,-494.2142 251.5548,-474.1752"/>
<polygon fill="#000000" stroke="#000000" points="252.2344,-470.7195 241.6446,-471.0456 250.1264,-477.3946 252.2344,-470.7195"/>
<text text-anchor="middle" x="416" y="-503.3" font-family="Times,serif" font-size="14.00" fill="#000000">4%</text>
</g>
<!-- n48&#45;&gt;n49 -->
<g id="edge21" class="edge">
<title>n48&#45;&gt;n49</title>
<path fill="none" stroke="#000000" d="M513.5173,-542.6549C488.9511,-507.9418 435.5887,-432.5384 407.1775,-392.3921"/>
<polygon fill="#000000" stroke="#000000" points="409.9814,-390.2952 401.3477,-384.1543 404.2674,-394.3389 409.9814,-390.2952"/>
<text text-anchor="middle" x="472" y="-449.3" font-family="Times,serif" font-size="14.00" fill="#000000">3%</text>
</g>
<!-- n70&#45;&gt;n72 -->
<g id="edge23" class="edge">
<title>n70&#45;&gt;n72</title>
<path fill="none" stroke="#000000" d="M2933.1299,-488.8554C2957.175,-464.1082 3000.3783,-419.6435 3027.6862,-391.5383"/>
<polygon fill="#000000" stroke="#000000" points="3030.4794,-393.6861 3034.9378,-384.075 3025.4589,-388.8081 3030.4794,-393.6861"/>
<text text-anchor="middle" x="2993" y="-449.3" font-family="Times,serif" font-size="14.00" fill="#000000">2%</text>
</g>
<!-- n6&#45;&gt;n40 -->
<g id="edge41" class="edge">
<title>n6&#45;&gt;n40</title>
<path fill="none" stroke="#000000" d="M2428.4751,-260.8351C2409.4742,-238.3252 2384.041,-199.7927 2405.5,-174 2413.5841,-164.2833 2546.1578,-141.3998 2650.9769,-124.6398"/>
<polygon fill="#000000" stroke="#000000" points="2651.7045,-128.0681 2661.029,-123.0376 2650.6027,-121.1553 2651.7045,-128.0681"/>
<text text-anchor="middle" x="2415" y="-188.3" font-family="Times,serif" font-size="14.00" fill="#000000">1%</text>
</g>
<!-- n6&#45;&gt;n13 -->
<g id="edge27" class="edge">
<title>n6&#45;&gt;n13</title>
<path fill="none" stroke="#000000" d="M2514.4978,-260.9735C2568.4118,-246.8879 2643.385,-227.3003 2699.6641,-212.5968"/>
<polygon fill="#000000" stroke="#000000" points="2700.8001,-215.9175 2709.5906,-210.0034 2699.0306,-209.1449 2700.8001,-215.9175"/>
<text text-anchor="middle" x="2641" y="-231.8" font-family="Times,serif" font-size="14.00" fill="#000000">1%</text>
</g>
<!-- n34&#45;&gt;n35 -->
<g id="edge30" class="edge">
<title>n34&#45;&gt;n35</title>
<path fill="none" stroke="#000000" d="M1563.4118,-434.9735C1516.8486,-421.0046 1452.2479,-401.6244 1403.3769,-386.9631"/>
<polygon fill="#000000" stroke="#000000" points="1404.0952,-383.5245 1393.5112,-384.0034 1402.0837,-390.2293 1404.0952,-383.5245"/>
<text text-anchor="middle" x="1505" y="-405.8" font-family="Times,serif" font-size="14.00" fill="#000000">2%</text>
</g>
</g>
</svg>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment