src/Array.cpp
author David Anderson <dvander@alliedmods.net>
Sun Sep 16 21:59:26 2012 -0700 (2012-09-16)
changeset 190 dd04fce774cd
parent 188 bab29bcec7fe
child 209 5cbec15fadfe
permissions -rw-r--r--
Enable dynamic array declarations.
dvander@154
     1
/* vim: set ts=4 sw=4 tw=99 et:
dvander@154
     2
 *
dvander@12
     3
 * Copyright (C) 2012 David Anderson
dvander@12
     4
 *
dvander@154
     5
 * This file is part of SourcePawn.
dvander@12
     6
 *
dvander@154
     7
 * SourcePawn is free software: you can redistribute it and/or modify it under
dvander@12
     8
 * the terms of the GNU General Public License as published by the Free
dvander@12
     9
 * Software Foundation, either version 3 of the License, or (at your option)
dvander@12
    10
 * any later version.
dvander@12
    11
 * 
dvander@154
    12
 * SourcePawn is distributed in the hope that it will be useful, but WITHOUT ANY
dvander@12
    13
 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
dvander@12
    14
 * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
dvander@12
    15
 *
dvander@12
    16
 * You should have received a copy of the GNU General Public License along with
dvander@154
    17
 * SourcePawn. If not, see http://www.gnu.org/licenses/.
dvander@12
    18
 */
danderson@91
    19
#include <string.h>
dvander@12
    20
#include "Array.h"
dvander@188
    21
#include "FixedArray.h"
dvander@12
    22
#include "Heap.h"
dvander@12
    23
#include "Zone.h"
dvander@154
    24
#include "Structures.h"
dvander@12
    25
#include "Heap-inl.h"
dvander@12
    26
dvander@59
    27
using namespace ke;
dvander@12
    28
dvander@12
    29
ArrayMap *
dvander@154
    30
ArrayMap::New(Zone *zone, Handle<Type> type)
dvander@12
    31
{
dvander@31
    32
    Local<Map> obj(zone, zone->allocateMap(MapKind_Array, sizeof(ArrayMap), MapKind_MetaArray));
dvander@12
    33
    if (!obj)
dvander@12
    34
        return NULL;
dvander@12
    35
dvander@31
    36
    Local<ArrayMap> map(zone, ArrayMap::cast(obj));
dvander@13
    37
    map->type_ = type;
dvander@12
    38
    return map;
dvander@12
    39
}
dvander@12
    40
dvander@169
    41
ArrayMap *
dvander@169
    42
ArrayMap::Attach(Zone *zone, Handle<Type> type)
dvander@169
    43
{
dvander@169
    44
    if (type->newMap())
dvander@169
    45
        return ArrayMap::cast(type->newMap());
dvander@169
    46
dvander@169
    47
    Local<ArrayMap> map(zone, ArrayMap::New(zone, type));
dvander@169
    48
    if (!map)
dvander@169
    49
        return NULL;
dvander@169
    50
dvander@169
    51
    // Ensure the inner type has an ArrayMap if needed.
dvander@169
    52
    if (type->contained()->isArray()) {
dvander@169
    53
        Local<Type> contained(zone, type->contained());
dvander@169
    54
        if (!ArrayMap::Attach(zone, contained))
dvander@169
    55
            return NULL;
dvander@169
    56
    }
dvander@169
    57
dvander@169
    58
    type->setNewMap(map);
dvander@169
    59
    return map;
dvander@169
    60
}
dvander@169
    61
dvander@12
    62
Array *
dvander@187
    63
