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

  */

 #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"

 #include "Token.h"

 namespace ke {

 class Module;

 class Type;

 // A code object contains the bytecode compiled from a function (or global

 // script), as well as all information needed to interpret or JIT-compile

 // the bytecode.

 class Code : public Object

 {

     Barriered<Module> module_;

     Barriered<ByteArray> bytecode_;

     Barriered<FixedArray> locals_;

     Barriered<FixedArray> objects_;

     Barriered<ByteArray> safepoints_;

     Barriered<ByteArray> sourcemap_;

     unsigned maxStackDepth_;

     unsigned lineNumber_;

   public:

     static inline size_t BytesPerSafepoint(size_t stackDepth) {

         return (Align(stackDepth, 8) / 8) + sizeof(unsigned);

     }

   public:

     static Code *New(Zone *zone, Handle<ByteArray> bytecode, Handle<FixedArray> locals,

                      Handle<FixedArray> objects, unsigned maxStackDepth, Handle<Module> module,

                      Handle<ByteArray> safepoints, Handle<ByteArray> sourcemap,

                      unsigned lineNumber);

     Module *module() {

         return module_;

     }

     bytecode *start() {

         return bytecode_->raw();

     }

     unsigned length() {

         return bytecode_->length();

     }

     Type *localType(size_t index) {

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

     }

     unsigned nlocals() {

         return locals_ ? locals_->length() : 0;

     }

     unsigned maxStackDepth() {

         return maxStackDepth_;

     }

     Map *map(size_t index) {

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

     }

     Object *object(size_t index) {

         return objects_->at(index);

     }

     ByteArray *safepoints() {

         return safepoints_;

     }

     uint8 *safepointAt(unsigned pcOffset);

     unsigned pcToOffset(bytecode *pc) {

         assert(pc >= start() && pc < start() + length());

         return unsigned(pc - start());

     }

     SourcePosition pcToSource(unsigned pc);

     unsigned lineNumber() {

         return lineNumber_;

     }

     // GC Descriptor.

     static inline size_t offsetOfModule() {

         return OFFSETOF(Code, module_);

     }

     static inline size_t offsetOfBytecode() {

         return OFFSETOF(Code, bytecode_);

     }

     static inline size_t offsetOfLocals() {

         return OFFSETOF(Code, locals_);

     }

     static inline size_t offsetOfObjects() {

         return OFFSETOF(Code, objects_);

     }

     static inline size_t offsetOfSafepoints() {

         return OFFSETOF(Code, safepoints_);

     }

     static inline size_t offsetOfSourceMap() {

         return OFFSETOF(Code, sourcemap_);

     }

     // End GC Descriptor.

     static Code *cast(Object *obj) {

         assert(!obj || obj->is(MapKind_Code));

         return reinterpret_cast<Code *>(obj);

     }

 };

 }

 #endif // _include_jc_code_h_