Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(536)

Side by Side Diff: test/cctest/test-compiler.cc

Issue 1563213002: Type Feedback Vector lives in the closure (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Exclude an ignition test. Created 4 years, 11 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « test/cctest/interpreter/test-interpreter.cc ('k') | test/cctest/test-feedback-vector.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2012 the V8 project authors. All rights reserved. 1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without 2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are 3 // modification, are permitted provided that the following conditions are
4 // met: 4 // met:
5 // 5 //
6 // * Redistributions of source code must retain the above copyright 6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer. 7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above 8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following 9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided 10 // disclaimer in the documentation and/or other materials provided
(...skipping 288 matching lines...) Expand 10 before | Expand all | Expand 10 after
299 "fun1 = fun;" 299 "fun1 = fun;"
300 "function f(a) { a(); } f(fun1);"); 300 "function f(a) { a(); } f(fun1);");
301 301
302 Handle<JSFunction> f = Handle<JSFunction>::cast( 302 Handle<JSFunction> f = Handle<JSFunction>::cast(
303 v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast( 303 v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast(
304 CcTest::global()->Get(context, v8_str("f")).ToLocalChecked()))); 304 CcTest::global()->Get(context, v8_str("f")).ToLocalChecked())));
305 305
306 // We shouldn't have deoptimization support. We want to recompile and 306 // We shouldn't have deoptimization support. We want to recompile and
307 // verify that our feedback vector preserves information. 307 // verify that our feedback vector preserves information.
308 CHECK(!f->shared()->has_deoptimization_support()); 308 CHECK(!f->shared()->has_deoptimization_support());
309 Handle<TypeFeedbackVector> feedback_vector(f->shared()->feedback_vector()); 309 Handle<TypeFeedbackVector> feedback_vector(f->feedback_vector());
310 310
311 // Verify that we gathered feedback. 311 // Verify that we gathered feedback.
312 CHECK(!feedback_vector->is_empty()); 312 CHECK(!feedback_vector->is_empty());
313 FeedbackVectorSlot slot_for_a(0); 313 FeedbackVectorSlot slot_for_a(0);
314 Object* object = feedback_vector->Get(slot_for_a); 314 Object* object = feedback_vector->Get(slot_for_a);
315 CHECK(object->IsWeakCell() && 315 CHECK(object->IsWeakCell() &&
316 WeakCell::cast(object)->value()->IsJSFunction()); 316 WeakCell::cast(object)->value()->IsJSFunction());
317 317
318 CompileRun("%OptimizeFunctionOnNextCall(f); f(fun1);"); 318 CompileRun("%OptimizeFunctionOnNextCall(f); f(fun1);");
319 319
320 // Verify that the feedback is still "gathered" despite a recompilation 320 // Verify that the feedback is still "gathered" despite a recompilation
321 // of the full code. 321 // of the full code.
322 CHECK(f->IsOptimized()); 322 CHECK(f->IsOptimized());
323 CHECK(f->shared()->has_deoptimization_support()); 323 CHECK(f->shared()->has_deoptimization_support());
324 object = f->shared()->feedback_vector()->Get(slot_for_a); 324 object = f->feedback_vector()->Get(slot_for_a);
325 CHECK(object->IsWeakCell() && 325 CHECK(object->IsWeakCell() &&
326 WeakCell::cast(object)->value()->IsJSFunction()); 326 WeakCell::cast(object)->value()->IsJSFunction());
327 } 327 }
328 328
329 329
330 TEST(FeedbackVectorUnaffectedByScopeChanges) { 330 TEST(FeedbackVectorUnaffectedByScopeChanges) {
331 if (i::FLAG_always_opt || !i::FLAG_lazy) return; 331 if (i::FLAG_always_opt || !i::FLAG_lazy) return;
332 CcTest::InitializeVM(); 332 CcTest::InitializeVM();
333 v8::HandleScope scope(CcTest::isolate()); 333 v8::HandleScope scope(CcTest::isolate());
334 v8::Local<v8::Context> context = CcTest::isolate()->GetCurrentContext(); 334 v8::Local<v8::Context> context = CcTest::isolate()->GetCurrentContext();
(...skipping 10 matching lines...) Expand all
345 "}" 345 "}"
346 "morphing_call = builder();"); 346 "morphing_call = builder();");
347 347
348 Handle<JSFunction> f = Handle<JSFunction>::cast(v8::Utils::OpenHandle( 348 Handle<JSFunction> f = Handle<JSFunction>::cast(v8::Utils::OpenHandle(
349 *v8::Local<v8::Function>::Cast(CcTest::global() 349 *v8::Local<v8::Function>::Cast(CcTest::global()
350 ->Get(context, v8_str("morphing_call")) 350 ->Get(context, v8_str("morphing_call"))
351 .ToLocalChecked()))); 351 .ToLocalChecked())));
352 352
353 // Not compiled, and so no feedback vector allocated yet. 353 // Not compiled, and so no feedback vector allocated yet.
354 CHECK(!f->shared()->is_compiled()); 354 CHECK(!f->shared()->is_compiled());
355 CHECK(f->shared()->feedback_vector()->is_empty()); 355 CHECK(f->feedback_vector()->is_empty());
356 356
357 CompileRun("morphing_call();"); 357 CompileRun("morphing_call();");
358 358
359 // Now a feedback vector is allocated. 359 // Now a feedback vector is allocated.
360 CHECK(f->shared()->is_compiled()); 360 CHECK(f->shared()->is_compiled());
361 CHECK(!f->shared()->feedback_vector()->is_empty()); 361 CHECK(!f->feedback_vector()->is_empty());
362 } 362 }
363 363
364 364 // Test that optimized code for different closures is actually shared.
365 // Test that optimized code for different closures is actually shared
366 // immediately by the FastNewClosureStub when run in the same context.
367 TEST(OptimizedCodeSharing1) { 365 TEST(OptimizedCodeSharing1) {
368 FLAG_stress_compaction = false; 366 FLAG_stress_compaction = false;
369 FLAG_allow_natives_syntax = true; 367 FLAG_allow_natives_syntax = true;
370 CcTest::InitializeVM(); 368 CcTest::InitializeVM();
371 v8::HandleScope scope(CcTest::isolate()); 369 v8::HandleScope scope(CcTest::isolate());
372 for (int i = 0; i < 3; i++) { 370 for (int i = 0; i < 3; i++) {
373 LocalContext env; 371 LocalContext env;
374 env->Global() 372 env->Global()
375 ->Set(env.local(), v8_str("x"), v8::Integer::New(CcTest::isolate(), i)) 373 ->Set(env.local(), v8_str("x"), v8::Integer::New(CcTest::isolate(), i))
376 .FromJust(); 374 .FromJust();
377 CompileRun( 375 CompileRun(
378 "function MakeClosure() {" 376 "function MakeClosure() {"
379 " return function() { return x; };" 377 " return function() { return x; };"
380 "}" 378 "}"
381 "var closure0 = MakeClosure();" 379 "var closure0 = MakeClosure();"
382 "%DebugPrint(closure0());" 380 "%DebugPrint(closure0());"
383 "%OptimizeFunctionOnNextCall(closure0);" 381 "%OptimizeFunctionOnNextCall(closure0);"
384 "%DebugPrint(closure0());" 382 "%DebugPrint(closure0());"
385 "var closure1 = MakeClosure();" 383 "var closure1 = MakeClosure(); closure1();"
386 "var closure2 = MakeClosure();"); 384 "var closure2 = MakeClosure(); closure2();");
387 Handle<JSFunction> fun1 = Handle<JSFunction>::cast( 385 Handle<JSFunction> fun1 = Handle<JSFunction>::cast(
388 v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast( 386 v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast(
389 env->Global() 387 env->Global()
390 ->Get(env.local(), v8_str("closure1")) 388 ->Get(env.local(), v8_str("closure1"))
391 .ToLocalChecked()))); 389 .ToLocalChecked())));
392 Handle<JSFunction> fun2 = Handle<JSFunction>::cast( 390 Handle<JSFunction> fun2 = Handle<JSFunction>::cast(
393 v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast( 391 v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast(
394 env->Global() 392 env->Global()
395 ->Get(env.local(), v8_str("closure2")) 393 ->Get(env.local(), v8_str("closure2"))
396 .ToLocalChecked()))); 394 .ToLocalChecked())));
397 CHECK(fun1->IsOptimized() || !CcTest::i_isolate()->use_crankshaft()); 395 CHECK(fun1->IsOptimized() || !CcTest::i_isolate()->use_crankshaft());
398 CHECK(fun2->IsOptimized() || !CcTest::i_isolate()->use_crankshaft()); 396 CHECK(fun2->IsOptimized() || !CcTest::i_isolate()->use_crankshaft());
399 CHECK_EQ(fun1->code(), fun2->code()); 397 CHECK_EQ(fun1->code(), fun2->code());
400 } 398 }
401 } 399 }
402 400
403 401 // Test that optimized code for different closures is actually shared.
404 // Test that optimized code for different closures is actually shared
405 // immediately by the FastNewClosureStub when run different contexts.
406 TEST(OptimizedCodeSharing2) { 402 TEST(OptimizedCodeSharing2) {
407 if (FLAG_stress_compaction) return; 403 if (FLAG_stress_compaction) return;
408 FLAG_allow_natives_syntax = true; 404 FLAG_allow_natives_syntax = true;
409 FLAG_native_context_specialization = false; 405 FLAG_native_context_specialization = false;
410 FLAG_turbo_cache_shared_code = true; 406 FLAG_turbo_cache_shared_code = true;
411 const char* flag = "--turbo-filter=*"; 407 const char* flag = "--turbo-filter=*";
412 FlagList::SetFlagsFromString(flag, StrLength(flag)); 408 FlagList::SetFlagsFromString(flag, StrLength(flag));
413 CcTest::InitializeVM(); 409 CcTest::InitializeVM();
414 v8::HandleScope scope(CcTest::isolate()); 410 v8::HandleScope scope(CcTest::isolate());
415 v8::Local<v8::Script> script = v8_compile( 411 v8::Local<v8::Script> script = v8_compile(
(...skipping 30 matching lines...) Expand all
446 .FromJust(); 442 .FromJust();
447 script->GetUnboundScript() 443 script->GetUnboundScript()
448 ->BindToCurrentContext() 444 ->BindToCurrentContext()
449 ->Run(env.local()) 445 ->Run(env.local())
450 .ToLocalChecked(); 446 .ToLocalChecked();
451 CompileRun( 447 CompileRun(
452 "var closure0 = MakeClosure();" 448 "var closure0 = MakeClosure();"
453 "%DebugPrint(closure0());" 449 "%DebugPrint(closure0());"
454 "%OptimizeFunctionOnNextCall(closure0);" 450 "%OptimizeFunctionOnNextCall(closure0);"
455 "%DebugPrint(closure0());" 451 "%DebugPrint(closure0());"
456 "var closure1 = MakeClosure();" 452 "var closure1 = MakeClosure(); closure1();"
457 "var closure2 = MakeClosure();"); 453 "var closure2 = MakeClosure(); closure2();");
458 Handle<JSFunction> fun1 = Handle<JSFunction>::cast( 454 Handle<JSFunction> fun1 = Handle<JSFunction>::cast(
459 v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast( 455 v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast(
460 env->Global() 456 env->Global()
461 ->Get(env.local(), v8_str("closure1")) 457 ->Get(env.local(), v8_str("closure1"))
462 .ToLocalChecked()))); 458 .ToLocalChecked())));
463 Handle<JSFunction> fun2 = Handle<JSFunction>::cast( 459 Handle<JSFunction> fun2 = Handle<JSFunction>::cast(
464 v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast( 460 v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast(
465 env->Global() 461 env->Global()
466 ->Get(env.local(), v8_str("closure2")) 462 ->Get(env.local(), v8_str("closure2"))
467 .ToLocalChecked()))); 463 .ToLocalChecked())));
468 CHECK(fun1->IsOptimized() || !CcTest::i_isolate()->use_crankshaft()); 464 CHECK(fun1->IsOptimized() || !CcTest::i_isolate()->use_crankshaft());
469 CHECK(fun2->IsOptimized() || !CcTest::i_isolate()->use_crankshaft()); 465 CHECK(fun2->IsOptimized() || !CcTest::i_isolate()->use_crankshaft());
470 CHECK_EQ(*reference_code, fun1->code()); 466 CHECK_EQ(*reference_code, fun1->code());
471 CHECK_EQ(*reference_code, fun2->code()); 467 CHECK_EQ(*reference_code, fun2->code());
472 } 468 }
473 } 469 }
474 470
475 471 // Test that optimized code for different closures is actually shared.
476 // Test that optimized code for different closures is actually shared
477 // immediately by the FastNewClosureStub without context-dependent entries.
478 TEST(OptimizedCodeSharing3) { 472 TEST(OptimizedCodeSharing3) {
479 if (FLAG_stress_compaction) return; 473 if (FLAG_stress_compaction) return;
480 FLAG_allow_natives_syntax = true; 474 FLAG_allow_natives_syntax = true;
481 FLAG_native_context_specialization = false; 475 FLAG_native_context_specialization = false;
482 FLAG_turbo_cache_shared_code = true; 476 FLAG_turbo_cache_shared_code = true;
483 const char* flag = "--turbo-filter=*"; 477 const char* flag = "--turbo-filter=*";
484 FlagList::SetFlagsFromString(flag, StrLength(flag)); 478 FlagList::SetFlagsFromString(flag, StrLength(flag));
485 CcTest::InitializeVM(); 479 CcTest::InitializeVM();
486 v8::HandleScope scope(CcTest::isolate()); 480 v8::HandleScope scope(CcTest::isolate());
487 v8::Local<v8::Script> script = v8_compile( 481 v8::Local<v8::Script> script = v8_compile(
(...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after
521 .FromJust(); 515 .FromJust();
522 script->GetUnboundScript() 516 script->GetUnboundScript()
523 ->BindToCurrentContext() 517 ->BindToCurrentContext()
524 ->Run(env.local()) 518 ->Run(env.local())
525 .ToLocalChecked(); 519 .ToLocalChecked();
526 CompileRun( 520 CompileRun(
527 "var closure0 = MakeClosure();" 521 "var closure0 = MakeClosure();"
528 "%DebugPrint(closure0());" 522 "%DebugPrint(closure0());"
529 "%OptimizeFunctionOnNextCall(closure0);" 523 "%OptimizeFunctionOnNextCall(closure0);"
530 "%DebugPrint(closure0());" 524 "%DebugPrint(closure0());"
531 "var closure1 = MakeClosure();" 525 "var closure1 = MakeClosure(); closure1();"
532 "var closure2 = MakeClosure();"); 526 "var closure2 = MakeClosure(); closure2();");
533 Handle<JSFunction> fun1 = Handle<JSFunction>::cast( 527 Handle<JSFunction> fun1 = Handle<JSFunction>::cast(
534 v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast( 528 v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast(
535 env->Global() 529 env->Global()
536 ->Get(env.local(), v8_str("closure1")) 530 ->Get(env.local(), v8_str("closure1"))
537 .ToLocalChecked()))); 531 .ToLocalChecked())));
538 Handle<JSFunction> fun2 = Handle<JSFunction>::cast( 532 Handle<JSFunction> fun2 = Handle<JSFunction>::cast(
539 v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast( 533 v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast(
540 env->Global() 534 env->Global()
541 ->Get(env.local(), v8_str("closure2")) 535 ->Get(env.local(), v8_str("closure2"))
542 .ToLocalChecked()))); 536 .ToLocalChecked())));
(...skipping 210 matching lines...) Expand 10 before | Expand all | Expand 10 after
753 CompileRun("function f() { a = 12345678 }; f();"); 747 CompileRun("function f() { a = 12345678 }; f();");
754 CheckCodeForUnsafeLiteral(GetJSFunction(context->Global(), "f")); 748 CheckCodeForUnsafeLiteral(GetJSFunction(context->Global(), "f"));
755 CompileRun("function f(x) { a = 12345678 + x}; f(1);"); 749 CompileRun("function f(x) { a = 12345678 + x}; f(1);");
756 CheckCodeForUnsafeLiteral(GetJSFunction(context->Global(), "f")); 750 CheckCodeForUnsafeLiteral(GetJSFunction(context->Global(), "f"));
757 CompileRun("function f(x) { var arguments = 1; x += 12345678}; f(1);"); 751 CompileRun("function f(x) { var arguments = 1; x += 12345678}; f(1);");
758 CheckCodeForUnsafeLiteral(GetJSFunction(context->Global(), "f")); 752 CheckCodeForUnsafeLiteral(GetJSFunction(context->Global(), "f"));
759 CompileRun("function f(x) { var arguments = 1; x = 12345678}; f(1);"); 753 CompileRun("function f(x) { var arguments = 1; x = 12345678}; f(1);");
760 CheckCodeForUnsafeLiteral(GetJSFunction(context->Global(), "f")); 754 CheckCodeForUnsafeLiteral(GetJSFunction(context->Global(), "f"));
761 } 755 }
762 #endif 756 #endif
OLDNEW
« no previous file with comments | « test/cctest/interpreter/test-interpreter.cc ('k') | test/cctest/test-feedback-vector.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698