#5[0] → #2 · CTRL#6[0] → #1 · ASSOC#7[1] → #3 · MEM#7[2] → #5 · DATA#7[3] → #6 · DATA#8[1] → #7 · MEM#8[2] → #5 · DATA#8[3] → #6 · DATA#9[0] → #2 · CTRL#9[1] → #4 · DATA#12[0] → #1 · ASSOC#13[1] → #8 · MEM#13[2] → #5 · DATA#13[3] → #12 · DATA#14[0] → #1 · ASSOC#15[1] → #8 · MEM#15[2] → #5 · DATA#15[3] → #14 · DATA#16[1] → #10 · CTRL#16[2] → #11 · CTRL#17[1] → #13 · MEM#17[2] → #15 · MEM#18[1] → #17 · MEM#18[2] → #5 · DATA#19[0] → #16 · CTRL#19[1] → #17 · MEM#19[2] → #18 · DATAStart #1#1 Start
Type not computed
$ctrl #2/0#2 $ctrl
Projection 0 of #1
Type not computed
[0] → #1 CTRL$mem #3/1#3 $mem
Projection 1 of #1
Type not computed
[0] → #1 MEMarg #4/2#4 arg
Projection 2 of #1
Type not computed
[0] → #1 DATAnew Point #5#5 new Point
Type not computed
[0] → #2 CTRL0#0 #6#6 #0
Type not computed
[0] → #1 ASSOC0Store p.x #7#7 Store p.x
Type not computed
[0] → — CTRL
[1] → #3 MEM
[2] → #5 DATA
[3] → #6 DATA0123Store p.y #8#8 Store p.y
Type not computed
[0] → — CTRL
[1] → #7 MEM
[2] → #5 DATA
[3] → #6 DATA0123If #9#9 If
Type not computed
[0] → #2 CTRL
[1] → #4 DATA01True #10/0#10 True
Projection 0 of #9
Type not computed
[0] → #9 CTRLFalse #11/1#11 False
Projection 1 of #9
Type not computed
[0] → #9 CTRL#3 #12#12 #3
Type not computed
[0] → #1 ASSOC0Store p.x #13#13 Store p.x
Type not computed
[0] → — CTRL
[1] → #8 MEM
[2] → #5 DATA
[3] → #12 DATA0123#4 #14#14 #4
Type not computed
[0] → #1 ASSOC0Store p.x #15#15 Store p.x
Type not computed
[0] → — CTRL
[1] → #8 MEM
[2] → #5 DATA
[3] → #14 DATA0123Region #16#16 Region
Type not computed
[0] → — ASSOC
[1] → #10 CTRL
[2] → #11 CTRL012Phi $mem #17#17 Phi $mem
Type not computed
[0] → #16 ASSOC
[1] → #13 MEM
[2] → #15 MEM[0] → #16012Load p.x #18#18 Load p.x
Type not computed
[0] → — CTRL
[1] → #17 MEM
[2] → #5 DATA
[3] → — DATA0123Return #19#19 Return
Type not computed
[0] → #16 CTRL
[1] → #17 MEM
[2] → #18 DATA012If #9If · 9 nodes−Fold region