From e31c37890a86aedfb209cf543baf05b1b60a27d2 Mon Sep 17 00:00:00 2001 From: Dibyendu Majumdar Date: Mon, 29 Apr 2024 00:11:36 +0100 Subject: Ch10update (#75) * Store-after-Store peep * Load-after-Store peephole * Fix graph viz mem edge color bug * Scalar replace loop carried dependence * #67 Dead Not node hanging around - if we add a Not in the upcast then add it to the IterPeeps worklist to ensure it gets cleaned up. We don't see the Not node in the parser hence we cannot do a peep on it there. * #67 Update visuals. Add description of Store-Store and Store-Load peeps. Add examples. * #67 Undo the change that wasn't supposed to be committed! * #67 Update description of the Store-Store and Store-Load peepholes --------- Co-authored-by: Cliff Click --- chapter10/docs/example1.svg | 435 +++++++++++++++++++++----------------------- 1 file changed, 204 insertions(+), 231 deletions(-) (limited to 'chapter10/docs/example1.svg') diff --git a/chapter10/docs/example1.svg b/chapter10/docs/example1.svg index 0c2dfa4d..6f493e7e 100644 --- a/chapter10/docs/example1.svg +++ b/chapter10/docs/example1.svg @@ -4,318 +4,291 @@ - + chapter10 - + cluster_Nodes - + Start2 - - -Start - - - -$ctrl - -arg - -$Vector2D_x - -$Vector2D_y + + +Start + + + +$ctrl + +arg + +$2 + +$3 Stop3 - -Stop + +Stop - - -Return24 - -Return + + +Return27 + +Return - + -Stop3->Return24 - - -0 +Stop3->Return27 + + +0 - + -New8 - -New Ptr(Vector2D) +new8 + +new Vector2D - + -New8->Start2:p0 - - -0 +new8->Start2:p0 + + +0 Con_9 - -#0 - - - -Store10 - -Store - - - -Store10->Start2:p2 - - -1 - - - -Store10->New8 - - -2 - - - -Store10->Con_9 - - -3 + +#0 - + Store11 - -Store + +.y = - + Store11->Start2:p3 - - -1 + + +1 - - -Store11->New8 - - -2 + + +Store11->new8 + + +2 - + Store11->Con_9 - - -3 + + +3 - + Con_12 - -#1 + +#1 - + Store13 - -Store + +.x = - - -Store13->New8 - - -2 + + +Store13->Start2:p2 + + +1 - - -Store13->Store10 - - -1 + + +Store13->new8 + + +2 - + Store13->Con_12 - - -3 + + +3 - + If14 - - -If - - - -True - - -False + + +If + + + +True + + +False - + If14->Start2:p0 - - -0 - - - -If14->Start2:p1 - - -1 + + +0 - + Con_18 - -#2 + +#2 - + Store19 - -Store + +.y = - - -Store19->New8 - - -2 + + +Store19->new8 + + + +2 - + Store19->Store11 - - -1 + + +1 - + Store19->Con_18 - - -3 + + +3 + + + +Con_22 + +#3 - + -Con_20 - -#3 +Store23 + +.y = - - -Store21 - -Store + + +Store23->new8 + +2 - - -Store21->New8 - - -2 + + +Store23->Store11 + + +1 + + + +Store23->Con_22 + + +3 + + + +Region24 + +Region - + -Store21->Store11 - - -1 +Region24->If14:p0 + + +1 - - -Store21->Con_20 - - -3 + + +Region24->If14:p1 + + +2 - + -Region22 - -Region +Phi_326 + +φ_$3 - + -Region22->If14:p0 - - -1 - - - -Phi_Vector2D_y23 - -φ_$Vector2D_y +Phi_326->Store19 + + +1 + + + +Phi_326->Store23 + + +2 + + + +Phi_326->Region24 + + +0 - + -Phi_Vector2D_y23->Store19 - - -1 +Return27->new8 + + +1 - + -Phi_Vector2D_y23->Store21 - - -2 +Return27->Store13 + + +2 - + -Phi_Vector2D_y23->Region22 - - -0 - - - -Return24->New8 - - -1 - - - -Return24->Store13 - - -2 - - +Return27->Region24 + + +0 + + -Return24->Region22 - - -0 - - - -Return24->Phi_Vector2D_y23 - - -3 +Return27->Phi_326 + + +3 -- cgit v1.2.3