src/share/vm/utilities/accessFlags.hpp
Index Unified diffs Context diffs Sdiffs Patch New Old Previous File Next File 8161987 Sdiff src/share/vm/utilities

src/share/vm/utilities/accessFlags.hpp

Print this page
rev 8156 : 8157181: Compilers accept modification of final fields outside initializer methods
Summary: Track initialized final field updates; disable constant folding if an update is detected.
Reviewed-by: vlivanov, dnsimon, forax, never, kvn, coleenp


  62   JVM_ACC_HAS_VANILLA_CONSTRUCTOR = 0x20000000,     // True if klass has a vanilla default constructor
  63   JVM_ACC_HAS_FINALIZER           = 0x40000000,     // True if klass has a non-empty finalize() method
  64   JVM_ACC_IS_CLONEABLE            = (int)0x80000000,// True if klass supports the Clonable interface
  65   JVM_ACC_HAS_FINAL_METHOD        = 0x01000000,     // True if klass has final method
  66 
  67   // Klass* and Method* flags
  68   JVM_ACC_HAS_LOCAL_VARIABLE_TABLE= 0x00200000,
  69 
  70   JVM_ACC_PROMOTED_FLAGS          = 0x00200000,     // flags promoted from methods to the holding klass
  71 
  72   // field flags
  73   // Note: these flags must be defined in the low order 16 bits because
  74   // InstanceKlass only stores a ushort worth of information from the
  75   // AccessFlags value.
  76   // These bits must not conflict with any other field-related access flags
  77   // (e.g., ACC_ENUM).
  78   // Note that the class-related ACC_ANNOTATION bit conflicts with these flags.
  79   JVM_ACC_FIELD_ACCESS_WATCHED       = 0x00002000,  // field access is watched by JVMTI
  80   JVM_ACC_FIELD_MODIFICATION_WATCHED = 0x00008000,  // field modification is watched by JVMTI
  81   JVM_ACC_FIELD_INTERNAL             = 0x00000400,  // internal field, same as JVM_ACC_ABSTRACT
  82   JVM_ACC_FIELD_STABLE               = 0x00000020,  // @Stable field, same as JVM_ACC_SYNCHRONIZED

  83   JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE = 0x00000800, // field has generic signature
  84 
  85   JVM_ACC_FIELD_INTERNAL_FLAGS       = JVM_ACC_FIELD_ACCESS_WATCHED |
  86                                        JVM_ACC_FIELD_MODIFICATION_WATCHED |
  87                                        JVM_ACC_FIELD_INTERNAL |
  88                                        JVM_ACC_FIELD_STABLE |
  89                                        JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE,
  90 
  91                                                     // flags accepted by set_field_flags()
  92   JVM_ACC_FIELD_FLAGS                = JVM_RECOGNIZED_FIELD_MODIFIERS | JVM_ACC_FIELD_INTERNAL_FLAGS
  93 
  94 };
  95 
  96 
  97 class AccessFlags VALUE_OBJ_CLASS_SPEC {
  98   friend class VMStructs;
  99  private:
 100   jint _flags;
 101 
 102  public:


 133   bool is_old                  () const { return (_flags & JVM_ACC_IS_OLD                 ) != 0; }
 134   bool is_obsolete             () const { return (_flags & JVM_ACC_IS_OBSOLETE            ) != 0; }
 135   bool is_deleted              () const { return (_flags & JVM_ACC_IS_DELETED             ) != 0; }
 136   bool is_prefixed_native      () const { return (_flags & JVM_ACC_IS_PREFIXED_NATIVE     ) != 0; }
 137 
 138   // Klass* flags
 139   bool has_miranda_methods     () const { return (_flags & JVM_ACC_HAS_MIRANDA_METHODS    ) != 0; }
 140   bool has_vanilla_constructor () const { return (_flags & JVM_ACC_HAS_VANILLA_CONSTRUCTOR) != 0; }
 141   bool has_finalizer           () const { return (_flags & JVM_ACC_HAS_FINALIZER          ) != 0; }
 142   bool has_final_method        () const { return (_flags & JVM_ACC_HAS_FINAL_METHOD       ) != 0; }
 143   bool is_cloneable            () const { return (_flags & JVM_ACC_IS_CLONEABLE           ) != 0; }
 144   // Klass* and Method* flags
 145   bool has_localvariable_table () const { return (_flags & JVM_ACC_HAS_LOCAL_VARIABLE_TABLE) != 0; }
 146   void set_has_localvariable_table()    { atomic_set_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); }
 147   void clear_has_localvariable_table()  { atomic_clear_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); }
 148 
 149   // field flags
 150   bool is_field_access_watched() const  { return (_flags & JVM_ACC_FIELD_ACCESS_WATCHED) != 0; }
 151   bool is_field_modification_watched() const
 152                                         { return (_flags & JVM_ACC_FIELD_MODIFICATION_WATCHED) != 0; }


 153   bool on_stack() const                 { return (_flags & JVM_ACC_ON_STACK) != 0; }
 154   bool is_internal() const              { return (_flags & JVM_ACC_FIELD_INTERNAL) != 0; }
 155   bool is_stable() const                { return (_flags & JVM_ACC_FIELD_STABLE) != 0; }
 156   bool field_has_generic_signature() const
 157                                         { return (_flags & JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE) != 0; }
 158 
 159   // get .class file flags
 160   jint get_flags               () const { return (_flags & JVM_ACC_WRITTEN_FLAGS); }
 161 
 162   // Initialization
 163   void add_promoted_flags(jint flags)   { _flags |= (flags & JVM_ACC_PROMOTED_FLAGS); }
 164   void set_field_flags(jint flags)      {
 165     assert((flags & JVM_ACC_FIELD_FLAGS) == flags, "only recognized flags");
 166     _flags = (flags & JVM_ACC_FIELD_FLAGS);
 167   }
 168   void set_flags(jint flags)            { _flags = (flags & JVM_ACC_WRITTEN_FLAGS); }
 169 
 170   void set_queued_for_compilation()    { atomic_set_bits(JVM_ACC_QUEUED); }
 171   void clear_queued_for_compilation()  { atomic_clear_bits(JVM_ACC_QUEUED); }
 172 


 212   void set_has_miranda_methods()       { atomic_set_bits(JVM_ACC_HAS_MIRANDA_METHODS);     }
 213 
 214  public:
 215   // field flags
 216   void set_is_field_access_watched(const bool value)
 217                                        {
 218                                          if (value) {
 219                                            atomic_set_bits(JVM_ACC_FIELD_ACCESS_WATCHED);
 220                                          } else {
 221                                            atomic_clear_bits(JVM_ACC_FIELD_ACCESS_WATCHED);
 222                                          }
 223                                        }
 224   void set_is_field_modification_watched(const bool value)
 225                                        {
 226                                          if (value) {
 227                                            atomic_set_bits(JVM_ACC_FIELD_MODIFICATION_WATCHED);
 228                                          } else {
 229                                            atomic_clear_bits(JVM_ACC_FIELD_MODIFICATION_WATCHED);
 230                                          }
 231                                        }









 232   void set_field_has_generic_signature()
 233                                        {
 234                                          atomic_set_bits(JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE);
 235                                        }
 236 
 237   bool set_on_stack(const bool value)
 238                                        {
 239                                          if (value) {
 240                                            return atomic_set_one_bit(JVM_ACC_ON_STACK);
 241                                          } else {
 242                                            atomic_clear_bits(JVM_ACC_ON_STACK);
 243                                            return true; // Ignored
 244                                          }
 245                                        }
 246   // Conversion
 247   jshort as_short() const              { return (jshort)_flags; }
 248   jint   as_int() const                { return _flags; }
 249 
 250   inline friend AccessFlags accessFlags_from(jint flags);
 251 


  62   JVM_ACC_HAS_VANILLA_CONSTRUCTOR = 0x20000000,     // True if klass has a vanilla default constructor
  63   JVM_ACC_HAS_FINALIZER           = 0x40000000,     // True if klass has a non-empty finalize() method
  64   JVM_ACC_IS_CLONEABLE            = (int)0x80000000,// True if klass supports the Clonable interface
  65   JVM_ACC_HAS_FINAL_METHOD        = 0x01000000,     // True if klass has final method
  66 
  67   // Klass* and Method* flags
  68   JVM_ACC_HAS_LOCAL_VARIABLE_TABLE= 0x00200000,
  69 
  70   JVM_ACC_PROMOTED_FLAGS          = 0x00200000,     // flags promoted from methods to the holding klass
  71 
  72   // field flags
  73   // Note: these flags must be defined in the low order 16 bits because
  74   // InstanceKlass only stores a ushort worth of information from the
  75   // AccessFlags value.
  76   // These bits must not conflict with any other field-related access flags
  77   // (e.g., ACC_ENUM).
  78   // Note that the class-related ACC_ANNOTATION bit conflicts with these flags.
  79   JVM_ACC_FIELD_ACCESS_WATCHED            = 0x00002000, // field access is watched by JVMTI
  80   JVM_ACC_FIELD_MODIFICATION_WATCHED      = 0x00008000, // field modification is watched by JVMTI
  81   JVM_ACC_FIELD_INTERNAL                  = 0x00000400, // internal field, same as JVM_ACC_ABSTRACT
  82   JVM_ACC_FIELD_STABLE                    = 0x00000020, // @Stable field, same as JVM_ACC_SYNCHRONIZED and JVM_ACC_SUPER
  83   JVM_ACC_FIELD_INITIALIZED_FINAL_UPDATE  = 0x00000100, // (static) final field updated outside (class) initializer, same as JVM_ACC_NATIVE
  84   JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE     = 0x00000800, // field has generic signature
  85 
  86   JVM_ACC_FIELD_INTERNAL_FLAGS       = JVM_ACC_FIELD_ACCESS_WATCHED |
  87                                        JVM_ACC_FIELD_MODIFICATION_WATCHED |
  88                                        JVM_ACC_FIELD_INTERNAL |
  89                                        JVM_ACC_FIELD_STABLE |
  90                                        JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE,
  91 
  92                                                     // flags accepted by set_field_flags()
  93   JVM_ACC_FIELD_FLAGS                = JVM_RECOGNIZED_FIELD_MODIFIERS | JVM_ACC_FIELD_INTERNAL_FLAGS
  94 
  95 };
  96 
  97 
  98 class AccessFlags VALUE_OBJ_CLASS_SPEC {
  99   friend class VMStructs;
 100  private:
 101   jint _flags;
 102 
 103  public:


 134   bool is_old                  () const { return (_flags & JVM_ACC_IS_OLD                 ) != 0; }
 135   bool is_obsolete             () const { return (_flags & JVM_ACC_IS_OBSOLETE            ) != 0; }
 136   bool is_deleted              () const { return (_flags & JVM_ACC_IS_DELETED             ) != 0; }
 137   bool is_prefixed_native      () const { return (_flags & JVM_ACC_IS_PREFIXED_NATIVE     ) != 0; }
 138 
 139   // Klass* flags
 140   bool has_miranda_methods     () const { return (_flags & JVM_ACC_HAS_MIRANDA_METHODS    ) != 0; }
 141   bool has_vanilla_constructor () const { return (_flags & JVM_ACC_HAS_VANILLA_CONSTRUCTOR) != 0; }
 142   bool has_finalizer           () const { return (_flags & JVM_ACC_HAS_FINALIZER          ) != 0; }
 143   bool has_final_method        () const { return (_flags & JVM_ACC_HAS_FINAL_METHOD       ) != 0; }
 144   bool is_cloneable            () const { return (_flags & JVM_ACC_IS_CLONEABLE           ) != 0; }
 145   // Klass* and Method* flags
 146   bool has_localvariable_table () const { return (_flags & JVM_ACC_HAS_LOCAL_VARIABLE_TABLE) != 0; }
 147   void set_has_localvariable_table()    { atomic_set_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); }
 148   void clear_has_localvariable_table()  { atomic_clear_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); }
 149 
 150   // field flags
 151   bool is_field_access_watched() const  { return (_flags & JVM_ACC_FIELD_ACCESS_WATCHED) != 0; }
 152   bool is_field_modification_watched() const
 153                                         { return (_flags & JVM_ACC_FIELD_MODIFICATION_WATCHED) != 0; }
 154   bool has_field_initialized_final_update() const
 155                                         { return (_flags & JVM_ACC_FIELD_INITIALIZED_FINAL_UPDATE) != 0; }
 156   bool on_stack() const                 { return (_flags & JVM_ACC_ON_STACK) != 0; }
 157   bool is_internal() const              { return (_flags & JVM_ACC_FIELD_INTERNAL) != 0; }
 158   bool is_stable() const                { return (_flags & JVM_ACC_FIELD_STABLE) != 0; }
 159   bool field_has_generic_signature() const
 160                                         { return (_flags & JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE) != 0; }
 161 
 162   // get .class file flags
 163   jint get_flags               () const { return (_flags & JVM_ACC_WRITTEN_FLAGS); }
 164 
 165   // Initialization
 166   void add_promoted_flags(jint flags)   { _flags |= (flags & JVM_ACC_PROMOTED_FLAGS); }
 167   void set_field_flags(jint flags)      {
 168     assert((flags & JVM_ACC_FIELD_FLAGS) == flags, "only recognized flags");
 169     _flags = (flags & JVM_ACC_FIELD_FLAGS);
 170   }
 171   void set_flags(jint flags)            { _flags = (flags & JVM_ACC_WRITTEN_FLAGS); }
 172 
 173   void set_queued_for_compilation()    { atomic_set_bits(JVM_ACC_QUEUED); }
 174   void clear_queued_for_compilation()  { atomic_clear_bits(JVM_ACC_QUEUED); }
 175 


 215   void set_has_miranda_methods()       { atomic_set_bits(JVM_ACC_HAS_MIRANDA_METHODS);     }
 216 
 217  public:
 218   // field flags
 219   void set_is_field_access_watched(const bool value)
 220                                        {
 221                                          if (value) {
 222                                            atomic_set_bits(JVM_ACC_FIELD_ACCESS_WATCHED);
 223                                          } else {
 224                                            atomic_clear_bits(JVM_ACC_FIELD_ACCESS_WATCHED);
 225                                          }
 226                                        }
 227   void set_is_field_modification_watched(const bool value)
 228                                        {
 229                                          if (value) {
 230                                            atomic_set_bits(JVM_ACC_FIELD_MODIFICATION_WATCHED);
 231                                          } else {
 232                                            atomic_clear_bits(JVM_ACC_FIELD_MODIFICATION_WATCHED);
 233                                          }
 234                                        }
 235 
 236   void set_has_field_initialized_final_update(const bool value) {
 237     if (value) {
 238       atomic_set_bits(JVM_ACC_FIELD_INITIALIZED_FINAL_UPDATE);
 239     } else {
 240       atomic_clear_bits(JVM_ACC_FIELD_INITIALIZED_FINAL_UPDATE);
 241     }
 242   }
 243 
 244   void set_field_has_generic_signature()
 245                                        {
 246                                          atomic_set_bits(JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE);
 247                                        }
 248 
 249   bool set_on_stack(const bool value)
 250                                        {
 251                                          if (value) {
 252                                            return atomic_set_one_bit(JVM_ACC_ON_STACK);
 253                                          } else {
 254                                            atomic_clear_bits(JVM_ACC_ON_STACK);
 255                                            return true; // Ignored
 256                                          }
 257                                        }
 258   // Conversion
 259   jshort as_short() const              { return (jshort)_flags; }
 260   jint   as_int() const                { return _flags; }
 261 
 262   inline friend AccessFlags accessFlags_from(jint flags);
 263 
src/share/vm/utilities/accessFlags.hpp
Index Unified diffs Context diffs Sdiffs Patch New Old Previous File Next File