Mercurial > hg > truffle
annotate src/share/vm/utilities/accessFlags.hpp @ 6139:0919b2e7895d
7174510: 19 JCK compiler tests fail with C2 error: memNode.cpp:812 - ShouldNotReachHere
Summary: Add missing check for EncodeP node in MemNode::Ideal_common_DU_postCCP() method.
Reviewed-by: twisti
author | kvn |
---|---|
date | Mon, 11 Jun 2012 14:58:51 -0700 |
parents | 71afdabfd05b |
children | 1d7922586cf6 |
rev | line source |
---|---|
0 | 1 /* |
1783 | 2 * Copyright (c) 1997, 2010, Oracle and/or its affiliates. All rights reserved. |
0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
710
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
710
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
710
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_UTILITIES_ACCESSFLAGS_HPP |
26 #define SHARE_VM_UTILITIES_ACCESSFLAGS_HPP | |
27 | |
28 #include "prims/jvm.h" | |
29 #include "utilities/top.hpp" | |
30 | |
0 | 31 // AccessFlags is an abstraction over Java access flags. |
32 | |
33 | |
34 enum { | |
35 // See jvm.h for shared JVM_ACC_XXX access flags | |
36 | |
37 // HotSpot-specific access flags | |
38 | |
39 // flags actually put in .class file | |
40 JVM_ACC_WRITTEN_FLAGS = 0x00007FFF, | |
41 | |
42 // methodOop flags | |
43 JVM_ACC_MONITOR_MATCH = 0x10000000, // True if we know that monitorenter/monitorexit bytecodes match | |
44 JVM_ACC_HAS_MONITOR_BYTECODES = 0x20000000, // Method contains monitorenter/monitorexit bytecodes | |
45 JVM_ACC_HAS_LOOPS = 0x40000000, // Method has loops | |
46 JVM_ACC_LOOPS_FLAG_INIT = (int)0x80000000,// The loop flag has been initialized | |
47 JVM_ACC_QUEUED = 0x01000000, // Queued for compilation | |
1783 | 48 JVM_ACC_NOT_C2_COMPILABLE = 0x02000000, |
49 JVM_ACC_NOT_C1_COMPILABLE = 0x04000000, | |
0 | 50 JVM_ACC_NOT_OSR_COMPILABLE = 0x08000000, |
51 JVM_ACC_HAS_LINE_NUMBER_TABLE = 0x00100000, | |
52 JVM_ACC_HAS_CHECKED_EXCEPTIONS = 0x00400000, | |
53 JVM_ACC_HAS_JSRS = 0x00800000, | |
54 JVM_ACC_IS_OLD = 0x00010000, // RedefineClasses() has replaced this method | |
55 JVM_ACC_IS_OBSOLETE = 0x00020000, // RedefineClasses() has made method obsolete | |
56 JVM_ACC_IS_PREFIXED_NATIVE = 0x00040000, // JVMTI has prefixed this native method | |
1783 | 57 |
710 | 58 JVM_MH_INVOKE_BITS // = 0x10001100 // MethodHandle.invoke quasi-native |
59 = (JVM_ACC_NATIVE | JVM_ACC_SYNTHETIC | JVM_ACC_MONITOR_MATCH), | |
0 | 60 |
61 // klassOop flags | |
62 JVM_ACC_HAS_MIRANDA_METHODS = 0x10000000, // True if this class has miranda methods in it's vtable | |
63 JVM_ACC_HAS_VANILLA_CONSTRUCTOR = 0x20000000, // True if klass has a vanilla default constructor | |
64 JVM_ACC_HAS_FINALIZER = 0x40000000, // True if klass has a non-empty finalize() method | |
65 JVM_ACC_IS_CLONEABLE = (int)0x80000000,// True if klass supports the Clonable interface | |
66 JVM_ACC_HAS_FINAL_METHOD = 0x01000000, // True if klass has final method | |
67 | |
68 // klassOop and methodOop flags | |
69 JVM_ACC_HAS_LOCAL_VARIABLE_TABLE= 0x00200000, | |
70 | |
71 JVM_ACC_PROMOTED_FLAGS = 0x00200000, // flags promoted from methods to the holding klass | |
72 | |
73 // field flags | |
74 // Note: these flags must be defined in the low order 16 bits because | |
75 // instanceKlass only stores a ushort worth of information from the | |
76 // AccessFlags value. | |
77 // These bits must not conflict with any other field-related access flags | |
78 // (e.g., ACC_ENUM). | |
79 // Note that the class-related ACC_ANNOTATION bit conflicts with these flags. | |
80 JVM_ACC_FIELD_ACCESS_WATCHED = 0x00002000, // field access is watched by JVMTI | |
81 JVM_ACC_FIELD_MODIFICATION_WATCHED = 0x00008000, // field modification is watched by JVMTI | |
3938 | 82 JVM_ACC_FIELD_INTERNAL = 0x00000400, // internal field, same as JVM_ACC_ABSTRACT |
6100
71afdabfd05b
7168280: Eliminate the generic signature index slot from field array for field without generic signature.
jiangli
parents:
3938
diff
changeset
|
83 JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE = 0x00000800, // field has generic signature |
3938 | 84 |
85 JVM_ACC_FIELD_INTERNAL_FLAGS = JVM_ACC_FIELD_ACCESS_WATCHED | | |
86 JVM_ACC_FIELD_MODIFICATION_WATCHED | | |
6100
71afdabfd05b
7168280: Eliminate the generic signature index slot from field array for field without generic signature.
jiangli
parents:
3938
diff
changeset
|
87 JVM_ACC_FIELD_INTERNAL | |
71afdabfd05b
7168280: Eliminate the generic signature index slot from field array for field without generic signature.
jiangli
parents:
3938
diff
changeset
|
88 JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE, |
0 | 89 |
90 // flags accepted by set_field_flags() | |
3938 | 91 JVM_ACC_FIELD_FLAGS = JVM_RECOGNIZED_FIELD_MODIFIERS | JVM_ACC_FIELD_INTERNAL_FLAGS |
710 | 92 |
0 | 93 }; |
94 | |
95 | |
96 class AccessFlags VALUE_OBJ_CLASS_SPEC { | |
97 friend class VMStructs; | |
98 private: | |
99 jint _flags; | |
100 | |
101 public: | |
102 // Java access flags | |
103 bool is_public () const { return (_flags & JVM_ACC_PUBLIC ) != 0; } | |
104 bool is_private () const { return (_flags & JVM_ACC_PRIVATE ) != 0; } | |
105 bool is_protected () const { return (_flags & JVM_ACC_PROTECTED ) != 0; } | |
106 bool is_static () const { return (_flags & JVM_ACC_STATIC ) != 0; } | |
107 bool is_final () const { return (_flags & JVM_ACC_FINAL ) != 0; } | |
108 bool is_synchronized() const { return (_flags & JVM_ACC_SYNCHRONIZED) != 0; } | |
109 bool is_super () const { return (_flags & JVM_ACC_SUPER ) != 0; } | |
110 bool is_volatile () const { return (_flags & JVM_ACC_VOLATILE ) != 0; } | |
111 bool is_transient () const { return (_flags & JVM_ACC_TRANSIENT ) != 0; } | |
112 bool is_native () const { return (_flags & JVM_ACC_NATIVE ) != 0; } | |
113 bool is_interface () const { return (_flags & JVM_ACC_INTERFACE ) != 0; } | |
114 bool is_abstract () const { return (_flags & JVM_ACC_ABSTRACT ) != 0; } | |
115 bool is_strict () const { return (_flags & JVM_ACC_STRICT ) != 0; } | |
116 | |
117 // Attribute flags | |
118 bool is_synthetic () const { return (_flags & JVM_ACC_SYNTHETIC ) != 0; } | |
119 | |
120 // methodOop flags | |
121 bool is_monitor_matching () const { return (_flags & JVM_ACC_MONITOR_MATCH ) != 0; } | |
122 bool has_monitor_bytecodes () const { return (_flags & JVM_ACC_HAS_MONITOR_BYTECODES ) != 0; } | |
123 bool has_loops () const { return (_flags & JVM_ACC_HAS_LOOPS ) != 0; } | |
124 bool loops_flag_init () const { return (_flags & JVM_ACC_LOOPS_FLAG_INIT ) != 0; } | |
125 bool queued_for_compilation () const { return (_flags & JVM_ACC_QUEUED ) != 0; } | |
1783 | 126 bool is_not_c1_compilable () const { return (_flags & JVM_ACC_NOT_C1_COMPILABLE ) != 0; } |
127 bool is_not_c2_compilable () const { return (_flags & JVM_ACC_NOT_C2_COMPILABLE ) != 0; } | |
0 | 128 bool is_not_osr_compilable () const { return (_flags & JVM_ACC_NOT_OSR_COMPILABLE ) != 0; } |
129 bool has_linenumber_table () const { return (_flags & JVM_ACC_HAS_LINE_NUMBER_TABLE ) != 0; } | |
130 bool has_checked_exceptions () const { return (_flags & JVM_ACC_HAS_CHECKED_EXCEPTIONS ) != 0; } | |
131 bool has_jsrs () const { return (_flags & JVM_ACC_HAS_JSRS ) != 0; } | |
132 bool is_old () const { return (_flags & JVM_ACC_IS_OLD ) != 0; } | |
133 bool is_obsolete () const { return (_flags & JVM_ACC_IS_OBSOLETE ) != 0; } | |
134 bool is_prefixed_native () const { return (_flags & JVM_ACC_IS_PREFIXED_NATIVE ) != 0; } | |
135 | |
710 | 136 // JSR 292: A method of the form MethodHandle.invoke(A...)R method is |
137 // neither bytecoded nor a JNI native, but rather a fast call through | |
138 // a lightweight method handle object. Because it is not bytecoded, | |
139 // it has the native bit set, but the monitor-match bit is also set | |
140 // to distinguish it from a JNI native (which never has the match bit set). | |
141 // The synthetic bit is also present, because such a method is never | |
142 // explicitly defined in Java code. | |
143 bool is_method_handle_invoke () const { return (_flags & JVM_MH_INVOKE_BITS) == JVM_MH_INVOKE_BITS; } | |
144 | |
0 | 145 // klassOop flags |
146 bool has_miranda_methods () const { return (_flags & JVM_ACC_HAS_MIRANDA_METHODS ) != 0; } | |
147 bool has_vanilla_constructor () const { return (_flags & JVM_ACC_HAS_VANILLA_CONSTRUCTOR) != 0; } | |
148 bool has_finalizer () const { return (_flags & JVM_ACC_HAS_FINALIZER ) != 0; } | |
149 bool has_final_method () const { return (_flags & JVM_ACC_HAS_FINAL_METHOD ) != 0; } | |
150 bool is_cloneable () const { return (_flags & JVM_ACC_IS_CLONEABLE ) != 0; } | |
151 // klassOop and methodOop flags | |
152 bool has_localvariable_table () const { return (_flags & JVM_ACC_HAS_LOCAL_VARIABLE_TABLE) != 0; } | |
153 void set_has_localvariable_table() { atomic_set_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); } | |
154 void clear_has_localvariable_table() { atomic_clear_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); } | |
155 | |
156 // field flags | |
157 bool is_field_access_watched() const { return (_flags & JVM_ACC_FIELD_ACCESS_WATCHED) != 0; } | |
158 bool is_field_modification_watched() const | |
159 { return (_flags & JVM_ACC_FIELD_MODIFICATION_WATCHED) != 0; } | |
3938 | 160 bool is_internal() const { return (_flags & JVM_ACC_FIELD_INTERNAL) != 0; } |
6100
71afdabfd05b
7168280: Eliminate the generic signature index slot from field array for field without generic signature.
jiangli
parents:
3938
diff
changeset
|
161 bool field_has_generic_signature() const |
71afdabfd05b
7168280: Eliminate the generic signature index slot from field array for field without generic signature.
jiangli
parents:
3938
diff
changeset
|
162 { return (_flags & JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE) != 0; } |
0 | 163 |
164 // get .class file flags | |
165 jint get_flags () const { return (_flags & JVM_ACC_WRITTEN_FLAGS); } | |
166 | |
167 // Initialization | |
168 void add_promoted_flags(jint flags) { _flags |= (flags & JVM_ACC_PROMOTED_FLAGS); } | |
3938 | 169 void set_field_flags(jint flags) { |
170 assert((flags & JVM_ACC_FIELD_FLAGS) == flags, "only recognized flags"); | |
171 _flags = (flags & JVM_ACC_FIELD_FLAGS); | |
172 } | |
0 | 173 void set_flags(jint flags) { _flags = (flags & JVM_ACC_WRITTEN_FLAGS); } |
174 | |
175 void set_queued_for_compilation() { atomic_set_bits(JVM_ACC_QUEUED); } | |
176 void clear_queued_for_compilation() { atomic_clear_bits(JVM_ACC_QUEUED); } | |
177 | |
178 // Atomic update of flags | |
179 void atomic_set_bits(jint bits); | |
180 void atomic_clear_bits(jint bits); | |
181 | |
182 private: | |
183 friend class methodOopDesc; | |
184 friend class Klass; | |
185 friend class ClassFileParser; | |
186 // the functions below should only be called on the _access_flags inst var directly, | |
187 // otherwise they are just changing a copy of the flags | |
188 | |
189 // attribute flags | |
190 void set_is_synthetic() { atomic_set_bits(JVM_ACC_SYNTHETIC); } | |
191 | |
192 // methodOop flags | |
193 void set_monitor_matching() { atomic_set_bits(JVM_ACC_MONITOR_MATCH); } | |
194 void set_has_monitor_bytecodes() { atomic_set_bits(JVM_ACC_HAS_MONITOR_BYTECODES); } | |
195 void set_has_loops() { atomic_set_bits(JVM_ACC_HAS_LOOPS); } | |
196 void set_loops_flag_init() { atomic_set_bits(JVM_ACC_LOOPS_FLAG_INIT); } | |
1783 | 197 void set_not_c1_compilable() { atomic_set_bits(JVM_ACC_NOT_C1_COMPILABLE); } |
198 void set_not_c2_compilable() { atomic_set_bits(JVM_ACC_NOT_C2_COMPILABLE); } | |
0 | 199 void set_not_osr_compilable() { atomic_set_bits(JVM_ACC_NOT_OSR_COMPILABLE); } |
200 void set_has_linenumber_table() { atomic_set_bits(JVM_ACC_HAS_LINE_NUMBER_TABLE); } | |
201 void set_has_checked_exceptions() { atomic_set_bits(JVM_ACC_HAS_CHECKED_EXCEPTIONS); } | |
202 void set_has_jsrs() { atomic_set_bits(JVM_ACC_HAS_JSRS); } | |
203 void set_is_old() { atomic_set_bits(JVM_ACC_IS_OLD); } | |
204 void set_is_obsolete() { atomic_set_bits(JVM_ACC_IS_OBSOLETE); } | |
205 void set_is_prefixed_native() { atomic_set_bits(JVM_ACC_IS_PREFIXED_NATIVE); } | |
206 | |
207 // klassOop flags | |
208 void set_has_vanilla_constructor() { atomic_set_bits(JVM_ACC_HAS_VANILLA_CONSTRUCTOR); } | |
209 void set_has_finalizer() { atomic_set_bits(JVM_ACC_HAS_FINALIZER); } | |
210 void set_has_final_method() { atomic_set_bits(JVM_ACC_HAS_FINAL_METHOD); } | |
211 void set_is_cloneable() { atomic_set_bits(JVM_ACC_IS_CLONEABLE); } | |
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 } | |
6100
71afdabfd05b
7168280: Eliminate the generic signature index slot from field array for field without generic signature.
jiangli
parents:
3938
diff
changeset
|
232 void set_field_has_generic_signature() |
71afdabfd05b
7168280: Eliminate the generic signature index slot from field array for field without generic signature.
jiangli
parents:
3938
diff
changeset
|
233 { |
71afdabfd05b
7168280: Eliminate the generic signature index slot from field array for field without generic signature.
jiangli
parents:
3938
diff
changeset
|
234 atomic_set_bits(JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE); |
71afdabfd05b
7168280: Eliminate the generic signature index slot from field array for field without generic signature.
jiangli
parents:
3938
diff
changeset
|
235 } |
0 | 236 |
237 // Conversion | |
3938 | 238 jshort as_short() const { return (jshort)_flags; } |
239 jint as_int() const { return _flags; } | |
0 | 240 |
710 | 241 inline friend AccessFlags accessFlags_from(jint flags); |
242 | |
0 | 243 // Printing/debugging |
244 void print_on(outputStream* st) const PRODUCT_RETURN; | |
245 }; | |
710 | 246 |
247 inline AccessFlags accessFlags_from(jint flags) { | |
248 AccessFlags af; | |
249 af._flags = flags; | |
250 return af; | |
251 } | |
1972 | 252 |
253 #endif // SHARE_VM_UTILITIES_ACCESSFLAGS_HPP |