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 199.99995 173.75687"
15 inkscape:
version=
"1.0.1 (c497b03c, 2020-09-10)"
16 sodipodi:
docname=
"branch_hoisting_before.svg">
50 style=
"overflow:visible"
55 inkscape:
stockid=
"Arrow1Lend"
56 inkscape:
isstock=
"true">
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"
64 style=
"overflow:visible"
69 inkscape:
stockid=
"Arrow1Lend"
70 inkscape:
isstock=
"true"
71 inkscape:
collect=
"always">
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"
79 style=
"overflow:visible"
84 inkscape:
stockid=
"Arrow1Lend"
85 inkscape:
isstock=
"true"
86 inkscape:
collect=
"always">
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"
94 style=
"overflow:visible"
99 inkscape:
stockid=
"Arrow1Lend"
100 inkscape:
isstock=
"true"
101 inkscape:
collect=
"always">
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"
109 style=
"overflow:visible"
114 inkscape:
stockid=
"Arrow1Lend"
115 inkscape:
isstock=
"true"
116 inkscape:
collect=
"always">
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"
124 style=
"overflow:visible"
129 inkscape:
stockid=
"Arrow1Lstart"
130 inkscape:
isstock=
"true">
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"
138 style=
"overflow:visible"
143 inkscape:
stockid=
"Arrow1Send"
144 inkscape:
isstock=
"true">
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"
152 style=
"overflow:visible"
157 inkscape:
stockid=
"Arrow1Lstart"
158 inkscape:
isstock=
"true">
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"
181 bordercolor=
"#666666"
183 inkscape:
pageopacity=
"0.0"
184 inkscape:
pageshadow=
"2"
185 inkscape:
zoom=
"1.2592908"
186 inkscape:
cx=
"377.95267"
187 inkscape:
cy=
"74.248148"
188 inkscape:
document-units=
"mm"
189 inkscape:
current-layer=
"layer1"
190 inkscape:
document-rotation=
"0"
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"
201 fit-margin-bottom=
"0"
202 lock-margins=
"false" />
208 <dc:format>image/svg+xml
</dc:format>
210 rdf:
resource=
"http://purl.org/dc/dcmitype/StillImage" />
216 inkscape:
label=
"Ebene 1"
217 inkscape:
groupmode=
"layer"
219 transform=
"translate(60.000002,15.000516)"
220 style=
"display:inline">
222 style=
"opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1"
230 style=
"opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1"
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"
246 style=
"opacity:1;fill:#cfe2f3;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.258106;stroke-opacity:1"
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"
257 inkscape:
connector-type=
"polyline"
258 inkscape:
connector-curvature=
"0"
259 inkscape:
connection-start=
"#rect837"
260 inkscape:
connection-end=
"#rect837-9-8" />
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"
265 inkscape:
connector-type=
"polyline"
266 inkscape:
connector-curvature=
"0"
267 inkscape:
connection-start=
"#rect837"
268 inkscape:
connection-end=
"#rect837-9" />
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"
273 inkscape:
connector-type=
"polyline"
274 inkscape:
connector-curvature=
"0"
275 inkscape:
connection-start=
"#rect837-9"
276 inkscape:
connection-end=
"#rect837-9-8-9" />
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"
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" />
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"
289 inkscape:
connector-type=
"polyline"
290 inkscape:
connector-curvature=
"0" />
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;" />
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"
305 style=
"font-size:5.64444px;stroke-width:0.265;stroke-miterlimit:4;stroke-dasharray:none">in: %arg0, %arg1, %arg2
</tspan></text>
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
313 style=
"font-size:5.64444px">bb0
</tspan></tspan></text>
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;" />
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"
328 style=
"font-size:5.64444px;stroke-width:0.264583">bb2
</tspan></text>
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
336 style=
"font-size:5.64444px">bb1
337 </tspan></tspan></text>
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"
343 id=
"text3736-6"><tspan
348 style=
"font-size:5.64444px;stroke-width:0.264583">bb3 (%
1)
</tspan></text>
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(8.4353227,-0.28369449)"><tspan
356 style=
"fill:#d40000;fill-opacity:1">%
0 = memref.alloc()
</tspan><tspan
357 style=
"font-size:5.64444px">
358 </tspan></tspan><tspan
361 style=
"font-size:5.64444px">use(%
0)
362 </tspan></tspan><tspan
365 style=
"font-size:5.64444px">cf.br bb3(%
0)
</tspan></tspan></text>
369 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;" />
372 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"
380 style=
"font-size:5.64444px;stroke-width:0.264583">copy (%
1, arg2)
</tspan></text>
383 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"
391 style=
"font-size:5.64444px;stroke-width:0.264583">%
0</tspan></text>
394 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"
397 id=
"text3165-8"><tspan
402 style=
"font-size:5.64444px;stroke-width:0.264583">%arg1
</tspan><tspan
406 style=
"font-size:5.64444px;stroke-width:0.264583"
407 id=
"tspan3185" /></text>