/* vim: set ts=4 sw=4 tw=99 et:
 *
 * 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 <string.h>
#include "../include/keima.h"
#include "Zone.h"
#include "RootScopes.h"
#include "compiler/CompileContext.h"
#include "Modules.h"
#include "GlobalRoots.h"
#include "Reference.h"
#include "Array.h"
#include "Interpreter.h"
#include "Stack.h"
#include "Strings.h"
#include "NativeTable.h"
#include "Spaces-inl.h"
#include "Heap-inl.h"

using namespace ke;

bool
Ke::Keima::Initialize()
{
    SingleThreadedZone = new Zone();
    if (!SingleThreadedZone || !SingleThreadedZone->initialize())
        return false;
    return true;
}

void
Ke::Keima::Shutdown()
{
    delete SingleThreadedZone;
    SingleThreadedZone = NULL;
}

Ke::HandleScope::HandleScope()
  : zone_(ke::ZONE()),
    position_(zone_->rootScopes().position()),
    prev_(*zone_->rootScopes().scope())
{
    *zone_->rootScopes().scope() = this;
}

Ke::HandleScope::~HandleScope()
{
    zone_->rootScopes().unwind(position_);
    *zone_->rootScopes().scope() = prev_;
}

ke::Object **
Ke::HandleScope::CreateHandle(ke::Object *obj)
{
    if (!obj)
        return NULL;

    return ZONE()->rootScopes().make(obj);
}

template <typename From, typename To> static inline To *
Open(Ke::Handle<From> from)
{
    return *reinterpret_cast<To **>(*from);
}

template <typename From, typename To> static inline To *
Open(From *from)
{
    return *reinterpret_cast<To **>(from);
}

template <typename From, typename To> static inline Ke::Local<To>
ToLocal(From *from)
{
    return Ke::Local<To>(reinterpret_cast<To *>(Ke::HandleScope::CreateHandle(from)));
}

ke::Module *
InternalCompile(const char *path)
{
    PoolScope poolScope(ZONE()->pool());
    RootScope roots(ZONE());
    CompileContext cc(ZONE(), path);

    TranslationUnit *unit = new (ZONE()->pool()) TranslationUnit();
    unit->path_ = path;

    if (!cc.addTranslationUnit(unit))
        return NULL;

    if (!cc.compile())
        return NULL;

    return NULL;

#if 0
    ke::Local<ke::Module> module(ZONE(),  CompileFromSource(cc, path, bytes, length));
    delete [] bytes;
    if (!module)
        return NULL;

    ke::Local<ke::String> pathstr(ZONE(), ke::String::New(ZONE(), path, Heap::Tenure_Old));
    if (!pathstr)
        return NULL;

    module->setPath(pathstr);
    return module;
#endif
    return NULL;
}

// This is split out from InternalCompile so the RootScope doesn't conflict
// with making a return handle.
Ke::Local<Ke::Module>
Ke::Compile(const char *path)
{
    ke::Local<ke::Module> module(ZONE(), InternalCompile(path));
    return ToLocal<ke::Module, Ke::Module>(module);
}

void
Ke::Keima::InstallMessageReporter(Ke::IMessageReporter *reporter)
{
    ZONE()->installErrorReporter(reporter);
}

class StackFrameIterator : public Ke::IStackFrameIterator
{
    StackIter iter_;

  public:
    StackFrameIterator()
      : iter_(ZONE())
    {
    }

    virtual bool done() {
        return iter_.done();
    }

    const char *function() {
        return iter_.function();
    }

    const char *source() {
        return iter_.source();
    }

    unsigned lineNumber() {
        return iter_.lineNumber();
    }

    void prev() {
        iter_.prev();
    }
};

Ke::IStackFrameIterator *
Ke::Keima::NewStackFrameIterator()
{
    return new StackFrameIterator();
}

static inline ke::HeapRoot *
FromAPI(ke::HeapRoot *from)
{
    ke::Address address = reinterpret_cast<ke::Address>(from);
    address -= offsetof(ke::HeapRoot, obj);
    return reinterpret_cast<ke::HeapRoot *>(address);
}

ke::HeapRoot *
Ke::Internals::NewHeapRoot()
{
    ke::HeapRoot *root = ke::ZONE()->globalRoots()->create();
    if (!root)
        return NULL;

    // Compute an interior pointer, so it looks like a Handle to an object.
    return reinterpret_cast<ke::HeapRoot *>(&root->obj);
}

void
Ke::Internals::Destroy(ke::HeapRoot *root)
{
    ZONE()->globalRoots()->destroy(FromAPI(root));
}

bool
Ke::Keima::IsInCallStack(Handle<Module> argModule)
{
    ke::Local<ke::Module> module(ke::ZONE(), Open<Ke::Module, ke::Module>(argModule));
    return ZONE()->stack().isInCallStack(module);
}

void
Ke::Keima::CollectGarbage()
{
    ke::ZONE()->heap().reclaim();
}

void
Ke::Keima::ClearPendingException()
{
    ke::ZONE()->clearPendingException();
}

void
Ke::Module::setNativeIdentity(void *identity)
{
    ke::Local<ke::Module> module(ke::ZONE(), Open<Ke::Module, ke::Module>(this));
    module->setNativeIdentity(identity);
}

unsigned
Ke::String::length()
{
    ke::Local<ke::String> obj(ke::ZONE(), Open<Ke::String, ke::String>(this));
    return obj->length();
}

const char *
Ke::String::chars()
{
    ke::Local<ke::String> obj(ke::ZONE(), Open<Ke::String, ke::String>(this));
    return obj->chars();
}

Ke::Local<Ke::String>
Ke::Function::name()
{
    ke::Local<ke::Function> fun(ke::ZONE(), Open<Ke::Function, ke::Function>(this));
    return ToLocal<ke::String, Ke::String>(fun->name());
}

static inline const char *
GetInvokeTypeName(Ke::Parameter::Type type)
{
    switch (type) {
      case Ke::Parameter::Array:
        return "array";
      case Ke::Parameter::CharArray:
        return "String";
      case Ke::Parameter::Float:
        return "Float";
      case Ke::Parameter::FloatRef:
        return "&Float";
      case Ke::Parameter::Int:
        return "int";
      case Ke::Parameter::IntRef:
        return "&int";
      default:
        return "<unknown>";
    }
}

static inline bool
CheckInvokeType(const Ke::Parameter &param, Type *type)
{
    switch (param.type()) {
      case Ke::Parameter::Array:
        return type->isArray() &&
               type->levels() == 1 &&
               (type->contained()->isPrimitive() || type->contained()->isEnum()) &&
               (type->contained()->primitive() != PrimitiveType_Char);
      case Ke::Parameter::CharArray:
        return type->isCharArray();
      case Ke::Parameter::Float:
        return type->isFloat();
      case Ke::Parameter::FloatRef:
        return type->isReference() && type->contained()->isFloat();
      case Ke::Parameter::Int:
        return type->isInt32() || type->isEnum();
      case Ke::Parameter::IntRef:
       return type->isReference() && (type->contained()->isInt32() || type->contained()->isEnum());
      default:
        return false;
    }
}

static bool
CheckInvokeTypes(Ke::Handle<Ke::Function> argFun, const Ke::Parameter *params, unsigned nparams)
{
    ke::Local<ke::Function> fun(ke::ZONE(), Open<Ke::Function, ke::Function>(argFun));

    if (fun->nargs() != nparams)
        return false;

    for (unsigned i = 0; i < nparams; i++) {
        if (!CheckInvokeType(params[i], fun->argType(i))) {
            ke::ZONE()->reportError(Message_TypeMismatchDuringInvoke,
                                    GetInvokeTypeName(params[i].type()),
                                    GetTypeName(fun->argType(i)));
            return false;
        }
    }

    // Functions can only return tagged cells, for ISPE1-compatible Invoke().
    ke::Local<ke::Type> returnType(ke::ZONE(), fun->type()->returnType());
    if (!returnType->isPrimitive() &&
        !returnType->isEnum() &&
        !returnType->isVoid())
    {
        ke::ZONE()->reportError(Message_CannotInvokeReturnType, GetTypeName(returnType));
        return false;
    }

    return true;
}

bool
Ke::Keima::Invoke(Handle<Function> argFun, const Parameter *params, unsigned nparams,
                  bool checkTypes, int *retval)
{
    assert(CheckInvokeTypes(argFun, params, nparams));

    ke::Local<ke::Function> fun(ke::ZONE(), Open<Ke::Function, ke::Function>(argFun));

    if (fun->nargs() != nparams) {
        // :TODO: report error
        assert(false);
        return false;
    }

    ke::InvokeArgs args;
    if (!ke::ZONE()->stack().pushInvokeFrame(fun, args))
        return false;

    if (checkTypes && !CheckInvokeTypes(argFun, params, nparams))
        return false;

    for (unsigned i = 0; i < nparams; i++) {
        ke::LocalSlot &slot = args.arg(i);
        switch (params[i].type()) {
          case Ke::Parameter::Int:
            slot.i32 = params[i].i32();
            break;

          case Ke::Parameter::Float:
            slot.f = params[i].f();
            break;

          case Ke::Parameter::IntRef:
            if (params[i].writeback()) {
                slot.ref = Reference::NewStack(ke::ZONE(), params[i].i32p(), Heap::Tenure_Stack);
            } else {
                LocalSlot other;
                other.i32 = *params[i].i32p();
                slot.ref = Reference::NewStack(ke::ZONE(), other, Heap::Tenure_Stack);
            }
            if (!slot.ref)
                return false;
            break;

          case Ke::Parameter::FloatRef:
            if (params[i].writeback()) {
                slot.ref = Reference::NewStack(ke::ZONE(), params[i].fp(), Heap::Tenure_Stack);
            } else {
                LocalSlot other;
                other.f = *params[i].fp();
                slot.ref = Reference::NewStack(ke::ZONE(), other, Heap::Tenure_Stack);
            }
            if (!slot.ref)
                return false;
            break;

          case Ke::Parameter::Array:
          {
            ke::Local<ke::ArrayMap> map(ke::ZONE(), ke::ZONE()->externalGenericArrayMap());
            if (params[i].writeback()) {
                slot.obj = Array::NewExternal(ke::ZONE(), map, params[i].buffer(),
                                              params[i].length(), Heap::Tenure_Stack);
                if (!slot.obj)
                    return false;
            } else {
                Array *array = Array::New1D(ke::ZONE(), map, params[i].length(), Heap::Tenure_Stack);
                if (!slot.obj)
                    return false;
                if (params[i].length())
                    memcpy(array->bytes(), params[i].buffer(), params[i].length() * sizeof(int));
            }
            break;
          }

          case Ke::Parameter::CharArray:
          {
            ke::Local<ke::ArrayMap> map(ke::ZONE(), ke::ZONE()->externalCharArrayMap());
            if (params[i].writeback()) {
                slot.obj = Array::NewExternal(ke::ZONE(), map, params[i].buffer(),
                                              params[i].length(), Heap::Tenure_Stack);
                if (!slot.obj)
                    return false;
            } else {
                Array *array = Array::New1D(ke::ZONE(), map, params[i].length(), Heap::Tenure_Stack);
                if (!slot.obj)
                    return false;
                if (params[i].length())
                    memcpy(array->bytes(), params[i].buffer(), params[i].length() * sizeof(char));
            }
            break;
          }
        }
    }

    LocalSlot result;
    if (!Interpret(ke::ZONE(), NULL, &result))
        return false;

    if (fun->type()->returnType()->isVoid())
        result.i32 = 0;

    *retval = result.i32;
    return true;
}

bool
Ke::Keima::BindNative(const char *name, void *address)
{
    return ke::ZONE()->nativeTable()->bind(name, address);
}

void
Ke::Keima::SetPublicFunctionListener(IPublicFunctionListener *listener)
{
    ke::ZONE()->setPublicFunctionListener(listener);
}

void
Zone::registerPublic(ke::Handle<Function> fun)
{
    if (!publicFunctionListener_)
        return;

    Ke::Local<Ke::Function> local = ToLocal<ke::Function, Ke::Function>(fun);
    publicFunctionListener_->registerPublic(local);
}