docs/svg/graph-IRExamples-test-6.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 7.0.4 (20221203.1631)
 -->
<!-- Title: jcGraph Pages: 1 -->
<svg width="278pt" height="277pt"
     viewBox="0.00 0.00 278.00 277.00" xmlns="http://www.w3.org/2000/svg">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 273)">
<title>jcGraph</title>
<!-- 0 -->
<g id="node1" class="node">
<title>0</title>
<polygon fill="none" stroke="black" points="199.5,-269 106.5,-269 106.5,-233 199.5,-233 199.5,-269"/>
<text text-anchor="middle" x="153" y="-247.9" font-family="Times New Roman,serif" font-size="12.00">if (arg$0 != 123)</text>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<polygon fill="none" stroke="black" points="144,-182 90,-182 90,-146 144,-146 144,-182"/>
<text text-anchor="middle" x="117" y="-160.9" font-family="Times New Roman,serif" font-size="12.00">%1 = 1</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge2" class="edge">
<title>0&#45;&gt;1</title>
<path fill="none" stroke="black" d="M143.58,-232.77C140.67,-227.17 137.56,-220.89 135,-215 131.96,-208 129,-200.31 126.4,-193.1"/>
<polygon fill="black" stroke="black" points="129.73,-192.05 123.12,-183.77 123.13,-194.36 129.73,-192.05"/>
<text text-anchor="middle" x="148" y="-203.8" font-family="Times New Roman,serif" font-size="14.00">false</text>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<polygon fill="none" stroke="black" points="220,-182 166,-182 166,-146 220,-146 220,-182"/>
<text text-anchor="middle" x="193" y="-160.9" font-family="Times New Roman,serif" font-size="12.00">%1 = 0</text>
</g>
<!-- 0&#45;&gt;3 -->
<g id="edge1" class="edge">
<title>0&#45;&gt;3</title>
<path fill="none" stroke="black" d="M161.09,-232.8C166.53,-221.24 173.82,-205.75 180.06,-192.5"/>
<polygon fill="black" stroke="black" points="183.04,-194.38 184.14,-183.84 176.71,-191.39 183.04,-194.38"/>
<text text-anchor="middle" x="186" y="-203.8" font-family="Times New Roman,serif" font-size="14.00">true</text>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<polygon fill="none" stroke="black" points="126,-109 0,-109 0,-73 126,-73 126,-109"/>
<text text-anchor="middle" x="63" y="-87.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=5)</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge3" class="edge">
<title>1&#45;&gt;2</title>
<path fill="none" stroke="black" d="M103.93,-145.81C97.56,-137.44 89.77,-127.2 82.7,-117.9"/>
<polygon fill="black" stroke="black" points="85.71,-116.07 76.87,-110.23 80.14,-120.31 85.71,-116.07"/>
</g>
<!-- 5 -->
<g id="node6" class="node">
<title>5</title>
<polygon fill="none" stroke="black" points="165,-36 103,-36 103,0 165,0 165,-36"/>
<text text-anchor="middle" x="134" y="-14.9" font-family="Times New Roman,serif" font-size="12.00">return %1</text>
</g>
<!-- 2&#45;&gt;5 -->
<g id="edge4" class="edge">
<title>2&#45;&gt;5</title>
<path fill="none" stroke="black" d="M80.19,-72.81C88.82,-64.18 99.44,-53.56 108.97,-44.03"/>
<polygon fill="black" stroke="black" points="111.3,-46.65 115.9,-37.1 106.35,-41.7 111.3,-46.65"/>
</g>
<!-- 4 -->
<g id="node5" class="node">
<title>4</title>
<polygon fill="none" stroke="black" points="270,-109 144,-109 144,-73 270,-73 270,-109"/>
<text text-anchor="middle" x="207" y="-87.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=5)</text>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge5" class="edge">
<title>3&#45;&gt;4</title>
<path fill="none" stroke="black" d="M196.39,-145.81C197.9,-138.14 199.73,-128.89 201.43,-120.24"/>
<polygon fill="black" stroke="black" points="204.85,-121 203.35,-110.51 197.98,-119.65 204.85,-121"/>
</g>
<!-- 4&#45;&gt;5 -->
<g id="edge6" class="edge">
<title>4&#45;&gt;5</title>
<path fill="none" stroke="black" d="M189.33,-72.81C180.52,-64.24 169.69,-53.71 159.96,-44.24"/>
<polygon fill="black" stroke="black" points="162.46,-41.79 152.85,-37.33 157.57,-46.81 162.46,-41.79"/>
</g>
</g>
</svg>