OLD | NEW |
1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
| 5 // TODO(mvstanton): Remove this define after this flag is turned on globally |
| 6 #define V8_IMMINENT_DEPRECATION_WARNINGS |
| 7 |
5 #include "src/v8.h" | 8 #include "src/v8.h" |
6 #include "test/cctest/cctest.h" | 9 #include "test/cctest/cctest.h" |
7 | 10 |
8 #include "src/api.h" | 11 #include "src/api.h" |
9 #include "src/debug/debug.h" | 12 #include "src/debug/debug.h" |
10 #include "src/execution.h" | 13 #include "src/execution.h" |
11 #include "src/factory.h" | 14 #include "src/factory.h" |
12 #include "src/global-handles.h" | 15 #include "src/global-handles.h" |
13 #include "src/macro-assembler.h" | 16 #include "src/macro-assembler.h" |
14 #include "src/objects.h" | 17 #include "src/objects.h" |
15 #include "test/cctest/test-feedback-vector.h" | 18 #include "test/cctest/test-feedback-vector.h" |
16 | 19 |
17 using namespace v8::internal; | 20 using namespace v8::internal; |
18 | 21 |
19 namespace { | 22 namespace { |
20 | 23 |
21 #define CHECK_SLOT_KIND(helper, index, expected_kind) \ | 24 #define CHECK_SLOT_KIND(helper, index, expected_kind) \ |
22 CHECK_EQ(expected_kind, helper.vector()->GetKind(helper.slot(index))); | 25 CHECK_EQ(expected_kind, helper.vector()->GetKind(helper.slot(index))); |
23 | 26 |
24 | 27 |
| 28 static Handle<JSFunction> GetFunction(const char* name) { |
| 29 v8::MaybeLocal<v8::Value> v8_f = CcTest::global()->Get( |
| 30 v8::Isolate::GetCurrent()->GetCurrentContext(), v8_str(name)); |
| 31 Handle<JSFunction> f = |
| 32 Handle<JSFunction>::cast(v8::Utils::OpenHandle(*v8_f.ToLocalChecked())); |
| 33 return f; |
| 34 } |
| 35 |
| 36 |
25 TEST(VectorStructure) { | 37 TEST(VectorStructure) { |
26 LocalContext context; | 38 LocalContext context; |
27 v8::HandleScope scope(context->GetIsolate()); | 39 v8::HandleScope scope(context->GetIsolate()); |
28 Isolate* isolate = CcTest::i_isolate(); | 40 Isolate* isolate = CcTest::i_isolate(); |
29 Factory* factory = isolate->factory(); | 41 Factory* factory = isolate->factory(); |
30 Zone* zone = isolate->runtime_zone(); | 42 Zone* zone = isolate->runtime_zone(); |
31 | 43 |
32 // Empty vectors are the empty fixed array. | 44 // Empty vectors are the empty fixed array. |
33 StaticFeedbackVectorSpec empty; | 45 StaticFeedbackVectorSpec empty; |
34 Handle<TypeFeedbackVector> vector = NewTypeFeedbackVector(isolate, &empty); | 46 Handle<TypeFeedbackVector> vector = NewTypeFeedbackVector(isolate, &empty); |
(...skipping 158 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
193 CcTest::InitializeVM(); | 205 CcTest::InitializeVM(); |
194 LocalContext context; | 206 LocalContext context; |
195 v8::HandleScope scope(context->GetIsolate()); | 207 v8::HandleScope scope(context->GetIsolate()); |
196 Isolate* isolate = CcTest::i_isolate(); | 208 Isolate* isolate = CcTest::i_isolate(); |
197 Heap* heap = isolate->heap(); | 209 Heap* heap = isolate->heap(); |
198 | 210 |
199 // Make sure function f has a call that uses a type feedback slot. | 211 // Make sure function f has a call that uses a type feedback slot. |
200 CompileRun( | 212 CompileRun( |
201 "function fun() {};" | 213 "function fun() {};" |
202 "function f(a) { a(); } f(fun);"); | 214 "function f(a) { a(); } f(fun);"); |
203 Handle<JSFunction> f = Handle<JSFunction>::cast(v8::Utils::OpenHandle( | 215 Handle<JSFunction> f = GetFunction("f"); |
204 *v8::Handle<v8::Function>::Cast(CcTest::global()->Get(v8_str("f"))))); | |
205 // There should be one IC. | 216 // There should be one IC. |
206 Handle<Code> code = handle(f->shared()->code(), isolate); | 217 Handle<Code> code = handle(f->shared()->code(), isolate); |
207 TypeFeedbackInfo* feedback_info = | 218 TypeFeedbackInfo* feedback_info = |
208 TypeFeedbackInfo::cast(code->type_feedback_info()); | 219 TypeFeedbackInfo::cast(code->type_feedback_info()); |
209 CHECK_EQ(1, feedback_info->ic_total_count()); | 220 CHECK_EQ(1, feedback_info->ic_total_count()); |
210 CHECK_EQ(0, feedback_info->ic_with_type_info_count()); | 221 CHECK_EQ(0, feedback_info->ic_with_type_info_count()); |
211 CHECK_EQ(0, feedback_info->ic_generic_count()); | 222 CHECK_EQ(0, feedback_info->ic_generic_count()); |
212 Handle<TypeFeedbackVector> feedback_vector = | 223 Handle<TypeFeedbackVector> feedback_vector = |
213 handle(f->shared()->feedback_vector(), isolate); | 224 handle(f->shared()->feedback_vector(), isolate); |
214 FeedbackVectorHelper helper(feedback_vector); | 225 FeedbackVectorHelper helper(feedback_vector); |
(...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
248 CcTest::InitializeVM(); | 259 CcTest::InitializeVM(); |
249 LocalContext context; | 260 LocalContext context; |
250 v8::HandleScope scope(context->GetIsolate()); | 261 v8::HandleScope scope(context->GetIsolate()); |
251 Isolate* isolate = CcTest::i_isolate(); | 262 Isolate* isolate = CcTest::i_isolate(); |
252 Heap* heap = isolate->heap(); | 263 Heap* heap = isolate->heap(); |
253 | 264 |
254 // Make sure function f has a call that uses a type feedback slot. | 265 // Make sure function f has a call that uses a type feedback slot. |
255 CompileRun( | 266 CompileRun( |
256 "function foo() { return 17; }" | 267 "function foo() { return 17; }" |
257 "function f(a) { a(); } f(foo);"); | 268 "function f(a) { a(); } f(foo);"); |
258 Handle<JSFunction> f = Handle<JSFunction>::cast(v8::Utils::OpenHandle( | 269 Handle<JSFunction> f = GetFunction("f"); |
259 *v8::Handle<v8::Function>::Cast(CcTest::global()->Get(v8_str("f"))))); | |
260 // There should be one IC. | 270 // There should be one IC. |
261 Handle<TypeFeedbackVector> feedback_vector = | 271 Handle<TypeFeedbackVector> feedback_vector = |
262 Handle<TypeFeedbackVector>(f->shared()->feedback_vector(), isolate); | 272 Handle<TypeFeedbackVector>(f->shared()->feedback_vector(), isolate); |
263 FeedbackVectorSlot slot(0); | 273 FeedbackVectorSlot slot(0); |
264 CallICNexus nexus(feedback_vector, slot); | 274 CallICNexus nexus(feedback_vector, slot); |
265 CHECK_EQ(MONOMORPHIC, nexus.StateFromFeedback()); | 275 CHECK_EQ(MONOMORPHIC, nexus.StateFromFeedback()); |
266 // CallIC doesn't return map feedback. | 276 // CallIC doesn't return map feedback. |
267 CHECK(!nexus.FindFirstMap()); | 277 CHECK(!nexus.FindFirstMap()); |
268 | 278 |
269 CompileRun("f(function() { return 16; })"); | 279 CompileRun("f(function() { return 16; })"); |
(...skipping 20 matching lines...) Expand all Loading... |
290 CcTest::InitializeVM(); | 300 CcTest::InitializeVM(); |
291 LocalContext context; | 301 LocalContext context; |
292 v8::HandleScope scope(context->GetIsolate()); | 302 v8::HandleScope scope(context->GetIsolate()); |
293 Isolate* isolate = CcTest::i_isolate(); | 303 Isolate* isolate = CcTest::i_isolate(); |
294 Heap* heap = isolate->heap(); | 304 Heap* heap = isolate->heap(); |
295 | 305 |
296 // Make sure function f has a call that uses a type feedback slot. | 306 // Make sure function f has a call that uses a type feedback slot. |
297 CompileRun( | 307 CompileRun( |
298 "var o = { foo: 3 };" | 308 "var o = { foo: 3 };" |
299 "function f(a) { return a.foo; } f(o);"); | 309 "function f(a) { return a.foo; } f(o);"); |
300 Handle<JSFunction> f = Handle<JSFunction>::cast(v8::Utils::OpenHandle( | 310 Handle<JSFunction> f = GetFunction("f"); |
301 *v8::Handle<v8::Function>::Cast(CcTest::global()->Get(v8_str("f"))))); | |
302 // There should be one IC. | 311 // There should be one IC. |
303 Handle<TypeFeedbackVector> feedback_vector = | 312 Handle<TypeFeedbackVector> feedback_vector = |
304 Handle<TypeFeedbackVector>(f->shared()->feedback_vector(), isolate); | 313 Handle<TypeFeedbackVector>(f->shared()->feedback_vector(), isolate); |
305 FeedbackVectorSlot slot(0); | 314 FeedbackVectorSlot slot(0); |
306 LoadICNexus nexus(feedback_vector, slot); | 315 LoadICNexus nexus(feedback_vector, slot); |
307 CHECK_EQ(PREMONOMORPHIC, nexus.StateFromFeedback()); | 316 CHECK_EQ(PREMONOMORPHIC, nexus.StateFromFeedback()); |
308 | 317 |
309 CompileRun("f(o)"); | 318 CompileRun("f(o)"); |
310 CHECK_EQ(MONOMORPHIC, nexus.StateFromFeedback()); | 319 CHECK_EQ(MONOMORPHIC, nexus.StateFromFeedback()); |
311 // Verify that the monomorphic map is the one we expect. | 320 // Verify that the monomorphic map is the one we expect. |
312 Handle<JSObject> o = v8::Utils::OpenHandle( | 321 v8::MaybeLocal<v8::Value> v8_o = |
313 *v8::Handle<v8::Object>::Cast(CcTest::global()->Get(v8_str("o")))); | 322 CcTest::global()->Get(context.local(), v8_str("o")); |
| 323 Handle<JSObject> o = |
| 324 Handle<JSObject>::cast(v8::Utils::OpenHandle(*v8_o.ToLocalChecked())); |
314 CHECK_EQ(o->map(), nexus.FindFirstMap()); | 325 CHECK_EQ(o->map(), nexus.FindFirstMap()); |
315 | 326 |
316 // Now go polymorphic. | 327 // Now go polymorphic. |
317 CompileRun("f({ blarg: 3, foo: 2 })"); | 328 CompileRun("f({ blarg: 3, foo: 2 })"); |
318 CHECK_EQ(POLYMORPHIC, nexus.StateFromFeedback()); | 329 CHECK_EQ(POLYMORPHIC, nexus.StateFromFeedback()); |
319 | 330 |
320 CompileRun( | 331 CompileRun( |
321 "delete o.foo;" | 332 "delete o.foo;" |
322 "f(o)"); | 333 "f(o)"); |
323 CHECK_EQ(POLYMORPHIC, nexus.StateFromFeedback()); | 334 CHECK_EQ(POLYMORPHIC, nexus.StateFromFeedback()); |
(...skipping 24 matching lines...) Expand all Loading... |
348 | 359 |
349 // Function f has 3 LoadICs, one for each o, but the ICs share the same | 360 // Function f has 3 LoadICs, one for each o, but the ICs share the same |
350 // feedback vector IC slot. | 361 // feedback vector IC slot. |
351 CompileRun( | 362 CompileRun( |
352 "o = 10;" | 363 "o = 10;" |
353 "function f() {" | 364 "function f() {" |
354 " var x = o + 10;" | 365 " var x = o + 10;" |
355 " return o + x + o;" | 366 " return o + x + o;" |
356 "}" | 367 "}" |
357 "f();"); | 368 "f();"); |
358 Handle<JSFunction> f = Handle<JSFunction>::cast(v8::Utils::OpenHandle( | 369 Handle<JSFunction> f = GetFunction("f"); |
359 *v8::Handle<v8::Function>::Cast(CcTest::global()->Get(v8_str("f"))))); | |
360 // There should be one IC slot. | 370 // There should be one IC slot. |
361 Handle<TypeFeedbackVector> feedback_vector = | 371 Handle<TypeFeedbackVector> feedback_vector = |
362 Handle<TypeFeedbackVector>(f->shared()->feedback_vector(), isolate); | 372 Handle<TypeFeedbackVector>(f->shared()->feedback_vector(), isolate); |
363 FeedbackVectorHelper helper(feedback_vector); | 373 FeedbackVectorHelper helper(feedback_vector); |
364 CHECK_EQ(1, helper.slot_count()); | 374 CHECK_EQ(1, helper.slot_count()); |
365 FeedbackVectorSlot slot(0); | 375 FeedbackVectorSlot slot(0); |
366 LoadICNexus nexus(feedback_vector, slot); | 376 LoadICNexus nexus(feedback_vector, slot); |
367 CHECK_EQ(MONOMORPHIC, nexus.StateFromFeedback()); | 377 CHECK_EQ(MONOMORPHIC, nexus.StateFromFeedback()); |
368 } | 378 } |
369 | 379 |
370 | 380 |
371 TEST(VectorLoadICOnSmi) { | 381 TEST(VectorLoadICOnSmi) { |
372 if (i::FLAG_always_opt) return; | 382 if (i::FLAG_always_opt) return; |
373 CcTest::InitializeVM(); | 383 CcTest::InitializeVM(); |
374 LocalContext context; | 384 LocalContext context; |
375 v8::HandleScope scope(context->GetIsolate()); | 385 v8::HandleScope scope(context->GetIsolate()); |
376 Isolate* isolate = CcTest::i_isolate(); | 386 Isolate* isolate = CcTest::i_isolate(); |
377 Heap* heap = isolate->heap(); | 387 Heap* heap = isolate->heap(); |
378 | 388 |
379 // Make sure function f has a call that uses a type feedback slot. | 389 // Make sure function f has a call that uses a type feedback slot. |
380 CompileRun( | 390 CompileRun( |
381 "var o = { foo: 3 };" | 391 "var o = { foo: 3 };" |
382 "function f(a) { return a.foo; } f(o);"); | 392 "function f(a) { return a.foo; } f(o);"); |
383 Handle<JSFunction> f = Handle<JSFunction>::cast(v8::Utils::OpenHandle( | 393 Handle<JSFunction> f = GetFunction("f"); |
384 *v8::Handle<v8::Function>::Cast(CcTest::global()->Get(v8_str("f"))))); | |
385 // There should be one IC. | 394 // There should be one IC. |
386 Handle<TypeFeedbackVector> feedback_vector = | 395 Handle<TypeFeedbackVector> feedback_vector = |
387 Handle<TypeFeedbackVector>(f->shared()->feedback_vector(), isolate); | 396 Handle<TypeFeedbackVector>(f->shared()->feedback_vector(), isolate); |
388 FeedbackVectorSlot slot(0); | 397 FeedbackVectorSlot slot(0); |
389 LoadICNexus nexus(feedback_vector, slot); | 398 LoadICNexus nexus(feedback_vector, slot); |
390 CHECK_EQ(PREMONOMORPHIC, nexus.StateFromFeedback()); | 399 CHECK_EQ(PREMONOMORPHIC, nexus.StateFromFeedback()); |
391 | 400 |
392 CompileRun("f(34)"); | 401 CompileRun("f(34)"); |
393 CHECK_EQ(MONOMORPHIC, nexus.StateFromFeedback()); | 402 CHECK_EQ(MONOMORPHIC, nexus.StateFromFeedback()); |
394 // Verify that the monomorphic map is the one we expect. | 403 // Verify that the monomorphic map is the one we expect. |
395 Map* number_map = heap->heap_number_map(); | 404 Map* number_map = heap->heap_number_map(); |
396 CHECK_EQ(number_map, nexus.FindFirstMap()); | 405 CHECK_EQ(number_map, nexus.FindFirstMap()); |
397 | 406 |
398 // Now go polymorphic on o. | 407 // Now go polymorphic on o. |
399 CompileRun("f(o)"); | 408 CompileRun("f(o)"); |
400 CHECK_EQ(POLYMORPHIC, nexus.StateFromFeedback()); | 409 CHECK_EQ(POLYMORPHIC, nexus.StateFromFeedback()); |
401 | 410 |
402 MapHandleList maps; | 411 MapHandleList maps; |
403 nexus.FindAllMaps(&maps); | 412 nexus.FindAllMaps(&maps); |
404 CHECK_EQ(2, maps.length()); | 413 CHECK_EQ(2, maps.length()); |
405 | 414 |
406 // One of the maps should be the o map. | 415 // One of the maps should be the o map. |
407 Handle<JSObject> o = v8::Utils::OpenHandle( | 416 v8::MaybeLocal<v8::Value> v8_o = |
408 *v8::Handle<v8::Object>::Cast(CcTest::global()->Get(v8_str("o")))); | 417 CcTest::global()->Get(context.local(), v8_str("o")); |
| 418 Handle<JSObject> o = |
| 419 Handle<JSObject>::cast(v8::Utils::OpenHandle(*v8_o.ToLocalChecked())); |
409 bool number_map_found = false; | 420 bool number_map_found = false; |
410 bool o_map_found = false; | 421 bool o_map_found = false; |
411 for (int i = 0; i < maps.length(); i++) { | 422 for (int i = 0; i < maps.length(); i++) { |
412 Handle<Map> current = maps[i]; | 423 Handle<Map> current = maps[i]; |
413 if (*current == number_map) | 424 if (*current == number_map) |
414 number_map_found = true; | 425 number_map_found = true; |
415 else if (*current == o->map()) | 426 else if (*current == o->map()) |
416 o_map_found = true; | 427 o_map_found = true; |
417 } | 428 } |
418 CHECK(number_map_found && o_map_found); | 429 CHECK(number_map_found && o_map_found); |
419 | 430 |
420 // The degree of polymorphism doesn't change. | 431 // The degree of polymorphism doesn't change. |
421 CompileRun("f(100)"); | 432 CompileRun("f(100)"); |
422 CHECK_EQ(POLYMORPHIC, nexus.StateFromFeedback()); | 433 CHECK_EQ(POLYMORPHIC, nexus.StateFromFeedback()); |
423 MapHandleList maps2; | 434 MapHandleList maps2; |
424 nexus.FindAllMaps(&maps2); | 435 nexus.FindAllMaps(&maps2); |
425 CHECK_EQ(2, maps2.length()); | 436 CHECK_EQ(2, maps2.length()); |
426 } | 437 } |
427 | 438 |
428 | 439 |
429 static Handle<JSFunction> GetFunction(const char* name) { | |
430 Handle<JSFunction> f = Handle<JSFunction>::cast(v8::Utils::OpenHandle( | |
431 *v8::Handle<v8::Function>::Cast(CcTest::global()->Get(v8_str(name))))); | |
432 return f; | |
433 } | |
434 | |
435 | |
436 TEST(ReferenceContextAllocatesNoSlots) { | 440 TEST(ReferenceContextAllocatesNoSlots) { |
437 if (i::FLAG_always_opt) return; | 441 if (i::FLAG_always_opt) return; |
438 CcTest::InitializeVM(); | 442 CcTest::InitializeVM(); |
439 LocalContext context; | 443 LocalContext context; |
440 v8::HandleScope scope(context->GetIsolate()); | 444 v8::HandleScope scope(context->GetIsolate()); |
441 Isolate* isolate = CcTest::i_isolate(); | 445 Isolate* isolate = CcTest::i_isolate(); |
442 | 446 |
443 { | 447 { |
444 CompileRun( | 448 CompileRun( |
445 "function testvar(x) {" | 449 "function testvar(x) {" |
(...skipping 149 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
595 // There should be one IC slot. | 599 // There should be one IC slot. |
596 Handle<TypeFeedbackVector> feedback_vector(f->shared()->feedback_vector()); | 600 Handle<TypeFeedbackVector> feedback_vector(f->shared()->feedback_vector()); |
597 FeedbackVectorHelper helper(feedback_vector); | 601 FeedbackVectorHelper helper(feedback_vector); |
598 CHECK_EQ(1, helper.slot_count()); | 602 CHECK_EQ(1, helper.slot_count()); |
599 FeedbackVectorSlot slot(0); | 603 FeedbackVectorSlot slot(0); |
600 StoreICNexus nexus(feedback_vector, slot); | 604 StoreICNexus nexus(feedback_vector, slot); |
601 CHECK_EQ(MONOMORPHIC, nexus.StateFromFeedback()); | 605 CHECK_EQ(MONOMORPHIC, nexus.StateFromFeedback()); |
602 } | 606 } |
603 | 607 |
604 } // namespace | 608 } // namespace |
OLD | NEW |