Array::NewRaw(Zone *zone, Handle<ArrayMap> map, unsigned nelements, Heap::Tenure tenure)
dvander@185
    64
{
dvander@188
    65
    if (nelements > (INT_MAX / SizeForElement(map->type()))) {
dvander@187
    66
        zone->reportError(Message_ArraySizeTooBig);
dvander@187
    67
        return NULL;
dvander@187
    68
    }
dvander@185
    69
dvander@188
    70
    size_t bytes = sizeof(Array);
dvander@188
    71
    if (map->type()->hasInlineElements())
dvander@188
    72
        bytes += SizeForElement(map->type()) * nelements;
dvander@188
    73
dvander@31
    74
    Local<Array> array(zone, Array::cast(zone->allocate(map, bytes, tenure)));
dvander@31
    75
    if (!array)
dvander@12
    76
        return NULL;
dvander@12
    77
dvander@188
    78
    array->length_ = 0;
dvander@188
    79
    array->elements_ = NULL;
dvander@188
    80
dvander@188
    81
    if (map->type()->hasInlineElements()) {
dvander@188
    82
        // This must be a fixed array containing no traceables.
dvander@188
    83
        assert(nelements > 0);
dvander@188
    84
        assert(map->type()->isFixedLength());
dvander@188
    85
        assert(!map->type()->contained()->isTraceable());
dvander@188
    86
dvander@188
    87
        // Compute an interior |elements_| pointer, such that if elements_
dvander@188
    88
        // is accessed like a FixedArray, we reach the appropriate vector.
dvander@188
    89
        array->elements_ = Address((Array *)array + 1) - ByteArray::offsetToElements();
dvander@188
    90
        array->length_ = nelements;
dvander@188
    91
        memset(array->bytes(), 0, SizeForElement(map->type()) * nelements);
dvander@188
    92
        return array;
dvander@188
    93
    }
dvander@154
    94
dvander@188
    95
    // If there is nothing to allocate, we don't bother creating elements yet.
dvander@188
    96
    if (!nelements)
dvander@188
    97
        return array;
dvander@188
    98
dvander@188
    99
    if (!map->type()->contained()->isTraceable()) {
dvander@188
   100
        size_t nbytes = SizeForElement(map->type()) * nelements;
dvander@188
   101
        Local<ByteArray> elements(zone, ByteArray::New(zone, nbytes, tenure));
dvander@188
   102
        if (!elements)
dvander@188
   103
            return NULL;
dvander@188
   104
dvander@188
   105
        array->updateLengthAndElements(zone, nelements, elements);
dvander@188
   106
        return array;
dvander@188
   107
    }
dvander@188
   108
dvander@188
   109
    Local<FixedArray> elements(zone, FixedArray::New(zone, nelements, tenure));
dvander@188
   110
    if (!elements)
dvander@188
   111
        return NULL;
dvander@188
   112
dvander@188
   113
    array->updateLengthAndElements(zone, nelements, elements);
dvander@188
   114
dvander@188
   115
    // If this is an array of structs, we're required to allocate those structs now.
dvander@187
   116
    if (map->type()->contained()->isStruct()) {
dvander@154
   117
        Local<StructMap> childMap(zone, StructMap::cast(map->type()->contained()->newMap()));
dvander@154
   118
        Local<Struct> child(zone);
dvander@187
   119
        for (unsigned i = 0; i < nelements; i++) {
dvander@154
   120
            child = Struct::New(zone, childMap, tenure);
dvander@154
   121
            if (!child)
dvander@154
   122
                return NULL;
dvander@154
   123
dvander@188
   124
            elements->set(zone, i, child);
dvander@154
   125
        }
dvander@187
   126
    }
dvander@187
   127
dvander@187
   128
    return array;
dvander@187
   129
}
dvander@187
   130
dvander@187
   131
static Array *
dvander@187
   132
ConstructSizedArray(Zone *zone, Handle<ArrayMap> map, int dims[MAX_ARRAY_DEPTH],
dvander@187
   133
                    unsigned level, Heap::Tenure tenure)
dvander@187
   134
{
dvander@187
   135
    Local<Array> array(zone, Array::NewRaw(zone, map, dims[level], tenure));
dvander@187
   136
    if (!array)
dvander@187
   137
        return NULL;
dvander@187
   138
dvander@187
   139
    if (map->type()->contained()->isArray()) {
dvander@187
   140
        Local<ArrayMap> childMap(zone, ArrayMap::cast(map->type()->contained()->newMap()));
dvander@187
   141
        Local<Array> child(zone);
dvander@187
   142
dvander@187
   143
        for (unsigned i = 0; i < unsigned(dims[level]); i++) {
dvander@187
   144
            child = ConstructSizedArray(zone, childMap, dims, level + 1, tenure);
dvander@187
   145
            if (!child)
dvander@187
   146
                return NULL;
dvander@187
   147
dvander@187
   148
            array->writeObject(zone, i, child);
dvander@187
   149
        }
dvander@187
   150
    }
dvander@187
   151
dvander@187
   152
    return array;
dvander@187
   153
}
dvander@187
   154
dvander@187
   155
Array *
dvander@187
   156
Array::NewSized(Zone *zone, Handle<ArrayMap> map, int dims[MAX_ARRAY_DEPTH], Heap::Tenure tenure)
dvander@187
   157
{
dvander@187
   158
    for (size_t i = 0; i < map->type()->levels(); i++) {
dvander@187
   159
        if (dims[i] < 0) {
dvander@187
   160
            zone->reportError(Message_InvalidDimensionSize, dims[i], i);
dvander@187
   161
            return NULL;
dvander@187
   162
        }
dvander@154
   163
    }
dvander@187
   164
dvander@187
   165
    return ConstructSizedArray(zone, map, dims, 0, tenure);
dvander@187
   166
}
dvander@187
   167
