1 // Copyright 2013 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are
4 // met:
5 //
6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided
11 // with the distribution.
12 // * Neither the name of Google Inc. nor the names of its
13 // contributors may be used to endorse or promote products derived
14 // from this software without specific prior written permission.
15 //
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28 #include <stdlib.h>
29
30 #include "src/v8.h"
31
32 #include "test/cctest/cctest.h"
33
34 using namespace v8::internal;
35
36
37 class HandleArray : public Malloced {
38 public:
39 static const unsigned kArraySize = 200;
HandleArray()40 HandleArray() {}
~HandleArray()41 ~HandleArray() { Reset(); }
Reset()42 void Reset() {
43 for (unsigned i = 0; i < kArraySize; i++) {
44 if (handles_[i].IsEmpty()) continue;
45 handles_[i].Reset();
46 }
47 }
48 v8::Persistent<v8::Value> handles_[kArraySize];
49 private:
50 DISALLOW_COPY_AND_ASSIGN(HandleArray);
51 };
52
53
54 // An aligned character array of size 1024.
55 class AlignedArray : public Malloced {
56 public:
57 static const unsigned kArraySize = 1024/sizeof(uint64_t);
AlignedArray()58 AlignedArray() { Reset(); }
59
Reset()60 void Reset() {
61 for (unsigned i = 0; i < kArraySize; i++) {
62 data_[i] = 0;
63 }
64 }
65
66 template<typename T>
As()67 T As() { return reinterpret_cast<T>(data_); }
68
69 private:
70 uint64_t data_[kArraySize];
71 DISALLOW_COPY_AND_ASSIGN(AlignedArray);
72 };
73
74
75 class DescriptorTestHelper {
76 public:
DescriptorTestHelper()77 DescriptorTestHelper() :
78 isolate_(NULL), array_(new AlignedArray), handle_array_(new HandleArray) {
79 v8::V8::Initialize();
80 isolate_ = CcTest::isolate();
81 }
82 v8::Isolate* isolate_;
83 // Data objects.
84 SmartPointer<AlignedArray> array_;
85 SmartPointer<HandleArray> handle_array_;
86 private:
87 DISALLOW_COPY_AND_ASSIGN(DescriptorTestHelper);
88 };
89
90
CreateConstructor(v8::Handle<v8::Context> context,const char * class_name,int internal_field,const char * descriptor_name=NULL,v8::Handle<v8::DeclaredAccessorDescriptor> descriptor=v8::Handle<v8::DeclaredAccessorDescriptor> ())91 static v8::Local<v8::ObjectTemplate> CreateConstructor(
92 v8::Handle<v8::Context> context,
93 const char* class_name,
94 int internal_field,
95 const char* descriptor_name = NULL,
96 v8::Handle<v8::DeclaredAccessorDescriptor> descriptor =
97 v8::Handle<v8::DeclaredAccessorDescriptor>()) {
98 v8::Local<v8::FunctionTemplate> constructor =
99 v8::FunctionTemplate::New(context->GetIsolate());
100 v8::Local<v8::ObjectTemplate> obj_template = constructor->InstanceTemplate();
101 // Setup object template.
102 if (descriptor_name != NULL && !descriptor.IsEmpty()) {
103 bool added_accessor =
104 obj_template->SetDeclaredAccessor(v8_str(descriptor_name), descriptor);
105 CHECK(added_accessor);
106 }
107 obj_template->SetInternalFieldCount((internal_field+1)*2 + 7);
108 context->Global()->Set(v8_str(class_name), constructor->GetFunction());
109 return obj_template;
110 }
111
112
VerifyRead(v8::Handle<v8::DeclaredAccessorDescriptor> descriptor,int internal_field,void * internal_object,v8::Handle<v8::Value> expected_value)113 static void VerifyRead(v8::Handle<v8::DeclaredAccessorDescriptor> descriptor,
114 int internal_field,
115 void* internal_object,
116 v8::Handle<v8::Value> expected_value) {
117 LocalContext local_context;
118 v8::HandleScope scope(local_context->GetIsolate());
119 v8::Handle<v8::Context> context = local_context.local();
120 CreateConstructor(context, "Accessible", internal_field, "x", descriptor);
121 // Setup object.
122 CompileRun("var accessible = new Accessible();");
123 v8::Local<v8::Object> obj = v8::Local<v8::Object>::Cast(
124 context->Global()->Get(v8_str("accessible")));
125 obj->SetAlignedPointerInInternalField(internal_field, internal_object);
126 bool added_accessor;
127 added_accessor = obj->SetDeclaredAccessor(v8_str("y"), descriptor);
128 CHECK(added_accessor);
129 added_accessor = obj->SetDeclaredAccessor(v8_str("13"), descriptor);
130 CHECK(added_accessor);
131 // Test access from template getter.
132 v8::Local<v8::Value> value;
133 value = CompileRun("accessible.x;");
134 CHECK_EQ(expected_value, value);
135 value = CompileRun("accessible['x'];");
136 CHECK_EQ(expected_value, value);
137 // Test access from object getter.
138 value = CompileRun("accessible.y;");
139 CHECK_EQ(expected_value, value);
140 value = CompileRun("accessible['y'];");
141 CHECK_EQ(expected_value, value);
142 value = CompileRun("accessible[13];");
143 CHECK_EQ(expected_value, value);
144 value = CompileRun("accessible['13'];");
145 CHECK_EQ(expected_value, value);
146 }
147
148
Convert(int32_t value,v8::Isolate * isolate)149 static v8::Handle<v8::Value> Convert(int32_t value, v8::Isolate* isolate) {
150 return v8::Integer::New(isolate, value);
151 }
152
153
Convert(float value,v8::Isolate * isolate)154 static v8::Handle<v8::Value> Convert(float value, v8::Isolate* isolate) {
155 return v8::Number::New(isolate, value);
156 }
157
158
Convert(double value,v8::Isolate * isolate)159 static v8::Handle<v8::Value> Convert(double value, v8::Isolate* isolate) {
160 return v8::Number::New(isolate, value);
161 }
162
163
164 typedef v8::ObjectOperationDescriptor OOD;
165
166 template<typename T>
TestPrimitiveValue(T value,v8::DeclaredAccessorDescriptorDataType data_type,DescriptorTestHelper * helper)167 static void TestPrimitiveValue(
168 T value,
169 v8::DeclaredAccessorDescriptorDataType data_type,
170 DescriptorTestHelper* helper) {
171 v8::HandleScope handle_scope(helper->isolate_);
172 int index = 17;
173 int internal_field = 6;
174 v8::Handle<v8::DeclaredAccessorDescriptor> descriptor =
175 OOD::NewInternalFieldDereference(helper->isolate_, internal_field)
176 ->NewRawShift(helper->isolate_, static_cast<uint16_t>(index*sizeof(T)))
177 ->NewPrimitiveValue(helper->isolate_, data_type, 0);
178 v8::Handle<v8::Value> expected = Convert(value, helper->isolate_);
179 helper->array_->Reset();
180 helper->array_->As<T*>()[index] = value;
181 VerifyRead(descriptor, internal_field, helper->array_.get(), expected);
182 }
183
184
TEST(PrimitiveValueRead)185 TEST(PrimitiveValueRead) {
186 DescriptorTestHelper helper;
187 TestPrimitiveValue<int32_t>(203, v8::kDescriptorInt32Type, &helper);
188 TestPrimitiveValue<float>(23.7f, v8::kDescriptorFloatType, &helper);
189 TestPrimitiveValue<double>(23.7, v8::kDescriptorDoubleType, &helper);
190 }
191
192
193 template<typename T>
TestBitmaskCompare(T bitmask,T compare_value,DescriptorTestHelper * helper)194 static void TestBitmaskCompare(T bitmask,
195 T compare_value,
196 DescriptorTestHelper* helper) {
197 v8::HandleScope handle_scope(helper->isolate_);
198 int index = 13;
199 int internal_field = 4;
200 v8::Handle<v8::RawOperationDescriptor> raw_descriptor =
201 OOD::NewInternalFieldDereference(helper->isolate_, internal_field)
202 ->NewRawShift(helper->isolate_, static_cast<uint16_t>(index*sizeof(T)));
203 v8::Handle<v8::DeclaredAccessorDescriptor> descriptor;
204 switch (sizeof(T)) {
205 case 1:
206 descriptor = raw_descriptor->NewBitmaskCompare8(
207 helper->isolate_,
208 static_cast<uint8_t>(bitmask),
209 static_cast<uint8_t>(compare_value));
210 break;
211 case 2:
212 descriptor = raw_descriptor->NewBitmaskCompare16(
213 helper->isolate_,
214 static_cast<uint16_t>(bitmask),
215 static_cast<uint16_t>(compare_value));
216 break;
217 case 4:
218 descriptor = raw_descriptor->NewBitmaskCompare32(
219 helper->isolate_,
220 static_cast<uint32_t>(bitmask),
221 static_cast<uint32_t>(compare_value));
222 break;
223 default:
224 CHECK(false);
225 break;
226 }
227 AlignedArray* array = helper->array_.get();
228 array->Reset();
229 VerifyRead(descriptor, internal_field, array, v8::False(helper->isolate_));
230 array->As<T*>()[index] = compare_value;
231 VerifyRead(descriptor, internal_field, array, v8::True(helper->isolate_));
232 helper->array_->As<T*>()[index] = compare_value & bitmask;
233 VerifyRead(descriptor, internal_field, array, v8::True(helper->isolate_));
234 }
235
236
TEST(BitmaskCompareRead)237 TEST(BitmaskCompareRead) {
238 DescriptorTestHelper helper;
239 TestBitmaskCompare<uint8_t>(0xf3, 0xa8, &helper);
240 TestBitmaskCompare<uint16_t>(0xfefe, 0x7d42, &helper);
241 TestBitmaskCompare<uint32_t>(0xfefeab18, 0x1234fdec, &helper);
242 }
243
244
TEST(PointerCompareRead)245 TEST(PointerCompareRead) {
246 DescriptorTestHelper helper;
247 v8::HandleScope handle_scope(helper.isolate_);
248 int index = 35;
249 int internal_field = 3;
250 void* ptr = helper.isolate_;
251 v8::Handle<v8::DeclaredAccessorDescriptor> descriptor =
252 OOD::NewInternalFieldDereference(helper.isolate_, internal_field)
253 ->NewRawShift(helper.isolate_, static_cast<uint16_t>(index*sizeof(ptr)))
254 ->NewPointerCompare(helper.isolate_, ptr);
255 AlignedArray* array = helper.array_.get();
256 VerifyRead(descriptor, internal_field, array, v8::False(helper.isolate_));
257 array->As<uintptr_t*>()[index] = reinterpret_cast<uintptr_t>(ptr);
258 VerifyRead(descriptor, internal_field, array, v8::True(helper.isolate_));
259 }
260
261
TEST(PointerDereferenceRead)262 TEST(PointerDereferenceRead) {
263 DescriptorTestHelper helper;
264 v8::HandleScope handle_scope(helper.isolate_);
265 int first_index = 13;
266 int internal_field = 7;
267 int second_index = 11;
268 int pointed_to_index = 75;
269 uint16_t expected = 0x1425;
270 v8::Handle<v8::DeclaredAccessorDescriptor> descriptor =
271 OOD::NewInternalFieldDereference(helper.isolate_, internal_field)
272 ->NewRawShift(helper.isolate_, first_index*kPointerSize)
273 ->NewRawDereference(helper.isolate_)
274 ->NewRawShift(helper.isolate_,
275 static_cast<uint16_t>(second_index*sizeof(int16_t)))
276 ->NewPrimitiveValue(helper.isolate_, v8::kDescriptorInt16Type, 0);
277 AlignedArray* array = helper.array_.get();
278 array->As<uintptr_t**>()[first_index] =
279 &array->As<uintptr_t*>()[pointed_to_index];
280 VerifyRead(descriptor, internal_field, array,
281 v8::Integer::New(helper.isolate_, 0));
282 second_index += pointed_to_index*sizeof(uintptr_t)/sizeof(uint16_t);
283 array->As<uint16_t*>()[second_index] = expected;
284 VerifyRead(descriptor, internal_field, array,
285 v8::Integer::New(helper.isolate_, expected));
286 }
287
288
TEST(HandleDereferenceRead)289 TEST(HandleDereferenceRead) {
290 DescriptorTestHelper helper;
291 v8::HandleScope handle_scope(helper.isolate_);
292 int index = 13;
293 int internal_field = 0;
294 v8::Handle<v8::DeclaredAccessorDescriptor> descriptor =
295 OOD::NewInternalFieldDereference(helper.isolate_, internal_field)
296 ->NewRawShift(helper.isolate_, index*kPointerSize)
297 ->NewHandleDereference(helper.isolate_);
298 HandleArray* array = helper.handle_array_.get();
299 v8::Handle<v8::String> expected = v8_str("whatever");
300 array->handles_[index].Reset(helper.isolate_, expected);
301 VerifyRead(descriptor, internal_field, array, expected);
302 }
303