diff options
| author | Dibyendu Majumdar <dibyendumajumdar@users.noreply.github.com> | 2023-11-11 23:17:22 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-11 23:17:22 +0000 |
| commit | 1a9cac97df063af82516ca35bde34fde62d24c56 (patch) | |
| tree | 7bab31bac1cf890466b3f0884a0f59c784cc0027 /chapter06/docs/06-graph4-nonconst.svg | |
| parent | 077b25007cf8af3c3673d017625ea255bda87620 (diff) | |
| download | Simple-1a9cac97df063af82516ca35bde34fde62d24c56.tar.gz Simple-1a9cac97df063af82516ca35bde34fde62d24c56.zip | |
Chapter 6 (#38)
* #37 Create chapter 6 skeleton
* #37 Revise type system - TOP, BOTTOM, CONTROL are now directly implemented in Type, XCONTROL is a new type and that's implemented directly too.
We have a _type field that is like an enum.
* #37 Revise Type.meet() - this is now final.
Subclasses can override xmeet() which is protected but
now handles simple types in Type itself.
* #37 Basic test for peephole of CFG
* #37 Revise compute of if
* #37 Revise compute of if
* #37 WIP peephole of If
* #37 WIP peephole of If
* #37 WIP peephole of If
* #37 WIP peephole of If
* #37 WIP peephole of If
* #37 WIP fix the chars inserted by IntelliJ
* #37 WIP Fix compute type in IfNode
* #37 WIP Null check region inputs
* #37 WIP Fix where we choose great grand parent instead of grand parent
Add new test
* #37 WIP More fixes and tests
* #37 WIP Some minor adjustments
* Cleanup folding dead IF tests
Remove isDeadCtrl & just test for the constant.
Remove DEAD_CTRL, doesn't properly reset between tests.
Move keep/unkeep to Node.
PhiNode has a proper compute() call.
ProjNode ideal is a lot simpler.
Region doesn't ever get a null.
Move the mergeScopes Region peep till after all Phis are added.
Type TOP and XCONTROL count as constants.
TypeTuple gets a toString
* #37 WIP Upate README
* #37 WIP Region node should check if one of its inputs is a region that needs to be peepholed
* #37 WIP If node should check if its ctrl input is a Region that has only 1 live input so can be peepholed
* #37 WIP Further update to README to make the peephole logic clearer. Also discuss the relationship between Region and Phi nodes
* Region removes dead input paths
Remove region-folding in Return, If.
Add a Makefile.
Reformat triple-quote lines to be emacs-friendly.
* StopNode idealize
Return type sharpens to include control input.
* Remove !=, >=, >; use Not and <, <=, ==
Fix bug mixing rotating different ops.
Generalize Add fold constants; apply to Mul, EQ.
Fix Div.copy
* Fix bug rotating e.g. < or <=
Peep is only valid for associative ops
* #37 WIP Doc updates
* Work over the Ch6 Readme
Major issue: Region inputs align 1-to-1 with Phi inputs, but a Region can have zero to many Phis. When we lose a Region input (dead path), we need to lose the same inputs to each Phi - but we don't lose the Phis themselves, unless we're folding away down to the last live input.
* Update chapter06/README.md
Co-authored-by: Yichen Yan <oraluben@outlook.com>
* Update chapter06/README.md
Co-authored-by: Yichen Yan <oraluben@outlook.com>
* #37 Backport type system changes to chapter 2
* #37 Backport type system changes to chapter 3
* #37 Backport type system changes to chapter 4
* #37 Backport type system changes to chapter 5
* #37 Merge chapter 5 updates from main.
Remove language grammar module as we describe the grammar incrementally in each chapter.
* #37 Chapter 6 doc updates - added visuals to show effects of CFG peephole
* #37 Sync some updates to chapter 2
* #37 Sync some updates to chapter 3
* #37 Sync some updates to chapter 4
---------
Co-authored-by: Cliff Click <cliffc@acm.org>
Co-authored-by: Yichen Yan <oraluben@outlook.com>
Diffstat (limited to 'chapter06/docs/06-graph4-nonconst.svg')
| -rw-r--r-- | chapter06/docs/06-graph4-nonconst.svg | 456 |
1 files changed, 456 insertions, 0 deletions
diff --git a/chapter06/docs/06-graph4-nonconst.svg b/chapter06/docs/06-graph4-nonconst.svg new file mode 100644 index 00000000..d38c3636 --- /dev/null +++ b/chapter06/docs/06-graph4-nonconst.svg @@ -0,0 +1,456 @@ +<?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 2.43.0 (0) + --> +<!-- Title: chapter06 Pages: 1 --> +<svg width="506pt" height="908pt" + viewBox="0.00 0.00 506.00 908.00" 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 904)"> +<title>chapter06</title> +<polygon fill="white" stroke="transparent" points="-4,4 -4,-904 502,-904 502,4 -4,4"/> +<g id="clust1" class="cluster"> +<title>cluster_Nodes</title> +<polygon fill="none" stroke="black" points="8,-8 8,-892 490,-892 490,-8 8,-8"/> +</g> +<!-- Start2 --> +<g id="node1" class="node"> +<title>Start2</title> +<polygon fill="yellow" stroke="transparent" points="266,-855 266,-880 347,-880 347,-855 266,-855"/> +<polygon fill="none" stroke="black" points="266,-855 266,-880 347,-880 347,-855 266,-855"/> +<text text-anchor="start" x="288" y="-863.8" font-family="Times,serif" font-size="14.00">Start</text> +<polygon fill="none" stroke="black" points="266,-824 266,-855 347,-855 347,-824 266,-824"/> +<polygon fill="yellow" stroke="transparent" points="271,-829 271,-850 311,-850 311,-829 271,-829"/> +<polygon fill="none" stroke="black" points="271,-829 271,-850 311,-850 311,-829 271,-829"/> +<text text-anchor="start" x="274" y="-835.8" font-family="Times,serif" font-size="14.00">$ctrl</text> +<polygon fill="none" stroke="black" points="311,-829 311,-850 342,-850 342,-829 311,-829"/> +<text text-anchor="start" x="314" y="-835.8" font-family="Times,serif" font-size="14.00">arg</text> +</g> +<!-- Stop3 --> +<g id="node2" class="node"> +<title>Stop3</title> +<polygon fill="yellow" stroke="black" points="329,-52 275,-52 275,-16 329,-16 329,-52"/> +<text text-anchor="middle" x="302" y="-30.3" font-family="Times,serif" font-size="14.00">Stop</text> +</g> +<!-- Return38 --> +<g id="node26" class="node"> +<title>Return38</title> +<polygon fill="yellow" stroke="black" points="335,-124 269,-124 269,-88 335,-88 335,-124"/> +<text text-anchor="middle" x="302" y="-102.3" font-family="Times,serif" font-size="14.00">Return</text> +</g> +<!-- Stop3->Return38 --> +<g id="edge1" class="edge"> +<title>Stop3->Return38</title> +<path fill="none" stroke="red" d="M302,-52.3C302,-60.02 302,-69.29 302,-77.89"/> +<polygon fill="red" stroke="red" points="298.5,-77.9 302,-87.9 305.5,-77.9 298.5,-77.9"/> +<text text-anchor="middle" x="299" y="-54.9" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> +</g> +<!-- Con_6 --> +<g id="node3" class="node"> +<title>Con_6</title> +<ellipse fill="none" stroke="black" cx="351" cy="-394" rx="27" ry="18"/> +<text text-anchor="middle" x="351" y="-390.3" font-family="Times,serif" font-size="14.00">#0</text> +</g> +<!-- Con_7 --> +<g id="node4" class="node"> +<title>Con_7</title> +<ellipse fill="none" stroke="black" cx="207" cy="-394" rx="27" ry="18"/> +<text text-anchor="middle" x="207" y="-390.3" font-family="Times,serif" font-size="14.00">#1</text> +</g> +<!-- Con_8 --> +<g id="node5" class="node"> +<title>Con_8</title> +<ellipse fill="none" stroke="black" cx="43" cy="-394" rx="27" ry="18"/> +<text text-anchor="middle" x="43" y="-390.3" font-family="Times,serif" font-size="14.00">#0</text> +</g> +<!-- If9 --> +<g id="node6" class="node"> +<title>If9</title> +<polygon fill="yellow" stroke="transparent" points="232,-755 232,-780 326,-780 326,-755 232,-755"/> +<polygon fill="none" stroke="black" points="232,-755 232,-780 326,-780 326,-755 232,-755"/> +<text text-anchor="start" x="273.5" y="-763.8" font-family="Times,serif" font-size="14.00">If</text> +<polygon fill="none" stroke="black" points="232,-724 232,-755 326,-755 326,-724 232,-724"/> +<polygon fill="yellow" stroke="transparent" points="237,-729 237,-750 277,-750 277,-729 237,-729"/> +<polygon fill="none" stroke="black" points="237,-729 237,-750 277,-750 277,-729 237,-729"/> +<text text-anchor="start" x="240" y="-735.8" font-family="Times,serif" font-size="14.00">True</text> +<polygon fill="yellow" stroke="transparent" points="277,-729 277,-750 321,-750 321,-729 277,-729"/> +<polygon fill="none" stroke="black" points="277,-729 277,-750 321,-750 321,-729 277,-729"/> +<text text-anchor="start" x="280" y="-735.8" font-family="Times,serif" font-size="14.00">False</text> +</g> +<!-- If9->Start2 --> +<g id="edge2" class="edge"> +<title>If9->Start2:p0</title> +<path fill="none" stroke="red" d="M286.26,-784.2C288.21,-794.57 289.98,-806.42 290.68,-817.97"/> +<polygon fill="red" stroke="red" points="287.18,-818.12 291,-828 294.18,-817.89 287.18,-818.12"/> +<text text-anchor="middle" x="283.26" y="-786.8" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> +</g> +<!-- If9->Start2 --> +<g id="edge3" class="edge"> +<title>If9->Start2:p1</title> +<path fill="none" stroke="black" d="M309.94,-784.28C317.27,-794.18 323.65,-805.76 326.02,-818.03"/> +<polygon fill="black" stroke="black" points="322.54,-818.39 327,-828 329.51,-817.71 322.54,-818.39"/> +<text text-anchor="middle" x="306.94" y="-786.88" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Con_13 --> +<g id="node7" class="node"> +<title>Con_13</title> +<ellipse fill="none" stroke="black" cx="279" cy="-394" rx="27" ry="18"/> +<text text-anchor="middle" x="279" y="-390.3" font-family="Times,serif" font-size="14.00">#1</text> +</g> +<!-- Con_14 --> +<g id="node8" class="node"> +<title>Con_14</title> +<ellipse fill="none" stroke="black" cx="413" cy="-852" rx="27" ry="18"/> +<text text-anchor="middle" x="413" y="-848.3" font-family="Times,serif" font-size="14.00">#2</text> +</g> +<!-- EQNode15 --> +<g id="node9" class="node"> +<title>EQNode15</title> +<ellipse fill="none" stroke="black" cx="413" cy="-752" rx="27" ry="18"/> +<text text-anchor="middle" x="413" y="-748.3" font-family="Times,serif" font-size="14.00">==</text> +</g> +<!-- EQNode15->Start2 --> +<g id="edge4" class="edge"> +<title>EQNode15->Start2:p1</title> +<path fill="none" stroke="black" d="M403.94,-769.18C391.81,-790 369.82,-824.8 352.53,-835.66"/> +<polygon fill="black" stroke="black" points="351.28,-832.39 343,-839 353.59,-838.99 351.28,-832.39"/> +<text text-anchor="middle" x="400.94" y="-771.78" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- EQNode15->Con_14 --> +<g id="edge5" class="edge"> +<title>EQNode15->Con_14</title> +<path fill="none" stroke="black" d="M413,-770.07C413,-784.88 413,-806.57 413,-823.77"/> +<polygon fill="black" stroke="black" points="409.5,-823.8 413,-833.8 416.5,-823.8 409.5,-823.8"/> +<text text-anchor="middle" x="410" y="-772.67" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- If16 --> +<g id="node10" class="node"> +<title>If16</title> +<polygon fill="yellow" stroke="transparent" points="380,-655 380,-680 474,-680 474,-655 380,-655"/> +<polygon fill="none" stroke="black" points="380,-655 380,-680 474,-680 474,-655 380,-655"/> +<text text-anchor="start" x="421.5" y="-663.8" font-family="Times,serif" font-size="14.00">If</text> +<polygon fill="none" stroke="black" points="380,-624 380,-655 474,-655 474,-624 380,-624"/> +<polygon fill="yellow" stroke="transparent" points="385,-629 385,-650 425,-650 425,-629 385,-629"/> +<polygon fill="none" stroke="black" points="385,-629 385,-650 425,-650 425,-629 385,-629"/> +<text text-anchor="start" x="388" y="-635.8" font-family="Times,serif" font-size="14.00">True</text> +<polygon fill="yellow" stroke="transparent" points="425,-629 425,-650 469,-650 469,-629 425,-629"/> +<polygon fill="none" stroke="black" points="425,-629 425,-650 469,-650 469,-629 425,-629"/> +<text text-anchor="start" x="428" y="-635.8" font-family="Times,serif" font-size="14.00">False</text> +</g> +<!-- If16->If9 --> +<g id="edge6" class="edge"> +<title>If16->If9:p0</title> +<path fill="none" stroke="red" d="M371.81,-671.79C331.47,-686.19 280.89,-705.86 263.34,-719.58"/> +<polygon fill="red" stroke="red" points="260.22,-717.91 257,-728 265.81,-722.12 260.22,-717.91"/> +<text text-anchor="middle" x="368.81" y="-665.39" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> +</g> +<!-- If16->EQNode15 --> +<g id="edge7" class="edge"> +<title>If16->EQNode15</title> +<path fill="none" stroke="black" d="M422.57,-684.01C420.75,-696.76 418.66,-711.4 416.9,-723.73"/> +<polygon fill="black" stroke="black" points="413.4,-723.48 415.45,-733.87 420.33,-724.47 413.4,-723.48"/> +<text text-anchor="middle" x="419.57" y="-686.61" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Con_20 --> +<g id="node11" class="node"> +<title>Con_20</title> +<ellipse fill="none" stroke="black" cx="134" cy="-652" rx="27" ry="18"/> +<text text-anchor="middle" x="134" y="-648.3" font-family="Times,serif" font-size="14.00">#2</text> +</g> +<!-- Con_21 --> +<g id="node12" class="node"> +<title>Con_21</title> +<ellipse fill="none" stroke="black" cx="206" cy="-652" rx="27" ry="18"/> +<text text-anchor="middle" x="206" y="-648.3" font-family="Times,serif" font-size="14.00">#3</text> +</g> +<!-- Region22 --> +<g id="node13" class="node"> +<title>Region22</title> +<polygon fill="yellow" stroke="black" points="446,-584 380,-584 380,-548 446,-548 446,-584"/> +<text text-anchor="middle" x="413" y="-562.3" font-family="Times,serif" font-size="14.00">Region</text> +</g> +<!-- Region22->If16 --> +<g id="edge8" class="edge"> +<title>Region22->If16:p0</title> +<path fill="none" stroke="red" d="M409.56,-584.01C407.87,-593.54 406.04,-605.9 405.32,-617.98"/> +<polygon fill="red" stroke="red" points="401.82,-617.89 405,-628 408.81,-618.12 401.82,-617.89"/> +<text text-anchor="middle" x="406.56" y="-586.61" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Region22->If16 --> +<g id="edge9" class="edge"> +<title>Region22->If16:p1</title> +<path fill="none" stroke="red" d="M428.61,-584.03C435.66,-593.13 443.03,-605.06 445.83,-617.72"/> +<polygon fill="red" stroke="red" points="442.39,-618.46 447,-628 449.35,-617.67 442.39,-618.46"/> +<text text-anchor="middle" x="425.61" y="-586.63" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Phi_c23 --> +<g id="node14" class="node"> +<title>Phi_c23</title> +<ellipse fill="lightyellow" stroke="black" cx="170" cy="-566" rx="27" ry="18"/> +<text text-anchor="middle" x="170" y="-562.3" font-family="Times,serif" font-size="14.00">φ_c</text> +</g> +<!-- Phi_c23->Con_20 --> +<g id="edge11" class="edge"> +<title>Phi_c23->Con_20</title> +<path fill="none" stroke="black" d="M162.89,-583.6C157.81,-595.45 150.88,-611.62 145.08,-625.15"/> +<polygon fill="black" stroke="black" points="141.82,-623.87 141.1,-634.44 148.25,-626.63 141.82,-623.87"/> +<text text-anchor="middle" x="159.89" y="-586.2" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Phi_c23->Con_21 --> +<g id="edge12" class="edge"> +<title>Phi_c23->Con_21</title> +<path fill="none" stroke="black" d="M177.11,-583.6C182.19,-595.45 189.12,-611.62 194.92,-625.15"/> +<polygon fill="black" stroke="black" points="191.75,-626.63 198.9,-634.44 198.18,-623.87 191.75,-626.63"/> +<text text-anchor="middle" x="174.11" y="-586.2" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Phi_c23->Region22 --> +<g id="edge10" class="edge"> +<title>Phi_c23->Region22</title> +<path fill="none" stroke="black" stroke-dasharray="1,5" d="M197.05,-566C254.48,-566 311.91,-566 369.34,-566"/> +<polygon fill="black" stroke="black" points="369.68,-569.5 379.68,-566 369.68,-562.5 369.68,-569.5"/> +<text text-anchor="middle" x="200.05" y="-559.6" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> +</g> +<!-- If24 --> +<g id="node15" class="node"> +<title>If24</title> +<polygon fill="yellow" stroke="transparent" points="375,-483 375,-508 469,-508 469,-483 375,-483"/> +<polygon fill="none" stroke="black" points="375,-483 375,-508 469,-508 469,-483 375,-483"/> +<text text-anchor="start" x="416.5" y="-491.8" font-family="Times,serif" font-size="14.00">If</text> +<polygon fill="none" stroke="black" points="375,-452 375,-483 469,-483 469,-452 375,-452"/> +<polygon fill="yellow" stroke="transparent" points="380,-457 380,-478 420,-478 420,-457 380,-457"/> +<polygon fill="none" stroke="black" points="380,-457 380,-478 420,-478 420,-457 380,-457"/> +<text text-anchor="start" x="383" y="-463.8" font-family="Times,serif" font-size="14.00">True</text> +<polygon fill="yellow" stroke="transparent" points="420,-457 420,-478 464,-478 464,-457 420,-457"/> +<polygon fill="none" stroke="black" points="420,-457 420,-478 464,-478 464,-457 420,-457"/> +<text text-anchor="start" x="423" y="-463.8" font-family="Times,serif" font-size="14.00">False</text> +</g> +<!-- If24->Start2 --> +<g id="edge14" class="edge"> +<title>If24->Start2:p1</title> +<path fill="none" stroke="black" d="M392.77,-512.23C384.4,-522.84 376.15,-535.26 371,-548 331.39,-645.92 367.43,-681.24 343,-784 339.09,-800.45 330.97,-805.48 328.06,-817.95"/> +<polygon fill="black" stroke="black" points="324.57,-817.69 327,-828 331.53,-818.42 324.57,-817.69"/> +<text text-anchor="middle" x="389.77" y="-514.83" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- If24->Region22 --> +<g id="edge13" class="edge"> +<title>If24->Region22</title> +<path fill="none" stroke="red" d="M418.65,-512.28C417.76,-520.58 416.81,-529.48 415.94,-537.56"/> +<polygon fill="red" stroke="red" points="412.45,-537.28 414.86,-547.6 419.41,-538.02 412.45,-537.28"/> +<text text-anchor="middle" x="415.65" y="-514.88" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> +</g> +<!-- Con_28 --> +<g id="node16" class="node"> +<title>Con_28</title> +<ellipse fill="none" stroke="black" cx="135" cy="-480" rx="27" ry="18"/> +<text text-anchor="middle" x="135" y="-476.3" font-family="Times,serif" font-size="14.00">#2</text> +</g> +<!-- Con_29 --> +<g id="node17" class="node"> +<title>Con_29</title> +<ellipse fill="none" stroke="black" cx="207" cy="-480" rx="27" ry="18"/> +<text text-anchor="middle" x="207" y="-476.3" font-family="Times,serif" font-size="14.00">#3</text> +</g> +<!-- Region30 --> +<g id="node18" class="node"> +<title>Region30</title> +<polygon fill="yellow" stroke="black" points="482,-412 416,-412 416,-376 482,-376 482,-412"/> +<text text-anchor="middle" x="449" y="-390.3" font-family="Times,serif" font-size="14.00">Region</text> +</g> +<!-- Region30->If24 --> +<g id="edge15" class="edge"> +<title>Region30->If24:p0</title> +<path fill="none" stroke="red" d="M424.79,-412.2C414.85,-420.99 404.86,-432.65 401.33,-446"/> +<polygon fill="red" stroke="red" points="397.85,-445.63 400,-456 404.79,-446.55 397.85,-445.63"/> +<text text-anchor="middle" x="421.79" y="-414.8" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Region30->If24 --> +<g id="edge16" class="edge"> +<title>Region30->If24:p1</title> +<path fill="none" stroke="red" d="M445.99,-412.03C444.51,-421.56 442.91,-433.93 442.28,-446"/> +<polygon fill="red" stroke="red" points="438.78,-445.91 442,-456 445.78,-446.1 438.78,-445.91"/> +<text text-anchor="middle" x="442.99" y="-414.63" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Phi_b31 --> +<g id="node19" class="node"> +<title>Phi_b31</title> +<ellipse fill="lightyellow" stroke="black" cx="135" cy="-394" rx="27.1" ry="18"/> +<text text-anchor="middle" x="135" y="-390.3" font-family="Times,serif" font-size="14.00">φ_b</text> +</g> +<!-- Phi_b31->Con_28 --> +<g id="edge18" class="edge"> +<title>Phi_b31->Con_28</title> +<path fill="none" stroke="black" d="M135,-412.4C135,-423.74 135,-438.77 135,-451.68"/> +<polygon fill="black" stroke="black" points="131.5,-451.9 135,-461.9 138.5,-451.9 131.5,-451.9"/> +<text text-anchor="middle" x="132" y="-415" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Phi_b31->Con_29 --> +<g id="edge19" class="edge"> +<title>Phi_b31->Con_29</title> +<path fill="none" stroke="black" d="M147.87,-410.02C158.93,-422.92 175.04,-441.71 187.65,-456.42"/> +<polygon fill="black" stroke="black" points="185.07,-458.8 194.24,-464.11 190.39,-454.24 185.07,-458.8"/> +<text text-anchor="middle" x="144.87" y="-412.62" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Phi_b31->Region30 --> +<g id="edge17" class="edge"> +<title>Phi_b31->Region30</title> +<path fill="none" stroke="black" stroke-dasharray="1,5" d="M149.22,-378.43C157.37,-370.68 168.29,-362.11 180,-358 224.67,-342.33 347.58,-344.66 393,-358 401.94,-360.63 410.81,-365.17 418.76,-370.16"/> +<polygon fill="black" stroke="black" points="417.05,-373.23 427.3,-375.91 420.96,-367.43 417.05,-373.23"/> +<text text-anchor="middle" x="146.22" y="-372.03" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> +</g> +<!-- Region32 --> +<g id="node20" class="node"> +<title>Region32</title> +<polygon fill="yellow" stroke="black" points="390,-340 324,-340 324,-304 390,-304 390,-340"/> +<text text-anchor="middle" x="357" y="-318.3" font-family="Times,serif" font-size="14.00">Region</text> +</g> +<!-- Region32->If9 --> +<g id="edge21" class="edge"> +<title>Region32->If9:p1</title> +<path fill="none" stroke="red" d="M369.73,-340.15C376.29,-350.08 383.61,-363.12 387,-376 391.08,-391.47 392.32,-396.91 387,-412 380.17,-431.38 366.81,-429.44 358,-448 304.99,-559.76 299.28,-598.69 299.01,-717.76"/> +<polygon fill="red" stroke="red" points="295.51,-718 299,-728 302.51,-718 295.51,-718"/> +<text text-anchor="middle" x="366.73" y="-342.75" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Region32->Region30 --> +<g id="edge20" class="edge"> +<title>Region32->Region30</title> +<path fill="none" stroke="red" d="M379.74,-340.3C391.44,-349.2 405.86,-360.18 418.51,-369.8"/> +<polygon fill="red" stroke="red" points="416.44,-372.63 426.52,-375.9 420.68,-367.06 416.44,-372.63"/> +<text text-anchor="middle" x="376.74" y="-342.9" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Phi_a33 --> +<g id="node21" class="node"> +<title>Phi_a33</title> +<ellipse fill="lightyellow" stroke="black" cx="279" cy="-322" rx="27" ry="18"/> +<text text-anchor="middle" x="279" y="-318.3" font-family="Times,serif" font-size="14.00">φ_a</text> +</g> +<!-- Phi_a33->Con_6 --> +<g id="edge24" class="edge"> +<title>Phi_a33->Con_6</title> +<path fill="none" stroke="black" d="M293.57,-337.17C303.75,-347.06 317.52,-360.45 329.03,-371.64"/> +<polygon fill="black" stroke="black" points="326.59,-374.15 336.2,-378.62 331.47,-369.13 326.59,-374.15"/> +<text text-anchor="middle" x="290.57" y="-339.77" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Phi_a33->Con_13 --> +<g id="edge23" class="edge"> +<title>Phi_a33->Con_13</title> +<path fill="none" stroke="black" d="M279,-340.3C279,-348.02 279,-357.29 279,-365.89"/> +<polygon fill="black" stroke="black" points="275.5,-365.9 279,-375.9 282.5,-365.9 275.5,-365.9"/> +<text text-anchor="middle" x="276" y="-342.9" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Phi_a33->Region32 --> +<g id="edge22" class="edge"> +<title>Phi_a33->Region32</title> +<path fill="none" stroke="black" stroke-dasharray="1,5" d="M306.12,-322C308.58,-322 311.04,-322 313.5,-322"/> +<polygon fill="black" stroke="black" points="313.61,-325.5 323.61,-322 313.61,-318.5 313.61,-325.5"/> +<text text-anchor="middle" x="309.12" y="-315.6" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> +</g> +<!-- Phi_b34 --> +<g id="node22" class="node"> +<title>Phi_b34</title> +<ellipse fill="lightyellow" stroke="black" cx="207" cy="-322" rx="27.1" ry="18"/> +<text text-anchor="middle" x="207" y="-318.3" font-family="Times,serif" font-size="14.00">φ_b</text> +</g> +<!-- Phi_b34->Con_7 --> +<g id="edge27" class="edge"> +<title>Phi_b34->Con_7</title> +<path fill="none" stroke="black" d="M207,-340.3C207,-348.02 207,-357.29 207,-365.89"/> +<polygon fill="black" stroke="black" points="203.5,-365.9 207,-375.9 210.5,-365.9 203.5,-365.9"/> +<text text-anchor="middle" x="204" y="-342.9" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Phi_b34->Phi_b31 --> +<g id="edge26" class="edge"> +<title>Phi_b34->Phi_b31</title> +<path fill="none" stroke="black" d="M192.08,-337.5C182.04,-347.27 168.62,-360.31 157.32,-371.3"/> +<polygon fill="black" stroke="black" points="154.63,-369.03 149.9,-378.51 159.51,-374.05 154.63,-369.03"/> +<text text-anchor="middle" x="189.08" y="-340.1" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Phi_b34->Region32 --> +<g id="edge25" class="edge"> +<title>Phi_b34->Region32</title> +<path fill="none" stroke="black" stroke-dasharray="1,5" d="M221.22,-306.43C229.37,-298.68 240.29,-290.11 252,-286 274.65,-278.06 283.12,-278.74 306,-286 313.99,-288.54 321.81,-292.83 328.83,-297.58"/> +<polygon fill="black" stroke="black" points="327.11,-300.66 337.24,-303.75 331.25,-295.01 327.11,-300.66"/> +<text text-anchor="middle" x="218.22" y="-300.03" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> +</g> +<!-- Phi_c35 --> +<g id="node23" class="node"> +<title>Phi_c35</title> +<ellipse fill="lightyellow" stroke="black" cx="112" cy="-322" rx="27" ry="18"/> +<text text-anchor="middle" x="112" y="-318.3" font-family="Times,serif" font-size="14.00">φ_c</text> +</g> +<!-- Phi_c35->Con_8 --> +<g id="edge30" class="edge"> +<title>Phi_c35->Con_8</title> +<path fill="none" stroke="black" d="M97.7,-337.5C88.08,-347.27 75.22,-360.31 64.39,-371.3"/> +<polygon fill="black" stroke="black" points="61.81,-368.94 57.28,-378.51 66.79,-373.85 61.81,-368.94"/> +<text text-anchor="middle" x="94.7" y="-340.1" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Phi_c35->Phi_c23 --> +<g id="edge29" class="edge"> +<title>Phi_c35->Phi_c23</title> +<path fill="none" stroke="black" d="M105.53,-339.52C93.19,-373.79 70.03,-454.23 99,-512 107.39,-528.74 123.86,-541.54 138.82,-550.37"/> +<polygon fill="black" stroke="black" points="137.41,-553.59 147.86,-555.35 140.79,-547.46 137.41,-553.59"/> +<text text-anchor="middle" x="102.53" y="-342.12" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Phi_c35->Region32 --> +<g id="edge28" class="edge"> +<title>Phi_c35->Region32</title> +<path fill="none" stroke="black" stroke-dasharray="1,5" d="M130.62,-308.94C143.75,-300.56 162.11,-290.44 180,-286 234.35,-272.5 252.62,-269.06 306,-286 313.99,-288.54 321.81,-292.83 328.83,-297.58"/> +<polygon fill="black" stroke="black" points="327.11,-300.66 337.24,-303.75 331.25,-295.01 327.11,-300.66"/> +<text text-anchor="middle" x="127.62" y="-302.54" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> +</g> +<!-- Add36 --> +<g id="node24" class="node"> +<title>Add36</title> +<ellipse fill="none" stroke="black" cx="207" cy="-250" rx="27" ry="18"/> +<text text-anchor="middle" x="207" y="-246.3" font-family="Times,serif" font-size="14.00">+</text> +</g> +<!-- Add36->Phi_b34 --> +<g id="edge32" class="edge"> +<title>Add36->Phi_b34</title> +<path fill="none" stroke="black" d="M207,-268.3C207,-276.02 207,-285.29 207,-293.89"/> +<polygon fill="black" stroke="black" points="203.5,-293.9 207,-303.9 210.5,-293.9 203.5,-293.9"/> +<text text-anchor="middle" x="204" y="-270.9" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Add36->Phi_c35 --> +<g id="edge31" class="edge"> +<title>Add36->Phi_c35</title> +<path fill="none" stroke="black" d="M189.58,-263.84C175.07,-274.53 154.21,-289.9 137.77,-302.01"/> +<polygon fill="black" stroke="black" points="135.61,-299.26 129.64,-308.01 139.76,-304.89 135.61,-299.26"/> +<text text-anchor="middle" x="186.58" y="-266.44" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Add37 --> +<g id="node25" class="node"> +<title>Add37</title> +<ellipse fill="none" stroke="black" cx="279" cy="-178" rx="27" ry="18"/> +<text text-anchor="middle" x="279" y="-174.3" font-family="Times,serif" font-size="14.00">+</text> +</g> +<!-- Add37->Phi_a33 --> +<g id="edge34" class="edge"> +<title>Add37->Phi_a33</title> +<path fill="none" stroke="black" d="M279,-196.13C279,-220.33 279,-264.79 279,-293.61"/> +<polygon fill="black" stroke="black" points="275.5,-293.81 279,-303.81 282.5,-293.81 275.5,-293.81"/> +<text text-anchor="middle" x="276" y="-198.73" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> +</g> +<!-- Add37->Add36 --> +<g id="edge33" class="edge"> +<title>Add37->Add36</title> +<path fill="none" stroke="black" d="M264.43,-193.17C254.25,-203.06 240.48,-216.45 228.97,-227.64"/> +<polygon fill="black" stroke="black" points="226.53,-225.13 221.8,-234.62 231.41,-230.15 226.53,-225.13"/> +<text text-anchor="middle" x="261.43" y="-195.77" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +<!-- Return38->Region32 --> +<g id="edge35" class="edge"> +<title>Return38->Region32</title> +<path fill="none" stroke="red" d="M306.41,-124.15C315.94,-161.25 338.54,-249.19 350.03,-293.9"/> +<polygon fill="red" stroke="red" points="346.69,-294.95 352.57,-303.77 353.47,-293.21 346.69,-294.95"/> +<text text-anchor="middle" x="303.41" y="-126.75" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> +</g> +<!-- Return38->Add37 --> +<g id="edge36" class="edge"> +<title>Return38->Add37</title> +<path fill="none" stroke="black" d="M296.31,-124.3C293.75,-132.1 290.67,-141.49 287.82,-150.17"/> +<polygon fill="black" stroke="black" points="284.42,-149.3 284.62,-159.9 291.07,-151.49 284.42,-149.3"/> +<text text-anchor="middle" x="293.31" y="-126.9" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> +</g> +</g> +</svg> |