diff src/share/vm/opto/graphKit.hpp @ 12869:d9043b88eeb3

8024067: Missing replace_in_map() calls following null checks Summary: add replace_in_map() calls following some null checks in type checks Reviewed-by: kvn
author roland
date Thu, 03 Oct 2013 10:55:07 +0200
parents edb5ab0f3fe5
children b2ee5dc63353
line wrap: on
line diff
--- a/src/share/vm/opto/graphKit.hpp	Mon Oct 07 10:41:56 2013 -0700
+++ b/src/share/vm/opto/graphKit.hpp	Thu Oct 03 10:55:07 2013 +0200
@@ -378,8 +378,10 @@
   // Return a cast-not-null node which depends on the not-null control.
   // If never_see_null, use an uncommon trap (*null_control sees a top).
   // The cast is not valid along the null path; keep a copy of the original.
+  // If safe_for_replace, then we can replace the value with the cast
+  // in the parsing map (the cast is guaranteed to dominate the map)
   Node* null_check_oop(Node* value, Node* *null_control,
-                       bool never_see_null = false);
+                       bool never_see_null = false, bool safe_for_replace = false);
 
   // Check the null_seen bit.
   bool seems_never_null(Node* obj, ciProfileData* data);