/*

  * Copyright (C) 2012 David Anderson

  *

  * This file is part of JITCraft.

  *

  * JITCraft is free software: you can redistribute it and/or modify it under

  * the terms of the GNU General Public License as published by the Free

  * Software Foundation, either version 3 of the License, or (at your option)

  * any later version.

  * 

  * Foobar 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 for more details.

  *

  * You should have received a copy of the GNU General Public License along with

  * JITCraft. If not, see http://www.gnu.org/licenses/.

  */

 #include "Types.h"

 #include "TypeManager.h"

 #include "Zone.h"

 using namespace jc;

 TypeManager::TypeManager(Zone *zone)

   : zone_(zone)

 {

 }

 bool

 TypeManager::initialize()

 {

     if ((primitiveTypes_[PrimitiveType_Int32] = Type::NewPrimitive(zone_, NULL)) == NULL)

         return false;

     if ((primitiveTypes_[PrimitiveType_Float] = Type::NewPrimitive(zone_, "Float")) == NULL)

         return false;

     if ((primitiveTypes_[PrimitiveType_Native] = Type::NewPrimitive(zone_, PrimitiveType_Native)) == NULL)

         return false;

     for (unsigned i = 0; i < PrimitiveTypes_Total; i++) {

         if ((referenceTypes_[i] = Type::NewReference(zone_, primitiveTypes_[i])) == NULL)

             return false;

     }

     return true;

 }

 Type *

 TypeManager::getPrimitiveForTag(Name *tag)

 {

     if (tag == NULL)

         return getPrimitive(PrimitiveType_Int32);

     if (strcmp(tag, "Float") == 0)

         return getPrimitive(PrimitiveType_Float);

     assert(!"tag cache");

     return NULL;

 }

 Type *

 TypeManager::unsafeArray(Type *contained, int elements)

 {

     // :TODO: cache this.

     return Type::NewUnsafeArray(zone_, contained, elements);

 }

 Type *

 TypeManager::getReference(Type *type)

 {

     if (type->isFloat() || (type->isInt() && !type->tag()))

         return referenceTypes_[type->primitive()];

     // :TODO: cache this.

     return Type::NewReference(zone_, type);

 }

 Type *

 TypeManager::newFunction(Type *returnType, FixedArray *args)

 {

     // :TODO: cache this.

     return Type::NewFunction(zone_, returnType, args);

 }