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_before.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="74.248148"
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(8.4353227,-0.28369449)"><tspan
354         x="73.476562"
355         y="74.182797"><tspan
356           style="fill:#d40000;fill-opacity:1">%0 = alloc()</tspan><tspan
357           style="font-size:5.64444px">
358</tspan></tspan><tspan
359         x="73.476562"
360         y="81.238347"><tspan
361           style="font-size:5.64444px">use(%0)
362</tspan></tspan><tspan
363         x="73.476562"
364         y="88.293896"><tspan
365           style="font-size:5.64444px">br bb3(%0)</tspan></tspan></text>
366    <text
367       xml:space="preserve"
368       id="text1894"
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;" />
370    <text
371       xml:space="preserve"
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"
373       x="16.620224"
374       y="137.49144"
375       id="text1902"><tspan
376         sodipodi:role="line"
377         id="tspan1900"
378         x="16.620224"
379         y="137.49144"
380         style="font-size:5.64444px;stroke-width:0.264583">copy (%1, arg2)</tspan></text>
381    <text
382       xml:space="preserve"
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"
384       x="76.269608"
385       y="111.63254"
386       id="text3165"><tspan
387         sodipodi:role="line"
388         id="tspan3163"
389         x="76.269608"
390         y="111.63254"
391         style="font-size:5.64444px;stroke-width:0.264583">%0</tspan></text>
392    <text
393       xml:space="preserve"
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"
395       x="-12.065383"
396       y="111.08959"
397       id="text3165-8"><tspan
398         sodipodi:role="line"
399         id="tspan3163-3"
400         x="-12.065383"
401         y="111.08959"
402         style="font-size:5.64444px;stroke-width:0.264583">%arg1</tspan><tspan
403         sodipodi:role="line"
404         x="-12.065383"
405         y="118.14514"
406         style="font-size:5.64444px;stroke-width:0.264583"
407         id="tspan3185" /></text>
408  </g>
409</svg>
410