1.1 --- a/jitcraft/TypeManager.cpp Tue Jul 24 23:53:34 2012 -0700
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,119 +0,0 @@
1.4 -/* vim: set ts=4 sw=4 tw=99 et:
1.5 - *
1.6 - * Copyright (C) 2012 David Anderson
1.7 - *
1.8 - * This file is part of JITCraft.
1.9 - *
1.10 - * JITCraft is free software: you can redistribute it and/or modify it under
1.11 - * the terms of the GNU General Public License as published by the Free
1.12 - * Software Foundation, either version 3 of the License, or (at your option)
1.13 - * any later version.
1.14 - *
1.15 - * Foobar is distributed in the hope that it will be useful, but WITHOUT ANY
1.16 - * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
1.17 - * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
1.18 - *
1.19 - * You should have received a copy of the GNU General Public License along with
1.20 - * JITCraft. If not, see http://www.gnu.org/licenses/.
1.21 - */
1.22 -#include "Types.h"
1.23 -#include "TypeManager.h"
1.24 -#include "Zone.h"
1.25 -#include "Strings.h"
1.26 -
1.27 -using namespace ke;
1.28 -
1.29 -
1.30 -TypeManager::TypeManager(Zone *zone)
1.31 - : zone_(zone)
1.32 -{
1.33 -}
1.34 -
1.35 -bool
1.36 -TypeManager::initialize()
1.37 -{
1.38 - voidType_ = Type::NewVoid(zone_);
1.39 - if (!voidType_)
1.40 - return false;
1.41 -
1.42 - Local<String> floatTag(zone_, zone_->makeSymbol("Float"));
1.43 - if (!floatTag)
1.44 - return false;
1.45 -
1.46 - Local<String> stringTag(zone_, zone_->makeSymbol("String"));
1.47 - if (!stringTag)
1.48 - return false;
1.49 -
1.50 - Local<String> nullTag(zone_);
1.51 -
1.52 - if ((primitiveTypes_[PrimitiveType_Int32] = Type::NewPrimitive(zone_, nullTag)) == NULL)
1.53 - return false;
1.54 - if ((primitiveTypes_[PrimitiveType_Float] = Type::NewPrimitive(zone_, floatTag)) == NULL)
1.55 - return false;
1.56 - if ((primitiveTypes_[PrimitiveType_Native] = Type::NewPrimitive(zone_, PrimitiveType_Native)) == NULL)
1.57 - return false;
1.58 - if ((primitiveTypes_[PrimitiveType_Char] = Type::NewPrimitive(zone_, stringTag)) == NULL)
1.59 - return false;
1.60 -
1.61 - Local<Type> type(zone_);
1.62 - for (unsigned i = 0; i < PrimitiveTypes_Total; i++) {
1.63 - type = primitiveTypes_[i];
1.64 - if ((referenceTypes_[i] = Type::NewReference(zone_, type, false)) == NULL)
1.65 - return false;
1.66 - }
1.67 -
1.68 - return true;
1.69 -}
1.70 -
1.71 -Type *
1.72 -TypeManager::getPrimitiveForTag(Handle<String> tag)
1.73 -{
1.74 - if (!tag)
1.75 - return getPrimitive(PrimitiveType_Int32);
1.76 - if (strcmp(tag->chars(), "Float") == 0)
1.77 - return getPrimitive(PrimitiveType_Float);
1.78 - if (strcmp(tag->chars(), "String") == 0)
1.79 - return getPrimitive(PrimitiveType_Char);
1.80 - return NULL;
1.81 -}
1.82 -
1.83 -Type *
1.84 -TypeManager::unsafeArray(Handle<Type> contained, int elements, bool isConst)
1.85 -{
1.86 - // :TODO: cache this.
1.87 - return Type::NewArray(zone_, contained, elements, isConst);
1.88 -}
1.89 -
1.90 -Type *
1.91 -TypeManager::getReference(Handle<Type> type, bool isConst)
1.92 -{
1.93 - if (!isConst && (type->isFloat() || (type->isInt32() && !type->tag())))
1.94 - return referenceTypes_[type->primitive()];
1.95 -
1.96 - // :TODO: cache this.
1.97 - return Type::NewReference(zone_, type, isConst);
1.98 -}
1.99 -
1.100 -Type *
1.101 -TypeManager::newFunction(Handle<Type> returnType, Handle<FixedArray> args)
1.102 -{
1.103 - // :TODO: cache this.
1.104 - return Type::NewFunction(zone_, returnType, args);
1.105 -}
1.106 -
1.107 -Type *
1.108 -TypeManager::newNative(Handle<Type> returnType, Handle<FixedArray> args, bool variadic)
1.109 -{
1.110 - // :TODO: cache this.
1.111 - return Type::NewNative(zone_, returnType, args, variadic);
1.112 -}
1.113 -
1.114 -void
1.115 -TypeManager::accept(VirtualObjectVisitor *visitor)
1.116 -{
1.117 - visitor->visit(voidType_.address());
1.118 - for (unsigned i = 0; i < PrimitiveTypes_Total; i++) {
1.119 - visitor->visit(primitiveTypes_[i].address());
1.120 - visitor->visit(referenceTypes_[i].address());
1.121 - }
1.122 -}