1 <?xml version=
"1.0" encoding=
"UTF-8" standalone=
"no"?>
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"
12 viewBox=
"0 0 319.99993 354.75636"
15 inkscape:
version=
"1.0.1 (c497b03c, 2020-09-10)"
16 sodipodi:
docname=
"copy_branch_hoisting_after.svg">
32 style=
"overflow:visible"
37 inkscape:
stockid=
"Arrow1Lend"
38 inkscape:
isstock=
"true">
40 transform=
"matrix(-0.8,0,0,-0.8,-10,0)"
41 style=
"fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
42 d=
"M 0,0 5,-5 -12.5,0 5,5 Z"
46 style=
"overflow:visible"
51 inkscape:
stockid=
"Arrow1Lend"
52 inkscape:
isstock=
"true"
53 inkscape:
collect=
"always">
55 transform=
"matrix(-0.8,0,0,-0.8,-10,0)"
56 style=
"fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
57 d=
"M 0,0 5,-5 -12.5,0 5,5 Z"
61 style=
"overflow:visible"
66 inkscape:
stockid=
"Arrow1Lend"
67 inkscape:
isstock=
"true"
68 inkscape:
collect=
"always">
70 transform=
"matrix(-0.8,0,0,-0.8,-10,0)"
71 style=
"fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
72 d=
"M 0,0 5,-5 -12.5,0 5,5 Z"
76 style=
"overflow:visible"
81 inkscape:
stockid=
"Arrow1Lend"
82 inkscape:
isstock=
"true"
83 inkscape:
collect=
"always">
85 transform=
"matrix(-0.8,0,0,-0.8,-10,0)"
86 style=
"fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
87 d=
"M 0,0 5,-5 -12.5,0 5,5 Z"
91 style=
"overflow:visible"
96 inkscape:
stockid=
"Arrow1Lend"
97 inkscape:
isstock=
"true"
98 inkscape:
collect=
"always">
100 transform=
"matrix(-0.8,0,0,-0.8,-10,0)"
101 style=
"fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
102 d=
"M 0,0 5,-5 -12.5,0 5,5 Z"
106 style=
"overflow:visible"
111 inkscape:
stockid=
"Arrow1Lend"
112 inkscape:
isstock=
"true"
113 inkscape:
collect=
"always">
115 transform=
"matrix(-0.8,0,0,-0.8,-10,0)"
116 style=
"fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
117 d=
"M 0,0 5,-5 -12.5,0 5,5 Z"
121 style=
"overflow:visible"
126 inkscape:
stockid=
"Arrow1Lend"
127 inkscape:
isstock=
"true"
128 inkscape:
collect=
"always">
130 transform=
"matrix(-0.8,0,0,-0.8,-10,0)"
131 style=
"fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
132 d=
"M 0,0 5,-5 -12.5,0 5,5 Z"
136 style=
"overflow:visible"
141 inkscape:
stockid=
"Arrow1Lend"
142 inkscape:
isstock=
"true"
143 inkscape:
collect=
"always">
145 transform=
"matrix(-0.8,0,0,-0.8,-10,0)"
146 style=
"fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
147 d=
"M 0,0 5,-5 -12.5,0 5,5 Z"
181 style=
"overflow:visible"
186 inkscape:
stockid=
"Arrow1Lend"
187 inkscape:
isstock=
"true"
188 inkscape:
collect=
"always">
190 transform=
"matrix(-0.8,0,0,-0.8,-10,0)"
191 style=
"fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
192 d=
"M 0,0 5,-5 -12.5,0 5,5 Z"
196 style=
"overflow:visible"
201 inkscape:
stockid=
"Arrow1Lend"
202 inkscape:
isstock=
"true"
203 inkscape:
collect=
"always">
205 transform=
"matrix(-0.8,0,0,-0.8,-10,0)"
206 style=
"fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
207 d=
"M 0,0 5,-5 -12.5,0 5,5 Z"
211 style=
"overflow:visible"
216 inkscape:
stockid=
"Arrow1Lstart"
217 inkscape:
isstock=
"true">
219 transform=
"matrix(0.8,0,0,0.8,10,0)"
220 style=
"fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
221 d=
"M 0,0 5,-5 -12.5,0 5,5 Z"
225 style=
"overflow:visible"
230 inkscape:
stockid=
"Arrow1Send"
231 inkscape:
isstock=
"true">
233 transform=
"matrix(-0.2,0,0,-0.2,-1.2,0)"
234 style=
"fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
235 d=
"M 0,0 5,-5 -12.5,0 5,5 Z"
239 style=
"overflow:visible"
244 inkscape:
stockid=
"Arrow1Lstart"
245 inkscape:
isstock=
"true">
247 transform=
"matrix(0.8,0,0,0.8,10,0)"
248 style=
"fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
249 d=
"M 0,0 5,-5 -12.5,0 5,5 Z"
265 style=
"overflow:visible"
270 inkscape:
stockid=
"Arrow1Lend"
271 inkscape:
isstock=
"true">
273 transform=
"matrix(-0.8,0,0,-0.8,-10,0)"
274 style=
"fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
275 d=
"M 0,0 5,-5 -12.5,0 5,5 Z"
318 bordercolor=
"#666666"
320 inkscape:
pageopacity=
"0.0"
321 inkscape:
pageshadow=
"2"
322 inkscape:
zoom=
"0.79269723"
323 inkscape:
cx=
"505.54239"
324 inkscape:
cy=
"988.76803"
325 inkscape:
document-units=
"mm"
326 inkscape:
current-layer=
"layer1"
327 inkscape:
document-rotation=
"0"
329 inkscape:
window-width=
"1680"
330 inkscape:
window-height=
"963"
331 inkscape:
window-x=
"0"
332 inkscape:
window-y=
"93"
333 inkscape:
window-maximized=
"1"
338 fit-margin-bottom=
"0"
339 lock-margins=
"false" />
345 <dc:format>image/svg+xml
</dc:format>
347 rdf:
resource=
"http://purl.org/dc/dcmitype/StillImage" />
348 <dc:title></dc:title>
353 inkscape:
label=
"Ebene 1"
354 inkscape:
groupmode=
"layer"
356 transform=
"translate(60.000002,15.000695)"
357 style=
"display:inline">
359 style=
"opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1"
367 style=
"opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1"
375 style=
"opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1"
383 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)"
384 d=
"M 20.750874,38.627306 -0.75087247,60.129051"
386 inkscape:
connector-type=
"polyline"
387 inkscape:
connector-curvature=
"0"
388 inkscape:
connection-start=
"#rect837"
389 inkscape:
connection-end=
"#rect837-9" />
391 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)"
392 d=
"M 41.227338,-14.998642 41.386551,0.50922611"
394 inkscape:
connector-type=
"polyline"
395 inkscape:
connector-curvature=
"0" />
399 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;" />
402 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"
410 style=
"font-size:5.64444px;stroke-width:0.265;stroke-miterlimit:4;stroke-dasharray:none">in: %arg0, %arg1, %arg2, %arg3
</tspan></text>
414 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;"
415 transform=
"translate(25.051785,-8.0877048)"><tspan
418 style=
"font-size:5.64444px">bb0
</tspan></tspan></text>
422 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;" />
426 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;"
427 transform=
"translate(-34.833839,51.912295)"><tspan
430 style=
"font-size:5.64444px">bb1
431 </tspan></tspan></text>
435 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;" />
438 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"
441 id=
"text3165-8"><tspan
446 style=
"font-size:5.64444px;stroke-width:0.264583">%
5</tspan><tspan
450 style=
"font-size:5.64444px;stroke-width:0.264583"
451 id=
"tspan3185" /></text>
453 style=
"display:inline;opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1"
461 style=
"display:inline;opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1"
469 style=
"display:inline;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"
477 style=
"display:inline;opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1"
487 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-0);display:inline;fill:#000000;fill-opacity:1;stroke:none;"
488 transform=
"translate(136.72017,51.911779)"><tspan
491 style=
"font-size:5.64444px">bb2 (%
0)
</tspan></tspan></text>
494 style=
"font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;display:inline;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
502 style=
"font-size:5.64444px;stroke-width:0.264583">bb4
</tspan></text>
506 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-4);display:inline;fill:#000000;fill-opacity:1;stroke:none;"
507 transform=
"translate(85.166161,111.91178)"><tspan
510 style=
"font-size:5.64444px">bb3
511 </tspan></tspan></text>
514 style=
"font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;display:inline;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
517 id=
"text3736-6"><tspan
522 style=
"font-size:5.64444px;stroke-width:0.264583">bb5 (%
2)
</tspan></text>
525 style=
"font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;display:inline;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
528 id=
"text3165-8-0"><tspan
533 style=
"font-size:5.64444px;stroke-width:0.264583">%
1</tspan><tspan
537 style=
"font-size:5.64444px;stroke-width:0.264583"
538 id=
"tspan3185-9" /></text>
540 style=
"display:inline;opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1"
541 id=
"rect837-9-8-9-8-4"
549 style=
"font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;display:inline;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
552 id=
"text3736-6-7"><tspan
557 style=
"font-size:5.64444px;stroke-width:0.264583">bb7 (%
4)
</tspan></text>
559 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(#marker8415)"
560 d=
"M 76.594903,37.675473 123.4051,61.080369"
562 inkscape:
connector-type=
"polyline"
563 inkscape:
connector-curvature=
"0"
564 inkscape:
connection-start=
"#rect837"
565 inkscape:
connection-end=
"#rect837-4" />
567 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(#marker8487)"
568 d=
"m 179.24914,98.626789 21.50171,21.501701"
570 inkscape:
connector-type=
"polyline"
571 inkscape:
connector-curvature=
"0"
572 inkscape:
connection-start=
"#rect837-4"
573 inkscape:
connection-end=
"#rect837-9-8" />
575 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(#marker8553)"
576 d=
"M 140.75087,98.626789 119.24913,120.12854"
578 inkscape:
connector-type=
"polyline"
579 inkscape:
connector-curvature=
"0"
580 inkscape:
connection-start=
"#rect837-4"
581 inkscape:
connection-end=
"#rect837-9-89" />
583 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(#marker8625)"
584 d=
"m 119.24913,158.62679 21.50174,21.50175"
586 inkscape:
connector-type=
"polyline"
587 inkscape:
connector-curvature=
"0"
588 inkscape:
connection-end=
"#rect837-9-8-9-8"
589 inkscape:
connection-start=
"#rect837-9-89" />
591 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(#marker8703)"
592 d=
"m 200.75089,158.62674 -21.50178,21.5018"
594 inkscape:
connector-type=
"polyline"
595 inkscape:
connector-curvature=
"0"
596 inkscape:
connection-start=
"#rect837-9-8"
597 inkscape:
connection-end=
"#rect837-9-8-9-8" />
599 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(#marker8787)"
600 d=
"M 120.17193,212.65369 19.828068,246.10164"
602 inkscape:
connector-type=
"polyline"
603 inkscape:
connector-curvature=
"0"
604 inkscape:
connection-end=
"#rect837-9-8-9"
605 inkscape:
connection-start=
"#rect837-9-8-9-8" />
607 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(#marker8877)"
608 d=
"M -20,98.627304 V 240.12854"
610 inkscape:
connector-type=
"polyline"
611 inkscape:
connector-curvature=
"0"
612 inkscape:
connection-start=
"#rect837-9"
613 inkscape:
connection-end=
"#rect837-9-8-9" />
615 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(#marker8973)"
616 d=
"m -20,278.62679 v 21.50157"
618 inkscape:
connector-type=
"polyline"
619 inkscape:
connector-curvature=
"0"
620 inkscape:
connection-start=
"#rect837-9-8-9"
621 inkscape:
connection-end=
"#rect837-9-8-9-8-4" />
624 style=
"font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;display:inline;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
627 id=
"text3736-6-7-3"><tspan
632 style=
"font-size:5.64444px;stroke-width:0.264583">bb6 (%
3)
</tspan></text>
635 style=
"font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;display:inline;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
638 id=
"text3165-8-0-4"><tspan
643 style=
"font-size:5.64444px;stroke-width:0.264583">%
1</tspan><tspan
647 style=
"font-size:5.64444px;stroke-width:0.264583"
648 id=
"tspan3185-9-0" /></text>
651 style=
"font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;display:inline;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
654 id=
"text3165-8-0-0"><tspan
659 style=
"font-size:5.64444px;stroke-width:0.264583">%
6</tspan><tspan
663 style=
"font-size:5.64444px;stroke-width:0.264583"
664 id=
"tspan3185-9-6" /></text>
668 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(#rect9332);fill:#000000;fill-opacity:1;stroke:none;" />
671 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"
679 style=
"font-size:5.64444px;fill:#999999;stroke-width:0.264583">%
1 = memref.alloc(%
0)
</tspan><tspan
683 style=
"font-size:5.64444px;stroke-width:0.264583"
684 id=
"tspan9340">use(%
1)
</tspan></text>
688 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(#rect9344);fill:#000000;fill-opacity:1;stroke:none;" />
691 style=
"font-size:5.64444px;line-height:1.25;font-family:sans-serif;stroke-width:0.264583"
699 style=
"stroke-width:0.264583">copy(%
4, %arg2)
</tspan><tspan
703 style=
"fill:#008000;stroke-width:0.264583"
704 id=
"tspan9569">dealloc %
3</tspan></text>
707 style=
"font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;display:inline;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
710 id=
"text3165-8-0-0-4"><tspan
712 id=
"tspan3163-3-8-0-1"
715 style=
"font-size:5.64444px;stroke-width:0.264583">%
3</tspan><tspan
719 style=
"font-size:5.64444px;stroke-width:0.264583"
720 id=
"tspan3185-9-6-6" /></text>
723 style=
"font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;display:inline;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
726 id=
"text9338-9"><tspan
731 style=
"font-size:5.64444px;fill:#008000;stroke-width:0.264583">%
5 = memref.alloc(%d0)
</tspan><tspan
735 style=
"font-size:5.64444px;stroke-width:0.264583"
736 id=
"tspan9340-6">copy(%arg1, %
5)
</tspan></text>
739 style=
"font-style:normal;font-weight:normal;font-size:5.64444px;line-height:1.25;font-family:sans-serif;display:inline;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
742 id=
"text9338-8"><tspan
747 style=
"font-size:5.64444px;fill:#008000;stroke-width:0.264583">%
6 = memref.alloc(%d1)
</tspan><tspan
751 style=
"font-size:5.64444px;stroke-width:0.264583"
752 id=
"tspan9340-1">copy(%
1, %
6)
</tspan><tspan
756 style=
"font-size:5.64444px;fill:#999999;stroke-width:0.264583"
757 id=
"tspan9567">dealloc %
1</tspan></text>