dvander@41: /* vim: set ts=4 sw=4 tw=99 et:
dvander@41:  *
dvander@11:  * Copyright (C) 2012 David Anderson
dvander@11:  *
dvander@11:  * This file is part of JITCraft.
dvander@11:  *
dvander@11:  * JITCraft is free software: you can redistribute it and/or modify it under
dvander@11:  * the terms of the GNU General Public License as published by the Free
dvander@11:  * Software Foundation, either version 3 of the License, or (at your option)
dvander@11:  * any later version.
dvander@11:  * 
dvander@11:  * Foobar is distributed in the hope that it will be useful, but WITHOUT ANY
dvander@11:  * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
dvander@11:  * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
dvander@11:  *
dvander@11:  * You should have received a copy of the GNU General Public License along with
dvander@11:  * JITCraft. If not, see http://www.gnu.org/licenses/.
dvander@11:  */
danderson@92: #include <string.h>
dvander@11: #include "Types.h"
dvander@11: #include "TypeManager.h"
dvander@14: #include "Zone.h"
dvander@54: #include "Strings.h"
danderson@92: #include "Spaces-inl.h"
danderson@92: #include "Heap-inl.h"
dvander@11: 
dvander@59: using namespace ke;
dvander@11: 
dvander@11: 
dvander@11: TypeManager::TypeManager(Zone *zone)
dvander@11:   : zone_(zone)
dvander@11: {
dvander@11: }
dvander@11: 
dvander@11: bool
dvander@11: TypeManager::initialize()
dvander@11: {
dvander@71:     voidType_ = Type::NewVoid(zone_);
dvander@71:     if (!voidType_)
dvander@71:         return false;
dvander@71: 
dvander@167:     uncheckedType_ = Type::NewUnchecked(zone_);
dvander@167:     if (!uncheckedType_)
dvander@167:         return false;
dvander@167: 
dvander@145:     if ((primitiveTypes_[PrimitiveType_Int32] = Type::NewPrimitive(zone_, PrimitiveType_Int32)) == NULL)
dvander@11:         return false;
dvander@145:     if ((primitiveTypes_[PrimitiveType_Float] = Type::NewPrimitive(zone_, PrimitiveType_Float)) == NULL)
dvander@11:         return false;
dvander@12:     if ((primitiveTypes_[PrimitiveType_Native] = Type::NewPrimitive(zone_, PrimitiveType_Native)) == NULL)
dvander@12:         return false;
dvander@145:     if ((primitiveTypes_[PrimitiveType_Char] = Type::NewPrimitive(zone_, PrimitiveType_Char)) == NULL)
dvander@21:         return false;
dvander@145:     if ((primitiveTypes_[PrimitiveType_Bool] = Type::NewPrimitive(zone_, PrimitiveType_Bool)) == NULL)
dvander@143:         return false;
dvander@234:     if ((primitiveTypes_[PrimitiveType_String] = Type::NewPrimitive(zone_, PrimitiveType_String)) == NULL)
dvander@234:         return false;
dvander@14: 
dvander@41:     Local<Type> type(zone_);
dvander@14:     for (unsigned i = 0; i < PrimitiveTypes_Total; i++) {
dvander@41:         type = primitiveTypes_[i];
dvander@222:         if ((referenceTypes_[i] = ReferenceType::New(zone_, type)) == NULL)
dvander@14:             return false;
dvander@14:     }
dvander@14: 
dvander@11:     return true;
dvander@11: }
dvander@11: 
dvander@233: ArrayType *
dvander@209: TypeManager::newArray(Handle<Type> contained, int elements)
dvander@11: {
dvander@11:     // :TODO: cache this.
dvander@209:     return ArrayType::New(zone_, contained, elements);
dvander@11: }
dvander@14: 
dvander@233: ArrayType *
dvander@188: TypeManager::newExternalArray(Handle<Type> contained)
dvander@188: {
dvander@209:     return ArrayType::NewExternal(zone_, contained);
dvander@188: }
dvander@188: 
dvander@233: ReferenceType *
dvander@67: TypeManager::getReference(Handle<Type> type, bool isConst)
dvander@14: {
dvander@145:     if (!isConst && type->isPrimitive())
dvander@14:         return referenceTypes_[type->primitive()];
dvander@14: 
dvander@14:     // :TODO: cache this.
dvander@222:     return ReferenceType::New(zone_, type);
dvander@14: }
dvander@14: 
dvander@233: EnumType *
dvander@145: TypeManager::newEnum(Handle<String> name)
dvander@145: {
dvander@233:     return EnumType::New(zone_, name);
dvander@145: }
dvander@145: 
dvander@45: void
dvander@45: TypeManager::accept(VirtualObjectVisitor *visitor)
dvander@45: {
dvander@72:     visitor->visit(voidType_.address());
dvander@167:     visitor->visit(uncheckedType_.address());
dvander@45:     for (unsigned i = 0; i < PrimitiveTypes_Total; i++) {
dvander@45:         visitor->visit(primitiveTypes_[i].address());
dvander@45:         visitor->visit(referenceTypes_[i].address());
dvander@45:     }
dvander@45: }