annotate src/share/vm/c1/c1_ValueType.cpp @ 1721:413ad0331a0c

6977924: Changes for 6975078 produce build error with certain gcc versions Summary: The changes introduced for 6975078 assign badHeapOopVal to the _allocation field in the ResourceObj class. In 32 bit linux builds with certain versions of gcc this assignment will be flagged as an error while compiling allocation.cpp. In 32 bit builds the constant value badHeapOopVal (which is cast to an intptr_t) is negative. The _allocation field is typed as an unsigned intptr_t and gcc catches this as an error. Reviewed-by: jcoomes, ysr, phh
author johnc
date Wed, 18 Aug 2010 10:59:06 -0700
parents b812ff5abc73
children f95d63e2154a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 989
diff changeset
2 * Copyright (c) 1999, 2005, Oracle and/or its affiliates. All rights reserved.
0
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 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 989
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 989
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: 989
diff changeset
21 * questions.
0
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 # include "incls/_precompiled.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
26 # include "incls/_c1_ValueType.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28
a61af66fc99e Initial load
duke
parents:
diff changeset
29 // predefined types
a61af66fc99e Initial load
duke
parents:
diff changeset
30 VoidType* voidType = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
31 IntType* intType = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
32 LongType* longType = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
33 FloatType* floatType = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
34 DoubleType* doubleType = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
35 ObjectType* objectType = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
36 ArrayType* arrayType = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
37 InstanceType* instanceType = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
38 ClassType* classType = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
39 AddressType* addressType = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
40 IllegalType* illegalType = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
41
a61af66fc99e Initial load
duke
parents:
diff changeset
42
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // predefined constants
a61af66fc99e Initial load
duke
parents:
diff changeset
44 IntConstant* intZero = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
45 IntConstant* intOne = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
46 ObjectConstant* objectNull = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
47
a61af66fc99e Initial load
duke
parents:
diff changeset
48
1584
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
49 void ValueType::initialize(Arena* arena) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
50 // Note: Must initialize all types for each compilation
a61af66fc99e Initial load
duke
parents:
diff changeset
51 // as they are allocated within a ResourceMark!
a61af66fc99e Initial load
duke
parents:
diff changeset
52
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // types
1584
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
54 voidType = new (arena) VoidType();
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
55 intType = new (arena) IntType();
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
56 longType = new (arena) LongType();
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
57 floatType = new (arena) FloatType();
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
58 doubleType = new (arena) DoubleType();
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
59 objectType = new (arena) ObjectType();
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
60 arrayType = new (arena) ArrayType();
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
61 instanceType = new (arena) InstanceType();
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
62 classType = new (arena) ClassType();
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
63 addressType = new (arena) AddressType();
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
64 illegalType = new (arena) IllegalType();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
65
1584
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
66 intZero = new (arena) IntConstant(0);
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
67 intOne = new (arena) IntConstant(1);
b812ff5abc73 6958292: C1: Enable parallel compilation
iveresov
parents: 1552
diff changeset
68 objectNull = new (arena) ObjectConstant(ciNullObject::make());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
69 };
a61af66fc99e Initial load
duke
parents:
diff changeset
70
a61af66fc99e Initial load
duke
parents:
diff changeset
71
a61af66fc99e Initial load
duke
parents:
diff changeset
72 ValueType* ValueType::meet(ValueType* y) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
73 // incomplete & conservative solution for now - fix this!
a61af66fc99e Initial load
duke
parents:
diff changeset
74 assert(tag() == y->tag(), "types must match");
a61af66fc99e Initial load
duke
parents:
diff changeset
75 return base();
a61af66fc99e Initial load
duke
parents:
diff changeset
76 }
a61af66fc99e Initial load
duke
parents:
diff changeset
77
a61af66fc99e Initial load
duke
parents:
diff changeset
78
a61af66fc99e Initial load
duke
parents:
diff changeset
79 ValueType* ValueType::join(ValueType* y) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
80 Unimplemented();
a61af66fc99e Initial load
duke
parents:
diff changeset
81 return NULL;
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
a61af66fc99e Initial load
duke
parents:
diff changeset
86 jobject ObjectType::encoding() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
87 assert(is_constant(), "must be");
989
148e5441d916 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 0
diff changeset
88 return constant_value()->constant_encoding();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
89 }
a61af66fc99e Initial load
duke
parents:
diff changeset
90
a61af66fc99e Initial load
duke
parents:
diff changeset
91 bool ObjectType::is_loaded() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
92 assert(is_constant(), "must be");
a61af66fc99e Initial load
duke
parents:
diff changeset
93 return constant_value()->is_loaded();
a61af66fc99e Initial load
duke
parents:
diff changeset
94 }
a61af66fc99e Initial load
duke
parents:
diff changeset
95
a61af66fc99e Initial load
duke
parents:
diff changeset
96 ciObject* ObjectConstant::constant_value() const { return _value; }
a61af66fc99e Initial load
duke
parents:
diff changeset
97 ciObject* ArrayConstant::constant_value() const { return _value; }
a61af66fc99e Initial load
duke
parents:
diff changeset
98 ciObject* InstanceConstant::constant_value() const { return _value; }
a61af66fc99e Initial load
duke
parents:
diff changeset
99 ciObject* ClassConstant::constant_value() const { return _value; }
a61af66fc99e Initial load
duke
parents:
diff changeset
100
a61af66fc99e Initial load
duke
parents:
diff changeset
101
a61af66fc99e Initial load
duke
parents:
diff changeset
102 ValueType* as_ValueType(BasicType type) {
a61af66fc99e Initial load
duke
parents:
diff changeset
103 switch (type) {
a61af66fc99e Initial load
duke
parents:
diff changeset
104 case T_VOID : return voidType;
a61af66fc99e Initial load
duke
parents:
diff changeset
105 case T_BYTE : // fall through
a61af66fc99e Initial load
duke
parents:
diff changeset
106 case T_CHAR : // fall through
a61af66fc99e Initial load
duke
parents:
diff changeset
107 case T_SHORT : // fall through
a61af66fc99e Initial load
duke
parents:
diff changeset
108 case T_BOOLEAN: // fall through
a61af66fc99e Initial load
duke
parents:
diff changeset
109 case T_INT : return intType;
a61af66fc99e Initial load
duke
parents:
diff changeset
110 case T_LONG : return longType;
a61af66fc99e Initial load
duke
parents:
diff changeset
111 case T_FLOAT : return floatType;
a61af66fc99e Initial load
duke
parents:
diff changeset
112 case T_DOUBLE : return doubleType;
a61af66fc99e Initial load
duke
parents:
diff changeset
113 case T_ARRAY : return arrayType;
a61af66fc99e Initial load
duke
parents:
diff changeset
114 case T_OBJECT : return objectType;
a61af66fc99e Initial load
duke
parents:
diff changeset
115 case T_ADDRESS: return addressType;
a61af66fc99e Initial load
duke
parents:
diff changeset
116 case T_ILLEGAL: return illegalType;
a61af66fc99e Initial load
duke
parents:
diff changeset
117 }
a61af66fc99e Initial load
duke
parents:
diff changeset
118 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
119 return illegalType;
a61af66fc99e Initial load
duke
parents:
diff changeset
120 }
a61af66fc99e Initial load
duke
parents:
diff changeset
121
a61af66fc99e Initial load
duke
parents:
diff changeset
122
a61af66fc99e Initial load
duke
parents:
diff changeset
123 ValueType* as_ValueType(ciConstant value) {
a61af66fc99e Initial load
duke
parents:
diff changeset
124 switch (value.basic_type()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
125 case T_BYTE : // fall through
a61af66fc99e Initial load
duke
parents:
diff changeset
126 case T_CHAR : // fall through
a61af66fc99e Initial load
duke
parents:
diff changeset
127 case T_SHORT : // fall through
a61af66fc99e Initial load
duke
parents:
diff changeset
128 case T_BOOLEAN: // fall through
a61af66fc99e Initial load
duke
parents:
diff changeset
129 case T_INT : return new IntConstant (value.as_int ());
a61af66fc99e Initial load
duke
parents:
diff changeset
130 case T_LONG : return new LongConstant (value.as_long ());
a61af66fc99e Initial load
duke
parents:
diff changeset
131 case T_FLOAT : return new FloatConstant (value.as_float ());
a61af66fc99e Initial load
duke
parents:
diff changeset
132 case T_DOUBLE : return new DoubleConstant(value.as_double());
a61af66fc99e Initial load
duke
parents:
diff changeset
133 case T_ARRAY : // fall through (ciConstant doesn't have an array accessor)
a61af66fc99e Initial load
duke
parents:
diff changeset
134 case T_OBJECT : return new ObjectConstant(value.as_object());
a61af66fc99e Initial load
duke
parents:
diff changeset
135 }
a61af66fc99e Initial load
duke
parents:
diff changeset
136 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
137 return illegalType;
a61af66fc99e Initial load
duke
parents:
diff changeset
138 }
a61af66fc99e Initial load
duke
parents:
diff changeset
139
a61af66fc99e Initial load
duke
parents:
diff changeset
140
a61af66fc99e Initial load
duke
parents:
diff changeset
141 BasicType as_BasicType(ValueType* type) {
a61af66fc99e Initial load
duke
parents:
diff changeset
142 switch (type->tag()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
143 case voidTag: return T_VOID;
a61af66fc99e Initial load
duke
parents:
diff changeset
144 case intTag: return T_INT;
a61af66fc99e Initial load
duke
parents:
diff changeset
145 case longTag: return T_LONG;
a61af66fc99e Initial load
duke
parents:
diff changeset
146 case floatTag: return T_FLOAT;
a61af66fc99e Initial load
duke
parents:
diff changeset
147 case doubleTag: return T_DOUBLE;
a61af66fc99e Initial load
duke
parents:
diff changeset
148 case objectTag: return T_OBJECT;
a61af66fc99e Initial load
duke
parents:
diff changeset
149 case addressTag: return T_ADDRESS;
a61af66fc99e Initial load
duke
parents:
diff changeset
150 case illegalTag: return T_ILLEGAL;
a61af66fc99e Initial load
duke
parents:
diff changeset
151 }
a61af66fc99e Initial load
duke
parents:
diff changeset
152 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
153 return T_ILLEGAL;
a61af66fc99e Initial load
duke
parents:
diff changeset
154 }