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