/*
 * 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);
}