Mercurial > hg > graal-compiler
view src/share/vm/c1/c1_ValueType.cpp @ 7235:a6bd253a770f
expanded LOG_PRINTF stub to handle up to 3 arguments in addition to the format string
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Mon, 17 Dec 2012 11:12:01 +0100 |
parents | 8a02ca5e5576 |
children |
line wrap: on
line source
/* * Copyright (c) 1999, 2012, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. * * This code is distributed in the hope that it will be useful, but WITHOUT * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * version 2 for more details (a copy is included in the LICENSE file that * accompanied this code). * * You should have received a copy of the GNU General Public License version * 2 along with this work; if not, write to the Free Software Foundation, * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. * * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA * or visit www.oracle.com if you need additional information or have any * questions. * */ #include "precompiled.hpp" #include "c1/c1_ValueType.hpp" #include "ci/ciArray.hpp" #include "ci/ciInstance.hpp" #include "ci/ciNullObject.hpp" // predefined types VoidType* voidType = NULL; IntType* intType = NULL; LongType* longType = NULL; FloatType* floatType = NULL; DoubleType* doubleType = NULL; ObjectType* objectType = NULL; ArrayType* arrayType = NULL; InstanceType* instanceType = NULL; ClassType* classType = NULL; AddressType* addressType = NULL; IllegalType* illegalType = NULL; // predefined constants IntConstant* intZero = NULL; IntConstant* intOne = NULL; ObjectConstant* objectNull = NULL; void ValueType::initialize(Arena* arena) { // Note: Must initialize all types for each compilation // as they are allocated within a ResourceMark! // types voidType = new (arena) VoidType(); intType = new (arena) IntType(); longType = new (arena) LongType(); floatType = new (arena) FloatType(); doubleType = new (arena) DoubleType(); objectType = new (arena) ObjectType(); arrayType = new (arena) ArrayType(); instanceType = new (arena) InstanceType(); classType = new (arena) ClassType(); addressType = new (arena) AddressType(); illegalType = new (arena) IllegalType(); intZero = new (arena) IntConstant(0); intOne = new (arena) IntConstant(1); objectNull = new (arena) ObjectConstant(ciNullObject::make()); }; ValueType* ValueType::meet(ValueType* y) const { // incomplete & conservative solution for now - fix this! assert(tag() == y->tag(), "types must match"); return base(); } ValueType* ValueType::join(ValueType* y) const { Unimplemented(); return NULL; } ciType* ObjectConstant::exact_type() const { ciObject* c = constant_value(); return (c != NULL && !c->is_null_object()) ? c->klass() : NULL; } ciType* ArrayConstant::exact_type() const { ciObject* c = constant_value(); return (c != NULL && !c->is_null_object()) ? c->klass() : NULL; } ciType* InstanceConstant::exact_type() const { ciObject* c = constant_value(); return (c != NULL && !c->is_null_object()) ? c->klass() : NULL; } ciType* ClassConstant::exact_type() const { return Compilation::current()->env()->Class_klass(); } jobject ObjectType::encoding() const { assert(is_constant(), "must be"); return constant_value()->constant_encoding(); } bool ObjectType::is_loaded() const { assert(is_constant(), "must be"); return constant_value()->is_loaded(); } bool MetadataType::is_loaded() const { assert(is_constant(), "must be"); return constant_value()->is_loaded(); } ciObject* ObjectConstant::constant_value() const { return _value; } ciObject* ArrayConstant::constant_value() const { return _value; } ciObject* InstanceConstant::constant_value() const { return _value; } ValueType* as_ValueType(BasicType type) { switch (type) { case T_VOID : return voidType; case T_BYTE : // fall through case T_CHAR : // fall through case T_SHORT : // fall through case T_BOOLEAN: // fall through case T_INT : return intType; case T_LONG : return longType; case T_FLOAT : return floatType; case T_DOUBLE : return doubleType; case T_ARRAY : return arrayType; case T_OBJECT : return objectType; case T_ADDRESS: return addressType; case T_ILLEGAL: return illegalType; } ShouldNotReachHere(); return illegalType; } ValueType* as_ValueType(ciConstant value) { switch (value.basic_type()) { case T_BYTE : // fall through case T_CHAR : // fall through case T_SHORT : // fall through case T_BOOLEAN: // fall through case T_INT : return new IntConstant (value.as_int ()); case T_LONG : return new LongConstant (value.as_long ()); case T_FLOAT : return new FloatConstant (value.as_float ()); case T_DOUBLE : return new DoubleConstant(value.as_double()); case T_ARRAY : // fall through (ciConstant doesn't have an array accessor) case T_OBJECT : return new ObjectConstant(value.as_object()); } ShouldNotReachHere(); return illegalType; } BasicType as_BasicType(ValueType* type) { switch (type->tag()) { case voidTag: return T_VOID; case intTag: return T_INT; case longTag: return T_LONG; case floatTag: return T_FLOAT; case doubleTag: return T_DOUBLE; case objectTag: return T_OBJECT; case metaDataTag:return T_METADATA; case addressTag: return T_ADDRESS; case illegalTag: return T_ILLEGAL; } ShouldNotReachHere(); return T_ILLEGAL; }