/*

 * 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_jitcraft_array_h_

#define _include_jitcraft_array_h_

#include "Heap.h"

#include "Handles.h"

#include "Types.h"

namespace ke {

class ArrayMap;

class Array : public Object

{

    friend class ArrayMap;

    uint32 nelements_;

    void *elements_;

  public:

    static Array *New(Zone *zone, Handle<ArrayMap> map, Heap::Tenure = Heap::Tenure_Default);

    static Array *New(Zone *zone, Handle<ArrayMap> map, uint32 elements,

                      Heap::Tenure = Heap::Tenure_Default);

    static Array *NewString(Zone *zone, Handle<ArrayMap> map, Address buffer, size_t length, Heap::Tenure = Heap::Tenure_Default);

    static Array *NewExternal(Zone *zone, Handle<ArrayMap> map, uint32 nelements,

                              void *elements, Heap::Tenure = Heap::Tenure_Default);

    uint32 length() {

        return nelements_;

    }

    void *vec() {

        return elements_;

    }

    inline int *int32Vec();

    inline float *floatVec();

    inline Object **objVec();

    inline char *chars();

    inline Type *type();

    inline size_t elementSize();

    int readInt32(size_t index) {

        assert(index < length());

        return int32Vec()[index];

    }

    void writeInt32(size_t index, int i) {

        assert(index < length());

        int32Vec()[index] = i;

    }

    char readChar(size_t index) {

        assert(index < length());

        return chars()[index];

    }

    void writeChar(size_t index, char c) {

        assert(index < length());

        chars()[index] = c;

    }

    float readFloat(size_t index) {

        assert(index < length());

        return floatVec()[index];

    }

    void writeFloat(size_t index, float f) {

        assert(index < length());

        floatVec()[index] = f;

    }

    inline void *slotPtr(size_t index);

    Object *readObject(size_t index) {

        assert(index < length());

        return objVec()[index];

    }

    void writeObject(Zone *zone, size_t index, Object *ptr) {

        assert(index < length());

        write(zone, &objVec()[index], ptr);

    }

    bool isExternal() {

        // Inline arrays always have their elements pointing at the next slot.

        Address buffer = reinterpret_cast<Address>(elements_);

        return buffer != reinterpret_cast<Address>(this + 1);

    }

    static inline size_t SizeOf(Array *array) {

        if (array->isExternal())

            return sizeof(Array);

        return sizeof(Array) + array->length() * array->elementSize();

    }

    static Array *cast(Object *obj) {

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

        return reinterpret_cast<Array *>(obj);

    }

};

class ArrayMap : public Map

{

    Barriered<Type> type_;

  public:

    static ArrayMap *New(Zone *zone, Handle<Type> type);

    static ArrayMap *Attach(Zone *zone, Handle<Type> type);

    Type *type() {

        return type_;

    }

    // GC Descriptor.

    static inline size_t offsetOfType() {

        return OFFSETOF(ArrayMap, type_);

    }

    // End GC Descriptor.

    static ArrayMap *cast(Object *obj) {

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

        return reinterpret_cast<ArrayMap *>(obj);

    }

};

inline int *

Array::int32Vec()

{

    assert(type()->levels() == 1);

    assert(type()->contained()->isInt32());

    return reinterpret_cast<int *>(vec());

}

inline float *

Array::floatVec()

{

    assert(type()->levels() == 1);

    assert(type()->contained()->isFloat());

    return reinterpret_cast<float *>(vec());

}

inline Object **

Array::objVec()

{

    assert(type()->contained()->isTraceable());

    return reinterpret_cast<Object **>(vec());

}

inline void *

Array::slotPtr(size_t index)

{

    assert(type()->contained()->primitive() == PrimitiveType_Int32 ||

           type()->contained()->primitive() == PrimitiveType_Float);

    assert(index < length());

    return reinterpret_cast<int *>(vec()) + index;

}

inline char *

Array::chars()

{

    assert(type()->levels() == 1);

    assert(type()->contained()->primitive() == PrimitiveType_Char);

    return reinterpret_cast<char *>(vec());

}

inline Type *

Array::type()

{

    return ArrayMap::cast(map())->type();

}

inline size_t

Array::elementSize()

{

    assert(type()->isArray());

    if (type()->contained()->isArray())

        return sizeof(Object *);

    switch (type()->contained()->primitive()) {

      case PrimitiveType_Float:

        return sizeof(float);

      case PrimitiveType_Int32:

        return sizeof(int);

      default:

        assert(type()->contained()->primitive() == PrimitiveType_Char);

        return sizeof(char);

    }

}

}

#endif // _include_jitcraft_array_h_