/*

 * 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/.

 */

#ifndef _include_jc_code_h_

#define _include_jc_code_h_

#include "Opcodes.h"

#include "Barriers.h"

#include "Heap.h"

#include "Types.h"

#include "FixedArray.h"

namespace jc {

class Module;

class Type;

class Code : public Object

{

    OBJECT_FIELD(ByteArray *, bytecode);

    OBJECT_FIELD(FixedArray *, locals);

    OBJECT_FIELD(FixedArray *, args);

    OBJECT_FIELD(uint32, maxStackDepth);

    OBJECT_FIELD(VoidPtr, module);

    OBJECT_FIELD(FixedArray *, maps);

  private:

    void init(ByteArray *bytecode, FixedArray *locals, FixedArray *args,

              FixedArray *maps, unsigned maxStackDepth, Module *module);

    ByteArray *code() {

        return ByteArray::cast(READ_FIELD_OBJ(bytecode));

    }

    FixedArray *locals() {

        return FixedArray::cast(READ_FIELD_OBJ(locals));

    }

    FixedArray *args() {

        return FixedArray::cast(READ_FIELD_OBJ(args));

    }

    FixedArray *maps() {

        return FixedArray::cast(READ_FIELD_OBJ(maps));

    }

  public:

    // :TODO: use handles

    static Code *New(Zone *zone, ByteArray *bytecode, FixedArray *locals, FixedArray *args,

                     FixedArray *maps, unsigned maxStackDepth, Module *module);

    Module *module() {

        return (Module *)READ_FIELD(module);

    }

    bytecode *start() {

        return code()->raw();

    }

    unsigned length() {

        return code()->length();

    }

    Type *localType(size_t index) {

        assert(index < nlocals());

        return Type::cast(locals()->at(index));

    }

    Type *argType(size_t index) {

        assert(index < nlocals());

        return Type::cast(args()->at(index));

    }

    unsigned nlocals() {

        return locals()->length();

    }

    unsigned nargs() {

        return args()->length();

    }

    unsigned maxStackDepth() {

        return READ_FIELD(maxStackDepth);

    }

    Map *map(size_t index) {

        return Map::cast(maps()->at(index));

    }

    static Code *cast(Object *obj) {

        assert(obj->is(MapKind_Code));

        return reinterpret_cast<Code *>(obj);

    }

};

}

#endif // _include_jc_code_h_