diff src/share/vm/opto/compile.hpp @ 13045:94a83e0f9ce1

8017065: C2 allows safepoint checks to leak into G1 pre-barriers Summary: Make all raw loads strictly respect control dependencies, make sure RCE doesn't move raw loads, add verification of G1 pre-barriers. Reviewed-by: kvn, roland
author iveresov
date Tue, 05 Nov 2013 01:57:18 -0800
parents b2ee5dc63353
children 86e6d691f2e1 4cdf4f71177d
line wrap: on
line diff
--- a/src/share/vm/opto/compile.hpp	Tue Nov 05 00:59:30 2013 -0800
+++ b/src/share/vm/opto/compile.hpp	Tue Nov 05 01:57:18 2013 -0800
@@ -1148,6 +1148,9 @@
   // graph is strongly connected from root in both directions.
   void verify_graph_edges(bool no_dead_code = false) PRODUCT_RETURN;
 
+  // Verify GC barrier patterns
+  void verify_barriers() PRODUCT_RETURN;
+
   // End-of-run dumps.
   static void print_statistics() PRODUCT_RETURN;