diff options
| author | Cliff Click <cliffc@acm.org> | 2025-08-13 13:25:24 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2025-08-13 13:25:24 -0700 |
| commit | cf5be6998b26723ae29ab1edab84d32b0702182d (patch) | |
| tree | 7b8eee33a7681d60f25cd93b997d6a39bf1baba5 /docs/lattice_iffc.svg | |
| parent | 6a9a508d1809753ec5d41a5ced3f505384f1fe07 (diff) | |
| download | Simple-cf5be6998b26723ae29ab1edab84d32b0702182d.tar.gz Simple-cf5be6998b26723ae29ab1edab84d32b0702182d.zip | |
TypeAnalysis continued
Diffstat (limited to 'docs/lattice_iffc.svg')
| -rw-r--r-- | docs/lattice_iffc.svg | 396 |
1 files changed, 396 insertions, 0 deletions
diff --git a/docs/lattice_iffc.svg b/docs/lattice_iffc.svg new file mode 100644 index 00000000..8ca5afd0 --- /dev/null +++ b/docs/lattice_iffc.svg @@ -0,0 +1,396 @@ +<?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 12.2.0 (20241103.1931)
+ -->
+<!-- Title: Lattice Pages: 1 -->
+<svg width="1061pt" height="709pt"
+ viewBox="0.00 0.00 1061.00 708.86" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 704.86)">
+<title>Lattice</title>
+<polygon fill="white" stroke="none" points="-4,4 -4,-704.86 1057,-704.86 1057,4 -4,4"/>
+<!-- TOP -->
+<g id="node1" class="node">
+<title>TOP</title>
+<ellipse fill="black" stroke="black" cx="474" cy="-679.73" rx="21.12" ry="21.12"/>
+<text text-anchor="start" x="466.12" y="-675.31" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00" fill="white">⊤</text>
+</g>
+<!-- XCTRL -->
+<g id="node3" class="node">
+<title>XCTRL</title>
+<ellipse fill="yellow" stroke="black" cx="97" cy="-604.61" rx="36.51" ry="18"/>
+<text text-anchor="start" x="78.25" y="-600.56" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊤</text>
+<text text-anchor="start" x="94" y="-600.56" font-family="Times New Roman,serif" font-size="14.00">:ctrl</text>
+</g>
+<!-- TOP->XCTRL -->
+<g id="edge1" class="edge">
+<title>TOP->XCTRL</title>
+<path fill="none" stroke="black" d="M453.19,-674.7C393.93,-663.2 223.25,-630.1 141.58,-614.26"/>
+<polygon fill="black" stroke="black" points="142.64,-610.9 132.15,-612.43 141.3,-617.77 142.64,-610.9"/>
+</g>
+<!-- INT_TOP -->
+<g id="node5" class="node">
+<title>INT_TOP</title>
+<ellipse fill="lightblue" stroke="black" cx="291" cy="-604.61" rx="33.95" ry="18"/>
+<text text-anchor="start" x="274.12" y="-600.56" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊤</text>
+<text text-anchor="start" x="289.88" y="-600.56" font-family="Times New Roman,serif" font-size="14.00">:int</text>
+</g>
+<!-- TOP->INT_TOP -->
+<g id="edge4" class="edge">
+<title>TOP->INT_TOP</title>
+<path fill="none" stroke="black" d="M454.42,-670.91C424.37,-658.9 366.38,-635.73 328.19,-620.47"/>
+<polygon fill="black" stroke="black" points="329.49,-617.22 318.91,-616.76 326.89,-623.72 329.49,-617.22"/>
+</g>
+<!-- FLT_TOP -->
+<g id="node14" class="node">
+<title>FLT_TOP</title>
+<ellipse fill="aqua" stroke="black" cx="514" cy="-604.61" rx="32.41" ry="18"/>
+<text text-anchor="start" x="498.25" y="-600.56" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊤</text>
+<text text-anchor="start" x="514" y="-600.56" font-family="Times New Roman,serif" font-size="14.00">:flt</text>
+</g>
+<!-- TOP->FLT_TOP -->
+<g id="edge18" class="edge">
+<title>TOP->FLT_TOP</title>
+<path fill="none" stroke="black" d="M483.89,-660.66C488.64,-651.96 494.44,-641.37 499.67,-631.81"/>
+<polygon fill="black" stroke="black" points="502.59,-633.76 504.32,-623.31 496.45,-630.4 502.59,-633.76"/>
+</g>
+<!-- FL8_TOP -->
+<g id="node22" class="node">
+<title>FL8_TOP</title>
+<ellipse fill="aqua" stroke="black" cx="893" cy="-604.61" rx="39.07" ry="18"/>
+<text text-anchor="start" x="872.38" y="-600.56" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊤</text>
+<text text-anchor="start" x="888.12" y="-600.56" font-family="Times New Roman,serif" font-size="14.00">:FP8</text>
+</g>
+<!-- TOP->FL8_TOP -->
+<g id="edge33" class="edge">
+<title>TOP->FL8_TOP</title>
+<path fill="none" stroke="black" d="M495.07,-675.06C559.45,-663.82 754.77,-629.73 845.61,-613.88"/>
+<polygon fill="black" stroke="black" points="846.19,-617.33 855.44,-612.16 844.99,-610.44 846.19,-617.33"/>
+</g>
+<!-- BOT -->
+<g id="node2" class="node">
+<title>BOT</title>
+<ellipse fill="black" stroke="black" cx="379" cy="-21.12" rx="21.12" ry="21.12"/>
+<text text-anchor="start" x="371.12" y="-16.7" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00" fill="white">⊥</text>
+</g>
+<!-- CTRL -->
+<g id="node4" class="node">
+<title>CTRL</title>
+<ellipse fill="yellow" stroke="black" cx="73" cy="-96.25" rx="36.51" ry="18"/>
+<text text-anchor="start" x="54.25" y="-92.2" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊥</text>
+<text text-anchor="start" x="70" y="-92.2" font-family="Times New Roman,serif" font-size="14.00">:ctrl</text>
+</g>
+<!-- XCTRL->CTRL -->
+<g id="edge2" class="edge">
+<title>XCTRL->CTRL</title>
+<path fill="none" stroke="black" d="M96.13,-586.22C92.54,-510.24 78.86,-220.41 74.41,-126.1"/>
+<polygon fill="black" stroke="black" points="77.91,-125.95 73.94,-116.13 70.91,-126.28 77.91,-125.95"/>
+</g>
+<!-- CTRL->BOT -->
+<g id="edge3" class="edge">
+<title>CTRL->BOT</title>
+<path fill="none" stroke="black" d="M105.46,-87.49C164.46,-73.39 288.58,-43.73 347.14,-29.74"/>
+<polygon fill="black" stroke="black" points="347.88,-33.16 356.79,-27.43 346.25,-26.35 347.88,-33.16"/>
+</g>
+<!-- INT_HI -->
+<g id="node7" class="node">
+<title>INT_HI</title>
+<ellipse fill="lightblue" stroke="black" cx="211" cy="-532.61" rx="52.89" ry="18"/>
+<text text-anchor="middle" x="211" y="-527.56" font-family="Times New Roman,serif" font-size="14.00">max < min</text>
+</g>
+<!-- INT_TOP->INT_HI -->
+<g id="edge5" class="edge">
+<title>INT_TOP->INT_HI</title>
+<path fill="none" stroke="black" d="M274.03,-588.76C263.65,-579.68 250.13,-567.85 238.28,-557.48"/>
+<polygon fill="black" stroke="black" points="240.59,-554.85 230.76,-550.9 235.98,-560.12 240.59,-554.85"/>
+</g>
+<!-- INT_BOT -->
+<g id="node6" class="node">
+<title>INT_BOT</title>
+<ellipse fill="lightblue" stroke="black" cx="267" cy="-96.25" rx="33.95" ry="18"/>
+<text text-anchor="start" x="250.12" y="-92.2" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊥</text>
+<text text-anchor="start" x="265.88" y="-92.2" font-family="Times New Roman,serif" font-size="14.00">:int</text>
+</g>
+<!-- INT_BOT->BOT -->
+<g id="edge15" class="edge">
+<title>INT_BOT->BOT</title>
+<path fill="none" stroke="black" d="M287.8,-81.67C305.9,-69.85 332.25,-52.64 351.98,-39.76"/>
+<polygon fill="black" stroke="black" points="353.89,-42.7 360.35,-34.3 350.06,-36.84 353.89,-42.7"/>
+</g>
+<!-- INT_XBOOL -->
+<g id="node8" class="node">
+<title>INT_XBOOL</title>
+<ellipse fill="lightblue" stroke="black" cx="97" cy="-450.29" rx="27.81" ry="18"/>
+<text text-anchor="middle" x="97" y="-445.24" font-family="Times New Roman,serif" font-size="14.00">1...0</text>
+</g>
+<!-- INT_HI->INT_XBOOL -->
+<g id="edge6" class="edge">
+<title>INT_HI->INT_XBOOL</title>
+<path fill="none" stroke="black" d="M188.75,-515.93C170.46,-503.04 144.44,-484.72 124.78,-470.87"/>
+<polygon fill="black" stroke="black" points="126.86,-468.05 116.67,-465.15 122.83,-473.77 126.86,-468.05"/>
+</g>
+<!-- INT_CON -->
+<g id="node9" class="node">
+<title>INT_CON</title>
+<ellipse fill="lightblue" stroke="black" cx="211" cy="-345.31" rx="52.89" ry="18"/>
+<text text-anchor="middle" x="211" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">constants...</text>
+</g>
+<!-- INT_HI->INT_CON -->
+<g id="edge9" class="edge">
+<title>INT_HI->INT_CON</title>
+<path fill="none" stroke="black" d="M211,-514.31C211,-481.93 211,-414.27 211,-375.09"/>
+<polygon fill="black" stroke="black" points="214.5,-375.2 211,-365.2 207.5,-375.2 214.5,-375.2"/>
+</g>
+<!-- INT_CON0 -->
+<g id="node10" class="node">
+<title>INT_CON0</title>
+<ellipse fill="lightblue" stroke="black" cx="18" cy="-345.31" rx="18" ry="18"/>
+<text text-anchor="middle" x="18" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">0</text>
+</g>
+<!-- INT_XBOOL->INT_CON0 -->
+<g id="edge7" class="edge">
+<title>INT_XBOOL->INT_CON0</title>
+<path fill="none" stroke="black" d="M85,-433.65C71.8,-416.44 50.45,-388.61 35.41,-369"/>
+<polygon fill="black" stroke="black" points="38.38,-367.12 29.51,-361.32 32.82,-371.38 38.38,-367.12"/>
+</g>
+<!-- INT_CON1 -->
+<g id="node11" class="node">
+<title>INT_CON1</title>
+<ellipse fill="lightblue" stroke="black" cx="97" cy="-345.31" rx="18" ry="18"/>
+<text text-anchor="middle" x="97" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">1</text>
+</g>
+<!-- INT_XBOOL->INT_CON1 -->
+<g id="edge8" class="edge">
+<title>INT_XBOOL->INT_CON1</title>
+<path fill="none" stroke="black" d="M97,-431.82C97,-416.27 97,-393.22 97,-374.97"/>
+<polygon fill="black" stroke="black" points="100.5,-375.04 97,-365.04 93.5,-375.04 100.5,-375.04"/>
+</g>
+<!-- INT_LO -->
+<g id="node13" class="node">
+<title>INT_LO</title>
+<ellipse fill="lightblue" stroke="black" cx="211" cy="-168.25" rx="52.89" ry="18"/>
+<text text-anchor="middle" x="211" y="-163.2" font-family="Times New Roman,serif" font-size="14.00">max > min</text>
+</g>
+<!-- INT_CON->INT_LO -->
+<g id="edge13" class="edge">
+<title>INT_CON->INT_LO</title>
+<path fill="none" stroke="black" d="M211,-327.03C211,-296.55 211,-235.05 211,-198.18"/>
+<polygon fill="black" stroke="black" points="214.5,-198.21 211,-188.21 207.5,-198.21 214.5,-198.21"/>
+</g>
+<!-- INT_CON0->INT_CON1 -->
+<!-- INT_BOOL -->
+<g id="node12" class="node">
+<title>INT_BOOL</title>
+<ellipse fill="lightblue" stroke="black" cx="97" cy="-245.45" rx="27.81" ry="18"/>
+<text text-anchor="middle" x="97" y="-240.4" font-family="Times New Roman,serif" font-size="14.00">0...1</text>
+</g>
+<!-- INT_CON0->INT_BOOL -->
+<g id="edge10" class="edge">
+<title>INT_CON0->INT_BOOL</title>
+<path fill="none" stroke="black" d="M28.98,-330.7C41.46,-315.25 62.06,-289.73 77.33,-270.81"/>
+<polygon fill="black" stroke="black" points="80.04,-273.03 83.6,-263.05 74.59,-268.64 80.04,-273.03"/>
+</g>
+<!-- INT_CON1->INT_CON -->
+<!-- INT_CON1->INT_BOOL -->
+<g id="edge11" class="edge">
+<title>INT_CON1->INT_BOOL</title>
+<path fill="none" stroke="black" d="M97,-326.82C97,-312.48 97,-291.91 97,-275.16"/>
+<polygon fill="black" stroke="black" points="100.5,-275.31 97,-265.31 93.5,-275.31 100.5,-275.31"/>
+</g>
+<!-- INT_BOOL->INT_LO -->
+<g id="edge12" class="edge">
+<title>INT_BOOL->INT_LO</title>
+<path fill="none" stroke="black" d="M116.08,-231.86C132.97,-220.72 157.98,-204.22 178.09,-190.96"/>
+<polygon fill="black" stroke="black" points="179.83,-194.01 186.25,-185.58 175.97,-188.16 179.83,-194.01"/>
+</g>
+<!-- INT_LO->INT_BOT -->
+<g id="edge14" class="edge">
+<title>INT_LO->INT_BOT</title>
+<path fill="none" stroke="black" d="M224.27,-150.66C231.06,-142.17 239.47,-131.66 247.03,-122.21"/>
+<polygon fill="black" stroke="black" points="249.75,-124.41 253.26,-114.42 244.28,-120.04 249.75,-124.41"/>
+</g>
+<!-- FLT_CON64 -->
+<g id="node16" class="node">
+<title>FLT_CON64</title>
+<ellipse fill="aqua" stroke="black" cx="725" cy="-345.31" rx="55.33" ry="40.66"/>
+<text text-anchor="middle" x="725" y="-356.76" font-family="Times New Roman,serif" font-size="14.00">64b consts</text>
+<text text-anchor="middle" x="725" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">[excludes</text>
+<text text-anchor="middle" x="725" y="-323.76" font-family="Times New Roman,serif" font-size="14.00">32b consts]</text>
+</g>
+<!-- FLT_TOP->FLT_CON64 -->
+<g id="edge19" class="edge">
+<title>FLT_TOP->FLT_CON64</title>
+<path fill="none" stroke="black" d="M527.52,-587.99C559.7,-548.44 641.72,-447.65 689.32,-389.16"/>
+<polygon fill="black" stroke="black" points="691.82,-391.64 695.41,-381.67 686.39,-387.22 691.82,-391.64"/>
+</g>
+<!-- FLT_CONPI -->
+<g id="node18" class="node">
+<title>FLT_CONPI</title>
+<ellipse fill="aqua" stroke="black" cx="578" cy="-345.31" rx="48.79" ry="18"/>
+<text text-anchor="middle" x="578" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">3.14159...</text>
+</g>
+<!-- FLT_TOP->FLT_CONPI -->
+<g id="edge20" class="edge">
+<title>FLT_TOP->FLT_CONPI</title>
+<path fill="none" stroke="black" d="M518.5,-586.38C529.43,-542.11 557.43,-428.67 570.75,-374.69"/>
+<polygon fill="black" stroke="black" points="574.14,-375.54 573.14,-364.99 567.35,-373.86 574.14,-375.54"/>
+</g>
+<!-- FLT_X32 -->
+<g id="node19" class="node">
+<title>FLT_X32</title>
+<ellipse fill="aqua" stroke="black" cx="436" cy="-450.29" rx="28.32" ry="28.32"/>
+<text text-anchor="middle" x="436" y="-445.24" font-family="Times New Roman,serif" font-size="14.00">~f32</text>
+</g>
+<!-- FLT_TOP->FLT_X32 -->
+<g id="edge23" class="edge">
+<title>FLT_TOP->FLT_X32</title>
+<path fill="none" stroke="black" d="M505.05,-586.91C492.69,-562.44 470.09,-517.73 454.12,-486.13"/>
+<polygon fill="black" stroke="black" points="457.3,-484.66 449.66,-477.32 451.05,-487.82 457.3,-484.66"/>
+</g>
+<!-- FLT_BOT -->
+<g id="node15" class="node">
+<title>FLT_BOT</title>
+<ellipse fill="aqua" stroke="black" cx="500" cy="-96.25" rx="32.41" ry="18"/>
+<text text-anchor="start" x="484.25" y="-92.2" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊥</text>
+<text text-anchor="start" x="500" y="-92.2" font-family="Times New Roman,serif" font-size="14.00">:flt</text>
+</g>
+<!-- FLT_BOT->BOT -->
+<g id="edge29" class="edge">
+<title>FLT_BOT->BOT</title>
+<path fill="none" stroke="black" d="M478.65,-82.34C458.62,-70.24 428.55,-52.07 406.69,-38.86"/>
+<polygon fill="black" stroke="black" points="408.65,-35.95 398.28,-33.78 405.03,-41.95 408.65,-35.95"/>
+</g>
+<!-- FLT_CON64->FLT_BOT -->
+<g id="edge21" class="edge">
+<title>FLT_CON64->FLT_BOT</title>
+<path fill="none" stroke="black" d="M694.19,-311.2C648.25,-260.35 562.88,-165.85 522.4,-121.05"/>
+<polygon fill="black" stroke="black" points="525.02,-118.72 515.72,-113.65 519.82,-123.41 525.02,-118.72"/>
+</g>
+<!-- FLT_CON32 -->
+<g id="node17" class="node">
+<title>FLT_CON32</title>
+<ellipse fill="aqua" stroke="black" cx="436" cy="-345.31" rx="50.33" ry="18"/>
+<text text-anchor="middle" x="436" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">32b consts</text>
+</g>
+<!-- FLT_CON32->FLT_CONPI -->
+<!-- FLT_32 -->
+<g id="node21" class="node">
+<title>FLT_32</title>
+<ellipse fill="aqua" stroke="black" cx="436" cy="-245.45" rx="23.2" ry="23.2"/>
+<text text-anchor="middle" x="436" y="-240.4" font-family="Times New Roman,serif" font-size="14.00">f32</text>
+</g>
+<!-- FLT_CON32->FLT_32 -->
+<g id="edge27" class="edge">
+<title>FLT_CON32->FLT_32</title>
+<path fill="none" stroke="black" d="M436,-326.82C436,-313.94 436,-296.02 436,-280.37"/>
+<polygon fill="black" stroke="black" points="439.5,-280.47 436,-270.47 432.5,-280.47 439.5,-280.47"/>
+</g>
+<!-- FLT_CONPI->FLT_BOT -->
+<g id="edge22" class="edge">
+<title>FLT_CONPI->FLT_BOT</title>
+<path fill="none" stroke="black" d="M572.26,-327C558.82,-284.07 525.2,-176.7 509,-124.98"/>
+<polygon fill="black" stroke="black" points="512.42,-124.19 506.09,-115.7 505.74,-126.29 512.42,-124.19"/>
+</g>
+<!-- FLT_CONPI->FLT_CON64 -->
+<!-- FLT_X32->FLT_CON32 -->
+<g id="edge25" class="edge">
+<title>FLT_X32->FLT_CON32</title>
+<path fill="none" stroke="black" d="M436,-421.69C436,-407.26 436,-389.62 436,-375.03"/>
+<polygon fill="black" stroke="black" points="439.5,-375.14 436,-365.14 432.5,-375.14 439.5,-375.14"/>
+</g>
+<!-- FLT_CON0 -->
+<g id="node20" class="node">
+<title>FLT_CON0</title>
+<ellipse fill="aqua" stroke="black" cx="325" cy="-345.31" rx="18.08" ry="18.08"/>
+<text text-anchor="middle" x="325" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">0.</text>
+</g>
+<!-- FLT_X32->FLT_CON0 -->
+<g id="edge24" class="edge">
+<title>FLT_X32->FLT_CON0</title>
+<path fill="none" stroke="black" d="M415.38,-430.16C395.7,-411.9 366.18,-384.51 346.28,-366.05"/>
+<polygon fill="black" stroke="black" points="348.7,-363.53 338.99,-359.29 343.94,-368.66 348.7,-363.53"/>
+</g>
+<!-- FLT_CON0->FLT_CON32 -->
+<!-- FLT_CON0->FLT_32 -->
+<g id="edge26" class="edge">
+<title>FLT_CON0->FLT_32</title>
+<path fill="none" stroke="black" d="M338.17,-332.7C355.91,-317.06 387.87,-288.88 410.42,-269"/>
+<polygon fill="black" stroke="black" points="412.53,-271.81 417.72,-262.57 407.9,-266.56 412.53,-271.81"/>
+</g>
+<!-- FLT_32->FLT_BOT -->
+<g id="edge28" class="edge">
+<title>FLT_32->FLT_BOT</title>
+<path fill="none" stroke="black" d="M445.31,-223.76C456.56,-197.53 475.52,-153.32 487.9,-124.46"/>
+<polygon fill="black" stroke="black" points="490.97,-126.18 491.69,-115.61 484.53,-123.42 490.97,-126.18"/>
+</g>
+<!-- FL8_MINDOTS -->
+<g id="node24" class="node">
+<title>FL8_MINDOTS</title>
+<ellipse fill="aqua" stroke="black" cx="850" cy="-345.31" rx="27" ry="18"/>
+<text text-anchor="middle" x="850" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">...</text>
+</g>
+<!-- FL8_TOP->FL8_MINDOTS -->
+<g id="edge34" class="edge">
+<title>FL8_TOP->FL8_MINDOTS</title>
+<path fill="none" stroke="black" d="M889.98,-586.38C882.64,-542.11 863.82,-428.67 854.87,-374.69"/>
+<polygon fill="black" stroke="black" points="858.36,-374.31 853.27,-365.02 851.45,-375.46 858.36,-374.31"/>
+</g>
+<!-- FL8_ZERO -->
+<g id="node25" class="node">
+<title>FL8_ZERO</title>
+<ellipse fill="aqua" stroke="black" cx="938" cy="-345.31" rx="18" ry="18"/>
+<text text-anchor="middle" x="938" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">0</text>
+</g>
+<!-- FL8_TOP->FL8_ZERO -->
+<g id="edge35" class="edge">
+<title>FL8_TOP->FL8_ZERO</title>
+<path fill="none" stroke="black" d="M896.16,-586.38C903.85,-542.11 923.53,-428.67 932.9,-374.69"/>
+<polygon fill="black" stroke="black" points="936.32,-375.47 934.58,-365.02 929.42,-374.27 936.32,-375.47"/>
+</g>
+<!-- FL8_MAXDOTS -->
+<g id="node26" class="node">
+<title>FL8_MAXDOTS</title>
+<ellipse fill="aqua" stroke="black" cx="1026" cy="-345.31" rx="27" ry="18"/>
+<text text-anchor="middle" x="1026" y="-340.26" font-family="Times New Roman,serif" font-size="14.00">...</text>
+</g>
+<!-- FL8_TOP->FL8_MAXDOTS -->
+<g id="edge36" class="edge">
+<title>FL8_TOP->FL8_MAXDOTS</title>
+<path fill="none" stroke="black" d="M902.14,-586.79C924.98,-542.26 984.66,-425.9 1011.98,-372.64"/>
+<polygon fill="black" stroke="black" points="1015,-374.42 1016.45,-363.92 1008.78,-371.22 1015,-374.42"/>
+</g>
+<!-- FL8_BOT -->
+<g id="node23" class="node">
+<title>FL8_BOT</title>
+<ellipse fill="aqua" stroke="black" cx="893" cy="-96.25" rx="39.07" ry="18"/>
+<text text-anchor="start" x="872.38" y="-92.2" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊥</text>
+<text text-anchor="start" x="888.12" y="-92.2" font-family="Times New Roman,serif" font-size="14.00">:FP8</text>
+</g>
+<!-- FL8_BOT->BOT -->
+<g id="edge40" class="edge">
+<title>FL8_BOT->BOT</title>
+<path fill="none" stroke="black" d="M856.03,-89.99C759.77,-76.29 502.48,-39.69 411.46,-26.74"/>
+<polygon fill="black" stroke="black" points="412.13,-23.3 401.73,-25.36 411.14,-30.23 412.13,-23.3"/>
+</g>
+<!-- FL8_MINDOTS->FL8_BOT -->
+<g id="edge37" class="edge">
+<title>FL8_MINDOTS->FL8_BOT</title>
+<path fill="none" stroke="black" d="M853.16,-327C860.54,-284.27 878.94,-177.67 887.92,-125.69"/>
+<polygon fill="black" stroke="black" points="891.32,-126.53 889.58,-116.08 884.43,-125.34 891.32,-126.53"/>
+</g>
+<!-- FL8_MINDOTS->FL8_ZERO -->
+<!-- FL8_ZERO->FL8_BOT -->
+<g id="edge38" class="edge">
+<title>FL8_ZERO->FL8_BOT</title>
+<path fill="none" stroke="black" d="M934.76,-327.4C927.1,-284.97 907.77,-178.01 898.34,-125.81"/>
+<polygon fill="black" stroke="black" points="901.82,-125.38 896.6,-116.16 894.93,-126.62 901.82,-125.38"/>
+</g>
+<!-- FL8_ZERO->FL8_MAXDOTS -->
+<!-- FL8_MAXDOTS->FL8_BOT -->
+<g id="edge39" class="edge">
+<title>FL8_MAXDOTS->FL8_BOT</title>
+<path fill="none" stroke="black" d="M1016.86,-328.19C994.24,-285.83 935.48,-175.8 907.81,-123.99"/>
+<polygon fill="black" stroke="black" points="911.07,-122.66 903.27,-115.49 904.9,-125.96 911.07,-122.66"/>
+</g>
+</g>
+</svg>
|