This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


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
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

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]