1<?xml version="1.0" encoding="UTF-8" standalone="no"?> 2<svg 3 xmlns:dc="http://purl.org/dc/elements/1.1/" 4 xmlns:cc="http://creativecommons.org/ns#" 5 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" 6 xmlns:svg="http://www.w3.org/2000/svg" 7 xmlns="http://www.w3.org/2000/svg" 8 xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" 9 xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" 10 width="199.99995mm" 11 height="173.75687mm" 12 viewBox="0 0 199.99995 173.75687" 13 version="1.1" 14 id="svg8" 15 inkscape:version="1.0.1 (c497b03c, 2020-09-10)" 16 sodipodi:docname="branch_hoisting_after.svg"> 17 <defs 18 id="defs2"> 19 <rect 20 x="18.139799" 21 y="132.9565" 22 width="42.875893" 23 height="13.192582" 24 id="rect1896" /> 25 <rect 26 x="73.476562" 27 y="69.033791" 28 width="111.61496" 29 height="41.205557" 30 id="rect1370" /> 31 <rect 32 x="88.85537" 33 y="63.907516" 34 width="32.124634" 35 height="21.53034" 36 id="rect3730" /> 37 <rect 38 x="9.5690403" 39 y="9.2272892" 40 width="20.163336" 41 height="14.011809" 42 id="rect3679" /> 43 <rect 44 x="41.227337" 45 y="-14.998642" 46 width="72.234138" 47 height="11.239376" 48 id="rect3669" /> 49 <marker 50 style="overflow:visible" 51 id="marker3503" 52 refX="0" 53 refY="0" 54 orient="auto" 55 inkscape:stockid="Arrow1Lend" 56 inkscape:isstock="true"> 57 <path 58 transform="matrix(-0.8,0,0,-0.8,-10,0)" 59 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1" 60 d="M 0,0 5,-5 -12.5,0 5,5 Z" 61 id="path3501" /> 62 </marker> 63 <marker 64 style="overflow:visible" 65 id="marker3443" 66 refX="0" 67 refY="0" 68 orient="auto" 69 inkscape:stockid="Arrow1Lend" 70 inkscape:isstock="true" 71 inkscape:collect="always"> 72 <path 73 transform="matrix(-0.8,0,0,-0.8,-10,0)" 74 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1" 75 d="M 0,0 5,-5 -12.5,0 5,5 Z" 76 id="path3441" /> 77 </marker> 78 <marker 79 style="overflow:visible" 80 id="marker3389" 81 refX="0" 82 refY="0" 83 orient="auto" 84 inkscape:stockid="Arrow1Lend" 85 inkscape:isstock="true" 86 inkscape:collect="always"> 87 <path 88 transform="matrix(-0.8,0,0,-0.8,-10,0)" 89 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1" 90 d="M 0,0 5,-5 -12.5,0 5,5 Z" 91 id="path3387" /> 92 </marker> 93 <marker 94 style="overflow:visible" 95 id="marker3341" 96 refX="0" 97 refY="0" 98 orient="auto" 99 inkscape:stockid="Arrow1Lend" 100 inkscape:isstock="true" 101 inkscape:collect="always"> 102 <path 103 transform="matrix(-0.8,0,0,-0.8,-10,0)" 104 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1" 105 d="M 0,0 5,-5 -12.5,0 5,5 Z" 106 id="path3339" /> 107 </marker> 108 <marker 109 style="overflow:visible" 110 id="marker3141" 111 refX="0" 112 refY="0" 113 orient="auto" 114 inkscape:stockid="Arrow1Lend" 115 inkscape:isstock="true" 116 inkscape:collect="always"> 117 <path 118 transform="matrix(-0.8,0,0,-0.8,-10,0)" 119 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1" 120 d="M 0,0 5,-5 -12.5,0 5,5 Z" 121 id="path3139" /> 122 </marker> 123 <marker 124 style="overflow:visible" 125 id="marker2967" 126 refX="0" 127 refY="0" 128 orient="auto" 129 inkscape:stockid="Arrow1Lstart" 130 inkscape:isstock="true"> 131 <path 132 transform="matrix(0.8,0,0,0.8,10,0)" 133 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1" 134 d="M 0,0 5,-5 -12.5,0 5,5 Z" 135 id="path2965" /> 136 </marker> 137 <marker 138 style="overflow:visible" 139 id="Arrow1Send" 140 refX="0" 141 refY="0" 142 orient="auto" 143 inkscape:stockid="Arrow1Send" 144 inkscape:isstock="true"> 145 <path 146 transform="matrix(-0.2,0,0,-0.2,-1.2,0)" 147 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1" 148 d="M 0,0 5,-5 -12.5,0 5,5 Z" 149 id="path2664" /> 150 </marker> 151 <marker 152 style="overflow:visible" 153 id="Arrow1Lstart" 154 refX="0" 155 refY="0" 156 orient="auto" 157 inkscape:stockid="Arrow1Lstart" 158 inkscape:isstock="true"> 159 <path 160 transform="matrix(0.8,0,0,0.8,10,0)" 161 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1" 162 d="M 0,0 5,-5 -12.5,0 5,5 Z" 163 id="path2649" /> 164 </marker> 165 <rect 166 x="9.5690403" 167 y="9.2272892" 168 width="20.163336" 169 height="14.011809" 170 id="rect3679-2" /> 171 <rect 172 x="9.5690403" 173 y="9.2272892" 174 width="20.163336" 175 height="14.011809" 176 id="rect3692" /> 177 </defs> 178 <sodipodi:namedview 179 id="base" 180 pagecolor="#ffffff" 181 bordercolor="#666666" 182 borderopacity="1.0" 183 inkscape:pageopacity="0.0" 184 inkscape:pageshadow="2" 185 inkscape:zoom="1.2592908" 186 inkscape:cx="377.95267" 187 inkscape:cy="328.35943" 188 inkscape:document-units="mm" 189 inkscape:current-layer="layer1" 190 inkscape:document-rotation="0" 191 showgrid="false" 192 inkscape:window-width="1680" 193 inkscape:window-height="963" 194 inkscape:window-x="0" 195 inkscape:window-y="93" 196 inkscape:window-maximized="1" 197 showguides="true" 198 fit-margin-top="0" 199 fit-margin-left="0" 200 fit-margin-right="0" 201 fit-margin-bottom="0" 202 lock-margins="false" /> 203 <metadata 204 id="metadata5"> 205 <rdf:RDF> 206 <cc:Work 207 rdf:about=""> 208 <dc:format>image/svg+xml</dc:format> 209 <dc:type 210 rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> 211 <dc:title /> 212 </cc:Work> 213 </rdf:RDF> 214 </metadata> 215 <g 216 inkscape:label="Ebene 1" 217 inkscape:groupmode="layer" 218 id="layer1" 219 transform="translate(60.000002,15.000516)" 220 style="display:inline"> 221 <rect 222 style="opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1" 223 id="rect837" 224 width="79.741898" 225 height="38.498253" 226 x="0.12905283" 227 y="0.129053" 228 ry="6.741148" /> 229 <rect 230 style="opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1" 231 id="rect837-9" 232 width="79.741898" 233 height="38.498253" 234 x="-59.870949" 235 y="60.129051" 236 ry="6.741148" /> 237 <rect 238 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" 239 id="rect837-9-8" 240 width="79.741898" 241 height="38.498253" 242 x="60.129051" 243 y="60.129051" 244 ry="6.741148" /> 245 <rect 246 style="opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1" 247 id="rect837-9-8-9" 248 width="79.741898" 249 height="38.498253" 250 x="0.12905283" 251 y="120.12905" 252 ry="6.741148" /> 253 <path 254 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" 255 d="M 59.249128,38.627306 80.750874,60.129051" 256 id="path3329" 257 inkscape:connector-type="polyline" 258 inkscape:connector-curvature="0" 259 inkscape:connection-start="#rect837" 260 inkscape:connection-end="#rect837-9-8" /> 261 <path 262 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)" 263 d="M 20.750874,38.627306 -0.75087247,60.129051" 264 id="path3337" 265 inkscape:connector-type="polyline" 266 inkscape:connector-curvature="0" 267 inkscape:connection-start="#rect837" 268 inkscape:connection-end="#rect837-9" /> 269 <path 270 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)" 271 d="M -0.75087304,98.627304 20.750875,120.12905" 272 id="path3385" 273 inkscape:connector-type="polyline" 274 inkscape:connector-curvature="0" 275 inkscape:connection-start="#rect837-9" 276 inkscape:connection-end="#rect837-9-8-9" /> 277 <path 278 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)" 279 d="M 80.750874,98.627304 59.249128,120.12905" 280 id="path3439" 281 inkscape:connector-type="polyline" 282 inkscape:connector-curvature="0" 283 inkscape:connection-start="#rect837-9-8" 284 inkscape:connection-end="#rect837-9-8-9" /> 285 <path 286 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)" 287 d="M 41.227338,-14.998642 41.386551,0.50922611" 288 id="path3499" 289 inkscape:connector-type="polyline" 290 inkscape:connector-curvature="0" /> 291 <text 292 xml:space="preserve" 293 id="text3667" 294 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;" /> 295 <text 296 xml:space="preserve" 297 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" 298 x="44.769436" 299 y="-7.8602829" 300 id="text3675"><tspan 301 sodipodi:role="line" 302 id="tspan3673" 303 x="44.769436" 304 y="-7.8602829" 305 style="font-size:5.64444px;stroke-width:0.265;stroke-miterlimit:4;stroke-dasharray:none">in: %arg0, %arg1, %arg2</tspan></text> 306 <text 307 xml:space="preserve" 308 id="text3677" 309 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;" 310 transform="translate(25.051785,-8.0877048)"><tspan 311 x="9.5683594" 312 y="14.376156"><tspan 313 style="font-size:5.64444px">bb0</tspan></tspan></text> 314 <text 315 xml:space="preserve" 316 id="text3728" 317 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;" /> 318 <text 319 xml:space="preserve" 320 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" 321 x="94.617386" 322 y="66.288452" 323 id="text3736"><tspan 324 sodipodi:role="line" 325 id="tspan3734" 326 x="94.617386" 327 y="66.288452" 328 style="font-size:5.64444px;stroke-width:0.264583">bb2</tspan></text> 329 <text 330 xml:space="preserve" 331 id="text3677-0" 332 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;" 333 transform="translate(-34.833839,51.912295)"><tspan 334 x="9.5683594" 335 y="14.376156"><tspan 336 style="font-size:5.64444px">bb1 337</tspan></tspan></text> 338 <text 339 xml:space="preserve" 340 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" 341 x="26.288532" 342 y="126.28845" 343 id="text3736-6"><tspan 344 sodipodi:role="line" 345 id="tspan3734-5" 346 x="26.288532" 347 y="126.28845" 348 style="font-size:5.64444px;stroke-width:0.264583">bb3 (%1)</tspan></text> 349 <text 350 xml:space="preserve" 351 id="text1368" 352 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;" 353 transform="translate(9.8574558,-6.1666356)"><tspan 354 x="73.476562" 355 y="74.182797"><tspan 356 style="font-size:5.64444px"> 357</tspan></tspan><tspan 358 x="73.476562" 359 y="81.238347"><tspan 360 style="font-size:5.64444px">use(%0) 361</tspan></tspan><tspan 362 x="73.476562" 363 y="88.293896"><tspan 364 style="font-size:5.64444px">br bb3(%0)</tspan></tspan></text> 365 <text 366 xml:space="preserve" 367 id="text1894" 368 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;" /> 369 <text 370 xml:space="preserve" 371 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" 372 x="16.620224" 373 y="137.49144" 374 id="text1902"><tspan 375 sodipodi:role="line" 376 id="tspan1900" 377 x="16.620224" 378 y="137.49144" 379 style="font-size:5.64444px;stroke-width:0.264583">copy (%1, arg2)</tspan></text> 380 <text 381 xml:space="preserve" 382 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" 383 x="76.269608" 384 y="111.63254" 385 id="text3165"><tspan 386 sodipodi:role="line" 387 id="tspan3163" 388 x="76.269608" 389 y="111.63254" 390 style="font-size:5.64444px;stroke-width:0.264583">%0</tspan></text> 391 <text 392 xml:space="preserve" 393 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" 394 x="-12.065383" 395 y="111.08959" 396 id="text3165-8"><tspan 397 sodipodi:role="line" 398 id="tspan3163-3" 399 x="-12.065383" 400 y="111.08959" 401 style="font-size:5.64444px;stroke-width:0.264583">%arg1</tspan><tspan 402 sodipodi:role="line" 403 x="-12.065383" 404 y="118.14514" 405 style="font-size:5.64444px;stroke-width:0.264583" 406 id="tspan3185" /></text> 407 <text 408 xml:space="preserve" 409 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" 410 x="21.911886" 411 y="15.884925" 412 id="text3409"><tspan 413 sodipodi:role="line" 414 id="tspan3407" 415 x="21.911886" 416 y="15.884925" 417 style="font-size:5.64444px;fill:#008000;stroke-width:0.264583">%0 = alloc()</tspan></text> 418 </g> 419</svg> 420