src/Array.cpp
author David Anderson <dvander@alliedmods.net>
Sun Nov 18 22:18:23 2012 -0800 (2012-11-18)
changeset 219 99e534728b76
parent 209 5cbec15fadfe
child 234 26e3035cdffc
permissions -rw-r--r--
Moved another test case.
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@209
    30
ArrayMap::New(Zone *zone, Handle<ArrayType> 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@209
    42
ArrayMap::Attach(Zone *zone, Handle<ArrayType> 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@209
    53
        Local<ArrayType> contained(zone, ArrayType::cast(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@209
   117
        Local<StructType> childType(zone, StructType::cast(map->type()->contained()));
dvander@209
   118
        Local<StructMap> childMap(zone, childType->newMap());
dvander@154
   119
        Local<Struct> child(zone);
dvander@187
   120
        for (unsigned i = 0; i < nelements; i++) {
dvander@154
   121
            child = Struct::New(zone, childMap, tenure);
dvander@154
   122
            if (!child)
dvander@154
   123
                return NULL;
dvander@154
   124
dvander@188
   125
            elements->set(zone, i, child);
dvander@154
   126
        }
dvander@187
   127
    }
dvander@187
   128
dvander@187
   129
    return array;
dvander@187
   130
}
dvander@187
   131
dvander@187
   132
static Array *
dvander@187
   133
ConstructSizedArray(Zone *zone, Handle<ArrayMap> map, int dims[MAX_ARRAY_DEPTH],
dvander@187
   134
                    unsigned level, Heap::Tenure tenure)
dvander@187
   135
{
dvander@187
   136
    Local<Array> array(zone, Array::NewRaw(zone, map, dims[level], tenure));
dvander@187
   137
    if (!array)
dvander@187
   138
        return NULL;
dvander@187
   139
dvander@187
   140
    if (map->type()->contained()->isArray()) {
dvander@209
   141
        Local<ArrayType> childType(zone, ArrayType::cast(map->type()->contained()));
dvander@209
   142
        Local<ArrayMap> childMap(zone, childType->newMap());
dvander@187
   143
        Local<Array> child(zone);
dvander@187
   144
dvander@187
   145
        for (unsigned i = 0; i < unsigned(dims[level]); i++) {
dvander@187
   146
            child = ConstructSizedArray(zone, childMap, dims, level + 1, tenure);
dvander@187
   147
            if (!child)
dvander@187
   148
                return NULL;
dvander@187
   149
dvander@187
   150
            array->writeObject(zone, i, child);
dvander@187
   151
        }
dvander@187
   152
    }
dvander@187
   153
dvander@187
   154
    return array;
dvander@187
   155
}
dvander@187
   156
dvander@187
   157
Array *
dvander@187
   158
Array::NewSized(Zone *zone, Handle<ArrayMap> map, int dims[MAX_ARRAY_DEPTH], Heap::Tenure tenure)
dvander@187
   159
{
dvander@187
   160
    for (size_t i = 0; i < map->type()->levels(); i++) {
dvander@187
   161
        if (dims[i] < 0) {
dvander@187
   162
            zone->reportError(Message_InvalidDimensionSize, dims[i], i);
dvander@187
   163
            return NULL;
dvander@187
   164
        }
dvander@154
   165
    }
dvander@187
   166
dvander@187
   167
    return ConstructSizedArray(zone, map, dims, 0, tenure);
dvander@187
   168
}
dvander@187
   169
dvander@187
   170
static Array *
dvander@187
   171
ConstructFixedArray(Zone *zone, Handle<ArrayMap> map, Heap::Tenure tenure)
dvander@187
   172
{
dvander@187
   173
    unsigned length = map->type()->fixedLength();
dvander@187
   174
    Local<Array> array(zone, Array::NewRaw(zone, map, length, tenure));
dvander@187
   175
    if (!array)
dvander@187
   176
        return NULL;
dvander@187
   177
dvander@187
   178
    if (map->type()->contained()->isArray()) {
dvander@209
   179
        Local<ArrayType> childType(zone, ArrayType::cast(map->type()->contained()));
dvander@209
   180
        Local<ArrayMap> childMap(zone, childType->newMap());
dvander@187
   181
        Local<Array> child(zone);
dvander@187
   182
dvander@187
   183
        if (childMap->type()->isFixedLength()) {
dvander@187
   184
            for (unsigned i = 0; i < length; i++) {
dvander@187
   185
                child = ConstructFixedArray(zone, childMap, tenure);
dvander@187
   186
                if (!child)
dvander@187
   187
                    return NULL;
dvander@187
   188
dvander@187
   189
                array->writeObject(zone, i, child);
dvander@187
   190
            }
dvander@187
   191
        } else {
dvander@187
   192
            for (unsigned i = 0; i < length; i++) {
dvander@187
   193
                child = Array::NewRaw(zone, childMap, 0, tenure);
dvander@187
   194
                if (!child)
dvander@187
   195
                    return NULL;
dvander@187
   196
dvander@187
   197
                array->writeObject(zone, i, child);
dvander@187
   198
            }
dvander@187
   199
        }
dvander@187
   200
    }
dvander@187
   201
dvander@31
   202
    return array;
dvander@12
   203
}
dvander@31
   204
dvander@65
   205
Array *
dvander@187
   206
Array::NewFixed(Zone *zone, Handle<ArrayMap> map, Heap::Tenure tenure)
dvander@187
   207
{
dvander@187
   208
    return ConstructFixedArray(zone, map, tenure);
dvander@187
   209
}
dvander@187
   210
dvander@187
   211
Array *
dvander@169
   212
Array::NewString(Zone *zone, Handle<ArrayMap> map, Address buffer, size_t length, Heap::Tenure tenure)
dvander@169
   213
{
dvander@187
   214
    assert(map->type()->isCharArray());
dvander@187
   215
dvander@187
   216
    Local<Array> array(zone, Array::New1D(zone, map, length, tenure));
dvander@169
   217
    if (!array)
dvander@169
   218
        return NULL;
dvander@169
   219
dvander@169
   220
    assert(array->length() >= length);
dvander@169
   221
    memcpy(array->chars(), buffer, length);
dvander@169
   222
    return array;
dvander@169
   223
}
dvander@169
   224
dvander@169
   225
Array *
dvander@187
   226
Array::New1D(Zone *zone, Handle<ArrayMap> map, uint32 elements, Heap::Tenure tenure)
dvander@187
   227
{
dvander@187
   228
    assert(map->type()->levels());
dvander@187
   229
    return Array::NewRaw(zone, map, elements, tenure);
dvander@187
   230
}
dvander@187
   231
dvander@187
   232
Array *
dvander@187
   233
Array::NewEmpty(Zone *zone, Handle<ArrayMap> map, Heap::Tenure tenure)
dvander@187
   234
{
dvander@187
   235
    assert(!map->type()->isFixedLength());
dvander@187
   236
dvander@187
   237
    return Array::NewRaw(zone, map, 0, tenure);
dvander@187
   238
}
dvander@187
   239
dvander@187
   240
Array *
dvander@188
   241
Array::NewExternal(Zone *zone, Handle<ArrayMap> map, void *buffer, unsigned length,
dvander@65
   242
                   Heap::Tenure tenure)
dvander@65
   243
{
dvander@65
   244
    Local<Array> array(zone, Array::cast(zone->allocate(map, sizeof(Array), tenure)));
dvander@65
   245
    if (!array)
dvander@65
   246
        return NULL;
dvander@65
   247
dvander@188
   248
    array->length_ = length;
dvander@188
   249
    array->elements_ = Address(buffer) - ByteArray::offsetToElements();
dvander@65
   250
    return array;
dvander@65
   251
}
dvander@154
   252