dvander@187
   168
static Array *
dvander@187
   169
ConstructFixedArray(Zone *zone, Handle<ArrayMap> map, Heap::Tenure tenure)
dvander@187
   170
{
dvander@187
   171
    unsigned length = map->type()->fixedLength();
dvander@187
   172
    Local<Array> array(zone, Array::NewRaw(zone, map, length, tenure));
dvander@187
   173
    if (!array)
dvander@187
   174
        return NULL;
dvander@187
   175
dvander@187
   176
    if (map->type()->contained()->isArray()) {
dvander@187
   177
        Local<ArrayMap> childMap(zone, ArrayMap::cast(map->type()->contained()->newMap()));
dvander@187
   178
        Local<Array> child(zone);
dvander@187
   179
dvander@187
   180
        if (childMap->type()->isFixedLength()) {
dvander@187
   181
            for (unsigned i = 0; i < length; i++) {
dvander@187
   182
                child = ConstructFixedArray(zone, childMap, tenure);
dvander@187
   183
                if (!child)
dvander@187
   184
                    return NULL;
dvander@187
   185
dvander@187
   186
                array->writeObject(zone, i, child);
dvander@187
   187
            }
dvander@187
   188
        } else {
dvander@187
   189
            for (unsigned i = 0; i < length; i++) {
dvander@187
   190
                child = Array::NewRaw(zone, childMap, 0, tenure);
dvander@187
   191
                if (!child)
dvander@187
   192
                    return NULL;
dvander@187
   193
dvander@187
   194
                array->writeObject(zone, i, child);
dvander@187
   195
            }
dvander@187
   196
        }
dvander@187
   197
    }
dvander@187
   198
dvander@31
   199
    return array;
dvander@12
   200
}
dvander@31
   201
dvander@65
   202
Array *
dvander@187
   203
Array::NewFixed(Zone *zone, Handle<ArrayMap> map, Heap::Tenure tenure)
dvander@187
   204
{
dvander@187
   205
    return ConstructFixedArray(zone, map, tenure);
dvander@187
   206
}
dvander@187
   207
dvander@187
   208
Array *
dvander@169
   209
Array::NewString(Zone *zone, Handle<ArrayMap> map, Address buffer, size_t length, Heap::Tenure tenure)
dvander@169
   210
{
dvander@187
   211
    assert(map->type()->isCharArray());
dvander@187
   212
dvander@187
   213
    Local<Array> array(zone, Array::New1D(zone, map, length, tenure));
dvander@169
   214
    if (!array)
dvander@169
   215
        return NULL;
dvander@169
   216
dvander@169
   217
    assert(array->length() >= length);
dvander@169
   218
    memcpy(array->chars(), buffer, length);
dvander@169
   219
    return array;
dvander@169
   220
}
dvander@169
   221
dvander@169
   222
Array *
dvander@187
   223
Array::New1D(Zone *zone, Handle<ArrayMap> map, uint32 elements, Heap::Tenure tenure)
dvander@187
   224
{
dvander@187
   225
    assert(map->type()->levels());
dvander@187
   226
    return Array::NewRaw(zone, map, elements, tenure);
dvander@187
   227
}
dvander@187
   228
dvander@187
   229
Array *
dvander@187
   230
Array::NewEmpty(Zone *zone, Handle<ArrayMap> map, Heap::Tenure tenure)
dvander@187
   231
{
dvander@187
   232
    assert(!map->type()->isFixedLength());
dvander@187
   233
dvander@187
   234
    return Array::NewRaw(zone, map, 0, tenure);
dvander@187
   235
}
dvander@187
   236
dvander@187
   237
Array *
dvander@188
   238
Array::NewExternal(Zone *zone, Handle<ArrayMap> map, void *buffer, unsigned length,
dvander@65
   239
                   Heap::Tenure tenure)
dvander@65
   240
{
dvander@65
   241
    Local<Array> array(zone, Array::cast(zone->allocate(map, sizeof(Array), tenure)));
dvander@65
   242
    if (!array)
dvander@65
   243
        return NULL;
dvander@65
   244
dvander@188
   245
    array->length_ = length;
dvander@188
   246
    array->elements_ = Address(buffer) - ByteArray::offsetToElements();
dvander@65
   247
    return array;
dvander@65
   248
}
dvander@154
   249