#6[0] → #1 · ASSOC#7[0] → #1 · ASSOC#8[1] → #3 · MEM#8[2] → #5 · DATA#8[3] → #7 · DATA#9[1] → #3 · MEM#9[2] → #5 · DATA#9[3] → #6 · DATA#11[1] → #9 · MEM#11[2] → #19 · MEM#12[1] → #4 · DATA#12[2] → #21 · DATA#17[0] → #15 · CTRL#17[1] → #11 · MEM#17[2] → #5 · DATA#18[1] → #17 · DATA#18[2] → #12 · DATA#19[0] → #15 · CTRL#19[1] → #11 · MEM#19[2] → #5 · DATA#19[3] → #18 · DATA#20[0] → #1 · ASSOC#21[1] → #12 · DATA#21[2] → #20 · DATA#22[1] → #3 · MEM#22[2] → #8 · MEM#22[3] → #11 · MEM#23[0] → #16 · CTRL#23[1] → #8 · MEM#23[2] → #5 · DATA#24[1] → #22 · MEM#24[2] → #23 · DATAStart #1#1 Start
Type not computed
$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] → — CTRL0#0 #6#6 #0
Type not computed
[0] → #1 ASSOC0#42 #7#7 #42
Type not computed
[0] → #1 ASSOC0Store p.x #8MEM#2#8 Store p.x
MEM#2
[0] → — CTRL
[1] → #3 MEM
[2] → #5 DATA
[3] → #7 DATA0123Store p.y #9MEM#3#9 Store p.y
MEM#3
[0] → — CTRL
[1] → #3 MEM
[2] → #5 DATA
[3] → #6 DATA0123MemPhi y #11MEM#3#11 MemPhi y
MEM#3
[0] → — ASSOC
[1] → #9 MEM
[2] → #19 MEM012Phi arg #12#12 Phi arg
Type not computed
[0] → — ASSOC
[1] → #4 DATA
[2] → #21 DATA012True #15/0#15 True
Projection 0 of #0
Type not computed
False #16/1#16 False
Projection 1 of #0
Type not computed
Load p.y #17#17 Load p.y
Type not computed
[0] → #15 CTRL
[1] → #11 MEM
[2] → #5 DATA
[3] → — DATA0123+ #18#18 +
Type not computed
[0] → — CTRL
[1] → #17 DATA
[2] → #12 DATA012Store p.y #19MEM#3#19 Store p.y
MEM#3
[0] → #15 CTRL
[1] → #11 MEM
[2] → #5 DATA
[3] → #18 DATA0123#1 #20#20 #1
Type not computed
[0] → #1 ASSOC0- #21#21 -
Type not computed
[0] → — CTRL
[1] → #12 DATA
[2] → #20 DATA012MemMerge #22#22 MemMerge
Type not computed
[0] → — CTRL
[1] → #3 MEM
[2] → #8 MEM
[3] → #11 MEM0123Load p.x #23#23 Load p.x
Type not computed
[0] → #16 CTRL
[1] → #8 MEM
[2] → #5 DATA
[3] → — DATA0123Return #24#24 Return
Type not computed
[0] → — CTRL
[1] → #22 MEM
[2] → #23 DATA012