docs/svg/graph-IRExamples-runBinarySearchIterativelyTryCatch-3.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="566pt" height="1143pt"
     viewBox="0.00 0.00 565.50 1143.00" xmlns="http://www.w3.org/2000/svg">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1139)">
<title>jcGraph</title>
<!-- 0 -->
<g id="node1" class="node">
<title>0</title>
<polygon fill="none" stroke="black" points="542,-1135 437,-1135 437,-1099 542,-1099 542,-1135"/>
<text text-anchor="middle" x="489.5" y="-1113.9" font-family="Times New Roman,serif" font-size="12.00">%1 = 2147483647</text>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<polygon fill="none" stroke="black" points="552.5,-1062 426.5,-1062 426.5,-1026 552.5,-1026 552.5,-1062"/>
<text text-anchor="middle" x="489.5" y="-1040.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=2)</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge1" class="edge">
<title>0&#45;&gt;1</title>
<path fill="none" stroke="black" d="M489.5,-1098.81C489.5,-1091.23 489.5,-1082.1 489.5,-1073.54"/>
<polygon fill="black" stroke="black" points="493,-1073.54 489.5,-1063.54 486,-1073.54 493,-1073.54"/>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<polygon fill="none" stroke="black" points="538.5,-989 440.5,-989 440.5,-953 538.5,-953 538.5,-989"/>
<text text-anchor="middle" x="489.5" y="-967.9" font-family="Times New Roman,serif" font-size="12.00">if (arg$2 &gt; arg$3)</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge2" class="edge">
<title>1&#45;&gt;2</title>
<path fill="none" stroke="black" d="M489.5,-1025.81C489.5,-1018.23 489.5,-1009.1 489.5,-1000.54"/>
<polygon fill="black" stroke="black" points="493,-1000.54 489.5,-990.54 486,-1000.54 493,-1000.54"/>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<polygon fill="none" stroke="black" points="460.5,-902 352.5,-902 352.5,-866 460.5,-866 460.5,-902"/>
<text text-anchor="middle" x="406.5" y="-880.9" font-family="Times New Roman,serif" font-size="12.00">%2 = arg$3 &#45; arg$2</text>
</g>
<!-- 2&#45;&gt;3 -->
<g id="edge4" class="edge">
<title>2&#45;&gt;3</title>
<path fill="none" stroke="black" d="M468.64,-952.73C462.32,-947.24 455.48,-941.03 449.5,-935 442,-927.44 434.28,-918.77 427.48,-910.8"/>
<polygon fill="black" stroke="black" points="430.34,-908.77 421.23,-903.35 424.98,-913.27 430.34,-908.77"/>
<text text-anchor="middle" x="462.5" y="-923.8" font-family="Times New Roman,serif" font-size="14.00">false</text>
</g>
<!-- 24 -->
<g id="node25" class="node">
<title>24</title>
<polygon fill="none" stroke="black" points="383.5,-36 321.5,-36 321.5,0 383.5,0 383.5,-36"/>
<text text-anchor="middle" x="352.5" y="-14.9" font-family="Times New Roman,serif" font-size="12.00">return %1</text>
</g>
<!-- 2&#45;&gt;24 -->
<g id="edge3" class="edge">
<title>2&#45;&gt;24</title>
<path fill="none" stroke="black" d="M505.59,-952.58C518.85,-936.35 535.5,-910.84 535.5,-885 535.5,-885 535.5,-885 535.5,-90 535.5,-60.01 449.02,-37.7 394.96,-26.68"/>
<polygon fill="black" stroke="black" points="395.93,-23.31 385.44,-24.8 394.57,-30.18 395.93,-23.31"/>
<text text-anchor="middle" x="546.5" y="-501.3" font-family="Times New Roman,serif" font-size="14.00">true</text>
</g>
<!-- 4 -->
<g id="node5" class="node">
<title>4</title>
<polygon fill="none" stroke="black" points="440.5,-829 364.5,-829 364.5,-793 440.5,-793 440.5,-829"/>
<text text-anchor="middle" x="402.5" y="-807.9" font-family="Times New Roman,serif" font-size="12.00">%3 = %2 / 2</text>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge5" class="edge">
<title>3&#45;&gt;4</title>
<path fill="none" stroke="black" d="M405.53,-865.81C405.1,-858.14 404.58,-848.89 404.09,-840.24"/>
<polygon fill="black" stroke="black" points="407.6,-840.33 403.54,-830.54 400.61,-840.72 407.6,-840.33"/>
</g>
<!-- 5 -->
<g id="node6" class="node">
<title>5</title>
<polygon fill="none" stroke="black" points="435.5,-756 335.5,-756 335.5,-720 435.5,-720 435.5,-756"/>
<text text-anchor="middle" x="385.5" y="-734.9" font-family="Times New Roman,serif" font-size="12.00">%4 = arg$2 + %3</text>
</g>
<!-- 4&#45;&gt;5 -->
<g id="edge6" class="edge">
<title>4&#45;&gt;5</title>
<path fill="none" stroke="black" d="M398.38,-792.81C396.53,-785.05 394.28,-775.68 392.19,-766.95"/>
<polygon fill="black" stroke="black" points="395.66,-766.41 389.93,-757.5 388.85,-768.04 395.66,-766.41"/>
</g>
<!-- 6 -->
<g id="node7" class="node">
<title>6</title>
<polygon fill="none" stroke="black" points="365,-683 270,-683 270,-647 365,-647 365,-683"/>
<text text-anchor="middle" x="317.5" y="-661.9" font-family="Times New Roman,serif" font-size="12.00">%6 = arg$0[%4]</text>
</g>
<!-- 5&#45;&gt;6 -->
<g id="edge7" class="edge">
<title>5&#45;&gt;6</title>
<path fill="none" stroke="black" d="M369.04,-719.81C360.85,-711.27 350.8,-700.77 341.75,-691.32"/>
<polygon fill="black" stroke="black" points="344.3,-688.92 334.86,-684.12 339.25,-693.76 344.3,-688.92"/>
</g>
<!-- 7 -->
<g id="node8" class="node">
<title>7</title>
<polygon fill="none" stroke="black" points="268.5,-610 174.5,-610 174.5,-574 268.5,-574 268.5,-610"/>
<text text-anchor="middle" x="221.5" y="-588.9" font-family="Times New Roman,serif" font-size="12.00">if (%6 &gt;= arg$1)</text>
</g>
<!-- 6&#45;&gt;7 -->
<g id="edge8" class="edge">
<title>6&#45;&gt;7</title>
<path fill="none" stroke="black" d="M294.26,-646.81C282.2,-637.9 267.28,-626.86 254.09,-617.1"/>
<polygon fill="black" stroke="black" points="256.2,-614.31 246.07,-611.17 252.03,-619.94 256.2,-614.31"/>
</g>
<!-- 8 -->
<g id="node9" class="node">
<title>8</title>
<polygon fill="none" stroke="black" points="145.5,-523 55.5,-523 55.5,-487 145.5,-487 145.5,-523"/>
<text text-anchor="middle" x="100.5" y="-501.9" font-family="Times New Roman,serif" font-size="12.00">arg$2 = %4 + 1</text>
</g>
<!-- 7&#45;&gt;8 -->
<g id="edge10" class="edge">
<title>7&#45;&gt;8</title>
<path fill="none" stroke="black" d="M196.72,-573.59C178.78,-560.99 154.3,-543.79 134.53,-529.9"/>
<polygon fill="black" stroke="black" points="136.68,-527.14 126.48,-524.25 132.65,-532.87 136.68,-527.14"/>
<text text-anchor="middle" x="181.5" y="-544.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="269,-523 174,-523 174,-487 269,-487 269,-523"/>
<text text-anchor="middle" x="221.5" y="-501.9" font-family="Times New Roman,serif" font-size="12.00">%8 = arg$0[%4]</text>
</g>
<!-- 7&#45;&gt;10 -->
<g id="edge9" class="edge">
<title>7&#45;&gt;10</title>
<path fill="none" stroke="black" d="M221.5,-573.8C221.5,-562.58 221.5,-547.67 221.5,-534.69"/>
<polygon fill="black" stroke="black" points="225,-534.98 221.5,-524.98 218,-534.98 225,-534.98"/>
<text text-anchor="middle" x="232.5" y="-544.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="141.5,-396 9.5,-396 9.5,-360 141.5,-360 141.5,-396"/>
<text text-anchor="middle" x="75.5" y="-374.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=18)</text>
</g>
<!-- 8&#45;&gt;9 -->
<g id="edge11" class="edge">
<title>8&#45;&gt;9</title>
<path fill="none" stroke="black" d="M97.02,-486.62C92.92,-466.1 86.03,-431.67 81.16,-407.29"/>
<polygon fill="black" stroke="black" points="84.64,-406.84 79.24,-397.72 77.77,-408.21 84.64,-406.84"/>
</g>
<!-- 18 -->
<g id="node19" class="node">
<title>18</title>
<polygon fill="none" stroke="black" points="278.5,-182 146.5,-182 146.5,-146 278.5,-146 278.5,-182"/>
<text text-anchor="middle" x="212.5" y="-160.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=23)</text>
</g>
<!-- 9&#45;&gt;18 -->
<g id="edge12" class="edge">
<title>9&#45;&gt;18</title>
<path fill="none" stroke="black" d="M66.47,-359.85C52.71,-331.1 30.66,-272.45 56.5,-233 74.23,-205.93 105.36,-189.57 135.16,-179.72"/>
<polygon fill="black" stroke="black" points="136.07,-183.1 144.61,-176.82 134.02,-176.41 136.07,-183.1"/>
</g>
<!-- 11 -->
<g id="node12" class="node">
<title>11</title>
<polygon fill="none" stroke="black" points="268.5,-450 174.5,-450 174.5,-414 268.5,-414 268.5,-450"/>
<text text-anchor="middle" x="221.5" y="-428.9" font-family="Times New Roman,serif" font-size="12.00">if (%8 &lt;= arg$1)</text>
</g>
<!-- 10&#45;&gt;11 -->
<g id="edge13" class="edge">
<title>10&#45;&gt;11</title>
<path fill="none" stroke="black" d="M221.5,-486.81C221.5,-479.23 221.5,-470.1 221.5,-461.54"/>
<polygon fill="black" stroke="black" points="225,-461.54 221.5,-451.54 218,-461.54 225,-461.54"/>
</g>
<!-- 12 -->
<g id="node13" class="node">
<title>12</title>
<polygon fill="none" stroke="black" points="285.5,-342 197.5,-342 197.5,-306 285.5,-306 285.5,-342"/>
<text text-anchor="middle" x="241.5" y="-320.9" font-family="Times New Roman,serif" font-size="12.00">arg$3 = %4 &#45; 1</text>
</g>
<!-- 11&#45;&gt;12 -->
<g id="edge15" class="edge">
<title>11&#45;&gt;12</title>
<path fill="none" stroke="black" d="M224.71,-413.97C227.79,-397.69 232.48,-372.82 236.12,-353.52"/>
<polygon fill="black" stroke="black" points="239.53,-354.3 237.95,-343.83 232.65,-353.01 239.53,-354.3"/>
<text text-anchor="middle" x="246.5" y="-374.3" font-family="Times New Roman,serif" font-size="14.00">false</text>
</g>
<!-- 14 -->
<g id="node15" class="node">
<title>14</title>
<polygon fill="none" stroke="black" points="170,-342 69,-342 69,-306 170,-306 170,-342"/>
<text text-anchor="middle" x="119.5" y="-320.9" font-family="Times New Roman,serif" font-size="12.00">%10 = arg$0[%4]</text>
</g>
<!-- 11&#45;&gt;14 -->
<g id="edge14" class="edge">
<title>11&#45;&gt;14</title>
<path fill="none" stroke="black" d="M205.11,-413.97C188.63,-396.84 163.01,-370.22 144.09,-350.56"/>
<polygon fill="black" stroke="black" points="146.69,-348.21 137.24,-343.43 141.65,-353.06 146.69,-348.21"/>
<text text-anchor="middle" x="197.5" y="-374.3" font-family="Times New Roman,serif" font-size="14.00">true</text>
</g>
<!-- 13 -->
<g id="node14" class="node">
<title>13</title>
<polygon fill="none" stroke="black" points="313.5,-269 181.5,-269 181.5,-233 313.5,-233 313.5,-269"/>
<text text-anchor="middle" x="247.5" y="-247.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=18)</text>
</g>
<!-- 12&#45;&gt;13 -->
<g id="edge16" class="edge">
<title>12&#45;&gt;13</title>
<path fill="none" stroke="black" d="M242.95,-305.81C243.6,-298.14 244.38,-288.89 245.11,-280.24"/>
<polygon fill="black" stroke="black" points="248.58,-280.8 245.93,-270.54 241.6,-280.21 248.58,-280.8"/>
</g>
<!-- 13&#45;&gt;18 -->
<g id="edge17" class="edge">
<title>13&#45;&gt;18</title>
<path fill="none" stroke="black" d="M240.42,-232.8C235.7,-221.35 229.41,-206.06 223.99,-192.89"/>
<polygon fill="black" stroke="black" points="227.31,-191.78 220.27,-183.87 220.84,-194.45 227.31,-191.78"/>
</g>
<!-- 15 -->
<g id="node16" class="node">
<title>15</title>
<polygon fill="none" stroke="black" points="163,-269 66,-269 66,-233 163,-233 163,-269"/>
<text text-anchor="middle" x="114.5" y="-247.9" font-family="Times New Roman,serif" font-size="12.00">if (%10 != arg$1)</text>
</g>
<!-- 14&#45;&gt;15 -->
<g id="edge18" class="edge">
<title>14&#45;&gt;15</title>
<path fill="none" stroke="black" d="M118.29,-305.81C117.75,-298.14 117.1,-288.89 116.49,-280.24"/>
<polygon fill="black" stroke="black" points="120,-280.27 115.81,-270.54 113.02,-280.76 120,-280.27"/>
</g>
<!-- 16 -->
<g id="node17" class="node">
<title>16</title>
<polygon fill="none" stroke="black" points="61,-182 0,-182 0,-146 61,-146 61,-182"/>
<text text-anchor="middle" x="30.5" y="-160.9" font-family="Times New Roman,serif" font-size="12.00">%1 = %4</text>
</g>
<!-- 15&#45;&gt;16 -->
<g id="edge20" class="edge">
<title>15&#45;&gt;16</title>
<path fill="none" stroke="black" d="M97.5,-232.8C85.51,-220.67 69.25,-204.21 55.75,-190.55"/>
<polygon fill="black" stroke="black" points="58.34,-188.2 48.83,-183.54 53.37,-193.12 58.34,-188.2"/>
<text text-anchor="middle" x="91.5" y="-203.8" font-family="Times New Roman,serif" font-size="14.00">false</text>
</g>
<!-- 15&#45;&gt;18 -->
<g id="edge19" class="edge">
<title>15&#45;&gt;18</title>
<path fill="none" stroke="black" d="M134.33,-232.8C148.58,-220.44 168.01,-203.59 183.93,-189.78"/>
<polygon fill="black" stroke="black" points="185.96,-192.66 191.22,-183.46 181.37,-187.37 185.96,-192.66"/>
<text text-anchor="middle" x="180.5" y="-203.8" font-family="Times New Roman,serif" font-size="14.00">true</text>
</g>
<!-- 17 -->
<g id="node18" class="node">
<title>17</title>
<polygon fill="none" stroke="black" points="235.5,-109 103.5,-109 103.5,-73 235.5,-73 235.5,-109"/>
<text text-anchor="middle" x="169.5" y="-87.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=24)</text>
</g>
<!-- 16&#45;&gt;17 -->
<g id="edge21" class="edge">
<title>16&#45;&gt;17</title>
<path fill="none" stroke="black" d="M61.35,-147.24C80.1,-137.67 104.35,-125.28 125.13,-114.66"/>
<polygon fill="black" stroke="black" points="126.66,-117.81 133.98,-110.15 123.48,-111.58 126.66,-117.81"/>
</g>
<!-- 17&#45;&gt;24 -->
<g id="edge22" class="edge">
<title>17&#45;&gt;24</title>
<path fill="none" stroke="black" d="M214.27,-72.63C243.63,-61.24 281.78,-46.44 310.56,-35.27"/>
<polygon fill="black" stroke="black" points="311.63,-38.61 319.68,-31.73 309.1,-32.09 311.63,-38.61"/>
</g>
<!-- 23 -->
<g id="node24" class="node">
<title>23</title>
<polygon fill="none" stroke="black" points="458.5,-109 332.5,-109 332.5,-73 458.5,-73 458.5,-109"/>
<text text-anchor="middle" x="395.5" y="-87.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=2)</text>
</g>
<!-- 18&#45;&gt;23 -->
<g id="edge23" class="edge">
<title>18&#45;&gt;23</title>
<path fill="none" stroke="black" d="M257.27,-145.63C282.19,-135.96 313.44,-123.84 339.92,-113.56"/>
<polygon fill="black" stroke="black" points="341.09,-116.86 349.15,-109.98 338.56,-110.34 341.09,-116.86"/>
</g>
<!-- 19 -->
<g id="node20" class="node">
<title>19</title>
<polygon fill="none" stroke="black" points="461.5,-450 291.5,-450 291.5,-414 461.5,-414 461.5,-450"/>
<text text-anchor="middle" x="376.5" y="-428.9" font-family="Times New Roman,serif" font-size="12.00">catch (%12: java.lang.Throwable)</text>
</g>
<!-- 20 -->
<g id="node21" class="node">
<title>20</title>
<polygon fill="none" stroke="black" points="457.5,-342 313.5,-342 313.5,-306 457.5,-306 457.5,-342"/>
<text text-anchor="middle" x="385.5" y="-320.9" font-family="Times New Roman,serif" font-size="12.00">%14 = java.lang.System.out</text>
</g>
<!-- 19&#45;&gt;20 -->
<g id="edge24" class="edge">
<title>19&#45;&gt;20</title>
<path fill="none" stroke="black" d="M377.95,-413.97C379.32,-397.76 381.42,-373.06 383.06,-353.79"/>
<polygon fill="black" stroke="black" points="386.54,-354.11 383.9,-343.85 379.57,-353.52 386.54,-354.11"/>
</g>
<!-- 21 -->
<g id="node22" class="node">
<title>21</title>
<polygon fill="none" stroke="black" points="461,-269 332,-269 332,-233 461,-233 461,-269"/>
<text text-anchor="middle" x="396.5" y="-247.9" font-family="Times New Roman,serif" font-size="12.00">%14.println(&quot;Exception&quot;)</text>
</g>
<!-- 20&#45;&gt;21 -->
<g id="edge25" class="edge">
<title>20&#45;&gt;21</title>
<path fill="none" stroke="black" d="M388.16,-305.81C389.35,-298.14 390.78,-288.89 392.12,-280.24"/>
<polygon fill="black" stroke="black" points="395.56,-280.94 393.63,-270.52 388.64,-279.87 395.56,-280.94"/>
</g>
<!-- 22 -->
<g id="node23" class="node">
<title>22</title>
<polygon fill="none" stroke="black" points="461.5,-182 329.5,-182 329.5,-146 461.5,-146 461.5,-182"/>
<text text-anchor="middle" x="395.5" y="-160.9" font-family="Times New Roman,serif" font-size="12.00">goto JcInstRef(index=23)</text>
</g>
<!-- 21&#45;&gt;22 -->
<g id="edge26" class="edge">
<title>21&#45;&gt;22</title>
<path fill="none" stroke="black" d="M396.3,-232.8C396.17,-221.58 395.99,-206.67 395.84,-193.69"/>
<polygon fill="black" stroke="black" points="399.34,-193.94 395.72,-183.98 392.34,-194.02 399.34,-193.94"/>
</g>
<!-- 22&#45;&gt;23 -->
<g id="edge27" class="edge">
<title>22&#45;&gt;23</title>
<path fill="none" stroke="black" d="M395.5,-145.81C395.5,-138.23 395.5,-129.1 395.5,-120.54"/>
<polygon fill="black" stroke="black" points="399,-120.54 395.5,-110.54 392,-120.54 399,-120.54"/>
</g>
<!-- 23&#45;&gt;2 -->
<g id="edge28" class="edge">
<title>23&#45;&gt;2</title>
<path fill="none" stroke="black" d="M445.8,-109.49C468.15,-120.75 489.5,-138.05 489.5,-163 489.5,-885 489.5,-885 489.5,-885 489.5,-903.88 489.5,-925.12 489.5,-941.65"/>
<polygon fill="black" stroke="black" points="486,-941.23 489.5,-951.23 493,-941.23 486,-941.23"/>
</g>
</g>
</svg>