duke@435: /* duke@435: * Copyright 1999-2005 Sun Microsystems, Inc. All Rights Reserved. duke@435: * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. duke@435: * duke@435: * This code is free software; you can redistribute it and/or modify it duke@435: * under the terms of the GNU General Public License version 2 only, as duke@435: * published by the Free Software Foundation. duke@435: * duke@435: * This code is distributed in the hope that it will be useful, but WITHOUT duke@435: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or duke@435: * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License duke@435: * version 2 for more details (a copy is included in the LICENSE file that duke@435: * accompanied this code). duke@435: * duke@435: * You should have received a copy of the GNU General Public License version duke@435: * 2 along with this work; if not, write to the Free Software Foundation, duke@435: * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. duke@435: * duke@435: * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, duke@435: * CA 95054 USA or visit www.sun.com if you need additional information or duke@435: * have any questions. duke@435: * duke@435: */ duke@435: duke@435: # include "incls/_precompiled.incl" duke@435: # include "incls/_c1_ValueType.cpp.incl" duke@435: duke@435: duke@435: // predefined types duke@435: VoidType* voidType = NULL; duke@435: IntType* intType = NULL; duke@435: LongType* longType = NULL; duke@435: FloatType* floatType = NULL; duke@435: DoubleType* doubleType = NULL; duke@435: ObjectType* objectType = NULL; duke@435: ArrayType* arrayType = NULL; duke@435: InstanceType* instanceType = NULL; duke@435: ClassType* classType = NULL; duke@435: AddressType* addressType = NULL; duke@435: IllegalType* illegalType = NULL; duke@435: duke@435: duke@435: // predefined constants duke@435: IntConstant* intZero = NULL; duke@435: IntConstant* intOne = NULL; duke@435: ObjectConstant* objectNull = NULL; duke@435: duke@435: duke@435: void ValueType::initialize() { duke@435: // Note: Must initialize all types for each compilation duke@435: // as they are allocated within a ResourceMark! duke@435: duke@435: // types duke@435: voidType = new VoidType(); duke@435: intType = new IntType(); duke@435: longType = new LongType(); duke@435: floatType = new FloatType(); duke@435: doubleType = new DoubleType(); duke@435: objectType = new ObjectType(); duke@435: arrayType = new ArrayType(); duke@435: instanceType = new InstanceType(); duke@435: classType = new ClassType(); duke@435: addressType = new AddressType(); duke@435: illegalType = new IllegalType(); duke@435: duke@435: // constants duke@435: intZero = new IntConstant(0); duke@435: intOne = new IntConstant(1); duke@435: objectNull = new ObjectConstant(ciNullObject::make()); duke@435: }; duke@435: duke@435: duke@435: ValueType* ValueType::meet(ValueType* y) const { duke@435: // incomplete & conservative solution for now - fix this! duke@435: assert(tag() == y->tag(), "types must match"); duke@435: return base(); duke@435: } duke@435: duke@435: duke@435: ValueType* ValueType::join(ValueType* y) const { duke@435: Unimplemented(); duke@435: return NULL; duke@435: } duke@435: duke@435: duke@435: duke@435: jobject ObjectType::encoding() const { duke@435: assert(is_constant(), "must be"); duke@435: return constant_value()->encoding(); duke@435: } duke@435: duke@435: bool ObjectType::is_loaded() const { duke@435: assert(is_constant(), "must be"); duke@435: return constant_value()->is_loaded(); duke@435: } duke@435: duke@435: ciObject* ObjectConstant::constant_value() const { return _value; } duke@435: ciObject* ArrayConstant::constant_value() const { return _value; } duke@435: ciObject* InstanceConstant::constant_value() const { return _value; } duke@435: ciObject* ClassConstant::constant_value() const { return _value; } duke@435: duke@435: duke@435: ValueType* as_ValueType(BasicType type) { duke@435: switch (type) { duke@435: case T_VOID : return voidType; duke@435: case T_BYTE : // fall through duke@435: case T_CHAR : // fall through duke@435: case T_SHORT : // fall through duke@435: case T_BOOLEAN: // fall through duke@435: case T_INT : return intType; duke@435: case T_LONG : return longType; duke@435: case T_FLOAT : return floatType; duke@435: case T_DOUBLE : return doubleType; duke@435: case T_ARRAY : return arrayType; duke@435: case T_OBJECT : return objectType; duke@435: case T_ADDRESS: return addressType; duke@435: case T_ILLEGAL: return illegalType; duke@435: } duke@435: ShouldNotReachHere(); duke@435: return illegalType; duke@435: } duke@435: duke@435: duke@435: ValueType* as_ValueType(ciConstant value) { duke@435: switch (value.basic_type()) { duke@435: case T_BYTE : // fall through duke@435: case T_CHAR : // fall through duke@435: case T_SHORT : // fall through duke@435: case T_BOOLEAN: // fall through duke@435: case T_INT : return new IntConstant (value.as_int ()); duke@435: case T_LONG : return new LongConstant (value.as_long ()); duke@435: case T_FLOAT : return new FloatConstant (value.as_float ()); duke@435: case T_DOUBLE : return new DoubleConstant(value.as_double()); duke@435: case T_ARRAY : // fall through (ciConstant doesn't have an array accessor) duke@435: case T_OBJECT : return new ObjectConstant(value.as_object()); duke@435: } duke@435: ShouldNotReachHere(); duke@435: return illegalType; duke@435: } duke@435: duke@435: duke@435: BasicType as_BasicType(ValueType* type) { duke@435: switch (type->tag()) { duke@435: case voidTag: return T_VOID; duke@435: case intTag: return T_INT; duke@435: case longTag: return T_LONG; duke@435: case floatTag: return T_FLOAT; duke@435: case doubleTag: return T_DOUBLE; duke@435: case objectTag: return T_OBJECT; duke@435: case addressTag: return T_ADDRESS; duke@435: case illegalTag: return T_ILLEGAL; duke@435: } duke@435: ShouldNotReachHere(); duke@435: return T_ILLEGAL; duke@435: }