Patchwork [graphite] Invalidate post dominance information after loop closed SSA canonicalization.

login
register
mail settings
Submitter Vladimir Kargov
Date Nov. 18, 2010, 10:16 p.m.
Message ID <AANLkTimZknhpQCSTLiyjjnbAGa200aqtw6WCOFHfiPSv@mail.gmail.com>
Download mbox | patch
Permalink /patch/72157/
State New
Headers show

Comments

Vladimir Kargov - Nov. 18, 2010, 10:16 p.m.
Hello,

This patch for the Graphite branch invalidates post dominance
information at the end of canonicalize_loop_closed_ssa(), because that
function was able to change the CFG of the program without properly
correcting or invalidating the post dominance info.

       * graphite-scop-detection.c (canonicalize_loop_closed_ssa): Free post
       dominance information after loop closed SSA canonicalization.

Best regards,
--
Vladimir

Patch

Index: gcc/graphite-scop-detection.c
===================================================================
--- gcc/graphite-scop-detection.c	(revision 166917)
+++ gcc/graphite-scop-detection.c	(working copy)
@@ -1268,6 +1268,10 @@  canonicalize_loop_closed_ssa (loop_p loop)
 	      }
 	}
     }
+
+  /* The code above does not properly handle changes in the post dominance
+     information (yet).  */
+  free_dominance_info (CDI_POST_DOMINATORS);
 }
 
 /* Converts the current loop closed SSA form to a canonical form