<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<svg
   xmlns:dc="http://purl.org/dc/elements/1.1/"
   xmlns:cc="http://creativecommons.org/ns#"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:svg="http://www.w3.org/2000/svg"
   xmlns="http://www.w3.org/2000/svg"
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   width="199.99995mm"
   height="173.75687mm"
   viewBox="0 0 199.99995 173.75687"
   version="1.1"
   id="svg8"
   inkscape:version="1.0.1 (c497b03c, 2020-09-10)"
   sodipodi:docname="branch_hoisting_after.svg">
  <defs
     id="defs2">
    <rect
       x="18.139799"
       y="132.9565"
       width="42.875893"
       height="13.192582"
       id="rect1896" />
    <rect
       x="73.476562"
       y="69.033791"
       width="111.61496"
       height="41.205557"
       id="rect1370" />
    <rect
       x="88.85537"
       y="63.907516"
       width="32.124634"
       height="21.53034"
       id="rect3730" />
    <rect
       x="9.5690403"
       y="9.2272892"
       width="20.163336"
       height="14.011809"
       id="rect3679" />
    <rect
       x="41.227337"
       y="-14.998642"
       width="72.234138"
       height="11.239376"
       id="rect3669" />
    <marker
       style="overflow:visible"
       id="marker3503"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Lend"
       inkscape:isstock="true">
      <path
         transform="matrix(-0.8,0,0,-0.8,-10,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 Z"
         id="path3501" />
    </marker>
    <marker
       style="overflow:visible"
       id="marker3443"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Lend"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         transform="matrix(-0.8,0,0,-0.8,-10,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 Z"
         id="path3441" />
    </marker>
    <marker
       style="overflow:visible"
       id="marker3389"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Lend"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         transform="matrix(-0.8,0,0,-0.8,-10,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 Z"
         id="path3387" />
    </marker>
    <marker
       style="overflow:visible"
       id="marker3341"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Lend"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         transform="matrix(-0.8,0,0,-0.8,-10,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 Z"
         id="path3339" />
    </marker>
    <marker
       style="overflow:visible"
       id="marker3141"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Lend"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         transform="matrix(-0.8,0,0,-0.8,-10,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 Z"
         id="path3139" />
    </marker>
    <marker
       style="overflow:visible"
       id="marker2967"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Lstart"
       inkscape:isstock="true">
      <path
         transform="matrix(0.8,0,0,0.8,10,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 Z"
         id="path2965" />
    </marker>
    <marker
       style="overflow:visible"
       id="Arrow1Send"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Send"
       inkscape:isstock="true">
      <path
         transform="matrix(-0.2,0,0,-0.2,-1.2,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 Z"
         id="path2664" />
    </marker>
    <marker
       style="overflow:visible"
       id="Arrow1Lstart"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow1Lstart"
       inkscape:isstock="true">
      <path
         transform="matrix(0.8,0,0,0.8,10,0)"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
         d="M 0,0 5,-5 -12.5,0 5,5 Z"
         id="path2649" />
    </marker>
    <rect
       x="9.5690403"
       y="9.2272892"
       width="20.163336"
       height="14.011809"
       id="rect3679-2" />
    <rect
       x="9.5690403"
       y="9.2272892"
       width="20.163336"
       height="14.011809"
       id="rect3692" />
  </defs>
  <sodipodi:namedview
     id="base"
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1.0"
     inkscape:pageopacity="0.0"
     inkscape:pageshadow="2"
     inkscape:zoom="1.2592908"
     inkscape:cx="377.95267"
     inkscape:cy="328.35943"
     inkscape:document-units="mm"
     inkscape:current-layer="layer1"
     inkscape:document-rotation="0"
     showgrid="false"
     inkscape:window-width="1680"
     inkscape:window-height="963"
     inkscape:window-x="0"
     inkscape:window-y="93"
     inkscape:window-maximized="1"
     showguides="true"
     fit-margin-top="0"
     fit-margin-left="0"
     fit-margin-right="0"
     fit-margin-bottom="0"
     lock-margins="false" />
  <metadata
     id="metadata5">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
        <dc:title />
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <g
     inkscape:label="Ebene 1"
     inkscape:groupmode="layer"
     id="layer1"
     transform="translate(60.000002,15.000516)"
     style="display:inline">
    <rect
       style="opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1"
       id="rect837"
       width="79.741898"
       height="38.498253"
       x="0.12905283"
       y="0.129053"
       ry="6.741148" />
    <rect
       style="opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1"
       id="rect837-9"
       width="79.741898"
       height="38.498253"
       x="-59.870949"
       y="60.129051"
       ry="6.741148" />
    <rect
       style="opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
       id="rect837-9-8"
       width="79.741898"
       height="38.498253"
       x="60.129051"
       y="60.129051"
       ry="6.741148" />
    <rect
       style="opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1"
       id="rect837-9-8-9"
       width="79.741898"
       height="38.498253"
       x="0.12905283"
       y="120.12905"
       ry="6.741148" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#marker3141);paint-order:normal"
       d="M 59.249128,38.627306 80.750874,60.129051"
       id="path3329"
       inkscape:connector-type="polyline"
       inkscape:connector-curvature="0"
       inkscape:connection-start="#rect837"
       inkscape:connection-end="#rect837-9-8" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker3341)"
       d="M 20.750874,38.627306 -0.75087247,60.129051"
       id="path3337"
       inkscape:connector-type="polyline"
       inkscape:connector-curvature="0"
       inkscape:connection-start="#rect837"
       inkscape:connection-end="#rect837-9" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker3389)"
       d="M -0.75087304,98.627304 20.750875,120.12905"
       id="path3385"
       inkscape:connector-type="polyline"
       inkscape:connector-curvature="0"
       inkscape:connection-start="#rect837-9"
       inkscape:connection-end="#rect837-9-8-9" />
    <path
       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker3443)"
       d="M 80.750874,98.627304 59.249128,120.12905"
       id="path3439"
       inkscape:connector-type="polyline"
       inkscape:connector-curvature="0"
       inkscape:connection-start="#rect837-9-8"
       inkscape:connection-end="#rect837-9-8-9" />
    <path
       style="display:inline;fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker3503)"
       d="M 41.227338,-14.998642 41.386551,0.50922611"
       id="path3499"
       inkscape:connector-type="polyline"
       inkscape:connector-curvature="0" />
    <text
       xml:space="preserve"
       id="text3667"
       style="font-style:normal;font-weight:normal;font-size:10.58329999999999949px;line-height:1.25;font-family:sans-serif;white-space:pre;shape-inside:url(#rect3669);fill:#000000;fill-opacity:1;stroke:none;" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.265;stroke-miterlimit:4;stroke-dasharray:none"
       x="44.769436"
       y="-7.8602829"
       id="text3675"><tspan
         sodipodi:role="line"
         id="tspan3673"
         x="44.769436"
         y="-7.8602829"
         style="font-size:5.64444px;stroke-width:0.265;stroke-miterlimit:4;stroke-dasharray:none">in: %arg0, %arg1, %arg2</tspan></text>
    <text
       xml:space="preserve"
       id="text3677"
       style="font-style:normal;font-weight:normal;font-size:5.64444000000000035px;line-height:1.25;font-family:sans-serif;white-space:pre;shape-inside:url(#rect3679);fill:#000000;fill-opacity:1;stroke:none;"
       transform="translate(25.051785,-8.0877048)"><tspan
         x="9.5683594"
         y="14.376156"><tspan
           style="font-size:5.64444px">bb0</tspan></tspan></text>
    <text
       xml:space="preserve"
       id="text3728"
       style="font-style:normal;font-weight:normal;font-size:10.58329999999999949px;line-height:1.25;font-family:sans-serif;white-space:pre;shape-inside:url(#rect3730);fill:#000000;fill-opacity:1;stroke:none;" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
       x="94.617386"
       y="66.288452"
       id="text3736"><tspan
         sodipodi:role="line"
         id="tspan3734"
         x="94.617386"
         y="66.288452"
         style="font-size:5.64444px;stroke-width:0.264583">bb2</tspan></text>
    <text
       xml:space="preserve"
       id="text3677-0"
       style="font-style:normal;font-weight:normal;font-size:5.64444000000000035px;line-height:1.25;font-family:sans-serif;white-space:pre;shape-inside:url(#rect3679-2);fill:#000000;fill-opacity:1;stroke:none;"
       transform="translate(-34.833839,51.912295)"><tspan
         x="9.5683594"
         y="14.376156"><tspan
           style="font-size:5.64444px">bb1
</tspan></tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
       x="26.288532"
       y="126.28845"
       id="text3736-6"><tspan
         sodipodi:role="line"
         id="tspan3734-5"
         x="26.288532"
         y="126.28845"
         style="font-size:5.64444px;stroke-width:0.264583">bb3 (%1)</tspan></text>
    <text
       xml:space="preserve"
       id="text1368"
       style="font-style:normal;font-weight:normal;font-size:5.64444000000000035px;line-height:1.25;font-family:sans-serif;white-space:pre;shape-inside:url(#rect1370);fill:#000000;fill-opacity:1;stroke:none;"
       transform="translate(9.8574558,-6.1666356)"><tspan
         x="73.476562"
         y="74.182797"><tspan
           style="font-size:5.64444px">
</tspan></tspan><tspan
         x="73.476562"
         y="81.238347"><tspan
           style="font-size:5.64444px">use(%0)
</tspan></tspan><tspan
         x="73.476562"
         y="88.293896"><tspan
           style="font-size:5.64444px">br bb3(%0)</tspan></tspan></text>
    <text
       xml:space="preserve"
       id="text1894"
       style="font-style:normal;font-weight:normal;font-size:5.64444000000000035px;line-height:1.25;font-family:sans-serif;white-space:pre;shape-inside:url(#rect1896);fill:#000000;fill-opacity:1;stroke:none;" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
       x="16.620224"
       y="137.49144"
       id="text1902"><tspan
         sodipodi:role="line"
         id="tspan1900"
         x="16.620224"
         y="137.49144"
         style="font-size:5.64444px;stroke-width:0.264583">copy (%1, arg2)</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
       x="76.269608"
       y="111.63254"
       id="text3165"><tspan
         sodipodi:role="line"
         id="tspan3163"
         x="76.269608"
         y="111.63254"
         style="font-size:5.64444px;stroke-width:0.264583">%0</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
       x="-12.065383"
       y="111.08959"
       id="text3165-8"><tspan
         sodipodi:role="line"
         id="tspan3163-3"
         x="-12.065383"
         y="111.08959"
         style="font-size:5.64444px;stroke-width:0.264583">%arg1</tspan><tspan
         sodipodi:role="line"
         x="-12.065383"
         y="118.14514"
         style="font-size:5.64444px;stroke-width:0.264583"
         id="tspan3185" /></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
       x="21.911886"
       y="15.884925"
       id="text3409"><tspan
         sodipodi:role="line"
         id="tspan3407"
         x="21.911886"
         y="15.884925"
         style="font-size:5.64444px;fill:#008000;stroke-width:0.264583">%0 = memref.alloc()</tspan></text>
  </g>
</svg>