*** old/hotspot/src/share/vm/opto/graphKit.cpp	Wed Sep  4 13:51:49 2013
--- new/hotspot/src/share/vm/opto/graphKit.cpp	Wed Sep  4 13:51:49 2013

*** 3823,3834 ****
--- 3823,3839 ----
    const TypePtr* value_field_type = string_type->add_offset(value_offset);
    const TypeAryPtr*  value_type = TypeAryPtr::make(TypePtr::NotNull,
                                                     TypeAry::make(TypeInt::CHAR,TypeInt::POS),
                                                     ciTypeArrayKlass::make(T_CHAR), true, 0);
    int value_field_idx = C->get_alias_index(value_field_type);
!   return make_load(ctrl, basic_plus_adr(str, str, value_offset),
!   Node* load = make_load(ctrl, basic_plus_adr(str, str, value_offset),
                           value_type, T_OBJECT, value_field_idx);
+   // String.value field is known to be @Stable.
+   if (UseImplicitStableValues) {
+     load = cast_array_to_stable(load, value_type);
+   }
+   return load;
  }
  
  void GraphKit::store_String_offset(Node* ctrl, Node* str, Node* value) {
    int offset_offset = java_lang_String::offset_offset_in_bytes();
    const TypeInstPtr* string_type = TypeInstPtr::make(TypePtr::NotNull, C->env()->String_klass(),

*** 3842,3854 ****
--- 3847,3856 ----
  void GraphKit::store_String_value(Node* ctrl, Node* str, Node* value) {
    int value_offset = java_lang_String::value_offset_in_bytes();
    const TypeInstPtr* string_type = TypeInstPtr::make(TypePtr::NotNull, C->env()->String_klass(),
                                                       false, NULL, 0);
    const TypePtr* value_field_type = string_type->add_offset(value_offset);
    const TypeAryPtr*  value_type = TypeAryPtr::make(TypePtr::NotNull,
                                                     TypeAry::make(TypeInt::CHAR,TypeInt::POS),
                                                     ciTypeArrayKlass::make(T_CHAR), true, 0);
    int value_field_idx = C->get_alias_index(value_field_type);
    store_to_memory(ctrl, basic_plus_adr(str, value_offset),
                    value, T_OBJECT, value_field_idx);
  }
  

*** 3859,3863 ****
--- 3861,3871 ----
    const TypePtr* count_field_type = string_type->add_offset(count_offset);
    int count_field_idx = C->get_alias_index(count_field_type);
    store_to_memory(ctrl, basic_plus_adr(str, count_offset),
                    value, T_INT, count_field_idx);
  }
+ 
+ Node* GraphKit::cast_array_to_stable(Node* ary, const TypeAryPtr* ary_type) {
+   // Reify the property as a CastPP node in Ideal graph to comply with monotonicity
+   // assumption of CCP analysis.
+   return _gvn.transform(new(C) CastPPNode(ary, ary_type->cast_to_stable(true)));
+ }