annotate src/share/vm/ci/ciType.hpp @ 666:ebebd376f657

6805522: Server VM fails with assertion (block1->start() != block2->start(),"successors have unique bcis") Reviewed-by: kvn
author never
date Mon, 23 Mar 2009 13:58:58 -0700
parents a61af66fc99e
children c18cbe5936b8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
2 * Copyright 2000-2001 Sun Microsystems, Inc. All Rights Reserved.
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
a61af66fc99e Initial load
duke
parents:
diff changeset
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
a61af66fc99e Initial load
duke
parents:
diff changeset
20 * CA 95054 USA or visit www.sun.com if you need additional information or
a61af66fc99e Initial load
duke
parents:
diff changeset
21 * have any questions.
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 // ciType
a61af66fc99e Initial load
duke
parents:
diff changeset
26 //
a61af66fc99e Initial load
duke
parents:
diff changeset
27 // This class represents either a class (T_OBJECT), array (T_ARRAY),
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // or one of the primitive types such as T_INT.
a61af66fc99e Initial load
duke
parents:
diff changeset
29 class ciType : public ciObject {
a61af66fc99e Initial load
duke
parents:
diff changeset
30 CI_PACKAGE_ACCESS
a61af66fc99e Initial load
duke
parents:
diff changeset
31 friend class ciKlass;
a61af66fc99e Initial load
duke
parents:
diff changeset
32 friend class ciReturnAddress;
a61af66fc99e Initial load
duke
parents:
diff changeset
33
a61af66fc99e Initial load
duke
parents:
diff changeset
34 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
35 BasicType _basic_type;
a61af66fc99e Initial load
duke
parents:
diff changeset
36
a61af66fc99e Initial load
duke
parents:
diff changeset
37 ciType(BasicType t); // for the primitive types only
a61af66fc99e Initial load
duke
parents:
diff changeset
38 ciType(KlassHandle k); // for subclasses (reference types)
a61af66fc99e Initial load
duke
parents:
diff changeset
39 ciType(ciKlass* klass); // for unloaded types
a61af66fc99e Initial load
duke
parents:
diff changeset
40
a61af66fc99e Initial load
duke
parents:
diff changeset
41 const char* type_string() { return "ciType"; }
a61af66fc99e Initial load
duke
parents:
diff changeset
42
a61af66fc99e Initial load
duke
parents:
diff changeset
43 void print_impl(outputStream* st);
a61af66fc99e Initial load
duke
parents:
diff changeset
44
a61af66fc99e Initial load
duke
parents:
diff changeset
45 // Distinguished instances of primitive ciTypes..
a61af66fc99e Initial load
duke
parents:
diff changeset
46 static ciType* _basic_types[T_CONFLICT+1];
a61af66fc99e Initial load
duke
parents:
diff changeset
47
a61af66fc99e Initial load
duke
parents:
diff changeset
48 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
49 BasicType basic_type() const { return _basic_type; }
a61af66fc99e Initial load
duke
parents:
diff changeset
50
a61af66fc99e Initial load
duke
parents:
diff changeset
51 // Returns true iff the types are identical, or if both are klasses
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // and the is_subtype_of relation holds between the klasses.
a61af66fc99e Initial load
duke
parents:
diff changeset
53 bool is_subtype_of(ciType* type);
a61af66fc99e Initial load
duke
parents:
diff changeset
54
a61af66fc99e Initial load
duke
parents:
diff changeset
55 // Get the instance of java.lang.Class corresponding to this type.
a61af66fc99e Initial load
duke
parents:
diff changeset
56 // There are mirrors for instance, array, and primitive types (incl. void).
a61af66fc99e Initial load
duke
parents:
diff changeset
57 virtual ciInstance* java_mirror();
a61af66fc99e Initial load
duke
parents:
diff changeset
58
a61af66fc99e Initial load
duke
parents:
diff changeset
59 // Get the class which "boxes" (or "wraps") values of this type.
a61af66fc99e Initial load
duke
parents:
diff changeset
60 // Example: short is boxed by java.lang.Short, etc.
a61af66fc99e Initial load
duke
parents:
diff changeset
61 // Returns self if it is a reference type.
a61af66fc99e Initial load
duke
parents:
diff changeset
62 // Returns NULL for void, since null is used in such cases.
a61af66fc99e Initial load
duke
parents:
diff changeset
63 ciKlass* box_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
64
a61af66fc99e Initial load
duke
parents:
diff changeset
65 // Returns true if this is not a klass or array (i.e., not a reference type).
a61af66fc99e Initial load
duke
parents:
diff changeset
66 bool is_primitive_type() const { return basic_type() != T_OBJECT && basic_type() != T_ARRAY; }
a61af66fc99e Initial load
duke
parents:
diff changeset
67 int size() const { return type2size[basic_type()]; }
a61af66fc99e Initial load
duke
parents:
diff changeset
68 bool is_void() const { return basic_type() == T_VOID; }
a61af66fc99e Initial load
duke
parents:
diff changeset
69 bool is_one_word() const { return size() == 1; }
a61af66fc99e Initial load
duke
parents:
diff changeset
70 bool is_two_word() const { return size() == 2; }
a61af66fc99e Initial load
duke
parents:
diff changeset
71
a61af66fc99e Initial load
duke
parents:
diff changeset
72 // What kind of ciObject is this?
a61af66fc99e Initial load
duke
parents:
diff changeset
73 bool is_type() { return true; }
a61af66fc99e Initial load
duke
parents:
diff changeset
74 bool is_classless() const { return is_primitive_type(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
75
a61af66fc99e Initial load
duke
parents:
diff changeset
76 virtual void print_name_on(outputStream* st);
a61af66fc99e Initial load
duke
parents:
diff changeset
77 void print_name() {
a61af66fc99e Initial load
duke
parents:
diff changeset
78 print_name_on(tty);
a61af66fc99e Initial load
duke
parents:
diff changeset
79 }
a61af66fc99e Initial load
duke
parents:
diff changeset
80
a61af66fc99e Initial load
duke
parents:
diff changeset
81 static ciType* make(BasicType t);
a61af66fc99e Initial load
duke
parents:
diff changeset
82 };
a61af66fc99e Initial load
duke
parents:
diff changeset
83
a61af66fc99e Initial load
duke
parents:
diff changeset
84
a61af66fc99e Initial load
duke
parents:
diff changeset
85 // ciReturnAddress
a61af66fc99e Initial load
duke
parents:
diff changeset
86 //
a61af66fc99e Initial load
duke
parents:
diff changeset
87 // This class represents the type of a specific return address in the
a61af66fc99e Initial load
duke
parents:
diff changeset
88 // bytecodes.
a61af66fc99e Initial load
duke
parents:
diff changeset
89 class ciReturnAddress : public ciType {
a61af66fc99e Initial load
duke
parents:
diff changeset
90 CI_PACKAGE_ACCESS
a61af66fc99e Initial load
duke
parents:
diff changeset
91
a61af66fc99e Initial load
duke
parents:
diff changeset
92 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
93 // The bci of this return address.
a61af66fc99e Initial load
duke
parents:
diff changeset
94 int _bci;
a61af66fc99e Initial load
duke
parents:
diff changeset
95
a61af66fc99e Initial load
duke
parents:
diff changeset
96 ciReturnAddress(int bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
97
a61af66fc99e Initial load
duke
parents:
diff changeset
98 const char* type_string() { return "ciReturnAddress"; }
a61af66fc99e Initial load
duke
parents:
diff changeset
99
a61af66fc99e Initial load
duke
parents:
diff changeset
100 void print_impl(outputStream* st);
a61af66fc99e Initial load
duke
parents:
diff changeset
101
a61af66fc99e Initial load
duke
parents:
diff changeset
102 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
103 bool is_return_address() { return true; }
a61af66fc99e Initial load
duke
parents:
diff changeset
104
a61af66fc99e Initial load
duke
parents:
diff changeset
105 int bci() { return _bci; }
a61af66fc99e Initial load
duke
parents:
diff changeset
106
a61af66fc99e Initial load
duke
parents:
diff changeset
107 static ciReturnAddress* make(int bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
108 };