docs/svg/graph-IRExamples-testPrimitives-8.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="298pt" height="656pt"
     viewBox="0.00 0.00 298.00 656.00" xmlns="http://www.w3.org/2000/svg">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 652)">
<title>jcGraph</title>
<!-- 0 -->
<g id="node1" class="node">
<title>0</title>
<polygon fill="none" stroke="black" points="195,-648 141,-648 141,-612 195,-612 195,-648"/>
<text text-anchor="middle" x="168" y="-626.9" font-family="Times New Roman,serif" font-size="12.00">%0 = 0</text>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<polygon fill="none" stroke="black" points="220,-575 116,-575 116,-539 220,-539 220,-575"/>
<text text-anchor="middle" x="168" y="-553.9" font-family="Times New Roman,serif" font-size="12.00">if (arg$0 &lt;= arg$1)</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge1" class="edge">
<title>0&#45;&gt;1</title>
<path fill="none" stroke="black" d="M168,-611.81C168,-604.23 168,-595.1 168,-586.54"/>
<polygon fill="black" stroke="black" points="171.5,-586.54 168,-576.54 164.5,-586.54 171.5,-586.54"/>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<polygon fill="none" stroke="black" points="159.5,-488 88.5,-488 88.5,-452 159.5,-452 159.5,-488"/>
<text text-anchor="middle" x="124" y="-466.9" font-family="Times New Roman,serif" font-size="12.00">%0 = arg$0</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge3" class="edge">
<title>1&#45;&gt;2</title>
<path fill="none" stroke="black" d="M159.1,-538.8C153.11,-527.24 145.1,-511.75 138.24,-498.5"/>
<polygon fill="black" stroke="black" points="141.44,-497.08 133.74,-489.81 135.23,-500.3 141.44,-497.08"/>
<text text-anchor="middle" x="162" y="-509.8" font-family="Times New Roman,serif" font-size="14.00">false</text>
</g>
<!-- 4 -->
<g id="node5" class="node">
<title>4</title>
<polygon fill="none" stroke="black" points="251.5,-488 180.5,-488 180.5,-452 251.5,-452 251.5,-488"/>
<text text-anchor="middle" x="216" y="-466.9" font-family="Times New Roman,serif" font-size="12.00">%0 = arg$1</text>
</g>
<!-- 1&#45;&gt;4 -->
<g id="edge2" class="edge">
<title>1&#45;&gt;4</title>
<path fill="none" stroke="black" d="M177.71,-538.8C184.31,-527.12 193.16,-511.45 200.69,-498.11"/>
<polygon fill="black" stroke="black" points="203.52,-500.21 205.39,-489.79 197.43,-496.77 203.52,-500.21"/>
<text text-anchor="middle" x="205" y="-509.8" font-family="Times New Roman,serif" font-size="14.00">true</text>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<polygon fill="none" stroke="black" points="146,-415 20,-415 20,-379 146,-379 146,-415"/>
<text text-anchor="middle" x="83" y="-393.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=6)</text>
</g>
<!-- 2&#45;&gt;3 -->
<g id="edge4" class="edge">
<title>2&#45;&gt;3</title>
<path fill="none" stroke="black" d="M114.08,-451.81C109.39,-443.7 103.69,-433.84 98.46,-424.78"/>
<polygon fill="black" stroke="black" points="101.62,-423.25 93.59,-416.34 95.56,-426.75 101.62,-423.25"/>
</g>
<!-- 6 -->
<g id="node7" class="node">
<title>6</title>
<polygon fill="none" stroke="black" points="181,-342 127,-342 127,-306 181,-306 181,-342"/>
<text text-anchor="middle" x="154" y="-320.9" font-family="Times New Roman,serif" font-size="12.00">%2 = 0</text>
</g>
<!-- 3&#45;&gt;6 -->
<g id="edge5" class="edge">
<title>3&#45;&gt;6</title>
<path fill="none" stroke="black" d="M100.19,-378.81C108.82,-370.18 119.44,-359.56 128.97,-350.03"/>
<polygon fill="black" stroke="black" points="131.3,-352.65 135.9,-343.1 126.35,-347.7 131.3,-352.65"/>
</g>
<!-- 5 -->
<g id="node6" class="node">
<title>5</title>
<polygon fill="none" stroke="black" points="290,-415 164,-415 164,-379 290,-379 290,-415"/>
<text text-anchor="middle" x="227" y="-393.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=6)</text>
</g>
<!-- 4&#45;&gt;5 -->
<g id="edge6" class="edge">
<title>4&#45;&gt;5</title>
<path fill="none" stroke="black" d="M218.66,-451.81C219.85,-444.14 221.28,-434.89 222.62,-426.24"/>
<polygon fill="black" stroke="black" points="226.06,-426.94 224.13,-416.52 219.14,-425.87 226.06,-426.94"/>
</g>
<!-- 5&#45;&gt;6 -->
<g id="edge7" class="edge">
<title>5&#45;&gt;6</title>
<path fill="none" stroke="black" d="M209.33,-378.81C200.52,-370.24 189.69,-359.71 179.96,-350.24"/>
<polygon fill="black" stroke="black" points="182.46,-347.79 172.85,-343.33 177.57,-352.81 182.46,-347.79"/>
</g>
<!-- 7 -->
<g id="node8" class="node">
<title>7</title>
<polygon fill="none" stroke="black" points="197,-269 111,-269 111,-233 197,-233 197,-269"/>
<text text-anchor="middle" x="154" y="-247.9" font-family="Times New Roman,serif" font-size="12.00">if (%0 &lt;= 100)</text>
</g>
<!-- 6&#45;&gt;7 -->
<g id="edge8" class="edge">
<title>6&#45;&gt;7</title>
<path fill="none" stroke="black" d="M154,-305.81C154,-298.23 154,-289.1 154,-280.54"/>
<polygon fill="black" stroke="black" points="157.5,-280.54 154,-270.54 150.5,-280.54 157.5,-280.54"/>
</g>
<!-- 8 -->
<g id="node9" class="node">
<title>8</title>
<polygon fill="none" stroke="black" points="151.5,-182 62.5,-182 62.5,-146 151.5,-146 151.5,-182"/>
<text text-anchor="middle" x="107" y="-160.9" font-family="Times New Roman,serif" font-size="12.00">%2 = 100 &#45; %0</text>
</g>
<!-- 7&#45;&gt;8 -->
<g id="edge10" class="edge">
<title>7&#45;&gt;8</title>
<path fill="none" stroke="black" d="M144.49,-232.8C138.1,-221.24 129.53,-205.75 122.21,-192.5"/>
<polygon fill="black" stroke="black" points="125.29,-190.85 117.39,-183.79 119.17,-194.24 125.29,-190.85"/>
<text text-anchor="middle" x="147" y="-203.8" font-family="Times New Roman,serif" font-size="14.00">false</text>
</g>
<!-- 10 -->
<g id="node11" class="node">
<title>10</title>
<polygon fill="none" stroke="black" points="237.5,-182 172.5,-182 172.5,-146 237.5,-146 237.5,-182"/>
<text text-anchor="middle" x="205" y="-160.9" font-family="Times New Roman,serif" font-size="12.00">%2 = &#45;%0</text>
</g>
<!-- 7&#45;&gt;10 -->
<g id="edge9" class="edge">
<title>7&#45;&gt;10</title>
<path fill="none" stroke="black" d="M164.32,-232.8C171.33,-221.12 180.73,-205.45 188.74,-192.11"/>
<polygon fill="black" stroke="black" points="191.6,-194.14 193.74,-183.77 185.59,-190.54 191.6,-194.14"/>
<text text-anchor="middle" x="193" y="-203.8" font-family="Times New Roman,serif" font-size="14.00">true</text>
</g>
<!-- 9 -->
<g id="node10" class="node">
<title>9</title>
<polygon fill="none" stroke="black" points="132,-109 0,-109 0,-73 132,-73 132,-109"/>
<text text-anchor="middle" x="66" y="-87.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=12)</text>
</g>
<!-- 8&#45;&gt;9 -->
<g id="edge11" class="edge">
<title>8&#45;&gt;9</title>
<path fill="none" stroke="black" d="M97.08,-145.81C92.39,-137.7 86.69,-127.84 81.46,-118.78"/>
<polygon fill="black" stroke="black" points="84.62,-117.25 76.59,-110.34 78.56,-120.75 84.62,-117.25"/>
</g>
<!-- 12 -->
<g id="node13" class="node">
<title>12</title>
<polygon fill="none" stroke="black" points="171,-36 109,-36 109,0 171,0 171,-36"/>
<text text-anchor="middle" x="140" y="-14.9" font-family="Times New Roman,serif" font-size="12.00">return %2</text>
</g>
<!-- 9&#45;&gt;12 -->
<g id="edge12" class="edge">
<title>9&#45;&gt;12</title>
<path fill="none" stroke="black" d="M83.91,-72.81C92.85,-64.24 103.82,-53.71 113.69,-44.24"/>
<polygon fill="black" stroke="black" points="116.11,-46.77 120.9,-37.32 111.26,-41.72 116.11,-46.77"/>
</g>
<!-- 11 -->
<g id="node12" class="node">
<title>11</title>
<polygon fill="none" stroke="black" points="282,-109 150,-109 150,-73 282,-73 282,-109"/>
<text text-anchor="middle" x="216" y="-87.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=12)</text>
</g>
<!-- 10&#45;&gt;11 -->
<g id="edge13" class="edge">
<title>10&#45;&gt;11</title>
<path fill="none" stroke="black" d="M207.66,-145.81C208.85,-138.14 210.28,-128.89 211.62,-120.24"/>
<polygon fill="black" stroke="black" points="215.06,-120.94 213.13,-110.52 208.14,-119.87 215.06,-120.94"/>
</g>
<!-- 11&#45;&gt;12 -->
<g id="edge14" class="edge">
<title>11&#45;&gt;12</title>
<path fill="none" stroke="black" d="M197.6,-72.81C188.34,-64.16 176.93,-53.5 166.72,-43.96"/>
<polygon fill="black" stroke="black" points="169.29,-41.58 159.6,-37.31 164.52,-46.69 169.29,-41.58"/>
</g>
</g>
</svg>